1 files changed, 162 insertions, 0 deletions
diff --git a/js/src/jit-test/tests/warp/map-get-string.js b/js/src/jit-test/tests/warp/map-get-string.js
new file mode 100644
index 0000000000..265c1caf94
--- /dev/null
+++ b/js/src/jit-test/tests/warp/map-get-string.js
@@ -0,0 +1,162 @@
+// Similar test as "cacheir/map-get-string.js", except that we now perform
+// duplicate lookups to ensure GVN works properly.
+
+// 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 + 1]));
+}
+
+function runTest(fn) {
+  fn(0);
+  fn(100);
+}
+
+function testConstant_different_map(n) {
+  var xs = ["a", "b"];
+  var ys = ["c", "d"];
+  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];
+    var v = map.get(z);
+    if (v !== undefined) c += v;
+    var w = map.get(z);
+    if (w !== undefined) c += w;
+  }
+  assertEq(c, N + N / 2);
+}
+runTest(testConstant_different_map);
+
+function testComputed_different_map(n) {
+  var xs = ["a", "b"];
+  var ys = ["c", "d"];
+  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];
+    z = String.fromCharCode(z.charCodeAt(0));
+    var v = map.get(z);
+    if (v !== undefined) c += v;
+    var w = map.get(z);
+    if (w !== undefined) c += w;
+  }
+  assertEq(c, N + N / 2);
+}
+runTest(testComputed_different_map);
+
+function testRope_different_map(n) {
+  var xs = ["a", "b"];
+  var ys = ["c", "d"];
+  var zs = [...xs, ...ys];
+  var map = createMap(xs.map(x => x.repeat(100)), n);
+
+  var N = 100;
+  var c = 0;
+  for (var i = 0; i < N; ++i) {
+    var z = zs[i & 3].repeat(100);
+    var v = map.get(z);
+    if (v !== undefined) c += v;
+    var w = map.get(z);
+    if (w !== undefined) c += w;
+  }
+  assertEq(c, N + N / 2);
+}
+runTest(testRope_different_map);
+
+// Duplicate the above tests, but this time use a different map.
+
+function testConstant_different_map(n) {
+  var xs = ["a", "b"];
+  var ys = ["c", "d"];
+  var zs = [...xs, ...ys];
+  var map1 = createMap(xs, n);
+  var map2 = createMap(xs, n);
+
+  var N = 100;
+  var c = 0;
+  for (var i = 0; i < N; ++i) {
+    var z = zs[i & 3];
+    var v = map1.get(z);
+    if (v !== undefined) c += v;
+    var w = map2.get(z);
+    if (w !== undefined) c += w;
+  }
+  assertEq(c, N + N / 2);
+}
+runTest(testConstant_different_map);
+
+function testComputed_different_map(n) {
+  var xs = ["a", "b"];
+  var ys = ["c", "d"];
+  var zs = [...xs, ...ys];
+  var map1 = createMap(xs, n);
+  var map2 = createMap(xs, n);
+
+  var N = 100;
+  var c = 0;
+  for (var i = 0; i < N; ++i) {
+    var z = zs[i & 3];
+    z = String.fromCharCode(z.charCodeAt(0));
+    var v = map1.get(z);
+    if (v !== undefined) c += v;
+    var w = map2.get(z);
+    if (w !== undefined) c += w;
+  }
+  assertEq(c, N + N / 2);
+}
+runTest(testComputed_different_map);
+
+function testRope_different_map(n) {
+  var xs = ["a", "b"];
+  var ys = ["c", "d"];
+  var zs = [...xs, ...ys];
+  var map1 = createMap(xs.map(x => x.repeat(100)), n);
+  var map2 = createMap(xs.map(x => x.repeat(100)), n);
+
+  var N = 100;
+  var c = 0;
+  for (var i = 0; i < N; ++i) {
+    var z = zs[i & 3].repeat(100);
+    var v = map1.get(z);
+    if (v !== undefined) c += v;
+    var w = map2.get(z);
+    if (w !== undefined) c += w;
+  }
+  assertEq(c, N + N / 2);
+}
+runTest(testRope_different_map);
+
+// Test the alias information is correct.
+
+function test_alias(n) {
+  var xs = ["a", "b"];
+  var map = createMap([], n);
+
+  var N = 100;
+  var c = 0;
+  for (var i = 0; i < N; ++i) {
+    var x = xs[i & 1];
+
+    map.set(x, 1);
+    var v = map.get(x);
+
+    map.delete(x);
+    var w = map.get(x);
+
+    c += v;
+    assertEq(w, undefined);
+  }
+  assertEq(c, N);
+}
+runTest(test_alias);