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

runtime/vm/flow_graph_builder.cc

Index: runtime/vm/flow_graph_builder.cc
===================================================================
--- runtime/vm/flow_graph_builder.cc	(revision 10461)
+++ runtime/vm/flow_graph_builder.cc	(working copy)
@@ -409,7 +409,7 @@
 
 
 // Returns true if the type check can be skipped, for example, if the
-// destination type is Dynamic or if the static type of the value is a subtype
+// destination type is Dynamic or if the compile type of the value is a subtype
 // of the destination type.
 bool EffectGraphVisitor::CanSkipTypeCheck(intptr_t token_pos,
                                           Value* value,
@@ -441,7 +441,7 @@
     return false;
   }
 
-  const bool eliminated = value->StaticTypeIsMoreSpecificThan(dst_type);
+  const bool eliminated = value->CompileTypeIsMoreSpecificThan(dst_type);

[srdjan, 2012/08/09 22:20:53]

Comment that propagated types are not set yet.

[regis, 2012/08/09 23:51:37]

Done.

   if (FLAG_trace_type_check_elimination) {
     FlowGraphPrinter::PrintTypeCheck(owner()->parsed_function(),
                                      token_pos,