Source code
Revision control
Copy as Markdown
Other Tools
const tests = [
[-0x10000000000000001n, 0, 0n],
[-0x10000000000000000n, 0, 0n],
[-0xffffffffffffffffn, 0, 0n],
[-0xfffffffffffffffen, 0, 0n],
[-0x8000000000000001n, 0, 0n],
[-0x8000000000000000n, 0, 0n],
[-0x7fffffffffffffffn, 0, 0n],
[-0x7ffffffffffffffen, 0, 0n],
[-0x100000001n, 0, 0n],
[-0x100000000n, 0, 0n],
[-0xffffffffn, 0, 0n],
[-0xfffffffen, 0, 0n],
[-0x80000001n, 0, 0n],
[-0x80000000n, 0, 0n],
[-0x7fffffffn, 0, 0n],
[-0x7ffffffen, 0, 0n],
[-9n, 0, 0n],
[-8n, 0, 0n],
[-7n, 0, 0n],
[-6n, 0, 0n],
[-5n, 0, 0n],
[-4n, 0, 0n],
[-3n, 0, 0n],
[-2n, 0, 0n],
[-1n, 0, 0n],
[0n, 0, 0n],
[1n, 0, 0n],
[2n, 0, 0n],
[3n, 0, 0n],
[4n, 0, 0n],
[5n, 0, 0n],
[6n, 0, 0n],
[7n, 0, 0n],
[8n, 0, 0n],
[9n, 0, 0n],
[0x7ffffffen, 0, 0n],
[0x7fffffffn, 0, 0n],
[0x80000000n, 0, 0n],
[0x80000001n, 0, 0n],
[0xfffffffen, 0, 0n],
[0xffffffffn, 0, 0n],
[0x100000000n, 0, 0n],
[0x100000001n, 0, 0n],
[0x7ffffffffffffffen, 0, 0n],
[0x7fffffffffffffffn, 0, 0n],
[0x8000000000000000n, 0, 0n],
[0x8000000000000001n, 0, 0n],
[0xfffffffffffffffen, 0, 0n],
[0xffffffffffffffffn, 0, 0n],
[0x10000000000000000n, 0, 0n],
[0x10000000000000001n, 0, 0n],
[-0x10000000000000001n, 1, -1n],
[-0x10000000000000000n, 1, 0n],
[-0xffffffffffffffffn, 1, -1n],
[-0xfffffffffffffffen, 1, 0n],
[-0x8000000000000001n, 1, -1n],
[-0x8000000000000000n, 1, 0n],
[-0x7fffffffffffffffn, 1, -1n],
[-0x7ffffffffffffffen, 1, 0n],
[-0x100000001n, 1, -1n],
[-0x100000000n, 1, 0n],
[-0xffffffffn, 1, -1n],
[-0xfffffffen, 1, 0n],
[-0x80000001n, 1, -1n],
[-0x80000000n, 1, 0n],
[-0x7fffffffn, 1, -1n],
[-0x7ffffffen, 1, 0n],
[-9n, 1, -1n],
[-8n, 1, 0n],
[-7n, 1, -1n],
[-6n, 1, 0n],
[-5n, 1, -1n],
[-4n, 1, 0n],
[-3n, 1, -1n],
[-2n, 1, 0n],
[-1n, 1, -1n],
[0n, 1, 0n],
[1n, 1, -1n],
[2n, 1, 0n],
[3n, 1, -1n],
[4n, 1, 0n],
[5n, 1, -1n],
[6n, 1, 0n],
[7n, 1, -1n],
[8n, 1, 0n],
[9n, 1, -1n],
[0x7ffffffen, 1, 0n],
[0x7fffffffn, 1, -1n],
[0x80000000n, 1, 0n],
[0x80000001n, 1, -1n],
[0xfffffffen, 1, 0n],
[0xffffffffn, 1, -1n],
[0x100000000n, 1, 0n],
[0x100000001n, 1, -1n],
[0x7ffffffffffffffen, 1, 0n],
[0x7fffffffffffffffn, 1, -1n],
[0x8000000000000000n, 1, 0n],
[0x8000000000000001n, 1, -1n],
[0xfffffffffffffffen, 1, 0n],
[0xffffffffffffffffn, 1, -1n],
[0x10000000000000000n, 1, 0n],
[0x10000000000000001n, 1, -1n],
[-0x10000000000000001n, 2, -1n],
[-0x10000000000000000n, 2, 0n],
[-0xffffffffffffffffn, 2, 1n],
[-0xfffffffffffffffen, 2, -2n],
[-0x8000000000000001n, 2, -1n],
[-0x8000000000000000n, 2, 0n],
[-0x7fffffffffffffffn, 2, 1n],
[-0x7ffffffffffffffen, 2, -2n],
[-0x100000001n, 2, -1n],
[-0x100000000n, 2, 0n],
[-0xffffffffn, 2, 1n],
[-0xfffffffen, 2, -2n],
[-0x80000001n, 2, -1n],
[-0x80000000n, 2, 0n],
[-0x7fffffffn, 2, 1n],
[-0x7ffffffen, 2, -2n],
[-9n, 2, -1n],
[-8n, 2, 0n],
[-7n, 2, 1n],
[-6n, 2, -2n],
[-5n, 2, -1n],
[-4n, 2, 0n],
[-3n, 2, 1n],
[-2n, 2, -2n],
[-1n, 2, -1n],
[0n, 2, 0n],
[1n, 2, 1n],
[2n, 2, -2n],
[3n, 2, -1n],
[4n, 2, 0n],
[5n, 2, 1n],
[6n, 2, -2n],
[7n, 2, -1n],
[8n, 2, 0n],
[9n, 2, 1n],
[0x7ffffffen, 2, -2n],
[0x7fffffffn, 2, -1n],
[0x80000000n, 2, 0n],
[0x80000001n, 2, 1n],
[0xfffffffen, 2, -2n],
[0xffffffffn, 2, -1n],
[0x100000000n, 2, 0n],
[0x100000001n, 2, 1n],
[0x7ffffffffffffffen, 2, -2n],
[0x7fffffffffffffffn, 2, -1n],
[0x8000000000000000n, 2, 0n],
[0x8000000000000001n, 2, 1n],
[0xfffffffffffffffen, 2, -2n],
[0xffffffffffffffffn, 2, -1n],
[0x10000000000000000n, 2, 0n],
[0x10000000000000001n, 2, 1n],
[-0x10000000000000001n, 31, -1n],
[-0x10000000000000000n, 31, 0n],
[-0xffffffffffffffffn, 31, 1n],
[-0xfffffffffffffffen, 31, 2n],
[-0x8000000000000001n, 31, -1n],
[-0x8000000000000000n, 31, 0n],
[-0x7fffffffffffffffn, 31, 1n],
[-0x7ffffffffffffffen, 31, 2n],
[-0x100000001n, 31, -1n],
[-0x100000000n, 31, 0n],
[-0xffffffffn, 31, 1n],
[-0xfffffffen, 31, 2n],
[-0x80000001n, 31, -1n],
[-0x80000000n, 31, 0n],
[-0x7fffffffn, 31, 1n],
[-0x7ffffffen, 31, 2n],
[-9n, 31, -9n],
[-8n, 31, -8n],
[-7n, 31, -7n],
[-6n, 31, -6n],
[-5n, 31, -5n],
[-4n, 31, -4n],
[-3n, 31, -3n],
[-2n, 31, -2n],
[-1n, 31, -1n],
[0n, 31, 0n],
[1n, 31, 1n],
[2n, 31, 2n],
[3n, 31, 3n],
[4n, 31, 4n],
[5n, 31, 5n],
[6n, 31, 6n],
[7n, 31, 7n],
[8n, 31, 8n],
[9n, 31, 9n],
[0x7ffffffen, 31, -2n],
[0x7fffffffn, 31, -1n],
[0x80000000n, 31, 0n],
[0x80000001n, 31, 1n],
[0xfffffffen, 31, -2n],
[0xffffffffn, 31, -1n],
[0x100000000n, 31, 0n],
[0x100000001n, 31, 1n],
[0x7ffffffffffffffen, 31, -2n],
[0x7fffffffffffffffn, 31, -1n],
[0x8000000000000000n, 31, 0n],
[0x8000000000000001n, 31, 1n],
[0xfffffffffffffffen, 31, -2n],
[0xffffffffffffffffn, 31, -1n],
[0x10000000000000000n, 31, 0n],
[0x10000000000000001n, 31, 1n],
[-0x10000000000000001n, 32, -1n],
[-0x10000000000000000n, 32, 0n],
[-0xffffffffffffffffn, 32, 1n],
[-0xfffffffffffffffen, 32, 2n],
[-0x8000000000000001n, 32, -1n],
[-0x8000000000000000n, 32, 0n],
[-0x7fffffffffffffffn, 32, 1n],
[-0x7ffffffffffffffen, 32, 2n],
[-0x100000001n, 32, -1n],
[-0x100000000n, 32, 0n],
[-0xffffffffn, 32, 1n],
[-0xfffffffen, 32, 2n],
[-0x80000001n, 32, 0x7fffffffn],
[-0x80000000n, 32, -0x80000000n],
[-0x7fffffffn, 32, -0x7fffffffn],
[-0x7ffffffen, 32, -0x7ffffffen],
[-9n, 32, -9n],
[-8n, 32, -8n],
[-7n, 32, -7n],
[-6n, 32, -6n],
[-5n, 32, -5n],
[-4n, 32, -4n],
[-3n, 32, -3n],
[-2n, 32, -2n],
[-1n, 32, -1n],
[0n, 32, 0n],
[1n, 32, 1n],
[2n, 32, 2n],
[3n, 32, 3n],
[4n, 32, 4n],
[5n, 32, 5n],
[6n, 32, 6n],
[7n, 32, 7n],
[8n, 32, 8n],
[9n, 32, 9n],
[0x7ffffffen, 32, 0x7ffffffen],
[0x7fffffffn, 32, 0x7fffffffn],
[0x80000000n, 32, -0x80000000n],
[0x80000001n, 32, -0x7fffffffn],
[0xfffffffen, 32, -2n],
[0xffffffffn, 32, -1n],
[0x100000000n, 32, 0n],
[0x100000001n, 32, 1n],
[0x7ffffffffffffffen, 32, -2n],
[0x7fffffffffffffffn, 32, -1n],
[0x8000000000000000n, 32, 0n],
[0x8000000000000001n, 32, 1n],
[0xfffffffffffffffen, 32, -2n],
[0xffffffffffffffffn, 32, -1n],
[0x10000000000000000n, 32, 0n],
[0x10000000000000001n, 32, 1n],
[-0x10000000000000001n, 33, -1n],
[-0x10000000000000000n, 33, 0n],
[-0xffffffffffffffffn, 33, 1n],
[-0xfffffffffffffffen, 33, 2n],
[-0x8000000000000001n, 33, -1n],
[-0x8000000000000000n, 33, 0n],
[-0x7fffffffffffffffn, 33, 1n],
[-0x7ffffffffffffffen, 33, 2n],
[-0x100000001n, 33, 0xffffffffn],
[-0x100000000n, 33, -0x100000000n],
[-0xffffffffn, 33, -0xffffffffn],
[-0xfffffffen, 33, -0xfffffffen],
[-0x80000001n, 33, -0x80000001n],
[-0x80000000n, 33, -0x80000000n],
[-0x7fffffffn, 33, -0x7fffffffn],
[-0x7ffffffen, 33, -0x7ffffffen],
[-9n, 33, -9n],
[-8n, 33, -8n],
[-7n, 33, -7n],
[-6n, 33, -6n],
[-5n, 33, -5n],
[-4n, 33, -4n],
[-3n, 33, -3n],
[-2n, 33, -2n],
[-1n, 33, -1n],
[0n, 33, 0n],
[1n, 33, 1n],
[2n, 33, 2n],
[3n, 33, 3n],
[4n, 33, 4n],
[5n, 33, 5n],
[6n, 33, 6n],
[7n, 33, 7n],
[8n, 33, 8n],
[9n, 33, 9n],
[0x7ffffffen, 33, 0x7ffffffen],
[0x7fffffffn, 33, 0x7fffffffn],
[0x80000000n, 33, 0x80000000n],
[0x80000001n, 33, 0x80000001n],
[0xfffffffen, 33, 0xfffffffen],
[0xffffffffn, 33, 0xffffffffn],
[0x100000000n, 33, -0x100000000n],
[0x100000001n, 33, -0xffffffffn],
[0x7ffffffffffffffen, 33, -2n],
[0x7fffffffffffffffn, 33, -1n],
[0x8000000000000000n, 33, 0n],
[0x8000000000000001n, 33, 1n],
[0xfffffffffffffffen, 33, -2n],
[0xffffffffffffffffn, 33, -1n],
[0x10000000000000000n, 33, 0n],
[0x10000000000000001n, 33, 1n],
[-0x10000000000000001n, 63, -1n],
[-0x10000000000000000n, 63, 0n],
[-0xffffffffffffffffn, 63, 1n],
[-0xfffffffffffffffen, 63, 2n],
[-0x8000000000000001n, 63, -1n],
[-0x8000000000000000n, 63, 0n],
[-0x7fffffffffffffffn, 63, 1n],
[-0x7ffffffffffffffen, 63, 2n],
[-0x100000001n, 63, -0x100000001n],
[-0x100000000n, 63, -0x100000000n],
[-0xffffffffn, 63, -0xffffffffn],
[-0xfffffffen, 63, -0xfffffffen],
[-0x80000001n, 63, -0x80000001n],
[-0x80000000n, 63, -0x80000000n],
[-0x7fffffffn, 63, -0x7fffffffn],
[-0x7ffffffen, 63, -0x7ffffffen],
[-9n, 63, -9n],
[-8n, 63, -8n],
[-7n, 63, -7n],
[-6n, 63, -6n],
[-5n, 63, -5n],
[-4n, 63, -4n],
[-3n, 63, -3n],
[-2n, 63, -2n],
[-1n, 63, -1n],
[0n, 63, 0n],
[1n, 63, 1n],
[2n, 63, 2n],
[3n, 63, 3n],
[4n, 63, 4n],
[5n, 63, 5n],
[6n, 63, 6n],
[7n, 63, 7n],
[8n, 63, 8n],
[9n, 63, 9n],
[0x7ffffffen, 63, 0x7ffffffen],
[0x7fffffffn, 63, 0x7fffffffn],
[0x80000000n, 63, 0x80000000n],
[0x80000001n, 63, 0x80000001n],
[0xfffffffen, 63, 0xfffffffen],
[0xffffffffn, 63, 0xffffffffn],
[0x100000000n, 63, 0x100000000n],
[0x100000001n, 63, 0x100000001n],
[0x7ffffffffffffffen, 63, -2n],
[0x7fffffffffffffffn, 63, -1n],
[0x8000000000000000n, 63, 0n],
[0x8000000000000001n, 63, 1n],
[0xfffffffffffffffen, 63, -2n],
[0xffffffffffffffffn, 63, -1n],
[0x10000000000000000n, 63, 0n],
[0x10000000000000001n, 63, 1n],
[-0x10000000000000001n, 64, -1n],
[-0x10000000000000000n, 64, 0n],
[-0xffffffffffffffffn, 64, 1n],
[-0xfffffffffffffffen, 64, 2n],
[-0x8000000000000001n, 64, 0x7fffffffffffffffn],
[-0x8000000000000000n, 64, -0x8000000000000000n],
[-0x7fffffffffffffffn, 64, -0x7fffffffffffffffn],
[-0x7ffffffffffffffen, 64, -0x7ffffffffffffffen],
[-0x100000001n, 64, -0x100000001n],
[-0x100000000n, 64, -0x100000000n],
[-0xffffffffn, 64, -0xffffffffn],
[-0xfffffffen, 64, -0xfffffffen],
[-0x80000001n, 64, -0x80000001n],
[-0x80000000n, 64, -0x80000000n],
[-0x7fffffffn, 64, -0x7fffffffn],
[-0x7ffffffen, 64, -0x7ffffffen],
[-9n, 64, -9n],
[-8n, 64, -8n],
[-7n, 64, -7n],
[-6n, 64, -6n],
[-5n, 64, -5n],
[-4n, 64, -4n],
[-3n, 64, -3n],
[-2n, 64, -2n],
[-1n, 64, -1n],
[0n, 64, 0n],
[1n, 64, 1n],
[2n, 64, 2n],
[3n, 64, 3n],
[4n, 64, 4n],
[5n, 64, 5n],
[6n, 64, 6n],
[7n, 64, 7n],
[8n, 64, 8n],
[9n, 64, 9n],
[0x7ffffffen, 64, 0x7ffffffen],
[0x7fffffffn, 64, 0x7fffffffn],
[0x80000000n, 64, 0x80000000n],
[0x80000001n, 64, 0x80000001n],
[0xfffffffen, 64, 0xfffffffen],
[0xffffffffn, 64, 0xffffffffn],
[0x100000000n, 64, 0x100000000n],
[0x100000001n, 64, 0x100000001n],
[0x7ffffffffffffffen, 64, 0x7ffffffffffffffen],
[0x7fffffffffffffffn, 64, 0x7fffffffffffffffn],
[0x8000000000000000n, 64, -0x8000000000000000n],
[0x8000000000000001n, 64, -0x7fffffffffffffffn],
[0xfffffffffffffffen, 64, -2n],
[0xffffffffffffffffn, 64, -1n],
[0x10000000000000000n, 64, 0n],
[0x10000000000000001n, 64, 1n],
[-0x10000000000000001n, 65, 0xffffffffffffffffn],
[-0x10000000000000000n, 65, -0x10000000000000000n],
[-0xffffffffffffffffn, 65, -0xffffffffffffffffn],
[-0xfffffffffffffffen, 65, -0xfffffffffffffffen],
[-0x8000000000000001n, 65, -0x8000000000000001n],
[-0x8000000000000000n, 65, -0x8000000000000000n],
[-0x7fffffffffffffffn, 65, -0x7fffffffffffffffn],
[-0x7ffffffffffffffen, 65, -0x7ffffffffffffffen],
[-0x100000001n, 65, -0x100000001n],
[-0x100000000n, 65, -0x100000000n],
[-0xffffffffn, 65, -0xffffffffn],
[-0xfffffffen, 65, -0xfffffffen],
[-0x80000001n, 65, -0x80000001n],
[-0x80000000n, 65, -0x80000000n],
[-0x7fffffffn, 65, -0x7fffffffn],
[-0x7ffffffen, 65, -0x7ffffffen],
[-9n, 65, -9n],
[-8n, 65, -8n],
[-7n, 65, -7n],
[-6n, 65, -6n],
[-5n, 65, -5n],
[-4n, 65, -4n],
[-3n, 65, -3n],
[-2n, 65, -2n],
[-1n, 65, -1n],
[0n, 65, 0n],
[1n, 65, 1n],
[2n, 65, 2n],
[3n, 65, 3n],
[4n, 65, 4n],
[5n, 65, 5n],
[6n, 65, 6n],
[7n, 65, 7n],
[8n, 65, 8n],
[9n, 65, 9n],
[0x7ffffffen, 65, 0x7ffffffen],
[0x7fffffffn, 65, 0x7fffffffn],
[0x80000000n, 65, 0x80000000n],
[0x80000001n, 65, 0x80000001n],
[0xfffffffen, 65, 0xfffffffen],
[0xffffffffn, 65, 0xffffffffn],
[0x100000000n, 65, 0x100000000n],
[0x100000001n, 65, 0x100000001n],
[0x7ffffffffffffffen, 65, 0x7ffffffffffffffen],
[0x7fffffffffffffffn, 65, 0x7fffffffffffffffn],
[0x8000000000000000n, 65, 0x8000000000000000n],
[0x8000000000000001n, 65, 0x8000000000000001n],
[0xfffffffffffffffen, 65, 0xfffffffffffffffen],
[0xffffffffffffffffn, 65, 0xffffffffffffffffn],
[0x10000000000000000n, 65, -0x10000000000000000n],
[0x10000000000000001n, 65, -0xffffffffffffffffn],
];
function f(tests) {
for (let test of tests) {
let input = test[0], bits = test[1], expected = test[2];
assertEq(BigInt.asIntN(bits, input), expected);
}
}
for (let i = 0; i < 10; ++i) {
f(tests);
}