summaryrefslogtreecommitdiffstats
path: root/js/src/jit-test/tests/atomics/bigint-and-for-effect.js
blob: cbe3c7e065c561d1c3adb99ea873b56923a62f21 (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
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
// |jit-test| test-join=--spectre-mitigations=off

// These do not test atomicity, just that code generation for BigInt values
// works correctly.

const bigIntValues = [
  // Definitely heap digits.
  -(2n ** 2000n),
  -(2n ** 1000n),

  // -(2n**64n)
  -18446744073709551617n,
  -18446744073709551616n,
  -18446744073709551615n,

  // -(2n**63n)
  -9223372036854775809n,
  -9223372036854775808n,
  -9223372036854775807n,

  // -(2**32)
  -4294967297n,
  -4294967296n,
  -4294967295n,

  // -(2**31)
  -2147483649n,
  -2147483648n,
  -2147483647n,

  -1n,
  0n,
  1n,

  // 2**31
  2147483647n,
  2147483648n,
  2147483649n,

  // 2**32
  4294967295n,
  4294967296n,
  4294967297n,

  // 2n**63n
  9223372036854775807n,
  9223372036854775808n,
  9223372036854775809n,

  // 2n**64n
  18446744073709551615n,
  18446744073709551616n,
  18446744073709551617n,

  // Definitely heap digits.
  2n ** 1000n,
  2n ** 2000n,
];

function testAnd() {
  const int64 = new BigInt64Array(2);
  const uint64 = new BigUint64Array(2);

  const int64All = -1n;
  const uint64All = 0xffff_ffff_ffff_ffffn;

  // Test with constant index.
  for (let i = 0; i < 20; ++i) {
    for (let j = 0; j < bigIntValues.length; ++j) {
      let value = bigIntValues[j];

      // x & 0 == 0
      Atomics.and(int64, 0, value);
      assertEq(int64[0], 0n);

      Atomics.and(uint64, 0, value);
      assertEq(uint64[0], 0n);

      // x & -1 == x
      int64[0] = int64All;
      Atomics.and(int64, 0, value);
      assertEq(int64[0], BigInt.asIntN(64, value));

      uint64[0] = uint64All;
      Atomics.and(uint64, 0, value);
      assertEq(uint64[0], BigInt.asUintN(64, value));

      // 0 & x == 0
      Atomics.and(int64, 0, 0n);
      assertEq(int64[0], 0n);

      Atomics.and(uint64, 0, 0n);
      assertEq(uint64[0], 0n);
    }
  }

  // Test with variable index.
  for (let i = 0; i < 20; ++i) {
    for (let j = 0; j < bigIntValues.length; ++j) {
      let value = bigIntValues[j];
      let idx = j & 1;

      // x & 0 == 0
      Atomics.and(int64, idx, value);
      assertEq(int64[idx], 0n);

      Atomics.and(uint64, idx, value);
      assertEq(uint64[idx], 0n);

      // x & -1 == x
      int64[idx] = int64All;
      Atomics.and(int64, idx, value);
      assertEq(int64[idx], BigInt.asIntN(64, value));

      uint64[idx] = uint64All;
      Atomics.and(uint64, idx, value);
      assertEq(uint64[idx], BigInt.asUintN(64, value));

      // 0 & x == 0
      Atomics.and(int64, idx, 0n);
      assertEq(int64[idx], 0n);

      Atomics.and(uint64, idx, 0n);
      assertEq(uint64[idx], 0n);
    }
  }
}
for (let i = 0; i < 2; ++i) testAnd();