dart2js cps: Type casts and related changes to type propagation.

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 175 matching lines @@
     String dummy = names.name(node);
     String value = formatReference(node.value);
     printStmt(dummy, "Throw $value");
   }
 
   visitRethrow(cps_ir.Rethrow node) {
     String dummy = names.name(node);
     printStmt(dummy, "Rethrow");
   }
 
+  visitUnreachable(cps_ir.Unreachable node) {
+    String dummy = names.name(node);
+    printStmt(dummy, 'Unreachable');
+  }
+
   visitLiteralList(cps_ir.LiteralList node) {
     String dummy = names.name(node);
     String values = node.values.map(formatReference).join(', ');
     printStmt(dummy, "LiteralList ($values)");
   }
 
   visitLiteralMap(cps_ir.LiteralMap node) {
     String dummy = names.name(node);
     List<String> entries = new List<String>();
     for (cps_ir.LiteralMapEntry entry in node.entries) {
       String key = formatReference(entry.key);
       String value = formatReference(entry.value);
       entries.add("$key: $value");
     }
     printStmt(dummy, "LiteralMap (${entries.join(', ')})");
   }
 
-  visitTypeOperator(cps_ir.TypeOperator node) {
+  visitTypeCast(cps_ir.TypeCast node) {
     String dummy = names.name(node);
-    String operator = node.isTypeTest ? 'is' : 'as';
-    List<String> entries = new List<String>();
     String value = formatReference(node.value);
+    String args = node.typeArguments.map(formatReference).join(', ');
     String kont = formatReference(node.continuation);
-    printStmt(dummy, "TypeOperator ($operator $value ${node.type}) $kont");
+    printStmt(dummy, "TypeCast ($value ${node.type} ($args)) $kont");
   }
 
   visitInvokeContinuation(cps_ir.InvokeContinuation node) {
     String dummy = names.name(node);
     String kont = formatReference(node.continuation);
     String args = node.arguments.map(formatReference).join(', ');
     printStmt(dummy, "InvokeContinuation $kont ($args)");
   }
 
   visitBranch(cps_ir.Branch node) {
@@ skipping 124 matching lines @@
 
   visitNonTailThrow(cps_ir.NonTailThrow node) {
     String value = formatReference(node.value);
     return "NonTailThrow($value)";
   }
 
   visitCreateInvocationMirror(cps_ir.CreateInvocationMirror node) {
     String args = node.arguments.map(formatReference).join(', ');
     return "CreateInvocationMirror(${node.selector.name}, $args)";
   }
+
+  visitTypeTest(cps_ir.TypeTest node) {
+    String value = formatReference(node.value);
+    String args = node.typeArguments.map(formatReference).join(', ');
+    return "TypeTest ($value ${node.type} ($args))";
+  }
 }
 
 /**
  * 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 116 matching lines @@
   visitConcatenateStrings(cps_ir.ConcatenateStrings exp) {
     addEdgeToContinuation(exp.continuation);
   }
 
   visitThrow(cps_ir.Throw exp) {
   }
 
   visitRethrow(cps_ir.Rethrow exp) {
   }
 
+  visitUnreachable(cps_ir.Unreachable node) {
+  }
+
   visitSetMutableVariable(cps_ir.SetMutableVariable exp) {
     visit(exp.body);
   }
 
   visitSetField(cps_ir.SetField exp) {
     visit(exp.body);
   }
 
   visitSetStatic(cps_ir.SetStatic exp) {
     visit(exp.body);
   }
 
   visitGetLazyStatic(cps_ir.GetLazyStatic exp) {
     addEdgeToContinuation(exp.continuation);
   }
 
   visitBranch(cps_ir.Branch exp) {
     cps_ir.Continuation trueTarget = exp.trueContinuation.definition;
     if (!trueTarget.isReturnContinuation) {
       currentBlock.addEdgeTo(getBlock(trueTarget));
     }
     cps_ir.Continuation falseTarget = exp.falseContinuation.definition;
     if (!falseTarget.isReturnContinuation) {
       currentBlock.addEdgeTo(getBlock(falseTarget));
     }
   }
 
-  visitTypeOperator(cps_ir.TypeOperator exp) {
+  visitTypeCast(cps_ir.TypeCast exp) {
     addEdgeToContinuation(exp.continuation);
   }
 
   visitContinuation(cps_ir.Continuation c) {
     var old_node = currentBlock;
     currentBlock = getBlock(c);
     visit(c.body);
     currentBlock = old_node;
   }
 
@@ skipping 58 matching lines @@
     unexpectedNode(node);
   }
 
   visitNonTailThrow(cps_ir.NonTailThrow node) {
     unexpectedNode(node);
   }
 
   visitCreateInvocationMirror(cps_ir.CreateInvocationMirror node) {
     unexpectedNode(node);
   }
+
+  visitTypeTest(cps_ir.TypeTest node) {
+    unexpectedNode(node);
+  }
 }