Generative constructors in the new dart backend.

pkg/compiler/lib/src/tree_ir/tree_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 tree_ir_tracer;
 
 import 'dart:async' show EventSink;
 import '../tracer.dart';
 import 'tree_ir_nodes.dart';
+import 'optimization/optimization.dart';
 
 class Block {
   Label label;
   int index;
   /// Mixed list of [Statement] and [Block].
   /// A [Block] represents a synthetic goto statement.
   final List statements = [];
   final List<Block> predecessors = <Block>[];
   final List<Block> successors = <Block>[];
 
@@ skipping 25 matching lines @@
     blocks.last.statements.add(target);
   }
 
   void _addBlock(Block block) {
     block.index = blocks.length;
     blocks.add(block);
   }
 
   void collect(ExecutableDefinition node) {
     if (node.body != null) {
+      if (node is ConstructorDefinition) {
+        for (Initializer initializer in node.initializers) {
+          if (initializer is FieldInitializer) {
+            visitStatement(initializer.body);
+          }
+        }
+      }
       visitStatement(node.body);
     }
   }
 
   visitLabeledStatement(LabeledStatement node) {
     Block target = new Block(node.label);
     breakTargets[node.label] = target;
     visitStatement(node.body);
     _addBlock(target);
     visitStatement(node.next);
@@ skipping 70 matching lines @@
 
   visitExpressionStatement(ExpressionStatement node) {
     _addStatement(node);
     visitStatement(node.next);
   }
 
   visitFunctionDeclaration(FunctionDeclaration node) {
     _addStatement(node);
     visitStatement(node.next);
   }
+
 }
 
-class TreeTracer extends TracerUtil with StatementVisitor {
+class TreeTracer extends TracerUtil with StatementVisitor, PassMixin {
   final EventSink<String> output;
 
   TreeTracer(this.output);
 
   Names names;
   BlockCollector collector;
   int statementCounter;
 
   void traceGraph(String name, ExecutableDefinition node) {
+    if (node is FunctionDefinition && node.isAbstract) return;
+    if (node is FieldDefinition && node.body == null) return;
+    tag("cfg", () {
+      printProperty("name", name);
+      rewrite(node);
+      collector.blocks.forEach(printBlock);
+    });
+  }
+
+  @override
+  void rewriteExecutableDefinition(ExecutableDefinition node) {
+    collector = new BlockCollector();
     names = new Names();
     statementCounter = 0;
     collector = new BlockCollector();
     collector.collect(node);
-    tag("cfg", () {
-      printProperty("name", name);
-      int blockCounter = 0;
-      collector.blocks.forEach(printBlock);
-    });
-    names = null;
+    collector.blocks.forEach(printBlock);
   }
 
   void printBlock(Block block) {
     tag("block", () {
       printProperty("name", block.name);
       printProperty("from_bci", -1);
       printProperty("to_bci", -1);
       printProperty("predecessors", block.predecessors.map((b) => b.name));
       printProperty("successors", block.successors.map((b) => b.name));
       printEmptyProperty("xhandlers");
@@ skipping 209 matching lines @@
     if (usesInfixNotation(node.operand)) {
       operand = '($operand)';
     }
     return '!$operand';
   }
 
   String visitFunctionExpression(FunctionExpression node) {
     return "function ${node.definition.element.name}";
   }
 
+  String visitFieldInitializer(FieldInitializer node) {
+    throw "$node should not be visited by $this";
+  }
+
+  String visitSuperInitializer(SuperInitializer node) {
+    throw "$node should not be visited by $this";
+  }
+
 }
 
 /**
  * Invents (and remembers) names for Variables that do not have an associated
  * identifier.
  *
  * In case a variable is named v0, v1, etc, it may be assigned a different
  * name to avoid clashing with a previously synthesized variable name.
  */
 class Names {
   final Map<Variable, String> _names = {};
   final Set<String> _usedNames = new Set();
   int _counter = 0;
 
   String varName(Variable v) {
     String name = _names[v];
     if (name == null) {
       String prefix = v.element == null ? 'v' : '${v.element.name}_';
       while (name == null || _usedNames.contains(name)) {
         name = "$prefix${_counter++}";
       }
       _names[v] = name;
       _usedNames.add(name);
     }
     return name;
   }
 }