bigint-or-64-fold.js (15710B)
1 const tests = [ 2 [-0x8000000000000000n, -2n, -2n], 3 [-0x7fffffffffffffffn, -2n, -1n], 4 [-0x7ffffffffffffffen, -2n, -2n], 5 [-0x100000001n, -2n, -1n], 6 [-0x100000000n, -2n, -2n], 7 [-0xffffffffn, -2n, -1n], 8 [-0xfffffffen, -2n, -2n], 9 [-0x80000001n, -2n, -1n], 10 [-0x80000000n, -2n, -2n], 11 [-0x7fffffffn, -2n, -1n], 12 [-0x7ffffffen, -2n, -2n], 13 [-2n, -2n, -2n], 14 [-1n, -2n, -1n], 15 [0n, -2n, -2n], 16 [1n, -2n, -1n], 17 [2n, -2n, -2n], 18 [0x7ffffffen, -2n, -2n], 19 [0x7fffffffn, -2n, -1n], 20 [0x80000000n, -2n, -2n], 21 [0x80000001n, -2n, -1n], 22 [0xfffffffen, -2n, -2n], 23 [0xffffffffn, -2n, -1n], 24 [0x100000000n, -2n, -2n], 25 [0x100000001n, -2n, -1n], 26 [0x7ffffffffffffffen, -2n, -2n], 27 [0x7fffffffffffffffn, -2n, -1n], 28 [-0x8000000000000000n, -1n, -1n], 29 [-0x7fffffffffffffffn, -1n, -1n], 30 [-0x7ffffffffffffffen, -1n, -1n], 31 [-0x100000001n, -1n, -1n], 32 [-0x100000000n, -1n, -1n], 33 [-0xffffffffn, -1n, -1n], 34 [-0xfffffffen, -1n, -1n], 35 [-0x80000001n, -1n, -1n], 36 [-0x80000000n, -1n, -1n], 37 [-0x7fffffffn, -1n, -1n], 38 [-0x7ffffffen, -1n, -1n], 39 [-1n, -1n, -1n], 40 [0n, -1n, -1n], 41 [1n, -1n, -1n], 42 [2n, -1n, -1n], 43 [0x7ffffffen, -1n, -1n], 44 [0x7fffffffn, -1n, -1n], 45 [0x80000000n, -1n, -1n], 46 [0x80000001n, -1n, -1n], 47 [0xfffffffen, -1n, -1n], 48 [0xffffffffn, -1n, -1n], 49 [0x100000000n, -1n, -1n], 50 [0x100000001n, -1n, -1n], 51 [0x7ffffffffffffffen, -1n, -1n], 52 [0x7fffffffffffffffn, -1n, -1n], 53 [-0x8000000000000000n, 0n, -0x8000000000000000n], 54 [-0x7fffffffffffffffn, 0n, -0x7fffffffffffffffn], 55 [-0x7ffffffffffffffen, 0n, -0x7ffffffffffffffen], 56 [-0x100000001n, 0n, -0x100000001n], 57 [-0x100000000n, 0n, -0x100000000n], 58 [-0xffffffffn, 0n, -0xffffffffn], 59 [-0xfffffffen, 0n, -0xfffffffen], 60 [-0x80000001n, 0n, -0x80000001n], 61 [-0x80000000n, 0n, -0x80000000n], 62 [-0x7fffffffn, 0n, -0x7fffffffn], 63 [-0x7ffffffen, 0n, -0x7ffffffen], 64 [0n, 0n, 0n], 65 [1n, 0n, 1n], 66 [2n, 0n, 2n], 67 [0x7ffffffen, 0n, 0x7ffffffen], 68 [0x7fffffffn, 0n, 0x7fffffffn], 69 [0x80000000n, 0n, 0x80000000n], 70 [0x80000001n, 0n, 0x80000001n], 71 [0xfffffffen, 0n, 0xfffffffen], 72 [0xffffffffn, 0n, 0xffffffffn], 73 [0x100000000n, 0n, 0x100000000n], 74 [0x100000001n, 0n, 0x100000001n], 75 [0x7ffffffffffffffen, 0n, 0x7ffffffffffffffen], 76 [0x7fffffffffffffffn, 0n, 0x7fffffffffffffffn], 77 [-0x8000000000000000n, 1n, -0x7fffffffffffffffn], 78 [-0x7fffffffffffffffn, 1n, -0x7fffffffffffffffn], 79 [-0x7ffffffffffffffen, 1n, -0x7ffffffffffffffdn], 80 [-0x100000001n, 1n, -0x100000001n], 81 [-0x100000000n, 1n, -0xffffffffn], 82 [-0xffffffffn, 1n, -0xffffffffn], 83 [-0xfffffffen, 1n, -0xfffffffdn], 84 [-0x80000001n, 1n, -0x80000001n], 85 [-0x80000000n, 1n, -0x7fffffffn], 86 [-0x7fffffffn, 1n, -0x7fffffffn], 87 [-0x7ffffffen, 1n, -0x7ffffffdn], 88 [1n, 1n, 1n], 89 [2n, 1n, 3n], 90 [0x7ffffffen, 1n, 0x7fffffffn], 91 [0x7fffffffn, 1n, 0x7fffffffn], 92 [0x80000000n, 1n, 0x80000001n], 93 [0x80000001n, 1n, 0x80000001n], 94 [0xfffffffen, 1n, 0xffffffffn], 95 [0xffffffffn, 1n, 0xffffffffn], 96 [0x100000000n, 1n, 0x100000001n], 97 [0x100000001n, 1n, 0x100000001n], 98 [0x7ffffffffffffffen, 1n, 0x7fffffffffffffffn], 99 [0x7fffffffffffffffn, 1n, 0x7fffffffffffffffn], 100 [-0x8000000000000000n, 2n, -0x7ffffffffffffffen], 101 [-0x7fffffffffffffffn, 2n, -0x7ffffffffffffffdn], 102 [-0x7ffffffffffffffen, 2n, -0x7ffffffffffffffen], 103 [-0x100000001n, 2n, -0x100000001n], 104 [-0x100000000n, 2n, -0xfffffffen], 105 [-0xffffffffn, 2n, -0xfffffffdn], 106 [-0xfffffffen, 2n, -0xfffffffen], 107 [-0x80000001n, 2n, -0x80000001n], 108 [-0x80000000n, 2n, -0x7ffffffen], 109 [-0x7fffffffn, 2n, -0x7ffffffdn], 110 [-0x7ffffffen, 2n, -0x7ffffffen], 111 [2n, 2n, 2n], 112 [0x7ffffffen, 2n, 0x7ffffffen], 113 [0x7fffffffn, 2n, 0x7fffffffn], 114 [0x80000000n, 2n, 0x80000002n], 115 [0x80000001n, 2n, 0x80000003n], 116 [0xfffffffen, 2n, 0xfffffffen], 117 [0xffffffffn, 2n, 0xffffffffn], 118 [0x100000000n, 2n, 0x100000002n], 119 [0x100000001n, 2n, 0x100000003n], 120 [0x7ffffffffffffffen, 2n, 0x7ffffffffffffffen], 121 [0x7fffffffffffffffn, 2n, 0x7fffffffffffffffn], 122 [-0x8000000000000000n, 0x7ffffffen, -0x7fffffff80000002n], 123 [-0x7fffffffffffffffn, 0x7ffffffen, -0x7fffffff80000001n], 124 [-0x7ffffffffffffffen, 0x7ffffffen, -0x7fffffff80000002n], 125 [-0x100000001n, 0x7ffffffen, -0x100000001n], 126 [-0x100000000n, 0x7ffffffen, -0x80000002n], 127 [-0xffffffffn, 0x7ffffffen, -0x80000001n], 128 [-0xfffffffen, 0x7ffffffen, -0x80000002n], 129 [-0x80000001n, 0x7ffffffen, -0x80000001n], 130 [-0x80000000n, 0x7ffffffen, -2n], 131 [-0x7fffffffn, 0x7ffffffen, -1n], 132 [-0x7ffffffen, 0x7ffffffen, -2n], 133 [0x7ffffffen, 0x7ffffffen, 0x7ffffffen], 134 [0x7fffffffn, 0x7ffffffen, 0x7fffffffn], 135 [0x80000000n, 0x7ffffffen, 0xfffffffen], 136 [0x80000001n, 0x7ffffffen, 0xffffffffn], 137 [0xfffffffen, 0x7ffffffen, 0xfffffffen], 138 [0xffffffffn, 0x7ffffffen, 0xffffffffn], 139 [0x100000000n, 0x7ffffffen, 0x17ffffffen], 140 [0x100000001n, 0x7ffffffen, 0x17fffffffn], 141 [0x7ffffffffffffffen, 0x7ffffffen, 0x7ffffffffffffffen], 142 [0x7fffffffffffffffn, 0x7ffffffen, 0x7fffffffffffffffn], 143 [-0x8000000000000000n, 0x7fffffffn, -0x7fffffff80000001n], 144 [-0x7fffffffffffffffn, 0x7fffffffn, -0x7fffffff80000001n], 145 [-0x7ffffffffffffffen, 0x7fffffffn, -0x7fffffff80000001n], 146 [-0x100000001n, 0x7fffffffn, -0x100000001n], 147 [-0x100000000n, 0x7fffffffn, -0x80000001n], 148 [-0xffffffffn, 0x7fffffffn, -0x80000001n], 149 [-0xfffffffen, 0x7fffffffn, -0x80000001n], 150 [-0x80000001n, 0x7fffffffn, -0x80000001n], 151 [-0x80000000n, 0x7fffffffn, -1n], 152 [-0x7fffffffn, 0x7fffffffn, -1n], 153 [-0x7ffffffen, 0x7fffffffn, -1n], 154 [0x7fffffffn, 0x7fffffffn, 0x7fffffffn], 155 [0x80000000n, 0x7fffffffn, 0xffffffffn], 156 [0x80000001n, 0x7fffffffn, 0xffffffffn], 157 [0xfffffffen, 0x7fffffffn, 0xffffffffn], 158 [0xffffffffn, 0x7fffffffn, 0xffffffffn], 159 [0x100000000n, 0x7fffffffn, 0x17fffffffn], 160 [0x100000001n, 0x7fffffffn, 0x17fffffffn], 161 [0x7ffffffffffffffen, 0x7fffffffn, 0x7fffffffffffffffn], 162 [0x7fffffffffffffffn, 0x7fffffffn, 0x7fffffffffffffffn], 163 [-0x8000000000000000n, 0x80000000n, -0x7fffffff80000000n], 164 [-0x7fffffffffffffffn, 0x80000000n, -0x7fffffff7fffffffn], 165 [-0x7ffffffffffffffen, 0x80000000n, -0x7fffffff7ffffffen], 166 [-0x100000001n, 0x80000000n, -0x100000001n], 167 [-0x100000000n, 0x80000000n, -0x80000000n], 168 [-0xffffffffn, 0x80000000n, -0x7fffffffn], 169 [-0xfffffffen, 0x80000000n, -0x7ffffffen], 170 [-0x80000001n, 0x80000000n, -1n], 171 [-0x80000000n, 0x80000000n, -0x80000000n], 172 [-0x7fffffffn, 0x80000000n, -0x7fffffffn], 173 [-0x7ffffffen, 0x80000000n, -0x7ffffffen], 174 [0x80000000n, 0x80000000n, 0x80000000n], 175 [0x80000001n, 0x80000000n, 0x80000001n], 176 [0xfffffffen, 0x80000000n, 0xfffffffen], 177 [0xffffffffn, 0x80000000n, 0xffffffffn], 178 [0x100000000n, 0x80000000n, 0x180000000n], 179 [0x100000001n, 0x80000000n, 0x180000001n], 180 [0x7ffffffffffffffen, 0x80000000n, 0x7ffffffffffffffen], 181 [0x7fffffffffffffffn, 0x80000000n, 0x7fffffffffffffffn], 182 [-0x8000000000000000n, 0x80000001n, -0x7fffffff7fffffffn], 183 [-0x7fffffffffffffffn, 0x80000001n, -0x7fffffff7fffffffn], 184 [-0x7ffffffffffffffen, 0x80000001n, -0x7fffffff7ffffffdn], 185 [-0x100000001n, 0x80000001n, -0x100000001n], 186 [-0x100000000n, 0x80000001n, -0x7fffffffn], 187 [-0xffffffffn, 0x80000001n, -0x7fffffffn], 188 [-0xfffffffen, 0x80000001n, -0x7ffffffdn], 189 [-0x80000001n, 0x80000001n, -1n], 190 [-0x80000000n, 0x80000001n, -0x7fffffffn], 191 [-0x7fffffffn, 0x80000001n, -0x7fffffffn], 192 [-0x7ffffffen, 0x80000001n, -0x7ffffffdn], 193 [0x80000001n, 0x80000001n, 0x80000001n], 194 [0xfffffffen, 0x80000001n, 0xffffffffn], 195 [0xffffffffn, 0x80000001n, 0xffffffffn], 196 [0x100000000n, 0x80000001n, 0x180000001n], 197 [0x100000001n, 0x80000001n, 0x180000001n], 198 [0x7ffffffffffffffen, 0x80000001n, 0x7fffffffffffffffn], 199 [0x7fffffffffffffffn, 0x80000001n, 0x7fffffffffffffffn], 200 [-0x8000000000000000n, -0x80000001n, -0x80000001n], 201 [-0x7fffffffffffffffn, -0x80000001n, -0x80000001n], 202 [-0x7ffffffffffffffen, -0x80000001n, -0x80000001n], 203 [-0x100000001n, -0x80000001n, -1n], 204 [-0x100000000n, -0x80000001n, -0x80000001n], 205 [-0xffffffffn, -0x80000001n, -0x80000001n], 206 [-0xfffffffen, -0x80000001n, -0x80000001n], 207 [-0x80000001n, -0x80000001n, -0x80000001n], 208 [-0x80000000n, -0x80000001n, -1n], 209 [-0x7fffffffn, -0x80000001n, -1n], 210 [-0x7ffffffen, -0x80000001n, -1n], 211 [0xfffffffen, -0x80000001n, -1n], 212 [0xffffffffn, -0x80000001n, -1n], 213 [0x100000000n, -0x80000001n, -0x80000001n], 214 [0x100000001n, -0x80000001n, -0x80000001n], 215 [0x7ffffffffffffffen, -0x80000001n, -1n], 216 [0x7fffffffffffffffn, -0x80000001n, -1n], 217 [-0x8000000000000000n, -0x80000000n, -0x80000000n], 218 [-0x7fffffffffffffffn, -0x80000000n, -0x7fffffffn], 219 [-0x7ffffffffffffffen, -0x80000000n, -0x7ffffffen], 220 [-0x100000001n, -0x80000000n, -1n], 221 [-0x100000000n, -0x80000000n, -0x80000000n], 222 [-0xffffffffn, -0x80000000n, -0x7fffffffn], 223 [-0xfffffffen, -0x80000000n, -0x7ffffffen], 224 [-0x80000000n, -0x80000000n, -0x80000000n], 225 [-0x7fffffffn, -0x80000000n, -0x7fffffffn], 226 [-0x7ffffffen, -0x80000000n, -0x7ffffffen], 227 [0xfffffffen, -0x80000000n, -2n], 228 [0xffffffffn, -0x80000000n, -1n], 229 [0x100000000n, -0x80000000n, -0x80000000n], 230 [0x100000001n, -0x80000000n, -0x7fffffffn], 231 [0x7ffffffffffffffen, -0x80000000n, -2n], 232 [0x7fffffffffffffffn, -0x80000000n, -1n], 233 [-0x8000000000000000n, -0x7fffffffn, -0x7fffffffn], 234 [-0x7fffffffffffffffn, -0x7fffffffn, -0x7fffffffn], 235 [-0x7ffffffffffffffen, -0x7fffffffn, -0x7ffffffdn], 236 [-0x100000001n, -0x7fffffffn, -1n], 237 [-0x100000000n, -0x7fffffffn, -0x7fffffffn], 238 [-0xffffffffn, -0x7fffffffn, -0x7fffffffn], 239 [-0xfffffffen, -0x7fffffffn, -0x7ffffffdn], 240 [-0x7fffffffn, -0x7fffffffn, -0x7fffffffn], 241 [-0x7ffffffen, -0x7fffffffn, -0x7ffffffdn], 242 [0xfffffffen, -0x7fffffffn, -1n], 243 [0xffffffffn, -0x7fffffffn, -1n], 244 [0x100000000n, -0x7fffffffn, -0x7fffffffn], 245 [0x100000001n, -0x7fffffffn, -0x7fffffffn], 246 [0x7ffffffffffffffen, -0x7fffffffn, -1n], 247 [0x7fffffffffffffffn, -0x7fffffffn, -1n], 248 [-0x8000000000000000n, -0x7ffffffen, -0x7ffffffen], 249 [-0x7fffffffffffffffn, -0x7ffffffen, -0x7ffffffdn], 250 [-0x7ffffffffffffffen, -0x7ffffffen, -0x7ffffffen], 251 [-0x100000001n, -0x7ffffffen, -1n], 252 [-0x100000000n, -0x7ffffffen, -0x7ffffffen], 253 [-0xffffffffn, -0x7ffffffen, -0x7ffffffdn], 254 [-0xfffffffen, -0x7ffffffen, -0x7ffffffen], 255 [-0x7ffffffen, -0x7ffffffen, -0x7ffffffen], 256 [0xfffffffen, -0x7ffffffen, -2n], 257 [0xffffffffn, -0x7ffffffen, -1n], 258 [0x100000000n, -0x7ffffffen, -0x7ffffffen], 259 [0x100000001n, -0x7ffffffen, -0x7ffffffdn], 260 [0x7ffffffffffffffen, -0x7ffffffen, -2n], 261 [0x7fffffffffffffffn, -0x7ffffffen, -1n], 262 [-0x8000000000000000n, 0xfffffffen, -0x7fffffff00000002n], 263 [-0x7fffffffffffffffn, 0xfffffffen, -0x7fffffff00000001n], 264 [-0x7ffffffffffffffen, 0xfffffffen, -0x7fffffff00000002n], 265 [-0x100000001n, 0xfffffffen, -0x100000001n], 266 [-0x100000000n, 0xfffffffen, -2n], 267 [-0xffffffffn, 0xfffffffen, -1n], 268 [-0xfffffffen, 0xfffffffen, -2n], 269 [0xfffffffen, 0xfffffffen, 0xfffffffen], 270 [0xffffffffn, 0xfffffffen, 0xffffffffn], 271 [0x100000000n, 0xfffffffen, 0x1fffffffen], 272 [0x100000001n, 0xfffffffen, 0x1ffffffffn], 273 [0x7ffffffffffffffen, 0xfffffffen, 0x7ffffffffffffffen], 274 [0x7fffffffffffffffn, 0xfffffffen, 0x7fffffffffffffffn], 275 [-0x8000000000000000n, 0xffffffffn, -0x7fffffff00000001n], 276 [-0x7fffffffffffffffn, 0xffffffffn, -0x7fffffff00000001n], 277 [-0x7ffffffffffffffen, 0xffffffffn, -0x7fffffff00000001n], 278 [-0x100000001n, 0xffffffffn, -0x100000001n], 279 [-0x100000000n, 0xffffffffn, -1n], 280 [-0xffffffffn, 0xffffffffn, -1n], 281 [-0xfffffffen, 0xffffffffn, -1n], 282 [0xffffffffn, 0xffffffffn, 0xffffffffn], 283 [0x100000000n, 0xffffffffn, 0x1ffffffffn], 284 [0x100000001n, 0xffffffffn, 0x1ffffffffn], 285 [0x7ffffffffffffffen, 0xffffffffn, 0x7fffffffffffffffn], 286 [0x7fffffffffffffffn, 0xffffffffn, 0x7fffffffffffffffn], 287 [-0x8000000000000000n, 0x100000000n, -0x7fffffff00000000n], 288 [-0x7fffffffffffffffn, 0x100000000n, -0x7ffffffeffffffffn], 289 [-0x7ffffffffffffffen, 0x100000000n, -0x7ffffffefffffffen], 290 [-0x100000001n, 0x100000000n, -1n], 291 [-0x100000000n, 0x100000000n, -0x100000000n], 292 [-0xffffffffn, 0x100000000n, -0xffffffffn], 293 [-0xfffffffen, 0x100000000n, -0xfffffffen], 294 [0x100000000n, 0x100000000n, 0x100000000n], 295 [0x100000001n, 0x100000000n, 0x100000001n], 296 [0x7ffffffffffffffen, 0x100000000n, 0x7ffffffffffffffen], 297 [0x7fffffffffffffffn, 0x100000000n, 0x7fffffffffffffffn], 298 [-0x8000000000000000n, 0x100000001n, -0x7ffffffeffffffffn], 299 [-0x7fffffffffffffffn, 0x100000001n, -0x7ffffffeffffffffn], 300 [-0x7ffffffffffffffen, 0x100000001n, -0x7ffffffefffffffdn], 301 [-0x100000001n, 0x100000001n, -1n], 302 [-0x100000000n, 0x100000001n, -0xffffffffn], 303 [-0xffffffffn, 0x100000001n, -0xffffffffn], 304 [-0xfffffffen, 0x100000001n, -0xfffffffdn], 305 [0x100000001n, 0x100000001n, 0x100000001n], 306 [0x7ffffffffffffffen, 0x100000001n, 0x7fffffffffffffffn], 307 [0x7fffffffffffffffn, 0x100000001n, 0x7fffffffffffffffn], 308 [-0x8000000000000000n, -0x100000001n, -0x100000001n], 309 [-0x7fffffffffffffffn, -0x100000001n, -0x100000001n], 310 [-0x7ffffffffffffffen, -0x100000001n, -0x100000001n], 311 [-0x100000001n, -0x100000001n, -0x100000001n], 312 [-0x100000000n, -0x100000001n, -1n], 313 [-0xffffffffn, -0x100000001n, -1n], 314 [-0xfffffffen, -0x100000001n, -1n], 315 [0x7ffffffffffffffen, -0x100000001n, -1n], 316 [0x7fffffffffffffffn, -0x100000001n, -1n], 317 [-0x8000000000000000n, -0x100000000n, -0x100000000n], 318 [-0x7fffffffffffffffn, -0x100000000n, -0xffffffffn], 319 [-0x7ffffffffffffffen, -0x100000000n, -0xfffffffen], 320 [-0x100000000n, -0x100000000n, -0x100000000n], 321 [-0xffffffffn, -0x100000000n, -0xffffffffn], 322 [-0xfffffffen, -0x100000000n, -0xfffffffen], 323 [0x7ffffffffffffffen, -0x100000000n, -2n], 324 [0x7fffffffffffffffn, -0x100000000n, -1n], 325 [-0x8000000000000000n, -0xffffffffn, -0xffffffffn], 326 [-0x7fffffffffffffffn, -0xffffffffn, -0xffffffffn], 327 [-0x7ffffffffffffffen, -0xffffffffn, -0xfffffffdn], 328 [-0xffffffffn, -0xffffffffn, -0xffffffffn], 329 [-0xfffffffen, -0xffffffffn, -0xfffffffdn], 330 [0x7ffffffffffffffen, -0xffffffffn, -1n], 331 [0x7fffffffffffffffn, -0xffffffffn, -1n], 332 [-0x8000000000000000n, -0xfffffffen, -0xfffffffen], 333 [-0x7fffffffffffffffn, -0xfffffffen, -0xfffffffdn], 334 [-0x7ffffffffffffffen, -0xfffffffen, -0xfffffffen], 335 [-0xfffffffen, -0xfffffffen, -0xfffffffen], 336 [0x7ffffffffffffffen, -0xfffffffen, -2n], 337 [0x7fffffffffffffffn, -0xfffffffen, -1n], 338 [-0x8000000000000000n, 0x7ffffffffffffffen, -2n], 339 [-0x7fffffffffffffffn, 0x7ffffffffffffffen, -1n], 340 [-0x7ffffffffffffffen, 0x7ffffffffffffffen, -2n], 341 [0x7ffffffffffffffen, 0x7ffffffffffffffen, 0x7ffffffffffffffen], 342 [0x7fffffffffffffffn, 0x7ffffffffffffffen, 0x7fffffffffffffffn], 343 [-0x8000000000000000n, 0x7fffffffffffffffn, -1n], 344 [-0x7fffffffffffffffn, 0x7fffffffffffffffn, -1n], 345 [-0x7ffffffffffffffen, 0x7fffffffffffffffn, -1n], 346 [0x7fffffffffffffffn, 0x7fffffffffffffffn, 0x7fffffffffffffffn], 347 [-0x8000000000000000n, -0x8000000000000000n, -0x8000000000000000n], 348 [-0x7fffffffffffffffn, -0x8000000000000000n, -0x7fffffffffffffffn], 349 [-0x7ffffffffffffffen, -0x8000000000000000n, -0x7ffffffffffffffen], 350 [-0x7fffffffffffffffn, -0x7fffffffffffffffn, -0x7fffffffffffffffn], 351 [-0x7ffffffffffffffen, -0x7fffffffffffffffn, -0x7ffffffffffffffdn], 352 [-0x7ffffffffffffffen, -0x7ffffffffffffffen, -0x7ffffffffffffffen], 353 ]; 354 355 function f(tests) { 356 for (let test of tests) { 357 let lhs = test[0], rhs = test[1], expected = test[2]; 358 assertEq(BigInt.asIntN(64, lhs), lhs); 359 assertEq(BigInt.asIntN(64, rhs), rhs); 360 assertEq(BigInt.asIntN(64, expected), expected); 361 362 let f = Function(` 363 let lhs = ${lhs}n; 364 let rhs = ${rhs}n; 365 assertEq(lhs | rhs, ${expected}n); 366 assertEq(rhs | lhs, ${expected}n); 367 `); 368 369 for (let j = 0; j < 100; ++j) { 370 f(); 371 } 372 } 373 } 374 375 f(tests);