cps-ir: Set runtime type information for new objects that require it.

pkg/compiler/lib/src/tree_ir/tree_ir_tracer.dart

 // Copyright (c) 2014, the Dart project authors.  Please see the AUTHORS file
 // for details. All rights reserved. Use of this source code is governed by a
 // BSD-style license that can be found in the LICENSE file.
 
 library tree_ir_tracer;
 
 import 'dart:async' show EventSink;
 import '../tracer.dart';
 import 'tree_ir_nodes.dart';
 import 'optimization/optimization.dart';
@@ skipping 363 matching lines @@
 
   String visitInvokeMethodDirectly(InvokeMethodDirectly node) {
     String receiver = visitExpression(node.receiver);
     String host = node.target.enclosingClass.name;
     String name = node.selector.name;
     String args = formatArguments(node);
     return "$receiver.$host::$name($args)";
   }
 
   String visitInvokeConstructor(InvokeConstructor node) {
+    String className = node.target.enclosingClass.name;
     String callName;
     if (node.target.name.isEmpty) {
-      callName = '${node.type}';
+      callName = '${className}';
     } else {
-      callName = '${node.type}.${node.target.name}';
+      callName = '${className}.${node.target.name}';
     }
     String args = formatArguments(node);
+    String typeArguments = node.typeArguments.map(visitExpression).join(', ');
     String keyword = node.constant != null ? 'const' : 'new';
-    return "$keyword $callName($args)";
+    return "$keyword $callName<$typeArguments>($args)";
   }
 
   String visitConcatenateStrings(ConcatenateStrings node) {
     String args = node.arguments.map(visitExpression).join(', ');
     return "concat [$args]";
   }
 
   String visitLiteralList(LiteralList node) {
     String values = node.values.map(visitExpression).join(', ');
     return "list [$values]";
@@ skipping 85 matching lines @@
 
   String visitCreateInstance(CreateInstance node) {
     String className = node.classElement.name;
     String arguments = node.arguments.map(visitExpression).join(', ');
     return 'CreateInstance $className($arguments)';
   }
 
 
   @override
   String visitReadTypeVariable(ReadTypeVariable node) {
-    return 'read ${node.variable.element} ${visitExpression(node.target)}';
+    return 'Read ${node.variable.element} ${visitExpression(node.target)}';
   }
 
   @override
   String visitReifyRuntimeType(ReifyRuntimeType node) {
-    return 'reify ${node.value}';
+    return 'Reify ${node.value}';
+  }
+
+  @override
+  String visitTypeExpression(TypeExpression node) {
+    return node.dartType.toString();
   }
 }
 
 /**
  * Invents (and remembers) names for Variables that do not have an associated
  * identifier.
  *
  * In case a variable is named v0, v1, etc, it may be assigned a different
  * name to avoid clashing with a previously synthesized variable name.
  */
 class Names {
   final Map<Variable, String> _names = {};
   final Set<String> _usedNames = new Set();
   int _counter = 0;
 
   String varName(Variable v) {
     String name = _names[v];
     if (name == null) {
       String prefix = v.element == null ? 'v' : '${v.element.name}_';
       while (name == null || _usedNames.contains(name)) {
         name = "$prefix${_counter++}";
       }
       _names[v] = name;
       _usedNames.add(name);
     }
     return name;
   }
 }