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

pkg/compiler/lib/src/js_backend/codegen/codegen.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 code_generator;
 
 import 'glue.dart';
 
 import '../../tree_ir/tree_ir_nodes.dart' as tree_ir;
 import '../../js/js.dart' as js;
@@ skipping 188 matching lines @@
     } else {
       js.Expression elementAccess = glue.staticFunctionAccess(target);
       return new js.Call(elementAccess, arguments,
           sourceInformation: sourceInformation);
     }
   }
 
   @override
   js.Expression visitInvokeConstructor(tree_ir.InvokeConstructor node) {
     checkStaticTargetIsValid(node, node.target);
+    if (node.constant != null) return giveup(node);
 
-    if (node.constant != null) return giveup(node);
-    registry.registerInstantiatedClass(node.target.enclosingClass);
+    ClassElement instantiatedClass = node.target.enclosingClass;
+    registry.registerInstantiatedClass(instantiatedClass);
     Selector selector = node.selector;
     FunctionElement target = node.target;
     List<js.Expression> arguments = visitArguments(node.arguments);
     return buildStaticInvoke(selector, target, arguments);
   }
 
   void registerMethodInvoke(tree_ir.InvokeMethod node) {
     Selector selector = node.selector;
     if (selector.isGetter) {
       registry.registerDynamicGetter(selector);
@@ skipping 271 matching lines @@
     return giveup(node);
   }
 
   @override
   js.Expression visitCreateBox(tree_ir.CreateBox node) {
     return new js.ObjectInitializer([]);
   }
 
   @override
   js.Expression visitCreateInstance(tree_ir.CreateInstance node) {
-    registry.registerInstantiatedClass(node.classElement);
-    return new js.New(glue.constructorAccess(node.classElement),
-                      node.arguments.map(visitExpression).toList());
+    ClassElement cls = node.classElement;
+    registry.registerInstantiatedClass(cls);
+    js.Expression instance = new js.New(
+        glue.constructorAccess(cls),
+        node.arguments.map(visitExpression).toList());
+
+    List<tree_ir.Expression> typeInformation = node.typeInformation;
+    assert(typeInformation.isEmpty ||
+        typeInformation.length == cls.typeVariables.length);
+    if (typeInformation.isNotEmpty) {
+      FunctionElement helper = glue.getAddRuntimeTypeInformation();
+      js.Expression typeArguments = new js.ArrayInitializer(
+          typeInformation.map(visitExpression).toList());
+      return buildStaticHelperInvocation(helper,
+          <js.Expression>[instance, typeArguments]);
+    } else {
+      return instance;
+    }
   }
 
   @override
   js.Expression visitGetField(tree_ir.GetField node) {
     return new js.PropertyAccess.field(
         visitExpression(node.object),
         glue.instanceFieldPropertyName(node.field));
   }
 
   @override
@@ skipping 32 matching lines @@
       return buildStaticHelperInvocation(
           glue.getTypeArgumentWithSubstitution(),
           [visitExpression(node.target), substitution, index]);
     } else {
       return buildStaticHelperInvocation(
           glue.getTypeArgumentByIndex(),
           [visitExpression(node.target), index]);
     }
   }
 
+  @override
+  js.Expression visitTypeExpression(tree_ir.TypeExpression node) {
+    List<js.Expression> arguments =
+        node.arguments.map(visitExpression).toList(growable: false);
+    return glue.generateTypeRepresentation(node.dartType, arguments);
+  }
 
   // Dart-specific IR nodes
 
   @override
   visitReifyTypeVar(tree_ir.ReifyTypeVar node) {
     return errorUnsupportedNode(node);
   }
 
   @override
   visitFunctionExpression(tree_ir.FunctionExpression node) {
@@ skipping 12 matching lines @@
 
   @override
   visitSuperInitializer(tree_ir.SuperInitializer node) {
     return errorUnsupportedNode(node);
   }
 
   errorUnsupportedNode(tree_ir.DartSpecificNode node) {
     throw "Unsupported node in JS backend: $node";
   }
 }