Add a value range analysis phase to remove bounds checks.

lib/compiler/implementation/ssa/ssa.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.
 
 #library('ssa');
 
 #import('../closure.dart');
 #import('../js/js.dart', prefix: 'js');
 #import('../leg.dart');
 #import('../source_file.dart');
@@ skipping 11 matching lines @@
 #source('builder.dart');
 #source('codegen.dart');
 #source('codegen_helpers.dart');
 #source('js_names.dart');
 #source('nodes.dart');
 #source('optimize.dart');
 #source('types.dart');
 #source('types_propagation.dart');
 #source('validate.dart');
 #source('variable_allocator.dart');
+#source('value_range_analyzer.dart');
 #source('value_set.dart');
 
 class RuntimeTypeInformation {
   bool hasTypeArguments(DartType type) {
     if (type is InterfaceType) {
       InterfaceType interfaceType = type;
       return !interfaceType.arguments.isEmpty();
     }
     return false;
   }
@@ skipping 46 matching lines @@
    */
   static String generateTypeVariableString(ClassElement element,
                                            int numberOfInputs) {
     String stringify(TypeVariableType variable, bool hasValue) {
       return "'${variable.name.slowToString()}': #";
     }
     return stringifyTypeVariables(element.typeVariables, numberOfInputs,
                                   stringify);
   }
 }