dart2js cps: Support --trust-primitives and --trust-type-annotations.

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;
 import '../tracer.dart';
 
@@ skipping 72 matching lines @@
       tag("HIR", () {
         if (entryPointParameters != null) {
           String formatParameter(cps_ir.Parameter param) {
             return '${names.name(param)} ${param.type}';
           }
           String params = entryPointParameters.map(formatParameter).join(', ');
           printStmt('x0', 'Entry ($params)');
         }
         for (cps_ir.Parameter param in block.parameters) {
           String name = names.name(param);
-          printStmt(name, "Parameter $name [useCount=${countUses(param)}]");
+          printStmt(name, "Parameter $name "
+              "[type=${param.type}, useCount=${countUses(param)}]");
         }
         visit(block.body);
       });
     });
   }
 
   void printStmt(String resultVar, String contents) {
     int bci = 0;
     int uses = 0;
     addIndent();
@@ skipping 304 matching lines @@
   visitSetIndex(cps_ir.SetIndex node) {
     String object = formatReference(node.object);
     String index = formatReference(node.index);
     String value = formatReference(node.value);
     return 'SetIndex $object $index $value';
   }
 
   @override
   visitRefinement(cps_ir.Refinement node) {
     String value = formatReference(node.value);
-    return 'Refinement $value ${node.type}';
+    return 'Refinement $value ${node.refineType}';
   }
 }
 
 /**
  * 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 {
@@ skipping 272 matching lines @@
   @override
   visitYield(cps_ir.Yield node) {
     addEdgeToContinuation(node.continuation);
   }
 
   @override
   visitRefinement(cps_ir.Refinement node) {
     unexpectedNode(node);
   }
 }