1 files changed, 84 insertions, 0 deletions
diff --git a/js/src/jit-test/tests/cacheir/map-has-bigint.js b/js/src/jit-test/tests/cacheir/map-has-bigint.js
new file mode 100644
index 0000000000..5ae51a093f
--- /dev/null
+++ b/js/src/jit-test/tests/cacheir/map-has-bigint.js
@@ -0,0 +1,84 @@
+// Return a new map, possibly filling some dummy entries to enforce creating
+// multiple hash buckets.
+function createMap(values, n) {
+  var xs = [...values];
+  for (var i = 0; i < n; ++i) {
+    xs.push({});
+  }
+  return new Map(xs.map((x, i) => [x, i]));
+}
+
+function runTest(fn) {
+  fn(0);
+  fn(100);
+}
+
+function testInlineDigitsSameSign(n) {
+  var xs = [1n, 2n];
+  var ys = [3n, 4n];
+  var zs = [...xs, ...ys];
+  var map = createMap(xs, n);
+
+  var N = 100;
+  var c = 0;
+  for (var i = 0; i < N; ++i) {
+    var z = zs[i & 3];
+    if (map.has(z)) c++;
+  }
+  assertEq(c, N / 2);
+}
+runTest(testInlineDigitsSameSign);
+
+function testInlineDigitsDifferentSign(n) {
+  var xs = [-1n, 2n];
+  var ys = [1n, -2n];
+  var zs = [...xs, ...ys];
+  var map = createMap(xs, n);
+
+  var N = 100;
+  var c = 0;
+  for (var i = 0; i < N; ++i) {
+    var z = zs[i & 3];
+    if (map.has(z)) c++;
+  }
+  assertEq(c, N / 2);
+}
+runTest(testInlineDigitsDifferentSign);
+
+function testHeapDigitsSameSign(n) {
+  // Definitely uses heap digits.
+  var heap = 2n ** 1000n;
+
+  var xs = [heap + 1n, heap + 2n];
+  var ys = [heap + 3n, heap + 4n];
+  var zs = [...xs, ...ys];
+  var map = createMap(xs, n);
+
+  var N = 100;
+  var c = 0;
+  for (var i = 0; i < N; ++i) {
+    var z = zs[i & 3];
+    if (map.has(z)) c++;
+  }
+  assertEq(c, N / 2);
+}
+runTest(testHeapDigitsSameSign);
+
+function testHeapDigitsDifferentSign(n) {
+  // Definitely uses heap digits.
+  var heap = 2n ** 1000n;
+
+  var xs = [-(heap + 1n), heap + 2n];
+  var ys = [heap + 1n, -(heap + 2n)];
+  var zs = [...xs, ...ys];
+  var map = createMap(xs, n);
+
+  var N = 100;
+  var c = 0;
+  for (var i = 0; i < N; ++i) {
+    var z = zs[i & 3];
+    if (map.has(z)) c++;
+  }
+  assertEq(c, N / 2);
+}
+runTest(testHeapDigitsDifferentSign);