Implement range analysis for smi values.

runtime/vm/compiler.cc

Index: runtime/vm/compiler.cc
diff --git a/runtime/vm/compiler.cc b/runtime/vm/compiler.cc
index 0095b13eda8e9dcce4c08be3b105496d6c42fb2e..d2135daf7bc414b845c4a179886479cb11eb5c8c 100644
--- a/runtime/vm/compiler.cc
+++ b/runtime/vm/compiler.cc
@@ -205,6 +205,9 @@ static bool CompileParsedFunctionHelper(const ParsedFunction& parsed_function,
         if (FLAG_cse) DominatorBasedCSE::Optimize(flow_graph);
         if (FLAG_licm) LICM::Optimize(flow_graph);
 
+        // TODO(vegorov): move optimistic smis unboxing into Sminess propagator.

[Florian Schneider, 2012/09/21 08:56:44]

I don't understand this TODO. Can you make it clearer?

[Vyacheslav Egorov (Google), 2012/09/21 20:08:07]

Done.

+        optimizer.InferSmiRanges();
+
         // Perform register allocation on the SSA graph.
         FlowGraphAllocator allocator(*flow_graph);
         allocator.AllocateRegisters();