Implement range analysis for smi values.

runtime/vm/flow_graph_optimizer.h

 // 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.
 
 #ifndef VM_FLOW_GRAPH_OPTIMIZER_H_
 #define VM_FLOW_GRAPH_OPTIMIZER_H_
 
 #include "vm/intermediate_language.h"
 #include "vm/flow_graph.h"
 
@@ skipping 12 matching lines @@
   void ApplyICData();
 
   void OptimizeComputations();
 
   void EliminateDeadPhis();
 
   void SelectRepresentations();
 
   void PropagateSminess();
 
+  void InferSmiRanges();
+
   virtual void VisitStaticCall(StaticCallInstr* instr);
   virtual void VisitInstanceCall(InstanceCallInstr* instr);
   virtual void VisitRelationalOp(RelationalOpInstr* instr);
   virtual void VisitEqualityCompare(EqualityCompareInstr* instr);
   virtual void VisitBranch(BranchInstr* instr);
 
   void InsertBefore(Instruction* next,
                     Instruction* instr,
                     Environment* env,
                     Definition::UseKind use_kind);
@@ skipping 87 matching lines @@
   static void Optimize(FlowGraph* flow_graph);
 
  private:
   static void Hoist(ForwardInstructionIterator* it,
                     BlockEntryInstr* pre_header,
                     Instruction* current);
 
   static void TryHoistCheckSmiThroughPhi(ForwardInstructionIterator* it,
                                          BlockEntryInstr* header,
                                          BlockEntryInstr* pre_header,
-                                         Instruction* current);
+                                         CheckSmiInstr* current);
 };
 
 
 // A simple common subexpression elimination based
 // on the dominator tree.
 class DominatorBasedCSE : public AllStatic {
  public:
   static void Optimize(FlowGraph* graph);
 
  private:
@@ skipping 59 matching lines @@
 
   // Worklists of blocks and definitions.
   GrowableArray<BlockEntryInstr*> block_worklist_;
   GrowableArray<Definition*> definition_worklist_;
 };
 
 
 }  // namespace dart
 
 #endif  // VM_FLOW_GRAPH_OPTIMIZER_H_