First version of typr propagation in the new IR.

pkg/compiler/lib/src/js_backend/codegen/task.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.
 
 /// Generate code using the cps-based IR pipeline.
 library code_generator_task;
 
 import 'glue.dart';
 import 'codegen.dart';
 import 'unsugar.dart';
 
 import '../js_backend.dart';
 import '../../dart2jslib.dart';
 import '../../source_file.dart';
 import '../../cps_ir/cps_ir_nodes.dart' as cps;
 import '../../cps_ir/cps_ir_builder.dart';
 import '../../tree_ir/tree_ir_nodes.dart' as tree_ir;
 import '../../tree/tree.dart' as ast;
+import '../../types/types.dart' show TypeMask;
 import '../../scanner/scannerlib.dart' as scanner;
 import '../../elements/elements.dart';
 import '../../closure.dart';
 import '../../js/js.dart' as js;
 import '../../source_map_builder.dart';
 import '../../tree_ir/tree_ir_builder.dart' as tree_builder;
 import '../../dart_backend/backend_ast_emitter.dart' as backend_ast_emitter;
 import '../../cps_ir/optimizers.dart';
 import '../../tracer.dart';
 import '../../js_backend/codegen/codegen.dart';
 import '../../ssa/ssa.dart' as ssa;
 import '../../tree_ir/optimization/optimization.dart';
+import '../../cps_ir/cps_ir_nodes_sexpr.dart';
 
 class CspFunctionCompiler implements FunctionCompiler {
   final IrBuilderTask irBuilderTask;
   final ConstantSystem constantSystem;
   final Compiler compiler;
   final Glue glue;
 
+  TypeSystem types;
+
   // TODO(karlklose,sigurm): remove and update dart-doc of [compile].
   final FunctionCompiler fallbackCompiler;
 
   // TODO(sigurdm): Assign this.
   Tracer tracer;
 
   CspFunctionCompiler(Compiler compiler, JavaScriptBackend backend)
       : irBuilderTask = new IrBuilderTask(compiler),
         fallbackCompiler = new ssa.SsaFunctionCompiler(backend, true),
         constantSystem = backend.constantSystem,
         compiler = compiler,
         glue = new Glue(compiler);
 
   String get name => 'CPS Ir pipeline';
 
   /// Generates JavaScript code for `work.element`. First tries to use the
   /// Cps Ir -> tree ir -> js pipeline, and if that fails due to language
   /// features not implemented it will fall back to the ssa pipeline (for
   /// platform code) or will cancel compilation (for user code).
   js.Fun compile(CodegenWorkItem work) {
+    types = new TypeMaskSystem(compiler);
     AstElement element = work.element;
     return compiler.withCurrentElement(element, () {
       try {
         if (tracer != null) {
           tracer.traceCompilation(element.name, null);
         }
         cps.FunctionDefinition cpsFunction = compileToCpsIR(element);
         cpsFunction = optimizeCpsIR(cpsFunction);
         tree_ir.FunctionDefinition treeFunction = compileToTreeIR(cpsFunction);
         treeFunction = optimizeTreeIR(treeFunction);
@@ skipping 32 matching lines @@
     }
 
     cps.FunctionDefinition cpsNode = irBuilderTask.buildNode(element);
     if (cpsNode == null) {
       giveUp('unable to build cps definition of $element');
     }
     const UnsugarVisitor().rewrite(cpsNode);
     return cpsNode;
   }
 
+  static const Pattern PRINT_TYPED_IR_FILTER = null;
+
   cps.FunctionDefinition optimizeCpsIR(cps.FunctionDefinition cpsNode) {
     // Transformations on the CPS IR.
     traceGraph("IR Builder", cpsNode);
-    new ConstantPropagator(compiler, constantSystem)
-        .rewrite(cpsNode);
+
+    TypePropagator typePropagator = new TypePropagator<TypeMask>(compiler,
+        constantSystem, new TypeMaskSystem(compiler), compiler.internalError);
+    typePropagator.rewrite(cpsNode);
     traceGraph("Sparse constant propagation", cpsNode);
+
+    if (PRINT_TYPED_IR_FILTER != null &&
+        PRINT_TYPED_IR_FILTER.matchAsPrefix(cpsNode.element.name) != null) {
+      String printType(cps.Node node, String s) {
+        var type = typePropagator.getType(node);
+        return type == null ? s : "<$type: $s>";
+      }
+      DEBUG_MODE = true;
+      print(new SExpressionStringifier(printType).visit(cpsNode));
+    }
+
     new RedundantPhiEliminator().rewrite(cpsNode);
     traceGraph("Redundant phi elimination", cpsNode);
     new ShrinkingReducer().rewrite(cpsNode);
     traceGraph("Shrinking reductions", cpsNode);
 
     // Do not rewrite the IR after variable allocation.  Allocation
     // makes decisions based on an approximation of IR variable live
     // ranges that can be invalidated by transforming the IR.
     new cps.RegisterAllocator().visit(cpsNode);
     return cpsNode;
@@ skipping 63 matching lines @@
           new TokenSourceFileLocation(sourceFile, endToken, name);
     }
     return node.withPosition(sourcePosition, endSourcePosition);
   }
 
   SourceFile sourceFileOfElement(Element element) {
     return element.implementation.compilationUnit.script.file;
   }
 
 }