summaryrefslogtreecommitdiffstats
path: root/js/src/jit-test/tests/bigint/asUintN.js
diff options
context:
space:
mode:
authorDaniel Baumann <daniel.baumann@progress-linux.org>2024-04-28 14:29:10 +0000
committerDaniel Baumann <daniel.baumann@progress-linux.org>2024-04-28 14:29:10 +0000
commit2aa4a82499d4becd2284cdb482213d541b8804dd (patch)
treeb80bf8bf13c3766139fbacc530efd0dd9d54394c /js/src/jit-test/tests/bigint/asUintN.js
parentInitial commit. (diff)
downloadfirefox-2aa4a82499d4becd2284cdb482213d541b8804dd.tar.xz
firefox-2aa4a82499d4becd2284cdb482213d541b8804dd.zip
Adding upstream version 86.0.1.upstream/86.0.1upstream
Signed-off-by: Daniel Baumann <daniel.baumann@progress-linux.org>
Diffstat (limited to 'js/src/jit-test/tests/bigint/asUintN.js')
-rw-r--r--js/src/jit-test/tests/bigint/asUintN.js473
1 files changed, 473 insertions, 0 deletions
diff --git a/js/src/jit-test/tests/bigint/asUintN.js b/js/src/jit-test/tests/bigint/asUintN.js
new file mode 100644
index 0000000000..07e1d9b6ac
--- /dev/null
+++ b/js/src/jit-test/tests/bigint/asUintN.js
@@ -0,0 +1,473 @@
+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, 3n],
+ [-0x10000000000000000n, 2, 0n],
+ [-0xffffffffffffffffn, 2, 1n],
+ [-0xfffffffffffffffen, 2, 2n],
+ [-0x8000000000000001n, 2, 3n],
+ [-0x8000000000000000n, 2, 0n],
+ [-0x7fffffffffffffffn, 2, 1n],
+ [-0x7ffffffffffffffen, 2, 2n],
+ [-0x100000001n, 2, 3n],
+ [-0x100000000n, 2, 0n],
+ [-0xffffffffn, 2, 1n],
+ [-0xfffffffen, 2, 2n],
+ [-0x80000001n, 2, 3n],
+ [-0x80000000n, 2, 0n],
+ [-0x7fffffffn, 2, 1n],
+ [-0x7ffffffen, 2, 2n],
+ [-9n, 2, 3n],
+ [-8n, 2, 0n],
+ [-7n, 2, 1n],
+ [-6n, 2, 2n],
+ [-5n, 2, 3n],
+ [-4n, 2, 0n],
+ [-3n, 2, 1n],
+ [-2n, 2, 2n],
+ [-1n, 2, 3n],
+ [0n, 2, 0n],
+ [1n, 2, 1n],
+ [2n, 2, 2n],
+ [3n, 2, 3n],
+ [4n, 2, 0n],
+ [5n, 2, 1n],
+ [6n, 2, 2n],
+ [7n, 2, 3n],
+ [8n, 2, 0n],
+ [9n, 2, 1n],
+ [0x7ffffffen, 2, 2n],
+ [0x7fffffffn, 2, 3n],
+ [0x80000000n, 2, 0n],
+ [0x80000001n, 2, 1n],
+ [0xfffffffen, 2, 2n],
+ [0xffffffffn, 2, 3n],
+ [0x100000000n, 2, 0n],
+ [0x100000001n, 2, 1n],
+ [0x7ffffffffffffffen, 2, 2n],
+ [0x7fffffffffffffffn, 2, 3n],
+ [0x8000000000000000n, 2, 0n],
+ [0x8000000000000001n, 2, 1n],
+ [0xfffffffffffffffen, 2, 2n],
+ [0xffffffffffffffffn, 2, 3n],
+ [0x10000000000000000n, 2, 0n],
+ [0x10000000000000001n, 2, 1n],
+ [-0x10000000000000001n, 31, 0x7fffffffn],
+ [-0x10000000000000000n, 31, 0n],
+ [-0xffffffffffffffffn, 31, 1n],
+ [-0xfffffffffffffffen, 31, 2n],
+ [-0x8000000000000001n, 31, 0x7fffffffn],
+ [-0x8000000000000000n, 31, 0n],
+ [-0x7fffffffffffffffn, 31, 1n],
+ [-0x7ffffffffffffffen, 31, 2n],
+ [-0x100000001n, 31, 0x7fffffffn],
+ [-0x100000000n, 31, 0n],
+ [-0xffffffffn, 31, 1n],
+ [-0xfffffffen, 31, 2n],
+ [-0x80000001n, 31, 0x7fffffffn],
+ [-0x80000000n, 31, 0n],
+ [-0x7fffffffn, 31, 1n],
+ [-0x7ffffffen, 31, 2n],
+ [-9n, 31, 0x7ffffff7n],
+ [-8n, 31, 0x7ffffff8n],
+ [-7n, 31, 0x7ffffff9n],
+ [-6n, 31, 0x7ffffffan],
+ [-5n, 31, 0x7ffffffbn],
+ [-4n, 31, 0x7ffffffcn],
+ [-3n, 31, 0x7ffffffdn],
+ [-2n, 31, 0x7ffffffen],
+ [-1n, 31, 0x7fffffffn],
+ [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, 0x7ffffffen],
+ [0x7fffffffn, 31, 0x7fffffffn],
+ [0x80000000n, 31, 0n],
+ [0x80000001n, 31, 1n],
+ [0xfffffffen, 31, 0x7ffffffen],
+ [0xffffffffn, 31, 0x7fffffffn],
+ [0x100000000n, 31, 0n],
+ [0x100000001n, 31, 1n],
+ [0x7ffffffffffffffen, 31, 0x7ffffffen],
+ [0x7fffffffffffffffn, 31, 0x7fffffffn],
+ [0x8000000000000000n, 31, 0n],
+ [0x8000000000000001n, 31, 1n],
+ [0xfffffffffffffffen, 31, 0x7ffffffen],
+ [0xffffffffffffffffn, 31, 0x7fffffffn],
+ [0x10000000000000000n, 31, 0n],
+ [0x10000000000000001n, 31, 1n],
+ [-0x10000000000000001n, 32, 0xffffffffn],
+ [-0x10000000000000000n, 32, 0n],
+ [-0xffffffffffffffffn, 32, 1n],
+ [-0xfffffffffffffffen, 32, 2n],
+ [-0x8000000000000001n, 32, 0xffffffffn],
+ [-0x8000000000000000n, 32, 0n],
+ [-0x7fffffffffffffffn, 32, 1n],
+ [-0x7ffffffffffffffen, 32, 2n],
+ [-0x100000001n, 32, 0xffffffffn],
+ [-0x100000000n, 32, 0n],
+ [-0xffffffffn, 32, 1n],
+ [-0xfffffffen, 32, 2n],
+ [-0x80000001n, 32, 0x7fffffffn],
+ [-0x80000000n, 32, 0x80000000n],
+ [-0x7fffffffn, 32, 0x80000001n],
+ [-0x7ffffffen, 32, 0x80000002n],
+ [-9n, 32, 0xfffffff7n],
+ [-8n, 32, 0xfffffff8n],
+ [-7n, 32, 0xfffffff9n],
+ [-6n, 32, 0xfffffffan],
+ [-5n, 32, 0xfffffffbn],
+ [-4n, 32, 0xfffffffcn],
+ [-3n, 32, 0xfffffffdn],
+ [-2n, 32, 0xfffffffen],
+ [-1n, 32, 0xffffffffn],
+ [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, 0x80000001n],
+ [0xfffffffen, 32, 0xfffffffen],
+ [0xffffffffn, 32, 0xffffffffn],
+ [0x100000000n, 32, 0n],
+ [0x100000001n, 32, 1n],
+ [0x7ffffffffffffffen, 32, 0xfffffffen],
+ [0x7fffffffffffffffn, 32, 0xffffffffn],
+ [0x8000000000000000n, 32, 0n],
+ [0x8000000000000001n, 32, 1n],
+ [0xfffffffffffffffen, 32, 0xfffffffen],
+ [0xffffffffffffffffn, 32, 0xffffffffn],
+ [0x10000000000000000n, 32, 0n],
+ [0x10000000000000001n, 32, 1n],
+ [-0x10000000000000001n, 33, 0x1ffffffffn],
+ [-0x10000000000000000n, 33, 0n],
+ [-0xffffffffffffffffn, 33, 1n],
+ [-0xfffffffffffffffen, 33, 2n],
+ [-0x8000000000000001n, 33, 0x1ffffffffn],
+ [-0x8000000000000000n, 33, 0n],
+ [-0x7fffffffffffffffn, 33, 1n],
+ [-0x7ffffffffffffffen, 33, 2n],
+ [-0x100000001n, 33, 0xffffffffn],
+ [-0x100000000n, 33, 0x100000000n],
+ [-0xffffffffn, 33, 0x100000001n],
+ [-0xfffffffen, 33, 0x100000002n],
+ [-0x80000001n, 33, 0x17fffffffn],
+ [-0x80000000n, 33, 0x180000000n],
+ [-0x7fffffffn, 33, 0x180000001n],
+ [-0x7ffffffen, 33, 0x180000002n],
+ [-9n, 33, 0x1fffffff7n],
+ [-8n, 33, 0x1fffffff8n],
+ [-7n, 33, 0x1fffffff9n],
+ [-6n, 33, 0x1fffffffan],
+ [-5n, 33, 0x1fffffffbn],
+ [-4n, 33, 0x1fffffffcn],
+ [-3n, 33, 0x1fffffffdn],
+ [-2n, 33, 0x1fffffffen],
+ [-1n, 33, 0x1ffffffffn],
+ [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, 0x100000001n],
+ [0x7ffffffffffffffen, 33, 0x1fffffffen],
+ [0x7fffffffffffffffn, 33, 0x1ffffffffn],
+ [0x8000000000000000n, 33, 0n],
+ [0x8000000000000001n, 33, 1n],
+ [0xfffffffffffffffen, 33, 0x1fffffffen],
+ [0xffffffffffffffffn, 33, 0x1ffffffffn],
+ [0x10000000000000000n, 33, 0n],
+ [0x10000000000000001n, 33, 1n],
+ [-0x10000000000000001n, 63, 0x7fffffffffffffffn],
+ [-0x10000000000000000n, 63, 0n],
+ [-0xffffffffffffffffn, 63, 1n],
+ [-0xfffffffffffffffen, 63, 2n],
+ [-0x8000000000000001n, 63, 0x7fffffffffffffffn],
+ [-0x8000000000000000n, 63, 0n],
+ [-0x7fffffffffffffffn, 63, 1n],
+ [-0x7ffffffffffffffen, 63, 2n],
+ [-0x100000001n, 63, 0x7ffffffeffffffffn],
+ [-0x100000000n, 63, 0x7fffffff00000000n],
+ [-0xffffffffn, 63, 0x7fffffff00000001n],
+ [-0xfffffffen, 63, 0x7fffffff00000002n],
+ [-0x80000001n, 63, 0x7fffffff7fffffffn],
+ [-0x80000000n, 63, 0x7fffffff80000000n],
+ [-0x7fffffffn, 63, 0x7fffffff80000001n],
+ [-0x7ffffffen, 63, 0x7fffffff80000002n],
+ [-9n, 63, 0x7ffffffffffffff7n],
+ [-8n, 63, 0x7ffffffffffffff8n],
+ [-7n, 63, 0x7ffffffffffffff9n],
+ [-6n, 63, 0x7ffffffffffffffan],
+ [-5n, 63, 0x7ffffffffffffffbn],
+ [-4n, 63, 0x7ffffffffffffffcn],
+ [-3n, 63, 0x7ffffffffffffffdn],
+ [-2n, 63, 0x7ffffffffffffffen],
+ [-1n, 63, 0x7fffffffffffffffn],
+ [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, 0x7ffffffffffffffen],
+ [0x7fffffffffffffffn, 63, 0x7fffffffffffffffn],
+ [0x8000000000000000n, 63, 0n],
+ [0x8000000000000001n, 63, 1n],
+ [0xfffffffffffffffen, 63, 0x7ffffffffffffffen],
+ [0xffffffffffffffffn, 63, 0x7fffffffffffffffn],
+ [0x10000000000000000n, 63, 0n],
+ [0x10000000000000001n, 63, 1n],
+ [-0x10000000000000001n, 64, 0xffffffffffffffffn],
+ [-0x10000000000000000n, 64, 0n],
+ [-0xffffffffffffffffn, 64, 1n],
+ [-0xfffffffffffffffen, 64, 2n],
+ [-0x8000000000000001n, 64, 0x7fffffffffffffffn],
+ [-0x8000000000000000n, 64, 0x8000000000000000n],
+ [-0x7fffffffffffffffn, 64, 0x8000000000000001n],
+ [-0x7ffffffffffffffen, 64, 0x8000000000000002n],
+ [-0x100000001n, 64, 0xfffffffeffffffffn],
+ [-0x100000000n, 64, 0xffffffff00000000n],
+ [-0xffffffffn, 64, 0xffffffff00000001n],
+ [-0xfffffffen, 64, 0xffffffff00000002n],
+ [-0x80000001n, 64, 0xffffffff7fffffffn],
+ [-0x80000000n, 64, 0xffffffff80000000n],
+ [-0x7fffffffn, 64, 0xffffffff80000001n],
+ [-0x7ffffffen, 64, 0xffffffff80000002n],
+ [-9n, 64, 0xfffffffffffffff7n],
+ [-8n, 64, 0xfffffffffffffff8n],
+ [-7n, 64, 0xfffffffffffffff9n],
+ [-6n, 64, 0xfffffffffffffffan],
+ [-5n, 64, 0xfffffffffffffffbn],
+ [-4n, 64, 0xfffffffffffffffcn],
+ [-3n, 64, 0xfffffffffffffffdn],
+ [-2n, 64, 0xfffffffffffffffen],
+ [-1n, 64, 0xffffffffffffffffn],
+ [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, 0x8000000000000001n],
+ [0xfffffffffffffffen, 64, 0xfffffffffffffffen],
+ [0xffffffffffffffffn, 64, 0xffffffffffffffffn],
+ [0x10000000000000000n, 64, 0n],
+ [0x10000000000000001n, 64, 1n],
+ [-0x10000000000000001n, 65, 0xffffffffffffffffn],
+ [-0x10000000000000000n, 65, 0x10000000000000000n],
+ [-0xffffffffffffffffn, 65, 0x10000000000000001n],
+ [-0xfffffffffffffffen, 65, 0x10000000000000002n],
+ [-0x8000000000000001n, 65, 0x17fffffffffffffffn],
+ [-0x8000000000000000n, 65, 0x18000000000000000n],
+ [-0x7fffffffffffffffn, 65, 0x18000000000000001n],
+ [-0x7ffffffffffffffen, 65, 0x18000000000000002n],
+ [-0x100000001n, 65, 0x1fffffffeffffffffn],
+ [-0x100000000n, 65, 0x1ffffffff00000000n],
+ [-0xffffffffn, 65, 0x1ffffffff00000001n],
+ [-0xfffffffen, 65, 0x1ffffffff00000002n],
+ [-0x80000001n, 65, 0x1ffffffff7fffffffn],
+ [-0x80000000n, 65, 0x1ffffffff80000000n],
+ [-0x7fffffffn, 65, 0x1ffffffff80000001n],
+ [-0x7ffffffen, 65, 0x1ffffffff80000002n],
+ [-9n, 65, 0x1fffffffffffffff7n],
+ [-8n, 65, 0x1fffffffffffffff8n],
+ [-7n, 65, 0x1fffffffffffffff9n],
+ [-6n, 65, 0x1fffffffffffffffan],
+ [-5n, 65, 0x1fffffffffffffffbn],
+ [-4n, 65, 0x1fffffffffffffffcn],
+ [-3n, 65, 0x1fffffffffffffffdn],
+ [-2n, 65, 0x1fffffffffffffffen],
+ [-1n, 65, 0x1ffffffffffffffffn],
+ [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, 0x10000000000000001n],
+];
+
+function f(tests) {
+ for (let test of tests) {
+ let input = test[0], bits = test[1], expected = test[2];
+
+ assertEq(BigInt.asUintN(bits, input), expected);
+ }
+}
+
+for (let i = 0; i < 10; ++i) {
+ f(tests);
+}