1806ad7313
Bug: v8:13408, v8:9407 Change-Id: I2f7eefde11c63517bb59036b38ca20173a0adf03 Reviewed-on: https://chromium-review.googlesource.com/c/v8/v8/+/3971367 Auto-Submit: Qifan Pan <panq@google.com> Reviewed-by: Nico Hartmann <nicohartmann@chromium.org> Commit-Queue: Qifan Pan <panq@google.com> Cr-Commit-Position: refs/heads/main@{#83885}
68 lines
2.1 KiB
JavaScript
68 lines
2.1 KiB
JavaScript
// Copyright 2022 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 --turbofan --no-always-turbofan
|
|
|
|
(function OptimizeAndTest() {
|
|
function f(x, y) {
|
|
return x + y;
|
|
}
|
|
%PrepareFunctionForOptimization(f);
|
|
assertEquals(1n, f(0n, 1n));
|
|
assertEquals(5n, f(2n, 3n));
|
|
%OptimizeFunctionOnNextCall(f);
|
|
assertEquals(9n, f(4n, 5n));
|
|
assertOptimized(f);
|
|
// Re-prepare the function before the first deopt to ensure type feedback is
|
|
// not cleared by an umtimely gc.
|
|
%PrepareFunctionForOptimization(f);
|
|
assertOptimized(f);
|
|
// CheckBigInt64 should trigger deopt.
|
|
assertEquals(-(2n ** 63n), f(-(2n ** 63n), 0n));
|
|
if (%Is64Bit()) {
|
|
assertUnoptimized(f);
|
|
|
|
assertEquals(1n, f(0n, 1n));
|
|
assertEquals(5n, f(2n, 3n));
|
|
%OptimizeFunctionOnNextCall(f);
|
|
assertEquals(9n, f(4n, 5n));
|
|
assertOptimized(f);
|
|
// Ensure there is no deopt loop.
|
|
assertEquals(-(2n ** 63n), f(-(2n ** 63n), 0n));
|
|
assertOptimized(f);
|
|
}
|
|
})();
|
|
|
|
(function OptimizeAndTestOverflow() {
|
|
function f(x, y) {
|
|
return x + y;
|
|
}
|
|
%PrepareFunctionForOptimization(f);
|
|
assertEquals(1n, f(0n, 1n));
|
|
assertEquals(5n, f(2n, 3n));
|
|
%OptimizeFunctionOnNextCall(f);
|
|
assertEquals(9n, f(4n, 5n));
|
|
assertOptimized(f);
|
|
assertEquals(-(2n ** 63n), f(-(2n ** 62n), -(2n ** 62n)));
|
|
assertOptimized(f);
|
|
// Re-prepare the function before the first deopt to ensure type feedback is
|
|
// not cleared by an umtimely gc.
|
|
%PrepareFunctionForOptimization(f);
|
|
assertOptimized(f);
|
|
// CheckedBigInt64Add will trigger deopt due to overflow.
|
|
assertEquals(-(2n ** 63n) - 1n, f(-(2n ** 62n + 1n), -(2n ** 62n)));
|
|
if (%Is64Bit()) {
|
|
assertUnoptimized(f);
|
|
|
|
assertEquals(1n, f(0n, 1n));
|
|
assertEquals(5n, f(2n, 3n));
|
|
%OptimizeFunctionOnNextCall(f);
|
|
assertEquals(9n, f(4n, 5n));
|
|
assertOptimized(f);
|
|
// Ensure there is no deopt loop.
|
|
assertEquals(-(2n ** 63n) - 1n, f(-(2n ** 62n + 1n), -(2n ** 62n)));
|
|
assertOptimized(f);
|
|
}
|
|
})();
|