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

pkg/compiler/lib/src/cps_ir/shrinking_reductions.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.
 
 part of dart2js.cps_ir.optimizers;
 
 /**
  * [ShrinkingReducer] applies shrinking reductions to CPS terms as described
  * in 'Compiling with Continuations, Continued' by Andrew Kennedy.
  */
@@ skipping 640 matching lines @@
   processGetField(GetField node) {
     node.object.parent = node;
   }
 
   processGetMutableVariable(GetMutableVariable node) {
     node.variable.parent = node;
   }
 
   processCreateInstance(CreateInstance node) {
     node.arguments.forEach((Reference ref) => ref.parent = node);
+    if (node.hasTypeInformation) {

[asgerf, 2015/03/24 12:37:22]

This type of check drives me crazy. Please remove hasTypeInformation and make
the list empty instead of null.

[karlklose, 2015/03/26 09:50:07]

Done.

+      node.typeInformation.forEach((Reference ref) => ref.parent = node);
+    }
   }
 
   processCreateBox(CreateBox node) {
   }
 
   processReifyRuntimeType(ReifyRuntimeType node) {
     node.value.parent = node;
   }
 
   processReadTypeVariable(ReadTypeVariable node) {
     node.target.parent = node;
   }
+
+  processTypeExpression(TypeExpression node) {
+    node.arguments.forEach((Reference ref) => ref.parent = node);
+  }
 }
 
 class _ReductionKind {
   final String name;
   final int hashCode;
 
   const _ReductionKind(this.name, this.hashCode);
 
   static const _ReductionKind DEAD_VAL = const _ReductionKind('dead-val', 0);
   static const _ReductionKind DEAD_CONT = const _ReductionKind('dead-cont', 1);
@@ skipping 26 matching lines @@
   }
 
   String toString() => "$kind: $node";
 }
 
 /// A dummy class used solely to mark nodes as deleted once they are removed
 /// from a term.
 class _DeletedNode extends Node {
   accept(_) => null;
 }