1 // Copyright 2008 the V8 project authors. All rights reserved. 2 // Redistribution and use in source and binary forms, with or without 3 // modification, are permitted provided that the following conditions are 4 // met: 5 // 6 // * Redistributions of source code must retain the above copyright 7 // notice, this list of conditions and the following disclaimer. 8 // * Redistributions in binary form must reproduce the above 9 // copyright notice, this list of conditions and the following 10 // disclaimer in the documentation and/or other materials provided 11 // with the distribution. 12 // * Neither the name of Google Inc. nor the names of its 13 // contributors may be used to endorse or promote products derived 14 // from this software without specific prior written permission. 15 // 16 // THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS 17 // "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT 18 // LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR 19 // A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT 20 // OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, 21 // SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT 22 // LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, 23 // DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY 24 // THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT 25 // (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE 26 // OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. 27 28 var x; 29 30 // Converts a number to string respecting -0. 31 function stringify(n) { 32 if ((1 / n) === -Infinity) return "-0"; 33 return String(n); 34 } 35 36 function f(expected, y) { 37 function testEval(string, x, y) { 38 var mulFunction = Function("x, y", "return " + string); 39 return mulFunction(x, y); 40 } 41 function mulTest(expected, x, y) { 42 assertEquals(expected, x * y); 43 assertEquals(expected, testEval(stringify(x) + " * y", x, y)); 44 assertEquals(expected, testEval("x * " + stringify(y), x, y)); 45 assertEquals(expected, testEval(stringify(x) + " * " + stringify(y), x, y)); 46 } 47 mulTest(expected, x, y); 48 mulTest(-expected, -x, y); 49 mulTest(-expected, x, -y); 50 mulTest(expected, -x, -y); 51 if (x === y) return; // Symmetric cases not necessary. 52 mulTest(expected, y, x); 53 mulTest(-expected, -y, x); 54 mulTest(-expected, y, -x); 55 mulTest(expected, -y, -x); 56 } 57 58 x = 1024; 59 f(0, 0); 60 f(1024, 1); 61 f(2048, 2); 62 f(3072, 3); 63 f(4096, 4); 64 f(5120, 5); 65 f(7168, 7); 66 f(8192, 8); 67 f(9216, 9); 68 f(15360, 15); 69 f(16384, 16); 70 f(17408, 17); 71 f(31744, 31); 72 f(32768, 32); 73 f(33792, 33); 74 f(64512, 63); 75 f(65536, 64); 76 f(66560, 65); 77 f(130048, 127); 78 f(131072, 128); 79 f(132096, 129); 80 f(261120, 255); 81 f(262144, 256); 82 f(263168, 257); 83 f(523264, 511); 84 f(524288, 512); 85 f(525312, 513); 86 f(1047552, 1023); 87 f(1048576, 1024); 88 x = 1025; 89 f(0, 0); 90 f(1025, 1); 91 f(2050, 2); 92 f(3075, 3); 93 f(4100, 4); 94 f(5125, 5); 95 f(7175, 7); 96 f(8200, 8); 97 f(9225, 9); 98 f(15375, 15); 99 f(16400, 16); 100 f(17425, 17); 101 f(31775, 31); 102 f(32800, 32); 103 f(33825, 33); 104 f(64575, 63); 105 f(65600, 64); 106 f(66625, 65); 107 f(130175, 127); 108 f(131200, 128); 109 f(132225, 129); 110 f(261375, 255); 111 f(262400, 256); 112 f(263425, 257); 113 f(523775, 511); 114 f(524800, 512); 115 f(525825, 513); 116 f(1048575, 1023); 117 f(1049600, 1024); 118 f(1050625, 1025); 119 x = 2047; 120 f(0, 0); 121 f(2047, 1); 122 f(4094, 2); 123 f(6141, 3); 124 f(8188, 4); 125 f(10235, 5); 126 f(14329, 7); 127 f(16376, 8); 128 f(18423, 9); 129 f(30705, 15); 130 f(32752, 16); 131 f(34799, 17); 132 f(63457, 31); 133 f(65504, 32); 134 f(67551, 33); 135 f(128961, 63); 136 f(131008, 64); 137 f(133055, 65); 138 f(259969, 127); 139 f(262016, 128); 140 f(264063, 129); 141 f(521985, 255); 142 f(524032, 256); 143 f(526079, 257); 144 f(1046017, 511); 145 f(1048064, 512); 146 f(1050111, 513); 147 f(2094081, 1023); 148 f(2096128, 1024); 149 f(2098175, 1025); 150 f(4190209, 2047); 151 x = 2048; 152 f(0, 0); 153 f(2048, 1); 154 f(4096, 2); 155 f(6144, 3); 156 f(8192, 4); 157 f(10240, 5); 158 f(14336, 7); 159 f(16384, 8); 160 f(18432, 9); 161 f(30720, 15); 162 f(32768, 16); 163 f(34816, 17); 164 f(63488, 31); 165 f(65536, 32); 166 f(67584, 33); 167 f(129024, 63); 168 f(131072, 64); 169 f(133120, 65); 170 f(260096, 127); 171 f(262144, 128); 172 f(264192, 129); 173 f(522240, 255); 174 f(524288, 256); 175 f(526336, 257); 176 f(1046528, 511); 177 f(1048576, 512); 178 f(1050624, 513); 179 f(2095104, 1023); 180 f(2097152, 1024); 181 f(2099200, 1025); 182 f(4192256, 2047); 183 f(4194304, 2048); 184 x = 2049; 185 f(0, 0); 186 f(2049, 1); 187 f(4098, 2); 188 f(6147, 3); 189 f(8196, 4); 190 f(10245, 5); 191 f(14343, 7); 192 f(16392, 8); 193 f(18441, 9); 194 f(30735, 15); 195 f(32784, 16); 196 f(34833, 17); 197 f(63519, 31); 198 f(65568, 32); 199 f(67617, 33); 200 f(129087, 63); 201 f(131136, 64); 202 f(133185, 65); 203 f(260223, 127); 204 f(262272, 128); 205 f(264321, 129); 206 f(522495, 255); 207 f(524544, 256); 208 f(526593, 257); 209 f(1047039, 511); 210 f(1049088, 512); 211 f(1051137, 513); 212 f(2096127, 1023); 213 f(2098176, 1024); 214 f(2100225, 1025); 215 f(4194303, 2047); 216 f(4196352, 2048); 217 f(4198401, 2049); 218 x = 4095; 219 f(0, 0); 220 f(4095, 1); 221 f(8190, 2); 222 f(12285, 3); 223 f(16380, 4); 224 f(20475, 5); 225 f(28665, 7); 226 f(32760, 8); 227 f(36855, 9); 228 f(61425, 15); 229 f(65520, 16); 230 f(69615, 17); 231 f(126945, 31); 232 f(131040, 32); 233 f(135135, 33); 234 f(257985, 63); 235 f(262080, 64); 236 f(266175, 65); 237 f(520065, 127); 238 f(524160, 128); 239 f(528255, 129); 240 f(1044225, 255); 241 f(1048320, 256); 242 f(1052415, 257); 243 f(2092545, 511); 244 f(2096640, 512); 245 f(2100735, 513); 246 f(4189185, 1023); 247 f(4193280, 1024); 248 f(4197375, 1025); 249 f(8382465, 2047); 250 f(8386560, 2048); 251 f(8390655, 2049); 252 f(16769025, 4095); 253 x = 4096; 254 f(0, 0); 255 f(4096, 1); 256 f(8192, 2); 257 f(12288, 3); 258 f(16384, 4); 259 f(20480, 5); 260 f(28672, 7); 261 f(32768, 8); 262 f(36864, 9); 263 f(61440, 15); 264 f(65536, 16); 265 f(69632, 17); 266 f(126976, 31); 267 f(131072, 32); 268 f(135168, 33); 269 f(258048, 63); 270 f(262144, 64); 271 f(266240, 65); 272 f(520192, 127); 273 f(524288, 128); 274 f(528384, 129); 275 f(1044480, 255); 276 f(1048576, 256); 277 f(1052672, 257); 278 f(2093056, 511); 279 f(2097152, 512); 280 f(2101248, 513); 281 f(4190208, 1023); 282 f(4194304, 1024); 283 f(4198400, 1025); 284 f(8384512, 2047); 285 f(8388608, 2048); 286 f(8392704, 2049); 287 f(16773120, 4095); 288 f(16777216, 4096); 289 x = 4097; 290 f(0, 0); 291 f(4097, 1); 292 f(8194, 2); 293 f(12291, 3); 294 f(16388, 4); 295 f(20485, 5); 296 f(28679, 7); 297 f(32776, 8); 298 f(36873, 9); 299 f(61455, 15); 300 f(65552, 16); 301 f(69649, 17); 302 f(127007, 31); 303 f(131104, 32); 304 f(135201, 33); 305 f(258111, 63); 306 f(262208, 64); 307 f(266305, 65); 308 f(520319, 127); 309 f(524416, 128); 310 f(528513, 129); 311 f(1044735, 255); 312 f(1048832, 256); 313 f(1052929, 257); 314 f(2093567, 511); 315 f(2097664, 512); 316 f(2101761, 513); 317 f(4191231, 1023); 318 f(4195328, 1024); 319 f(4199425, 1025); 320 f(8386559, 2047); 321 f(8390656, 2048); 322 f(8394753, 2049); 323 f(16777215, 4095); 324 f(16781312, 4096); 325 f(16785409, 4097); 326 x = 8191; 327 f(0, 0); 328 f(8191, 1); 329 f(16382, 2); 330 f(24573, 3); 331 f(32764, 4); 332 f(40955, 5); 333 f(57337, 7); 334 f(65528, 8); 335 f(73719, 9); 336 f(122865, 15); 337 f(131056, 16); 338 f(139247, 17); 339 f(253921, 31); 340 f(262112, 32); 341 f(270303, 33); 342 f(516033, 63); 343 f(524224, 64); 344 f(532415, 65); 345 f(1040257, 127); 346 f(1048448, 128); 347 f(1056639, 129); 348 f(2088705, 255); 349 f(2096896, 256); 350 f(2105087, 257); 351 f(4185601, 511); 352 f(4193792, 512); 353 f(4201983, 513); 354 f(8379393, 1023); 355 f(8387584, 1024); 356 f(8395775, 1025); 357 f(16766977, 2047); 358 f(16775168, 2048); 359 f(16783359, 2049); 360 f(33542145, 4095); 361 f(33550336, 4096); 362 f(33558527, 4097); 363 f(67092481, 8191); 364 x = 8192; 365 f(0, 0); 366 f(8192, 1); 367 f(16384, 2); 368 f(24576, 3); 369 f(32768, 4); 370 f(40960, 5); 371 f(57344, 7); 372 f(65536, 8); 373 f(73728, 9); 374 f(122880, 15); 375 f(131072, 16); 376 f(139264, 17); 377 f(253952, 31); 378 f(262144, 32); 379 f(270336, 33); 380 f(516096, 63); 381 f(524288, 64); 382 f(532480, 65); 383 f(1040384, 127); 384 f(1048576, 128); 385 f(1056768, 129); 386 f(2088960, 255); 387 f(2097152, 256); 388 f(2105344, 257); 389 f(4186112, 511); 390 f(4194304, 512); 391 f(4202496, 513); 392 f(8380416, 1023); 393 f(8388608, 1024); 394 f(8396800, 1025); 395 f(16769024, 2047); 396 f(16777216, 2048); 397 f(16785408, 2049); 398 f(33546240, 4095); 399 f(33554432, 4096); 400 f(33562624, 4097); 401 f(67100672, 8191); 402 f(67108864, 8192); 403 x = 8193; 404 f(0, 0); 405 f(8193, 1); 406 f(16386, 2); 407 f(24579, 3); 408 f(32772, 4); 409 f(40965, 5); 410 f(57351, 7); 411 f(65544, 8); 412 f(73737, 9); 413 f(122895, 15); 414 f(131088, 16); 415 f(139281, 17); 416 f(253983, 31); 417 f(262176, 32); 418 f(270369, 33); 419 f(516159, 63); 420 f(524352, 64); 421 f(532545, 65); 422 f(1040511, 127); 423 f(1048704, 128); 424 f(1056897, 129); 425 f(2089215, 255); 426 f(2097408, 256); 427 f(2105601, 257); 428 f(4186623, 511); 429 f(4194816, 512); 430 f(4203009, 513); 431 f(8381439, 1023); 432 f(8389632, 1024); 433 f(8397825, 1025); 434 f(16771071, 2047); 435 f(16779264, 2048); 436 f(16787457, 2049); 437 f(33550335, 4095); 438 f(33558528, 4096); 439 f(33566721, 4097); 440 f(67108863, 8191); 441 f(67117056, 8192); 442 f(67125249, 8193); 443 x = 16383; 444 f(0, 0); 445 f(16383, 1); 446 f(32766, 2); 447 f(49149, 3); 448 f(65532, 4); 449 f(81915, 5); 450 f(114681, 7); 451 f(131064, 8); 452 f(147447, 9); 453 f(245745, 15); 454 f(262128, 16); 455 f(278511, 17); 456 f(507873, 31); 457 f(524256, 32); 458 f(540639, 33); 459 f(1032129, 63); 460 f(1048512, 64); 461 f(1064895, 65); 462 f(2080641, 127); 463 f(2097024, 128); 464 f(2113407, 129); 465 f(4177665, 255); 466 f(4194048, 256); 467 f(4210431, 257); 468 f(8371713, 511); 469 f(8388096, 512); 470 f(8404479, 513); 471 f(16759809, 1023); 472 f(16776192, 1024); 473 f(16792575, 1025); 474 f(33536001, 2047); 475 f(33552384, 2048); 476 f(33568767, 2049); 477 f(67088385, 4095); 478 f(67104768, 4096); 479 f(67121151, 4097); 480 f(134193153, 8191); 481 f(134209536, 8192); 482 f(134225919, 8193); 483 f(268402689, 16383); 484 x = 16384; 485 f(0, 0); 486 f(16384, 1); 487 f(32768, 2); 488 f(49152, 3); 489 f(65536, 4); 490 f(81920, 5); 491 f(114688, 7); 492 f(131072, 8); 493 f(147456, 9); 494 f(245760, 15); 495 f(262144, 16); 496 f(278528, 17); 497 f(507904, 31); 498 f(524288, 32); 499 f(540672, 33); 500 f(1032192, 63); 501 f(1048576, 64); 502 f(1064960, 65); 503 f(2080768, 127); 504 f(2097152, 128); 505 f(2113536, 129); 506 f(4177920, 255); 507 f(4194304, 256); 508 f(4210688, 257); 509 f(8372224, 511); 510 f(8388608, 512); 511 f(8404992, 513); 512 f(16760832, 1023); 513 f(16777216, 1024); 514 f(16793600, 1025); 515 f(33538048, 2047); 516 f(33554432, 2048); 517 f(33570816, 2049); 518 f(67092480, 4095); 519 f(67108864, 4096); 520 f(67125248, 4097); 521 f(134201344, 8191); 522 f(134217728, 8192); 523 f(134234112, 8193); 524 f(268419072, 16383); 525 f(268435456, 16384); 526
