Add deoptimization environments to instructions.

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 {
 
+DEFINE_FLAG(bool, print_environments, false, "Print SSA environments.");
+
 
 void BufferFormatter::Print(const char* format, ...) {
   va_list args;
   va_start(args, format);
   VPrint(format, args);
   va_end(args);
 }
 
 
 void BufferFormatter::VPrint(const char* format, va_list args) {
@@ skipping 29 matching lines @@
     }
     OS::Print("\n");
   }
 }
 
 
 void FlowGraphPrinter::PrintInstruction(Instruction* instr) {
   char str[120];
   BufferFormatter f(str, sizeof(str));
   instr->PrintTo(&f);
+  if (FLAG_print_environments && (instr->env() != NULL)) {
+    instr->env()->PrintTo(&f);
+  }
   OS::Print("%s", str);
 }
 
 
 void FlowGraphPrinter::PrintComputation(Computation* comp) {
   char str[120];
   BufferFormatter f(str, sizeof(str));
   comp->PrintTo(&f);
   OS::Print("%s", str);
 }
@@ skipping 355 matching lines @@
   f.VPrint(format, args);
   va_end(args);
   (*Dart::flow_graph_writer())(str, strlen(str));
 }
 
 
 void FlowGraphVisualizer::PrintInstruction(Instruction* instr) {
   char str[120];
   BufferFormatter f(str, sizeof(str));
   instr->PrintToVisualizer(&f);
+  if (FLAG_print_environments && (instr->env() != NULL)) {
+    instr->env()->PrintTo(&f);
+  }
   f.Print(" <|@\n");
   (*Dart::flow_graph_writer())(str, strlen(str));
 }
 
 
 void FlowGraphVisualizer::PrintFunction() {
 #define BEGIN(name)          \
   Print("begin_%s\n", name); \
   indent_++;
 #define END(name)          \
@@ skipping 196 matching lines @@
             true_successor()->block_id(),
             false_successor()->block_id());
 }
 
 
 void ParallelMoveInstr::PrintToVisualizer(BufferFormatter* f) const {
   UNIMPLEMENTED();
 }
 
 
+void Environment::PrintTo(BufferFormatter* f) const {
+  f->Print(" env={ ");
+  for (intptr_t i = 0; i < values_.length(); ++i) {
+    if (i > 0) f->Print(", ");
+    values_[i]->PrintTo(f);
+  }
+  f->Print(" }");
+}
 
 }  // namespace dart