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

pkg/compiler/lib/src/cps_ir/cps_ir_nodes_sexpr.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_nodes_sexpr;
 
 import '../constants/values.dart';
 import '../util/util.dart';
 import 'cps_ir_nodes.dart';
 
@@ skipping 189 matching lines @@
 
   String visitInvokeMethodDirectly(InvokeMethodDirectly node) {
     String receiver = access(node.receiver);
     String name = node.selector.name;
     String cont = access(node.continuation);
     String args = formatArguments(node);
     return '$indentation(InvokeMethodDirectly $receiver $name $args $cont)';
   }
 
   String visitInvokeConstructor(InvokeConstructor node) {
+    String className;
+    // TODO(karlklose): for illegal nodes constructed for tests or unresolved
+    // constructor calls in the DartBackend, we get an element with no enclosing
+    // class.  Clean this up by introducing a name field to the node and
+    // removing [ErroneousElement]s from the IR.
+    if (node.type != null) {
+      className = node.type.toString();
+    } else {
+      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 cont = access(node.continuation);
     String args = formatArguments(node);
     return '$indentation(InvokeConstructor $callName $args $cont)';
   }
 
   String visitConcatenateStrings(ConcatenateStrings node) {
     String cont = access(node.continuation);
     String args = node.arguments.map(access).join(' ');
     return '$indentation(ConcatenateStrings ($args) $cont)';
@@ skipping 91 matching lines @@
     return '(GetField $object $field)';
   }
 
   String visitCreateBox(CreateBox node) {
     return '(CreateBox)';
   }
 
   String visitCreateInstance(CreateInstance node) {
     String className = node.classElement.name;
     String arguments = node.arguments.map(access).join(' ');
-    return '(CreateInstance $className ($arguments))';
+    String typeInformation = node.hasTypeInformation
+        ? ' ${node.typeInformation.map(access).join(' ')}' : '';
+    return '(CreateInstance $className ($arguments)$typeInformation)';
   }
 
   String visitIdentical(Identical node) {
     String left = access(node.left);
     String right = access(node.right);
     return '(Identical $left $right)';
   }
 
   String visitInterceptor(Interceptor node) {
     return '(Interceptor ${access(node.input)})';
   }
 
   String visitReifyRuntimeType(ReifyRuntimeType node) {
     return '(ReifyRuntimeType ${access(node.value)})';
   }
 
   String visitReadTypeVariable(ReadTypeVariable node) {
     return '(ReadTypeVariable ${access(node.target)}.${node.variable})';
   }
+
+  @override
+  String visitTypeExpression(TypeExpression node) {
+    String args = node.arguments.map(access).join(', ');
+    return '(TypeExpression ${node.dartType.toString()} $args)';
+  }
 }
 
 class ConstantStringifier extends ConstantValueVisitor<String, Null> {
   // Some of these methods are unimplemented because we haven't had a need
   // to print such constants.  When printing is implemented, the corresponding
   // parsing support should be added to SExpressionUnstringifier.parseConstant
   // in the dart2js tests (currently in the file
   // tests/compiler/dart2js/backend_dart/sexpr_unstringifier.dart).
 
   String _failWith(ConstantValue constant) {
@@ skipping 64 matching lines @@
 class _Namer {
   final Map<Node, String> _names = <Node, String>{};
   int _valueCounter = 0;
   int _continuationCounter = 0;
 
   // TODO(sra): Make the methods not assert and print something indicating an
   // error, so printer can be used to inspect broken terms.
 
   String nameParameter(Parameter parameter) {
     assert(!_names.containsKey(parameter));
-    return _names[parameter] = parameter.hint.name;
+    String name =
+        parameter.hint != null ? parameter.hint.name : nameValue(parameter);
+    return _names[parameter] = name;
   }
 
   String nameMutableVariable(MutableVariable variable) {
     assert(!_names.containsKey(variable));
     return _names[variable] = variable.hint.name;
   }
 
   String nameContinuation(Continuation node) {
     assert(!_names.containsKey(node));
     return _names[node] = 'k${_continuationCounter++}';
   }
 
   String nameValue(Primitive node) {
     assert(!_names.containsKey(node));
     return _names[node] = 'v${_valueCounter++}';
   }
 
   void setReturnContinuation(Continuation node) {
     assert(!_names.containsKey(node) || _names[node] == 'return');
     _names[node] = 'return';
   }
 
   String getName(Node node) {
     assert(_names.containsKey(node));
     return _names[node];
   }
 }