AuroraMiddleware/v8
1
0
Fork 0
Code Issues 2 Pull Requests Releases Wiki Activity

Add test for deoptimization bug.

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

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

Cr-Commit-Position: refs/heads/master@{#28013}
This commit is contained in:
titzer 2015-04-22 07:33:06 -07:00 committed by Commit bot
parent 9146ae720c
commit 5b6111edff
3 changed files with 63 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

28
test/mjsunit/compiler/deopt-bool.js Normal file
View File

@ -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));

31
test/mjsunit/compiler/deopt-bool2.js Normal file
View File

@ -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]));

4
test/mjsunit/mjsunit.status
View File

@ -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],