Add type propagation phase in optimizing compiler (work in progress).

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"
+#include "vm/parser.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);
@@ skipping 56 matching lines @@
 
 
 void FlowGraphPrinter::PrintComputation(Computation* comp) {
   char str[1000];
   BufferFormatter f(str, sizeof(str));
   comp->PrintTo(&f);
   OS::Print("%s", str);
 }
 
 
+void FlowGraphPrinter::PrintTypeCheck(const ParsedFunction& parsed_function,
+                                      intptr_t token_pos,
+                                      Value* value,
+                                      const AbstractType& dst_type,
+                                      const String& dst_name,
+                                      bool eliminated) {
+    const Class& cls = Class::Handle(parsed_function.function().owner());
+    const Script& script = Script::Handle(cls.script());
+    const char* static_type_name = "unknown";
+    if (value != NULL) {
+      const AbstractType& type = AbstractType::Handle(value->StaticType());
+      static_type_name = String::Handle(type.UserVisibleName()).ToCString();
+    }
+    Parser::PrintMessage(script, token_pos, "",
+                         "%s type check: static type '%s' is %s specific than "
+                         "type '%s' of '%s'.",
+                         eliminated ? "Eliminated" : "Generated",
+                         static_type_name,
+                         eliminated ? "more" : "not more",
+                         String::Handle(dst_type.UserVisibleName()).ToCString(),
+                         dst_name.ToCString());
+}
+
+
 static void PrintICData(BufferFormatter* f, const ICData& ic_data) {
   f->Print(" IC[%d: ", ic_data.NumberOfChecks());
   Function& target = Function::Handle();
   for (intptr_t i = 0; i < ic_data.NumberOfChecks(); i++) {
     GrowableArray<intptr_t> class_ids;
     ic_data.GetCheckAt(i, &class_ids, &target);
     if (i > 0) {
       f->Print(" | ");
     }
     for (intptr_t k = 0; k < class_ids.length(); k++) {
@@ skipping 51 matching lines @@
   f->Print(")");
   f->Print(" instantiator_type_arguments(");
   instantiator_type_arguments()->PrintTo(f);
   f->Print(")");
 }
 
 
 void ClosureCallComp::PrintOperandsTo(BufferFormatter* f) const {
   for (intptr_t i = 0; i < ArgumentCount(); ++i) {
     if (i > 0) f->Print(", ");
-    f->Print("cid%d", ArgumentAt(i)->cid());
+    ArgumentAt(i)->value()->PrintTo(f);
   }
 }
 
 
 void InstanceCallComp::PrintOperandsTo(BufferFormatter* f) const {
   f->Print("%s", function_name().ToCString());
   for (intptr_t i = 0; i < ArgumentCount(); ++i) {
-    f->Print(", ");
-    f->Print("cid%d", ArgumentAt(i)->cid());
+    if (i > 0) f->Print(", ");
+    ArgumentAt(i)->value()->PrintTo(f);
   }
 }
 
 
 void PolymorphicInstanceCallComp::PrintTo(BufferFormatter* f) const {
   f->Print("%s(", DebugName());
   instance_call()->PrintOperandsTo(f);
   f->Print(") ");
   if (HasICData()) {
     PrintICData(f, *ic_data());
@@ skipping 11 matching lines @@
 void EqualityCompareComp::PrintOperandsTo(BufferFormatter* f) const {
   left()->PrintTo(f);
   f->Print(" %s ", Token::Str(kind()));
   right()->PrintTo(f);
 }
 
 
 void StaticCallComp::PrintOperandsTo(BufferFormatter* f) const {
   f->Print("%s", String::Handle(function().name()).ToCString());
   for (intptr_t i = 0; i < ArgumentCount(); ++i) {
-    f->Print(", ");
-    f->Print("cid%d", ArgumentAt(i)->cid());
+    if (i > 0) f->Print(", ");
+    ArgumentAt(i)->value()->PrintTo(f);
   }
 }
 
 
 void LoadLocalComp::PrintOperandsTo(BufferFormatter* f) const {
   f->Print("%s lvl:%d", local().name().ToCString(), context_level());
 }
 
 
 void StoreLocalComp::PrintOperandsTo(BufferFormatter* f) const {
@@ skipping 80 matching lines @@
     ElementAt(i)->PrintTo(f);
   }
   if (ElementCount() > 0) f->Print(", ");
   element_type()->PrintTo(f);
 }
 
 
 void CreateClosureComp::PrintOperandsTo(BufferFormatter* f) const {
   f->Print("%s", function().ToCString());
   for (intptr_t i = 0; i < ArgumentCount(); ++i) {
-    f->Print(", ");
-    f->Print("cid%d", ArgumentAt(i)->cid());
+    if (i > 0) f->Print(", ");
+    ArgumentAt(i)->value()->PrintTo(f);
   }
 }
 
 
 void LoadVMFieldComp::PrintOperandsTo(BufferFormatter* f) const {
   value()->PrintTo(f);
   f->Print(", %d", offset_in_bytes());
 }
 
 
@@ skipping 113 matching lines @@
   } else if (HasSSATemp()) {
     f->Print("    v%d <- ", ssa_temp_index());
   } else {
     f->Print("    t%d <- ", temp_index());
   }
   computation()->PrintTo(f);
 }
 
 
 void PushArgumentInstr::PrintTo(BufferFormatter* f) const {
+  f->Print("    %s ", DebugName());
+  value()->PrintTo(f);
+}
+
+
+void ReturnInstr::PrintTo(BufferFormatter* f) const {
   f->Print("    %s:%d ", DebugName(), cid());
   value()->PrintTo(f);
 }
 
 
-void ReturnInstr::PrintTo(BufferFormatter* f) const {
-  f->Print("    %s ", DebugName());
-  value()->PrintTo(f);
-}
-
-
 void ThrowInstr::PrintTo(BufferFormatter* f) const {
-  f->Print("    %s ", DebugName());
+  f->Print("    %s:%d ", DebugName(), cid());
   exception()->PrintTo(f);
 }
 
 
 void ReThrowInstr::PrintTo(BufferFormatter* f) const {
-  f->Print("    %s ", DebugName());
+  f->Print("    %s:%d ", DebugName(), cid());
   exception()->PrintTo(f);
   f->Print(", ");
   stack_trace()->PrintTo(f);
 }
 
 
 void GotoInstr::PrintTo(BufferFormatter* f) const {
   if (HasParallelMove()) {
     parallel_move()->PrintTo(f);
   } else {
     f->Print("    ");
   }
   f->Print(" goto %d", successor()->block_id());
 }
 
 
 void BranchInstr::PrintTo(BufferFormatter* f) const {
-  f->Print("    %s ", DebugName());
+  f->Print("    %s:%d ", DebugName(), cid());
   f->Print("if ");
   left()->PrintTo(f);
   f-> Print(" %s ", Token::Str(kind()));
   right()->PrintTo(f);
 
   f->Print(" goto (%d, %d)",
             true_successor()->block_id(),
             false_successor()->block_id());
   if (HasICData()) {
     PrintICData(f, *ic_data());
@@ skipping 212 matching lines @@
   } else if (HasSSATemp()) {
     f->Print("v%d ", ssa_temp_index());
   } else {
     f->Print("t%d ", temp_index());
   }
   computation()->PrintTo(f);
 }
 
 
 void PushArgumentInstr::PrintToVisualizer(BufferFormatter* f) const {
+  f->Print("_ %s ", DebugName());
+  value()->PrintTo(f);
+}
+
+
+void ReturnInstr::PrintToVisualizer(BufferFormatter* f) const {
   f->Print("_ %s:%d ", DebugName(), cid());
   value()->PrintTo(f);
 }
 
 
-void ReturnInstr::PrintToVisualizer(BufferFormatter* f) const {
-  f->Print("_ %s ", DebugName());
-  value()->PrintTo(f);
-}
-
-
 void ThrowInstr::PrintToVisualizer(BufferFormatter* f) const {
-  f->Print("_ %s ", DebugName());
+  f->Print("_ %s:%d ", DebugName(), cid());
   exception()->PrintTo(f);
 }
 
 
 void ReThrowInstr::PrintToVisualizer(BufferFormatter* f) const {
-  f->Print("_ %s ", DebugName());
+  f->Print("_ %s:%d ", DebugName(), cid());
   exception()->PrintTo(f);
   f->Print(", ");
   stack_trace()->PrintTo(f);
 }
 
 
 void GotoInstr::PrintToVisualizer(BufferFormatter* f) const {
   f->Print("_ goto B%d", successor()->block_id());
 }
 
@@ skipping 23 matching lines @@
     if ((i < locations_.length()) && !locations_[i].IsInvalid()) {
       f->Print(" [");
       locations_[i].PrintTo(f);
       f->Print("]");
     }
   }
   f->Print(" }");
 }
 
 }  // namespace dart