Generative constructors in the new dart backend.

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 18 matching lines @@
   }
 
   // Temporary field used during tree walk
   Names names;
 
   visitExecutableDefinition(cps_ir.ExecutableDefinition node) {
     names = new Names();
     BlockCollector builder = new BlockCollector(names);
     builder.visit(node);
 
-    printNode(builder.entry);
+    for (Block block in builder.entries) {
+      printNode(block);
+    }
     for (Block block in builder.cont2block.values) {
       printNode(block);
     }
     names = null;
   }
 
   visitFieldDefinition(cps_ir.FieldDefinition node) {
     if (node.hasInitializer) {
       visitExecutableDefinition(node);
     }
   }
 
   visitFunctionDefinition(cps_ir.FunctionDefinition node) {
+    if (node.isAbstract) return;
     visitExecutableDefinition(node);
   }
 
+  visitConstructorDefinition(cps_ir.ConstructorDefinition node) {
+    if (node.isAbstract) return;
+    visitExecutableDefinition(node);
+  }
+
   int countUses(cps_ir.Definition definition) {
     int count = 0;
     cps_ir.Reference ref = definition.firstRef;
     while (ref != null) {
       ++count;
       ref = ref.next;
     }
     return count;
   }
 
@@ skipping 193 matching lines @@
 
   visitCreateFunction(cps_ir.CreateFunction node) {
     return "CreateFunction ${node.definition.element.name}";
   }
 
   visitGetClosureVariable(cps_ir.GetClosureVariable node) {
     String variable = names.name(node.variable.definition);
     return 'GetClosureVariable $variable';
   }
 
-
+  visitRunnableBody(cps_ir.RunnableBody node) {}
+  visitFieldInitializer(cps_ir.FieldInitializer node) {}
+  visitSuperInitializer(cps_ir.SuperInitializer node) {}
   visitCondition(cps_ir.Condition c) {}
   visitExpression(cps_ir.Expression e) {}
   visitPrimitive(cps_ir.Primitive p) {}
   visitDefinition(cps_ir.Definition d) {}
+  visitInitializer(cps_ir.Initializer i) {}
   visitNode(cps_ir.Node n) {}
 }
 
 /**
  * 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 37 matching lines @@
 
   Block(this.name, this.parameters, this.body);
 
   void addEdgeTo(Block successor) {
     succ.add(successor);
     successor.pred.add(this);
   }
 }
 
 class BlockCollector extends cps_ir.Visitor {
-  Block entry;
   final Map<cps_ir.Continuation, Block> cont2block =
       <cps_ir.Continuation, Block>{};
+  final Set<Block> entries = new Set<Block>();
   Block current_block;
 
   Names names;
   BlockCollector(this.names);
 
   Block getBlock(cps_ir.Continuation c) {
     Block block = cont2block[c];
     if (block == null) {
       block = new Block(names.name(c), c.parameters, c.body);
       cont2block[c] = block;
     }
     return block;
   }
 
-  visitExecutableDefinition(cps_ir.ExecutableDefinition node) {
-    entry = current_block = new Block(names.name(node), [], node.body);
+  visitRunnableBody(cps_ir.RunnableBody node) {
+    current_block = new Block(names.name(node), [], node.body);
+    entries.add(current_block);
     visit(node.body);
   }
 
+  visitFieldInitializer(cps_ir.FieldInitializer node) {
+    visit(node.body);
+  }
+
+  visitSuperInitializer(cps_ir.SuperInitializer node) {
+    node.arguments.forEach(visit);
+  }
+
+  visitExecutableDefinition(cps_ir.ExecutableDefinition node) {
+    visit(node.body);
+  }
+
   visitFieldDefinition(cps_ir.FieldDefinition node) {
     if (node.hasInitializer) {
       visitExecutableDefinition(node);
     }
   }
 
   visitFunctionDefinition(cps_ir.FunctionDefinition node) {
     visitExecutableDefinition(node);
   }
 
+  visitConstructorDefinition(cps_ir.ConstructorDefinition node) {
+    visitExecutableDefinition(node);
+  }
+
   visitLetPrim(cps_ir.LetPrim exp) {
     visit(exp.body);
   }
 
   visitLetCont(cps_ir.LetCont exp) {
     visit(exp.continuation);
     visit(exp.body);
   }
 
   void addEdgeToContinuation(cps_ir.Reference continuation) {
@@ skipping 42 matching lines @@
     }
   }
 
   visitContinuation(cps_ir.Continuation c) {
     var old_node = current_block;
     current_block = getBlock(c);
     visit(c.body);
     current_block = old_node;
   }
 }