Continue work on type propagation in optimizing compiler (still WIP).

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"
 
@@ skipping 75 matching lines @@
 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());
+      const AbstractType& type = AbstractType::Handle(value->CompileType());
       static_type_name = String::Handle(type.UserVisibleName()).ToCString();
     }
     Parser::PrintMessage(script, token_pos, "",
-                         "%s type check: static type '%s' is %s specific than "
+                         "%s type check: compile 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) {
@@ skipping 669 matching lines @@
         !locations_[i].IsInvalid()) {
       f->Print(" [");
       locations_[i].PrintTo(f);
       f->Print("]");
     }
   }
   f->Print(" }");
 }
 
 }  // namespace dart