Revert "Switch to a fix-point based range analysis to improve its precision."

runtime/vm/intermediate_language.h

Index: runtime/vm/intermediate_language.h
diff --git a/runtime/vm/intermediate_language.h b/runtime/vm/intermediate_language.h
index c42de97809ee12d989cea78a74b557227c36bbcd..21d24ebaed760df8839bdae08a8aee5ec08f6b10 100644
--- a/runtime/vm/intermediate_language.h
+++ b/runtime/vm/intermediate_language.h
@@ -1950,10 +1950,9 @@ class Definition : public Instruction {
   //    - unknown sentinel
   Object& constant_value() const { return constant_value_; }
 
-  virtual void InferRange(Range* range);
+  virtual void InferRange();
 
   Range* range() const { return range_; }
-  void set_range(const Range&);
 
   // Definitions can be canonicalized only into definitions to ensure
   // this check statically we override base Canonicalize with a Canonicalize
@@ -2104,7 +2103,7 @@ class PhiInstr : public Definition {
 
   virtual void PrintTo(BufferFormatter* f) const;
 
-  virtual void InferRange(Range* range);
+  virtual void InferRange();
 
   BitVector* reaching_defs() const {
     return reaching_defs_;
@@ -2601,7 +2600,7 @@ class ConstraintInstr : public TemplateDefinition<2> {
   Value* value() const { return inputs_[0]; }
   Range* constraint() const { return constraint_; }
 
-  virtual void InferRange(Range* range);
+  virtual void InferRange();
 
   void AddDependency(Definition* defn) {
     Value* val = new Value(defn);
@@ -2646,7 +2645,7 @@ class ConstantInstr : public TemplateDefinition<0> {
 
   virtual bool CanDeoptimize() const { return false; }
 
-  virtual void InferRange(Range* range);
+  virtual void InferRange();
 
   virtual bool AllowsCSE() const { return true; }
   virtual EffectSet Effects() const { return EffectSet::None(); }
@@ -3283,7 +3282,7 @@ class IfThenElseInstr : public Definition {
 
   virtual CompileType ComputeType() const;
 
-  virtual void InferRange(Range* range);
+  virtual void InferRange();
 
   ComparisonInstr* comparison() const { return comparison_; }
   intptr_t if_true() const { return if_true_; }
@@ -3917,7 +3916,7 @@ class LoadIndexedInstr : public TemplateDefinition<2> {
   }
 
   virtual Representation representation() const;
-  virtual void InferRange(Range* range);
+  virtual void InferRange();
 
   virtual bool AllowsCSE() const { return false; }
   virtual EffectSet Effects() const { return EffectSet::None(); }
@@ -4486,7 +4485,7 @@ class LoadFieldInstr : public TemplateDefinition<1> {
 
   virtual bool CanDeoptimize() const { return false; }
 
-  virtual void InferRange(Range* range);
+  virtual void InferRange();
 
   bool IsImmutableLengthLoad() const;
 
@@ -4885,7 +4884,7 @@ class BoxIntegerInstr : public TemplateDefinition<1> {
   virtual CompileType ComputeType() const;
   virtual bool RecomputeType();
 
-  virtual void InferRange(Range* range);
+  virtual void InferRange();
 
   virtual bool AllowsCSE() const { return true; }
   virtual EffectSet Effects() const { return EffectSet::None(); }
@@ -5058,7 +5057,7 @@ class UnboxIntegerInstr : public TemplateDefinition<1> {
 
   intptr_t deopt_id() const { return deopt_id_; }
 
-  virtual void InferRange(Range* range);
+  virtual void InferRange();
 
   DECLARE_INSTRUCTION(UnboxInteger)
   virtual CompileType ComputeType() const;
@@ -6904,7 +6903,7 @@ class BinaryMintOpInstr : public TemplateDefinition<2> {
     return deopt_id_;
   }
 
-  virtual void InferRange(Range* range);
+  virtual void InferRange();
 
   virtual Definition* Canonicalize(FlowGraph* flow_graph);
 
@@ -6978,7 +6977,7 @@ class ShiftMintOpInstr : public TemplateDefinition<2> {
     return deopt_id_;
   }
 
-  virtual void InferRange(Range* range);
+  virtual void InferRange();
 
   DECLARE_INSTRUCTION(ShiftMintOp)
 
@@ -7095,7 +7094,7 @@ class BinarySmiOpInstr : public TemplateDefinition<2> {
 
   void PrintTo(BufferFormatter* f) const;
 
-  virtual void InferRange(Range* range);
+  virtual void InferRange();
 
   virtual Definition* Canonicalize(FlowGraph* flow_graph);