Source code
Revision control
Copy as Markdown
Other Tools
// |jit-test| --ion-limit-script-size=off
setJitCompilerOption("baseline.warmup.trigger", 9);
setJitCompilerOption("ion.warmup.trigger", 20);
// Prevent the GC from cancelling Ion compilations, when we expect them to succeed
gczeal(0);
// Keep in sync with BigInt::MaxBitLength.
const maxBitLength = 1024 * 1024;
const maxBigInt = BigInt.asUintN(maxBitLength, -1n);
const minBigInt = -maxBigInt;
function resumeHere() {}
function bigIntAddBail(i) {
var x = [0n, maxBigInt][0 + (i >= 99)];
var a = x + 1n;
// Add a function call to capture a resumepoint at the end of the call or
// inside the inlined block, such as the bailout does not rewind to the
// beginning of the function.
resumeHere();
if (i >= 99) {
bailout();
// Flag the computation as having removed uses to check that we properly
// report the error while executing the BigInt operation on bailout.
return a;
}
}
function bigIntSubBail(i) {
var x = [0n, minBigInt][0 + (i >= 99)];
var a = x - 1n;
// Add a function call to capture a resumepoint at the end of the call or
// inside the inlined block, such as the bailout does not rewind to the
// beginning of the function.
resumeHere();
if (i >= 99) {
bailout();
// Flag the computation as having removed uses to check that we properly
// report the error while executing the BigInt operation on bailout.
return a;
}
}
function bigIntMulBail(i) {
var x = [0n, maxBigInt][0 + (i >= 99)];
var a = x * 2n;
// Add a function call to capture a resumepoint at the end of the call or
// inside the inlined block, such as the bailout does not rewind to the
// beginning of the function.
resumeHere();
if (i >= 99) {
bailout();
// Flag the computation as having removed uses to check that we properly
// report the error while executing the BigInt operation on bailout.
return a;
}
}
function bigIntIncBail(i) {
var x = [0n, maxBigInt][0 + (i >= 99)];
var a = x++;
// Add a function call to capture a resumepoint at the end of the call or
// inside the inlined block, such as the bailout does not rewind to the
// beginning of the function.
resumeHere();
if (i >= 99) {
bailout();
// Flag the computation as having removed uses to check that we properly
// report the error while executing the BigInt operation on bailout.
return x;
}
}
function bigIntDecBail(i) {
var x = [0n, minBigInt][0 + (i >= 99)];
var a = x--;
// Add a function call to capture a resumepoint at the end of the call or
// inside the inlined block, such as the bailout does not rewind to the
// beginning of the function.
resumeHere();
if (i >= 99) {
bailout();
// Flag the computation as having removed uses to check that we properly
// report the error while executing the BigInt operation on bailout.
return x;
}
}
function bigIntBitNotBail(i) {
var x = [0n, maxBigInt][0 + (i >= 99)];
var a = ~x;
// Add a function call to capture a resumepoint at the end of the call or
// inside the inlined block, such as the bailout does not rewind to the
// beginning of the function.
resumeHere();
if (i >= 99) {
bailout();
// Flag the computation as having removed uses to check that we properly
// report the error while executing the BigInt operation on bailout.
return a;
}
}
function bigIntLshBail(i) {
var shift = [0n, BigInt(maxBitLength)][0 + (i >= 99)];
var a = 1n << shift;
// Add a function call to capture a resumepoint at the end of the call or
// inside the inlined block, such as the bailout does not rewind to the
// beginning of the function.
resumeHere();
if (i >= 99) {
bailout();
// Flag the computation as having removed uses to check that we properly
// report the error while executing the BigInt operation on bailout.
return a;
}
}
function bigIntRshBail(i) {
var shift = [0n, -BigInt(maxBitLength)][0 + (i >= 99)];
var a = 1n >> shift;
// Add a function call to capture a resumepoint at the end of the call or
// inside the inlined block, such as the bailout does not rewind to the
// beginning of the function.
resumeHere();
if (i >= 99) {
bailout();
// Flag the computation as having removed uses to check that we properly
// report the error while executing the BigInt operation on bailout.
return a;
}
}
function bigIntAsUintBail(i) {
var x = [0, maxBitLength + 1][0 + (i >= 99)];
var a = BigInt.asUintN(x, -1n);
// Add a function call to capture a resumepoint at the end of the call or
// inside the inlined block, such as the bailout does not rewind to the
// beginning of the function.
resumeHere();
if (i >= 99) {
bailout();
// Flag the computation as having removed uses to check that we properly
// report the error while executing the BigInt operation on bailout.
return a;
}
}
// Prevent compilation of the top-level
eval(`(${resumeHere})`);
// The bigIntXBail() functions create a BigInt which exceeds the maximum
// representable BigInt. This results in either throwing a RangeError or an
// out-of-memory error when the operation is recovered during a bailout.
try {
for (let i = 0; i < 100; i++) {
bigIntAddBail(i);
}
throw new Error("missing exception");
} catch (e) {
assertEq(e instanceof RangeError || e === "out of memory", true, String(e));
}
try {
for (let i = 0; i < 100; i++) {
bigIntSubBail(i);
}
throw new Error("missing exception");
} catch (e) {
assertEq(e instanceof RangeError || e === "out of memory", true, String(e));
}
try {
for (let i = 0; i < 100; i++) {
bigIntMulBail(i);
}
throw new Error("missing exception");
} catch (e) {
assertEq(e instanceof RangeError || e === "out of memory", true, String(e));
}
try {
for (let i = 0; i < 100; i++) {
bigIntIncBail(i);
}
throw new Error("missing exception");
} catch (e) {
assertEq(e instanceof RangeError || e === "out of memory", true, String(e));
}
try {
for (let i = 0; i < 100; i++) {
bigIntDecBail(i);
}
throw new Error("missing exception");
} catch (e) {
assertEq(e instanceof RangeError || e === "out of memory", true, String(e));
}
try {
for (let i = 0; i < 100; i++) {
bigIntBitNotBail(i);
}
throw new Error("missing exception");
} catch (e) {
assertEq(e instanceof RangeError || e === "out of memory", true, String(e));
}
try {
for (let i = 0; i < 100; i++) {
bigIntLshBail(i);
}
throw new Error("missing exception");
} catch (e) {
assertEq(e instanceof RangeError || e === "out of memory", true, String(e));
}
try {
for (let i = 0; i < 100; i++) {
bigIntRshBail(i);
}
throw new Error("missing exception");
} catch (e) {
assertEq(e instanceof RangeError || e === "out of memory", true, String(e));
}
try {
for (let i = 0; i < 100; i++) {
bigIntAsUintBail(i);
}
throw new Error("missing exception");
} catch (e) {
assertEq(e instanceof RangeError || e === "out of memory", true, String(e));
}