Add a value range analysis phase to remove bounds checks.

lib/compiler/implementation/ssa/bailout.dart

 // 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.
 
 class BailoutInfo {
   int instructionId;
   int bailoutId;
   BailoutInfo(this.instructionId, this.bailoutId);
 }
 
 /**
  * Keeps track of the execution environment for instructions. An
  * execution environment contains the SSA instructions that are live.
  */
 class Environment {
   final Set<HInstruction> lives;
   final Set<HBasicBlock> loopMarkers;
   Environment() : lives = new Set<HInstruction>(),
                   loopMarkers = new Set<HBasicBlock>();
   Environment.from(Environment other)
     : lives = new Set<HInstruction>.from(other.lives),
       loopMarkers = new Set<HBasicBlock>.from(other.loopMarkers);
 
   void remove(HInstruction instruction) {
     lives.remove(instruction);
   }
 
   void add(HInstruction instruction) {
-    // If the instruction is a type guard, we add its checked input
+    // If the instruction is a check, we add its checked input
     // instead. This allows sharing the same environment between
     // different type guards.
     //
     // Also, we don't need to add code motion invariant instructions
     // in the live set (because we generate them at use-site), except
     // for parameters that are not 'this', which is always passed as
     // the receiver.
-    if (instruction is HTypeGuard) {
+    if (instruction is HCheck) {
       add(instruction.checkedInput);
     } else if (!instruction.isCodeMotionInvariant()
                || (instruction is HParameterValue && instruction is !HThis)) {
       lives.add(instruction);
     } else {
       for (int i = 0, len = instruction.inputs.length; i < len; i++) {
         add(instruction.inputs[i]);
       }
     }
   }
@@ skipping 489 matching lines @@
         hasComplexBailoutTargets = true;
       }
     } else {
       hasComplexBailoutTargets = true;
       blocks.forEach((HBasicBlock block) {
         block.bailoutTargets.add(target);
       });
     }
   }
 }