7772a2df9dPR-URL: https://github.com/nodejs/node/pull/59805 Reviewed-By: Filip Skokan <panva.ip@gmail.com> Reviewed-By: Richard Lau <richard.lau@ibm.com> Reviewed-By: Ruben Bridgewater <ruben@bridgewater.de> Reviewed-By: Colin Ihrig <cjihrig@gmail.com>
71 lines
2.4 KiB
JavaScript
71 lines
2.4 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
|
|
|
|
const bi = 18446744073709551615n; // 2n ** 64n - 1n
|
|
|
|
function storeAndLoad(x) {
|
|
let buffer = new ArrayBuffer(16);
|
|
let biArray = new BigInt64Array(buffer);
|
|
biArray[0] = bi;
|
|
biArray[1] = x;
|
|
return biArray[0] + biArray[1];
|
|
}
|
|
|
|
%PrepareFunctionForOptimization(storeAndLoad);
|
|
assertEquals(-1n, storeAndLoad(0n));
|
|
assertEquals(41n, storeAndLoad(2n ** 64n + 42n));
|
|
assertEquals(0n, storeAndLoad(-bi));
|
|
assertEquals(-2n, storeAndLoad(bi));
|
|
%OptimizeFunctionOnNextCall(storeAndLoad);
|
|
assertEquals(-1n, storeAndLoad(0n));
|
|
assertEquals(41n, storeAndLoad(2n ** 64n + 42n));
|
|
assertEquals(0n, storeAndLoad(-bi));
|
|
assertEquals(-2n, storeAndLoad(bi));
|
|
assertOptimized(storeAndLoad);
|
|
|
|
assertEquals(-1n, storeAndLoad(false));
|
|
if (%Is64Bit()) {
|
|
assertUnoptimized(storeAndLoad);
|
|
}
|
|
|
|
%PrepareFunctionForOptimization(storeAndLoad);
|
|
assertEquals(-1n, storeAndLoad(0n));
|
|
%OptimizeFunctionOnNextCall(storeAndLoad);
|
|
assertEquals(0n, storeAndLoad(true));
|
|
// TODO(panq): Uncomment the assertion once the deopt loop is eliminated.
|
|
// assertOptimized(storeAndLoad);
|
|
|
|
function storeAndLoadUnsigned(x) {
|
|
let buffer = new ArrayBuffer(16);
|
|
let biArray = new BigUint64Array(buffer);
|
|
biArray[0] = bi;
|
|
biArray[1] = x;
|
|
return biArray[0] + biArray[1];
|
|
}
|
|
|
|
%PrepareFunctionForOptimization(storeAndLoadUnsigned);
|
|
assertEquals(bi, storeAndLoadUnsigned(0n));
|
|
assertEquals(bi + 42n, storeAndLoadUnsigned(2n ** 64n + 42n));
|
|
assertEquals(bi + 1n, storeAndLoadUnsigned(-bi));
|
|
assertEquals(bi * 2n, storeAndLoadUnsigned(bi));
|
|
%OptimizeFunctionOnNextCall(storeAndLoadUnsigned);
|
|
assertEquals(bi, storeAndLoadUnsigned(0n));
|
|
assertEquals(bi + 42n, storeAndLoadUnsigned(2n ** 64n + 42n));
|
|
assertEquals(bi + 1n, storeAndLoadUnsigned(-bi));
|
|
assertEquals(bi * 2n, storeAndLoadUnsigned(bi));
|
|
assertOptimized(storeAndLoadUnsigned);
|
|
|
|
assertEquals(bi, storeAndLoadUnsigned(false));
|
|
if (%Is64Bit()) {
|
|
assertUnoptimized(storeAndLoadUnsigned);
|
|
}
|
|
|
|
%PrepareFunctionForOptimization(storeAndLoadUnsigned);
|
|
assertEquals(bi, storeAndLoadUnsigned(0n));
|
|
%OptimizeFunctionOnNextCall(storeAndLoadUnsigned);
|
|
assertEquals(bi + 1n, storeAndLoadUnsigned(true));
|
|
// TODO(panq): Uncomment the assertion once the deopt loop is eliminated.
|
|
// assertOptimized(storeAndLoadUnsigned);
|