Support Int32 representation for selected binary operations.

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 23 matching lines @@
   // Merge instructions (only per basic-block).
   void TryOptimizePatterns();
 
   // Returns true if any instructions were canonicalized away.
   bool Canonicalize();
 
   void EliminateDeadPhis();
 
   void SelectRepresentations();
 
+  void WidenSmiToInt32();
+
   void InferIntRanges();
 
   void SelectIntegerInstructions();
 
   void AnalyzeTryCatch();
 
   bool TryInlineRecognizedMethod(intptr_t receiver_cid,
                                  const Function& target,
                                  Instruction* call,
                                  Definition* receiver,
@@ skipping 207 matching lines @@
 };
 
 
 // Loop invariant code motion.
 class LICM : public ValueObject {
  public:
   explicit LICM(FlowGraph* flow_graph);
 
   void Optimize();
 
+  void OptimisticallySpecializeSmiPhis();
+
  private:
   FlowGraph* flow_graph() const { return flow_graph_; }
 
   void Hoist(ForwardInstructionIterator* it,
              BlockEntryInstr* pre_header,
              Instruction* current);
 
-  void TryHoistCheckSmiThroughPhi(ForwardInstructionIterator* it,
-                                  BlockEntryInstr* header,
-                                  BlockEntryInstr* pre_header,
-                                  CheckSmiInstr* current);
+  void TrySpecializeSmiPhi(PhiInstr* phi,
+                           BlockEntryInstr* header,
+                           BlockEntryInstr* pre_header);
 
   FlowGraph* const flow_graph_;
 };
 
 
 // A simple common subexpression elimination based
 // on the dominator tree.
 class DominatorBasedCSE : public AllStatic {
  public:
   // Return true, if the optimization changed the flow graph.
@@ skipping 214 matching lines @@
 // Optimize spill stores inside try-blocks by identifying values that always
 // contain a single known constant at catch block entry.
 class TryCatchAnalyzer : public AllStatic {
  public:
   static void Optimize(FlowGraph* flow_graph);
 };
 
 }  // namespace dart
 
 #endif  // VM_FLOW_GRAPH_OPTIMIZER_H_