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

pkg/compiler/lib/src/cps_ir/cps_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 dart2js.ir_tracer;
 
 import 'dart:async' show EventSink;
 
 import 'cps_ir_nodes.dart' as cps_ir hide Function;
 import '../tracer.dart';
@@ skipping 164 matching lines @@
     String receiver = formatReference(node.receiver);
     String callName = node.selector.name;
     String args = node.arguments.map(formatReference).join(', ');
     String kont = formatReference(node.continuation);
     printStmt(dummy,
         "InvokeMethodDirectly $receiver $callName ($args) $kont");
   }
 
   visitInvokeConstructor(cps_ir.InvokeConstructor node) {
     String dummy = names.name(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 = node.arguments.map(formatReference).join(', ');
     String kont = formatReference(node.continuation);
     printStmt(dummy, "InvokeConstructor $callName ($args) $kont");
   }
 
   visitConcatenateStrings(cps_ir.ConcatenateStrings node) {
     String dummy = names.name(node);
     String args = node.arguments.map(formatReference).join(', ');
     String kont = formatReference(node.continuation);
@@ skipping 101 matching lines @@
     return 'GetField($object.$field)';
   }
 
   visitCreateBox(cps_ir.CreateBox node) {
     return 'CreateBox';
   }
 
   visitCreateInstance(cps_ir.CreateInstance node) {
     String className = node.classElement.name;
     String arguments = node.arguments.map(formatReference).join(', ');
-    return 'CreateInstance $className ($arguments)';
+    String typeInformation = node.hasTypeInformation
+        ? ' ${node.typeInformation.map(formatReference).join(', ')}' : '';
+    return 'CreateInstance $className ($arguments)$typeInformation';
   }
 
   visitIdentical(cps_ir.Identical node) {
     String left = formatReference(node.left);
     String right = formatReference(node.right);
     return "Identical($left, $right)";
   }
 
   visitInterceptor(cps_ir.Interceptor node) {
     return "Interceptor(${formatReference(node.input)})";
@@ skipping 19 matching lines @@
   @override
   visitReadTypeVariable(cps_ir.ReadTypeVariable node) {
     return "ReadTypeVariable ${node.variable.element} "
         "${formatReference(node.target)}";
   }
 
   @override
   visitReifyRuntimeType(cps_ir.ReifyRuntimeType node) {
     return "ReifyRuntimeType ${formatReference(node.value)}";
   }
+
+  @override
+  visitTypeExpression(cps_ir.TypeExpression node) {
+    return "TypeExpression ${node.dartType} "
+        "${node.arguments.map(formatReference).join(', ')}";
+  }
 }
 
 /**
  * Invents (and remembers) names for Continuations, Parameters, etc.
  * The names must match the conventions used by IR Hydra, e.g.
  * Continuations and Functions must have names of form B### since they
  * are visualized as basic blocks.
  */
 class Names {
   final Map<Object, String> names = {};
@@ skipping 227 matching lines @@
 
   @override
   visitReadTypeVariable(cps_ir.ReadTypeVariable node) {
     unexpectedNode(node);
   }
 
   @override
   visitReifyRuntimeType(cps_ir.ReifyRuntimeType node) {
     unexpectedNode(node);
   }
+
+  @override
+  visitTypeExpression(cps_ir.TypeExpression node) {
+    unexpectedNode(node);
+  }
 }