Home | History | Annotate | Download | only in mjsunit 
      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 = 33554432;
     59 f(0, 0);
     60 f(33554432, 1);
     61 f(67108864, 2);
     62 f(100663296, 3);
     63 f(134217728, 4);
     64 f(167772160, 5);
     65 f(234881024, 7);
     66 f(268435456, 8);
     67 f(301989888, 9);
     68 f(503316480, 15);
     69 f(536870912, 16);
     70 f(570425344, 17);
     71 f(1040187392, 31);
     72 f(1073741824, 32);
     73 f(1107296256, 33);
     74 f(2113929216, 63);
     75 f(2147483648, 64);
     76 f(2181038080, 65);
     77 f(4261412864, 127);
     78 f(4294967296, 128);
     79 f(4328521728, 129);
     80 f(8556380160, 255);
     81 f(8589934592, 256);
     82 f(8623489024, 257);
     83 f(17146314752, 511);
     84 f(17179869184, 512);
     85 f(17213423616, 513);
     86 f(34326183936, 1023);
     87 f(34359738368, 1024);
     88 f(34393292800, 1025);
     89 f(68685922304, 2047);
     90 f(68719476736, 2048);
     91 f(68753031168, 2049);
     92 f(137405399040, 4095);
     93 f(137438953472, 4096);
     94 f(137472507904, 4097);
     95 f(274844352512, 8191);
     96 f(274877906944, 8192);
     97 f(274911461376, 8193);
     98 f(549722259456, 16383);
     99 f(549755813888, 16384);
    100 f(549789368320, 16385);
    101 f(1099478073344, 32767);
    102 f(1099511627776, 32768);
    103 f(1099545182208, 32769);
    104 f(2198989701120, 65535);
    105 f(2199023255552, 65536);
    106 f(2199056809984, 65537);
    107 f(4398012956672, 131071);
    108 f(4398046511104, 131072);
    109 f(4398080065536, 131073);
    110 f(8796059467776, 262143);
    111 f(8796093022208, 262144);
    112 f(8796126576640, 262145);
    113 f(17592152489984, 524287);
    114 f(17592186044416, 524288);
    115 f(17592219598848, 524289);
    116 f(35184338534400, 1048575);
    117 f(35184372088832, 1048576);
    118 f(35184405643264, 1048577);
    119 f(70368710623232, 2097151);
    120 f(70368744177664, 2097152);
    121 f(70368777732096, 2097153);
    122 f(140737454800896, 4194303);
    123 f(140737488355328, 4194304);
    124 f(140737521909760, 4194305);
    125 f(281474943156224, 8388607);
    126 f(281474976710656, 8388608);
    127 f(281475010265088, 8388609);
    128 f(562949919866880, 16777215);
    129 f(562949953421312, 16777216);
    130 f(562949986975744, 16777217);
    131 f(1125899873288192, 33554431);
    132 f(1125899906842624, 33554432);
    133 x = 33554433;
    134 f(0, 0);
    135 f(33554433, 1);
    136 f(67108866, 2);
    137 f(100663299, 3);
    138 f(134217732, 4);
    139 f(167772165, 5);
    140 f(234881031, 7);
    141 f(268435464, 8);
    142 f(301989897, 9);
    143 f(503316495, 15);
    144 f(536870928, 16);
    145 f(570425361, 17);
    146 f(1040187423, 31);
    147 f(1073741856, 32);
    148 f(1107296289, 33);
    149 f(2113929279, 63);
    150 f(2147483712, 64);
    151 f(2181038145, 65);
    152 f(4261412991, 127);
    153 f(4294967424, 128);
    154 f(4328521857, 129);
    155 f(8556380415, 255);
    156 f(8589934848, 256);
    157 f(8623489281, 257);
    158 f(17146315263, 511);
    159 f(17179869696, 512);
    160 f(17213424129, 513);
    161 f(34326184959, 1023);
    162 f(34359739392, 1024);
    163 f(34393293825, 1025);
    164 f(68685924351, 2047);
    165 f(68719478784, 2048);
    166 f(68753033217, 2049);
    167 f(137405403135, 4095);
    168 f(137438957568, 4096);
    169 f(137472512001, 4097);
    170 f(274844360703, 8191);
    171 f(274877915136, 8192);
    172 f(274911469569, 8193);
    173 f(549722275839, 16383);
    174 f(549755830272, 16384);
    175 f(549789384705, 16385);
    176 f(1099478106111, 32767);
    177 f(1099511660544, 32768);
    178 f(1099545214977, 32769);
    179 f(2198989766655, 65535);
    180 f(2199023321088, 65536);
    181 f(2199056875521, 65537);
    182 f(4398013087743, 131071);
    183 f(4398046642176, 131072);
    184 f(4398080196609, 131073);
    185 f(8796059729919, 262143);
    186 f(8796093284352, 262144);
    187 f(8796126838785, 262145);
    188 f(17592153014271, 524287);
    189 f(17592186568704, 524288);
    190 f(17592220123137, 524289);
    191 f(35184339582975, 1048575);
    192 f(35184373137408, 1048576);
    193 f(35184406691841, 1048577);
    194 f(70368712720383, 2097151);
    195 f(70368746274816, 2097152);
    196 f(70368779829249, 2097153);
    197 f(140737458995199, 4194303);
    198 f(140737492549632, 4194304);
    199 f(140737526104065, 4194305);
    200 f(281474951544831, 8388607);
    201 f(281474985099264, 8388608);
    202 f(281475018653697, 8388609);
    203 f(562949936644095, 16777215);
    204 f(562949970198528, 16777216);
    205 f(562950003752961, 16777217);
    206 f(1125899906842623, 33554431);
    207 f(1125899940397056, 33554432);
    208 f(1125899973951489, 33554433);
    209 x = 67108863;
    210 f(0, 0);
    211 f(67108863, 1);
    212 f(134217726, 2);
    213 f(201326589, 3);
    214 f(268435452, 4);
    215 f(335544315, 5);
    216 f(469762041, 7);
    217 f(536870904, 8);
    218 f(603979767, 9);
    219 f(1006632945, 15);
    220 f(1073741808, 16);
    221 f(1140850671, 17);
    222 f(2080374753, 31);
    223 f(2147483616, 32);
    224 f(2214592479, 33);
    225 f(4227858369, 63);
    226 f(4294967232, 64);
    227 f(4362076095, 65);
    228 f(8522825601, 127);
    229 f(8589934464, 128);
    230 f(8657043327, 129);
    231 f(17112760065, 255);
    232 f(17179868928, 256);
    233 f(17246977791, 257);
    234 f(34292628993, 511);
    235 f(34359737856, 512);
    236 f(34426846719, 513);
    237 f(68652366849, 1023);
    238 f(68719475712, 1024);
    239 f(68786584575, 1025);
    240 f(137371842561, 2047);
    241 f(137438951424, 2048);
    242 f(137506060287, 2049);
    243 f(274810793985, 4095);
    244 f(274877902848, 4096);
    245 f(274945011711, 4097);
    246 f(549688696833, 8191);
    247 f(549755805696, 8192);
    248 f(549822914559, 8193);
    249 f(1099444502529, 16383);
    250 f(1099511611392, 16384);
    251 f(1099578720255, 16385);
    252 f(2198956113921, 32767);
    253 f(2199023222784, 32768);
    254 f(2199090331647, 32769);
    255 f(4397979336705, 65535);
    256 f(4398046445568, 65536);
    257 f(4398113554431, 65537);
    258 f(8796025782273, 131071);
    259 f(8796092891136, 131072);
    260 f(8796159999999, 131073);
    261 f(17592118673409, 262143);
    262 f(17592185782272, 262144);
    263 f(17592252891135, 262145);
    264 f(35184304455681, 524287);
    265 f(35184371564544, 524288);
    266 f(35184438673407, 524289);
    267 f(70368676020225, 1048575);
    268 f(70368743129088, 1048576);
    269 f(70368810237951, 1048577);
    270 f(140737419149313, 2097151);
    271 f(140737486258176, 2097152);
    272 f(140737553367039, 2097153);
    273 f(281474905407489, 4194303);
    274 f(281474972516352, 4194304);
    275 f(281475039625215, 4194305);
    276 f(562949877923841, 8388607);
    277 f(562949945032704, 8388608);
    278 f(562950012141567, 8388609);
    279 f(1125899822956545, 16777215);
    280 f(1125899890065408, 16777216);
    281 f(1125899957174271, 16777217);
    282 x = 67108864;
    283 f(0, 0);
    284 f(67108864, 1);
    285 f(134217728, 2);
    286 f(201326592, 3);
    287 f(268435456, 4);
    288 f(335544320, 5);
    289 f(469762048, 7);
    290 f(536870912, 8);
    291 f(603979776, 9);
    292 f(1006632960, 15);
    293 f(1073741824, 16);
    294 f(1140850688, 17);
    295 f(2080374784, 31);
    296 f(2147483648, 32);
    297 f(2214592512, 33);
    298 f(4227858432, 63);
    299 f(4294967296, 64);
    300 f(4362076160, 65);
    301 f(8522825728, 127);
    302 f(8589934592, 128);
    303 f(8657043456, 129);
    304 f(17112760320, 255);
    305 f(17179869184, 256);
    306 f(17246978048, 257);
    307 f(34292629504, 511);
    308 f(34359738368, 512);
    309 f(34426847232, 513);
    310 f(68652367872, 1023);
    311 f(68719476736, 1024);
    312 f(68786585600, 1025);
    313 f(137371844608, 2047);
    314 f(137438953472, 2048);
    315 f(137506062336, 2049);
    316 f(274810798080, 4095);
    317 f(274877906944, 4096);
    318 f(274945015808, 4097);
    319 f(549688705024, 8191);
    320 f(549755813888, 8192);
    321 f(549822922752, 8193);
    322 f(1099444518912, 16383);
    323 f(1099511627776, 16384);
    324 f(1099578736640, 16385);
    325 f(2198956146688, 32767);
    326 f(2199023255552, 32768);
    327 f(2199090364416, 32769);
    328 f(4397979402240, 65535);
    329 f(4398046511104, 65536);
    330 f(4398113619968, 65537);
    331 f(8796025913344, 131071);
    332 f(8796093022208, 131072);
    333 f(8796160131072, 131073);
    334 f(17592118935552, 262143);
    335 f(17592186044416, 262144);
    336 f(17592253153280, 262145);
    337 f(35184304979968, 524287);
    338 f(35184372088832, 524288);
    339 f(35184439197696, 524289);
    340 f(70368677068800, 1048575);
    341 f(70368744177664, 1048576);
    342 f(70368811286528, 1048577);
    343 f(140737421246464, 2097151);
    344 f(140737488355328, 2097152);
    345 f(140737555464192, 2097153);
    346 f(281474909601792, 4194303);
    347 f(281474976710656, 4194304);
    348 f(281475043819520, 4194305);
    349 f(562949886312448, 8388607);
    350 f(562949953421312, 8388608);
    351 f(562950020530176, 8388609);
    352 f(1125899839733760, 16777215);
    353 f(1125899906842624, 16777216);
    354 f(1125899973951488, 16777217);
    355 x = 67108865;
    356 f(0, 0);
    357 f(67108865, 1);
    358 f(134217730, 2);
    359 f(201326595, 3);
    360 f(268435460, 4);
    361 f(335544325, 5);
    362 f(469762055, 7);
    363 f(536870920, 8);
    364 f(603979785, 9);
    365 f(1006632975, 15);
    366 f(1073741840, 16);
    367 f(1140850705, 17);
    368 f(2080374815, 31);
    369 f(2147483680, 32);
    370 f(2214592545, 33);
    371 f(4227858495, 63);
    372 f(4294967360, 64);
    373 f(4362076225, 65);
    374 f(8522825855, 127);
    375 f(8589934720, 128);
    376 f(8657043585, 129);
    377 f(17112760575, 255);
    378 f(17179869440, 256);
    379 f(17246978305, 257);
    380 f(34292630015, 511);
    381 f(34359738880, 512);
    382 f(34426847745, 513);
    383 f(68652368895, 1023);
    384 f(68719477760, 1024);
    385 f(68786586625, 1025);
    386 f(137371846655, 2047);
    387 f(137438955520, 2048);
    388 f(137506064385, 2049);
    389 f(274810802175, 4095);
    390 f(274877911040, 4096);
    391 f(274945019905, 4097);
    392 f(549688713215, 8191);
    393 f(549755822080, 8192);
    394 f(549822930945, 8193);
    395 f(1099444535295, 16383);
    396 f(1099511644160, 16384);
    397 f(1099578753025, 16385);
    398 f(2198956179455, 32767);
    399 f(2199023288320, 32768);
    400 f(2199090397185, 32769);
    401 f(4397979467775, 65535);
    402 f(4398046576640, 65536);
    403 f(4398113685505, 65537);
    404 f(8796026044415, 131071);
    405 f(8796093153280, 131072);
    406 f(8796160262145, 131073);
    407 f(17592119197695, 262143);
    408 f(17592186306560, 262144);
    409 f(17592253415425, 262145);
    410 f(35184305504255, 524287);
    411 f(35184372613120, 524288);
    412 f(35184439721985, 524289);
    413 f(70368678117375, 1048575);
    414 f(70368745226240, 1048576);
    415 f(70368812335105, 1048577);
    416 f(140737423343615, 2097151);
    417 f(140737490452480, 2097152);
    418 f(140737557561345, 2097153);
    419 f(281474913796095, 4194303);
    420 f(281474980904960, 4194304);
    421 f(281475048013825, 4194305);
    422 f(562949894701055, 8388607);
    423 f(562949961809920, 8388608);
    424 f(562950028918785, 8388609);
    425 f(1125899856510975, 16777215);
    426 f(1125899923619840, 16777216);
    427 f(1125899990728705, 16777217);
    428 x = 134217727;
    429 f(0, 0);
    430 f(134217727, 1);
    431 f(268435454, 2);
    432 f(402653181, 3);
    433 f(536870908, 4);
    434 f(671088635, 5);
    435 f(939524089, 7);
    436 f(1073741816, 8);
    437 f(1207959543, 9);
    438 f(2013265905, 15);
    439 f(2147483632, 16);
    440 f(2281701359, 17);
    441 f(4160749537, 31);
    442 f(4294967264, 32);
    443 f(4429184991, 33);
    444 f(8455716801, 63);
    445 f(8589934528, 64);
    446 f(8724152255, 65);
    447 f(17045651329, 127);
    448 f(17179869056, 128);
    449 f(17314086783, 129);
    450 f(34225520385, 255);
    451 f(34359738112, 256);
    452 f(34493955839, 257);
    453 f(68585258497, 511);
    454 f(68719476224, 512);
    455 f(68853693951, 513);
    456 f(137304734721, 1023);
    457 f(137438952448, 1024);
    458 f(137573170175, 1025);
    459 f(274743687169, 2047);
    460 f(274877904896, 2048);
    461 f(275012122623, 2049);
    462 f(549621592065, 4095);
    463 f(549755809792, 4096);
    464 f(549890027519, 4097);
    465 f(1099377401857, 8191);
    466 f(1099511619584, 8192);
    467 f(1099645837311, 8193);
    468 f(2198889021441, 16383);
    469 f(2199023239168, 16384);
    470 f(2199157456895, 16385);
    471 f(4397912260609, 32767);
    472 f(4398046478336, 32768);
    473 f(4398180696063, 32769);
    474 f(8795958738945, 65535);
    475 f(8796092956672, 65536);
    476 f(8796227174399, 65537);
    477 f(17592051695617, 131071);
    478 f(17592185913344, 131072);
    479 f(17592320131071, 131073);
    480 f(35184237608961, 262143);
    481 f(35184371826688, 262144);
    482 f(35184506044415, 262145);
    483 f(70368609435649, 524287);
    484 f(70368743653376, 524288);
    485 f(70368877871103, 524289);
    486 f(140737353089025, 1048575);
    487 f(140737487306752, 1048576);
    488 f(140737621524479, 1048577);
    489 f(281474840395777, 2097151);
    490 f(281474974613504, 2097152);
    491 f(281475108831231, 2097153);
    492 f(562949815009281, 4194303);
    493 f(562949949227008, 4194304);
    494 f(562950083444735, 4194305);
    495 f(1125899764236289, 8388607);
    496 f(1125899898454016, 8388608);
    497 f(1125900032671743, 8388609);
    498