Avoid array bounds check when allowed by guarded field.

runtime/vm/intermediate_language_arm.cc

Index: runtime/vm/intermediate_language_arm.cc
diff --git a/runtime/vm/intermediate_language_arm.cc b/runtime/vm/intermediate_language_arm.cc
index 830ade19e433bb231929621a9a5a9457ee6922b6..ddfc563e5f18b90da5ba53ff6da3103b525d1733 100644
--- a/runtime/vm/intermediate_language_arm.cc
+++ b/runtime/vm/intermediate_language_arm.cc
@@ -4325,6 +4325,24 @@ void CheckArrayBoundInstr::EmitNativeCode(FlowGraphCompiler* compiler) {
     return;
   }
 
+  intptr_t guarded_array_length = -1;

[srdjan, 2013/08/22 22:02:43]

Instead of checking here, move the code to CheckArrayBoundInstr::Canonicalize to
eliminated redundant bounds checks.

+  if (array_ != NULL) {
+    if (array_->guarded_list_length() >= 0) {
+      guarded_array_length = array_->guarded_list_length();
+    }
+  }
+
+  if (index_loc.IsConstant() && guarded_array_length >= 0) {
+    const Object& index = Smi::Cast(index_loc.constant());
+    int32_t i = reinterpret_cast<int32_t>(index.raw());
+    if (i >= guarded_array_length) {
+      // We know this bounds check will trigger a deoptimization.
+      __ b(deopt);
+    }
+    // Nothing to emit.
+    return;
+  }
+
   if (index_loc.IsConstant()) {
     Register length = length_loc.reg();
     const Smi& index = Smi::Cast(index_loc.constant());