Overhaul tree IR visitor and rename IR classes.

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';
 
 /**
  * If true, show LetCont expressions in output.
  */
 const bool IR_TRACE_LET_CONT = false;
 
 class IRTracer extends TracerUtil implements cps_ir.Visitor {
   EventSink<String> output;
 
   IRTracer(this.output);
 
   visit(cps_ir.Node node) => node.accept(this);
 
-  void traceGraph(String name, cps_ir.ExecutableDefinition graph) {
+  void traceGraph(String name, cps_ir.RootNode node) {
+    if (node.isEmpty) return; // Don't bother printing an empty trace.
     tag("cfg", () {
       printProperty("name", name);
-      visit(graph);
+
+      names = new Names();
+      BlockCollector builder = new BlockCollector(names);
+      builder.visit(node);
+
+      for (Block block in builder.entries) {
+        printBlock(block, entryPointParameters: node.parameters);
+      }
+      for (Block block in builder.cont2block.values) {
+        printBlock(block);
+      }
+      names = null;
     });
   }
 
   // Temporary field used during tree walk
   Names names;
 
-  printDefinition(cps_ir.ExecutableDefinition node) {
-    names = new Names();
-    BlockCollector builder = new BlockCollector(names);
-    builder.visit(node);
-
-    for (Block block in builder.entries) {
-      printBlock(block);
-    }
-    for (Block block in builder.cont2block.values) {
-      printBlock(block);
-    }
-    names = null;
-  }
-
   visitFieldDefinition(cps_ir.FieldDefinition node) {
-    if (node.hasInitializer) {
-      printDefinition(node);
-    }
+    unexpectedNode(node);
   }
 
   visitFunctionDefinition(cps_ir.FunctionDefinition node) {
-    if (node.isAbstract) return;
-    printDefinition(node);
+    unexpectedNode(node);
   }
 
   visitConstructorDefinition(cps_ir.ConstructorDefinition node) {
-    if (node.isAbstract) return;
-    printDefinition(node);
+    unexpectedNode(node);
+  }
+
+  visitFieldInitializer(cps_ir.FieldInitializer node) {
+    unexpectedNode(node);
+  }
+
+  visitSuperInitializer(cps_ir.SuperInitializer node) {
+    unexpectedNode(node);
+  }
+
+  visitBody(cps_ir.Body node) {
+    unexpectedNode(node);
   }
 
   // Bodies and initializers are not visited.  They contain continuations which
   // are found by a BlockCollector, then those continuations are processed by
   // this visitor.
   unexpectedNode(cps_ir.Node node) {
     throw 'The IR tracer reached an unexpected IR instruction: $node';
   }
 
-  visitRunnableBody(cps_ir.RunnableBody node) {
-    unexpectedNode(node);
-  }
-  visitFieldInitializer(cps_ir.FieldInitializer node) {
-    unexpectedNode(node);
-  }
-  visitSuperInitializer(cps_ir.SuperInitializer node) {
-    unexpectedNode(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;
   }
 
-  printBlock(Block block) {
+  /// If [entryPointParameters] is given, this block is an entry point
+  /// and [entryPointParameters] is the list of function parameters.
+  printBlock(Block block, {List<cps_ir.Definition> entryPointParameters}) {
     tag("block", () {
       printProperty("name", block.name);
       printProperty("from_bci", -1);
       printProperty("to_bci", -1);
       printProperty("predecessors", block.pred.map((n) => n.name));
       printProperty("successors", block.succ.map((n) => n.name));
       printEmptyProperty("xhandlers");
       printEmptyProperty("flags");
       tag("states", () {
         tag("locals", () {
           printProperty("size", 0);
           printProperty("method", "None");
         });
       });
       tag("HIR", () {
+        if (entryPointParameters != null) {
+          String params = entryPointParameters.map(names.name).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)}]");
         }
         visit(block.body);
       });
     });
   }
 
   void printStmt(String resultVar, String contents) {
@@ skipping 288 matching lines @@
   void addEdgeTo(Block successor) {
     succ.add(successor);
     successor.pred.add(this);
   }
 }
 
 class BlockCollector implements cps_ir.Visitor {
   final Map<cps_ir.Continuation, Block> cont2block =
       <cps_ir.Continuation, Block>{};
   final Set<Block> entries = new Set<Block>();
-  Block current_block;
+  Block currentBlock;
 
   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;
   }
 
   visit(cps_ir.Node node) => node.accept(this);
 
   visitFieldDefinition(cps_ir.FieldDefinition node) {
-    if (node.hasInitializer) {
-      visit(node.body);
-    }
+    visit(node.body);
   }
 
   visitFunctionDefinition(cps_ir.FunctionDefinition node) {
     visit(node.body);
   }
 
   visitConstructorDefinition(cps_ir.ConstructorDefinition node) {
+    node.initializers.forEach(visit);
     visit(node.body);
   }
 
-  visitRunnableBody(cps_ir.RunnableBody node) {
-    current_block = new Block(names.name(node), [], node.body);
-    entries.add(current_block);
+  visitBody(cps_ir.Body node) {
+    currentBlock = new Block(names.name(node), [], node.body);
+    entries.add(currentBlock);
     visit(node.body);
   }
 
   visitFieldInitializer(cps_ir.FieldInitializer node) {
     visit(node.body);
   }
 
   visitSuperInitializer(cps_ir.SuperInitializer node) {
     node.arguments.forEach(visit);
   }
@@ skipping 12 matching lines @@
     visit(exp.body);
   }
 
   visitLetMutable(cps_ir.LetMutable exp) {
     visit(exp.body);
   }
 
   void addEdgeToContinuation(cps_ir.Reference continuation) {
     cps_ir.Definition target = continuation.definition;
     if (target is cps_ir.Continuation && !target.isReturnContinuation) {
-      current_block.addEdgeTo(getBlock(target));
+      currentBlock.addEdgeTo(getBlock(target));
     }
   }
 
   visitInvokeContinuation(cps_ir.InvokeContinuation exp) {
     addEdgeToContinuation(exp.continuation);
   }
 
   visitInvokeStatic(cps_ir.InvokeStatic exp) {
     addEdgeToContinuation(exp.continuation);
   }
@@ skipping 22 matching lines @@
     visit(exp.body);
   }
 
   visitDeclareFunction(cps_ir.DeclareFunction exp) {
     visit(exp.body);
   }
 
   visitBranch(cps_ir.Branch exp) {
     cps_ir.Continuation trueTarget = exp.trueContinuation.definition;
     if (!trueTarget.isReturnContinuation) {
-      current_block.addEdgeTo(getBlock(trueTarget));
+      currentBlock.addEdgeTo(getBlock(trueTarget));
     }
     cps_ir.Continuation falseTarget = exp.falseContinuation.definition;
     if (!falseTarget.isReturnContinuation) {
-      current_block.addEdgeTo(getBlock(falseTarget));
+      currentBlock.addEdgeTo(getBlock(falseTarget));
     }
   }
 
   visitTypeOperator(cps_ir.TypeOperator exp) {
     addEdgeToContinuation(exp.continuation);
   }
 
   visitContinuation(cps_ir.Continuation c) {
-    var old_node = current_block;
-    current_block = getBlock(c);
+    var old_node = currentBlock;
+    currentBlock = getBlock(c);
     visit(c.body);
-    current_block = old_node;
+    currentBlock = old_node;
   }
 
   // Primitives and conditions are not visited when searching for blocks.
   unexpectedNode(cps_ir.Node node) {
     throw "The IR tracer's block collector reached an unexpected IR "
         "instruction: $node";
   }
 
   visitLiteralList(cps_ir.LiteralList node) {
     unexpectedNode(node);
@@ skipping 46 matching lines @@
   @override
   visitReifyRuntimeType(cps_ir.ReifyRuntimeType node) {
     unexpectedNode(node);
   }
 
   @override
   visitTypeExpression(cps_ir.TypeExpression node) {
     unexpectedNode(node);
   }
 }