summaryrefslogtreecommitdiffstats
path: root/js/src/jit-test/tests/warp/map-has-value.js
blob: b203b762e459932b760dbd0994c3610bc47b697a (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
// Similar test as "cacheir/map-has-value.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]));
}

function runTest(fn) {
  fn(0);
  fn(100);
}

function testPolymorphic_same_map(n) {
  var xs = [10, 10.5, "test", Symbol("?"), 123n, -123n, {}, []];
  var ys = [-0, NaN, "bad", Symbol("!"), 42n, -99n, {}, []];
  var zs = [...xs, ...ys];
  var map = createMap(xs, n);

  var N = 128;
  var c = 0;
  for (var i = 0; i < N; ++i) {
    var z = zs[i & 15];
    if (map.has(z)) c++;
    if (map.has(z)) c++;
  }
  assertEq(c, N);
}
runTest(testPolymorphic_same_map);

// Duplicate the above tests, but this time use a different map.

function testPolymorphic_different_map(n) {
  var xs = [10, 10.5, "test", Symbol("?"), 123n, -123n, {}, []];
  var ys = [-0, NaN, "bad", Symbol("!"), 42n, -99n, {}, []];
  var zs = [...xs, ...ys];
  var map1 = createMap(xs, n);
  var map2 = createMap(xs, n);

  var N = 128;
  var c = 0;
  for (var i = 0; i < N; ++i) {
    var z = zs[i & 15];
    if (map1.has(z)) c++;
    if (map2.has(z)) c++;
  }
  assertEq(c, N);
}
runTest(testPolymorphic_different_map);

// Test the alias information is correct.

function testPolymorphic_alias(n) {
  var xs = [10, 10.5, "test", Symbol("?"), 123n, -123n, {}, []];
  var map = createMap([], n);

  var N = 128;
  var c = 0;
  for (var i = 0; i < N; ++i) {
    var x = xs[i & 15];

    map.set(x, x);
    if (map.has(x)) c++;

    map.delete(x);
    if (map.has(x)) c++;
  }
  assertEq(c, N);
}
runTest(testPolymorphic_alias);

// And finally test that we don't actually support GVN for values, because the
// hash changes when moving a value which holds an object.

function testRekey() {
  var map = new Map();
  var c = 0;
  var N = 100;
  for (var i = 0; i < N; ++i) {
    var k = (i & 1) ? {} : null;
    map.set(k, 1);

    if (map.has(k)) c++;

    minorgc();

    if (map.has(k)) c++;
  }

  assertEq(c, N * 2);
}
testRekey();