First step toward an optimizing compiler:

runtime/vm/il_printer.cc

 // Copyright (c) 2012, 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.
 
 #include "vm/il_printer.h"
 
 #include "vm/intermediate_language.h"
 #include "vm/os.h"
 
 namespace dart {
 
 
 void BufferFormatter::Print(const char* format, ...) {
   intptr_t available = size_ - position_;
   if (available <= 0) return;
   va_list args;
   va_start(args, format);
   intptr_t written =
       OS::VSNPrint(buffer_ + position_, available, format, args);
   if (written >= 0) {
     position_ += (available <= written) ? available : written;
   }
   va_end(args);
 }
 
 
 void FlowGraphPrinter::PrintBlocks() {
-  OS::Print("==== %s\n", function_.ToFullyQualifiedCString());
+  if (!function_.IsNull()) {
+    OS::Print("==== %s\n", function_.ToFullyQualifiedCString());
+  }
 
   for (intptr_t i = 0; i < block_order_.length(); ++i) {
     // Print the block entry.
-    Print(block_order_[i]);
+    PrintInstruction(block_order_[i]);
     Instruction* current = block_order_[i]->StraightLineSuccessor();
     // And all the successors until an exit, branch, or a block entry.
     while ((current != NULL) && !current->IsBlockEntry()) {
       OS::Print("\n");
-      Print(current);
+      PrintInstruction(current);
       current = current->StraightLineSuccessor();
     }
     BlockEntryInstr* successor =
         (current == NULL) ? NULL : current->AsBlockEntry();
     if (successor != NULL) {
       OS::Print(" goto %d", successor->block_id());
     }
     OS::Print("\n");
   }
 }
 
 
-void FlowGraphPrinter::Print(Instruction* instr) {
+void FlowGraphPrinter::PrintInstruction(Instruction* instr) {
   char str[80];
   BufferFormatter f(str, sizeof(str));
   instr->PrintTo(&f);
   OS::Print("%s", str);
 }
 
 
+void FlowGraphPrinter::PrintComputation(Computation* comp) {
+  char str[80];
+  BufferFormatter f(str, sizeof(str));
+  comp->PrintTo(&f);
+  OS::Print("%s", str);
+}
+
+
+
 void Computation::PrintTo(BufferFormatter* f) const {
   f->Print("%s(", DebugName());
   PrintOperandsTo(f);
   f->Print(")");
 }
 
 
 void Computation::PrintOperandsTo(BufferFormatter* f) const {
   for (int i = 0; i < InputCount(); ++i) {
     if (i > 0) f->Print(", ");
     if (InputAt(i) != NULL) InputAt(i)->PrintTo(f);
-    OS::Print(")");
+    f->Print(")");
   }
 }
 
 
 void UseVal::PrintTo(BufferFormatter* f) const {
   f->Print("t%d", definition()->temp_index());
 }
 
 
 void ConstantVal::PrintTo(BufferFormatter* f) const {
   f->Print("#%s", value().ToCString());
 }
 
 
 void AssertAssignableComp::PrintOperandsTo(BufferFormatter* f) const {
   value()->PrintTo(f);
   f->Print(", %s, '%s'",
             String::Handle(dst_type().Name()).ToCString(),
             dst_name().ToCString());
   if (instantiator() != NULL) {
-    OS::Print(" (instantiator:");
+    f->Print(" (instantiator:");
     instantiator()->PrintTo(f);
-    OS::Print(")");
+    f->Print(")");

[Florian Schneider, 2012/05/24 00:20:39]

Thanks for catching these!

   }
   if (instantiator_type_arguments() != NULL) {
     f->Print(" (instantiator:");
     instantiator_type_arguments()->PrintTo(f);
     f->Print(")");
   }
 }
 
 
 void ClosureCallComp::PrintOperandsTo(BufferFormatter* f) const {
@@ skipping 78 matching lines @@
   value()->PrintTo(f);
 }
 
 
 void InstanceOfComp::PrintOperandsTo(BufferFormatter* f) const {
   value()->PrintTo(f);
   f->Print(" %s %s",
             negate_result() ? "ISNOT" : "IS",
             String::Handle(type().Name()).ToCString());
   if (instantiator() != NULL) {
-    OS::Print(" (instantiator:");
+    f->Print(" (instantiator:");
     instantiator()->PrintTo(f);
-    OS::Print(")");
+    f->Print(")");
   }
   if (type_arguments() != NULL) {
     f->Print(" (type-arg:");
     type_arguments()->PrintTo(f);
   }
 }
 
 
 void AllocateObjectComp::PrintOperandsTo(BufferFormatter* f) const {
   f->Print("%s", Class::Handle(constructor().owner()).ToCString());
@@ skipping 66 matching lines @@
 }
 
 
 void CatchEntryComp::PrintOperandsTo(BufferFormatter* f) const {
   f->Print("%s, %s",
            exception_var().name().ToCString(),
            stacktrace_var().name().ToCString());
 }
 
 
+void BinaryOpComp::PrintOperandsTo(BufferFormatter* f) const {
+  f->Print("%s, ", Token::Str(op_kind()));
+  left()->PrintTo(f);
+  f->Print(", ");
+  right()->PrintTo(f);
+}
+
+
 void GraphEntryInstr::PrintTo(BufferFormatter* f) const {
   f->Print("%2d: [graph]", block_id());
 }
 
 
 void JoinEntryInstr::PrintTo(BufferFormatter* f) const {
   f->Print("%2d: [join]", block_id());
 }
 
 
@@ skipping 43 matching lines @@
   f->Print("    %s ", DebugName());
   f->Print("if ");
   value()->PrintTo(f);
   f->Print(" goto (%d, %d)",
             true_successor()->block_id(),
             false_successor()->block_id());
 }
 
 
 }  // namespace dart