Fix optimistic BCE to back off after deopt

test/mjsunit/regress/regress-3176.js

Index: test/mjsunit/regress/regress-3176.js
diff --git a/test/mjsunit/regress/regress-3176.js b/test/mjsunit/regress/regress-3176.js
new file mode 100644
index 0000000000000000000000000000000000000000..e2563c0d3aad14101db34d53103a5da740f1e0a3
--- /dev/null
+++ b/test/mjsunit/regress/regress-3176.js
@@ -0,0 +1,28 @@
+// Copyright 2014 the V8 project authors. All rights reserved.
+// Use of this source code is governed by a BSD-style license that can be
+// found in the LICENSE file.
+
+// Flags: --allow-natives-syntax
+
+function foo(a) {
+  var sum = 0;
+  for (var i = 0; i < 10; i++) {
+    sum += a[i];
+
+    if (i > 6) {
+      sum -= a[i - 4];
+      sum -= a[i - 5];
+    }
+  }
+  return sum;
+}
+
+var a = new Int32Array(10);
+
+foo(a);
+foo(a);
+%OptimizeFunctionOnNextCall(foo);
+foo(a);
+%OptimizeFunctionOnNextCall(foo);
+foo(a);
+assertOptimized(foo);