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