Add test for deoptimization bug.

R=jarin@chromium.org,mstarzinger@chromium.org
BUG=

Review URL: https://codereview.chromium.org/1100113002

Cr-Commit-Position: refs/heads/master@{#28013}

diff --git a/test/mjsunit/compiler/deopt-bool.js b/test/mjsunit/compiler/deopt-bool.js
new file mode 100644 (file)
index 0000000..13a4a97
--- /dev/null
+++ b/test/mjsunit/compiler/deopt-bool.js
@@ -0,0 +1,28 @@
+// Copyright 2015 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, b) {
+  var passed = a == 3;
+  if (passed) {
+    if (passed) {
+      passed = b == 4;
+    }
+  }
+  %DeoptimizeFunction(foo);
+  return passed;
+}
+
+assertTrue(foo(3, 4));
+assertTrue(foo(3, 4));
+assertFalse(foo(3.1, 4));
+assertFalse(foo(3, 4.1));
+
+%OptimizeFunctionOnNextCall(foo);
+
+assertTrue(foo(3, 4));
+assertTrue(foo(3, 4));
+assertFalse(foo(3.1, 4));
+assertFalse(foo(3, 4.1));

diff --git a/test/mjsunit/compiler/deopt-bool2.js b/test/mjsunit/compiler/deopt-bool2.js
new file mode 100644 (file)
index 0000000..4d1c41e
--- /dev/null
+++ b/test/mjsunit/compiler/deopt-bool2.js
@@ -0,0 +1,31 @@
+// Copyright 2015 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(expected, x) {
+  var passed = expected.length == x.length;
+  for (var i = 0; i < expected.length; i++) {
+    if (passed)
+      passed = expected[i] == x[i];
+  }
+  print("a");
+  print(passed);
+
+  %DeoptimizeFunction(foo);
+
+  print("b");
+  print(passed);
+  return passed;
+}
+
+assertTrue(foo([0,1], [0,1]));
+assertTrue(foo([0,2], [0,2]));
+assertFalse(foo([0,2.25], [0,2.75]));
+
+%OptimizeFunctionOnNextCall(foo);
+
+assertTrue(foo([0,1], [0,1]));
+assertTrue(foo([0,2], [0,2]));
+assertFalse(foo([0,2.25], [0,2.75]));

diff --git a/test/mjsunit/mjsunit.status b/test/mjsunit/mjsunit.status
index 9aa83a2..ee5bf77 100644 (file)
--- a/test/mjsunit/mjsunit.status
+++ b/test/mjsunit/mjsunit.status
@@ -62,6 +62,10 @@
   # from the deoptimizer to do that.
   'arguments-indirect': [PASS, NO_VARIANTS],
 
+  # TODO(jarin): deoptimizer materializes a number instead of a boolean.
+  'compiler/deopt-bool': [PASS, NO_VARIANTS],
+  'compiler/deopt-bool2': [PASS, NO_VARIANTS],
+
   # TODO(verwaest): Some tests are over-restrictive about object layout.
   'array-constructor-feedback': [PASS, NO_VARIANTS],
   'array-feedback': [PASS, NO_VARIANTS],