Use range information for optimizing integer boxing and fix bug in range analysis.

runtime/vm/intermediate_language.h

 // Copyright (c) 2013, 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_INTERMEDIATE_LANGUAGE_H_
 #define VM_INTERMEDIATE_LANGUAGE_H_
 
 #include "vm/allocation.h"
 #include "vm/ast.h"
 #include "vm/growable_array.h"
@@ skipping 1792 matching lines @@
   virtual CompileType* ComputeInitialType() const {
     return ZoneCompileType::Wrap(ComputeType());
   }
 
   // Does this define a mint?
   bool IsMintDefinition() {
     return (Type()->ToCid() == kMintCid) ||
             IsBinaryMintOp() ||
             IsUnaryMintOp() ||
             IsShiftMintOp() ||
+            IsBoxInteger() ||
             IsUnboxInteger();
   }
 
   // Compute compile type for this definition. It is safe to use this
   // approximation even before type propagator was run (e.g. during graph
   // building).
   virtual CompileType ComputeType() const {
     return CompileType::Dynamic();
   }
 
@@ skipping 3265 matching lines @@
 
   Definition* Canonicalize(FlowGraph* flow_graph);
 
  private:
   DISALLOW_COPY_AND_ASSIGN(BoxInt32x4Instr);
 };
 
 
 class BoxIntegerInstr : public TemplateDefinition<1> {
  public:
-  explicit BoxIntegerInstr(Value* value) {
+  explicit BoxIntegerInstr(Value* value) : is_smi_(false) {
     SetInputAt(0, value);
   }
 
   Value* value() const { return inputs_[0]; }
 
+  bool is_smi() const { return is_smi_; }
+  void set_is_smi(bool is_smi) { is_smi_ = is_smi; }
+
   virtual bool CanDeoptimize() const { return false; }
 
   virtual intptr_t DeoptimizationTarget() const {
     return Isolate::kNoDeoptId;
   }
 
   virtual Representation RequiredInputRepresentation(intptr_t idx) const {
     ASSERT(idx == 0);
     return kUnboxedMint;
   }
 
   DECLARE_INSTRUCTION(BoxInteger)
   virtual CompileType ComputeType() const;
+  virtual bool RecomputeType();
+
+  virtual void InferRange();
 
   virtual bool AllowsCSE() const { return true; }
   virtual EffectSet Effects() const { return EffectSet::None(); }
   virtual EffectSet Dependencies() const { return EffectSet::None(); }
   virtual bool AttributesEqual(Instruction* other) const { return true; }
 
   virtual bool MayThrow() const { return false; }
 
  private:
+  bool is_smi_;
+
   DISALLOW_COPY_AND_ASSIGN(BoxIntegerInstr);
 };
 
 
 class UnboxDoubleInstr : public TemplateDefinition<1> {
  public:
   UnboxDoubleInstr(Value* value, intptr_t deopt_id) {
     SetInputAt(0, value);
     deopt_id_ = deopt_id;
   }
@@ skipping 1995 matching lines @@
     ASSERT((idx == 0) || (idx == 1));
     return (idx == 0) ? kUnboxedMint : kTagged;
   }
 
   virtual intptr_t DeoptimizationTarget() const {
     // Direct access since this instruction cannot deoptimize, and the deopt-id
     // was inherited from another instruction that could deoptimize.
     return deopt_id_;
   }
 
+  virtual void InferRange();
+
   DECLARE_INSTRUCTION(ShiftMintOp)
 
   virtual bool AllowsCSE() const { return true; }
   virtual EffectSet Effects() const { return EffectSet::None(); }
   virtual EffectSet Dependencies() const { return EffectSet::None(); }
   virtual bool AttributesEqual(Instruction* other) const {
     return op_kind() == other->AsShiftMintOp()->op_kind();
   }
 
   virtual bool MayThrow() const { return false; }
@@ skipping 1041 matching lines @@
   ForwardInstructionIterator* current_iterator_;
 
  private:
   DISALLOW_COPY_AND_ASSIGN(FlowGraphVisitor);
 };
 
 
 }  // namespace dart
 
 #endif  // VM_INTERMEDIATE_LANGUAGE_H_