Implement array bounds checks explicitly in the optimized IL.

runtime/vm/intermediate_language.cc

 // 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.
 
 #include "vm/intermediate_language.h"
 
 #include "vm/bit_vector.h"
 #include "vm/dart_entry.h"
 #include "vm/flow_graph_allocator.h"
 #include "vm/flow_graph_builder.h"
@@ skipping 55 matching lines @@
     // TODO(fschneider): Make sure ic_data are sorted to hit more cases.
     if (ic_data()->GetReceiverClassIdAt(i) !=
         other->ic_data()->GetReceiverClassIdAt(i)) {
       return false;
     }
   }
   return true;
 }
 
 
+bool CheckArrayBoundComp::AttributesEqual(Computation* other) const {
+  CheckArrayBoundComp* other_check = other->AsCheckArrayBound();
+  if (other_check == NULL) return false;
+  return array_type() == other_check->array_type();
+}
+
+
 // Returns true if the value represents a constant.
 bool UseVal::BindsToConstant() const {
   BindInstr* bind = definition()->AsBind();
   if (bind == NULL) {
     return false;
   }
   return bind->computation()->AsMaterialize() != NULL;
 }
 
 
@@ skipping 1003 matching lines @@
 RawAbstractType* CheckClassComp::CompileType() const {
   return AbstractType::null();
 }
 
 
 RawAbstractType* CheckSmiComp::CompileType() const {
   return AbstractType::null();
 }
 
 
+RawAbstractType* CheckArrayBoundComp::CompileType() const {
+  return AbstractType::null();
+}
+
+
 RawAbstractType* CheckEitherNonSmiComp::CompileType() const {
   return AbstractType::null();
 }
 
 
 // Optimizations that eliminate or simplify individual computations.
 Definition* Computation::TryReplace(BindInstr* instr) const {
   return instr;
 }
 
@@ skipping 448 matching lines @@
       use->AddToEnvUseList();
     }
   }
   instr->set_env(copy);
 }
 
 
 #undef __
 
 }  // namespace dart