| Index: test/mjsunit/mul-exhaustive-part1.js
|
| diff --git a/test/mjsunit/mul-exhaustive-part1.js b/test/mjsunit/mul-exhaustive-part1.js
|
| new file mode 100644
|
| index 0000000000000000000000000000000000000000..7902cc2e67ecaec197661c768c5f4749634f218e
|
| --- /dev/null
|
| +++ b/test/mjsunit/mul-exhaustive-part1.js
|
| @@ -0,0 +1,491 @@
|
| +// Copyright 2008 the V8 project authors. All rights reserved.
|
| +// Redistribution and use in source and binary forms, with or without
|
| +// modification, are permitted provided that the following conditions are
|
| +// met:
|
| +//
|
| +// * Redistributions of source code must retain the above copyright
|
| +// notice, this list of conditions and the following disclaimer.
|
| +// * Redistributions in binary form must reproduce the above
|
| +// copyright notice, this list of conditions and the following
|
| +// disclaimer in the documentation and/or other materials provided
|
| +// with the distribution.
|
| +// * Neither the name of Google Inc. nor the names of its
|
| +// contributors may be used to endorse or promote products derived
|
| +// from this software without specific prior written permission.
|
| +//
|
| +// THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
|
| +// "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
|
| +// LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR
|
| +// A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT
|
| +// OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
|
| +// SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT
|
| +// LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
|
| +// DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
|
| +// THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
|
| +// (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
|
| +// OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
|
| +
|
| +var x;
|
| +
|
| +// Converts a number to string respecting -0.
|
| +function stringify(n) {
|
| + if ((1 / n) === -Infinity) return "-0";
|
| + return String(n);
|
| +}
|
| +
|
| +function f(expected, y) {
|
| + function testEval(string, x, y) {
|
| + var mulFunction = Function("x, y", "return " + string);
|
| + return mulFunction(x, y);
|
| + }
|
| + function mulTest(expected, x, y) {
|
| + assertEquals(expected, x * y);
|
| + assertEquals(expected, testEval(stringify(x) + " * y", x, y));
|
| + assertEquals(expected, testEval("x * " + stringify(y), x, y));
|
| + assertEquals(expected, testEval(stringify(x) + " * " + stringify(y), x, y));
|
| + }
|
| + mulTest(expected, x, y);
|
| + mulTest(-expected, -x, y);
|
| + mulTest(-expected, x, -y);
|
| + mulTest(expected, -x, -y);
|
| + if (x === y) return; // Symmetric cases not necessary.
|
| + mulTest(expected, y, x);
|
| + mulTest(-expected, -y, x);
|
| + mulTest(-expected, y, -x);
|
| + mulTest(expected, -y, -x);
|
| +}
|
| +
|
| +x = 0;
|
| +f(0, 0);
|
| +x = 1;
|
| +f(0, 0);
|
| +f(1, 1);
|
| +x = 2;
|
| +f(0, 0);
|
| +f(2, 1);
|
| +f(4, 2);
|
| +x = 3;
|
| +f(0, 0);
|
| +f(3, 1);
|
| +f(6, 2);
|
| +f(9, 3);
|
| +x = 4;
|
| +f(0, 0);
|
| +f(4, 1);
|
| +f(8, 2);
|
| +f(12, 3);
|
| +f(16, 4);
|
| +x = 5;
|
| +f(0, 0);
|
| +f(5, 1);
|
| +f(10, 2);
|
| +f(15, 3);
|
| +f(20, 4);
|
| +f(25, 5);
|
| +x = 7;
|
| +f(0, 0);
|
| +f(7, 1);
|
| +f(14, 2);
|
| +f(21, 3);
|
| +f(28, 4);
|
| +f(35, 5);
|
| +f(49, 7);
|
| +x = 8;
|
| +f(0, 0);
|
| +f(8, 1);
|
| +f(16, 2);
|
| +f(24, 3);
|
| +f(32, 4);
|
| +f(40, 5);
|
| +f(56, 7);
|
| +f(64, 8);
|
| +x = 9;
|
| +f(0, 0);
|
| +f(9, 1);
|
| +f(18, 2);
|
| +f(27, 3);
|
| +f(36, 4);
|
| +f(45, 5);
|
| +f(63, 7);
|
| +f(72, 8);
|
| +f(81, 9);
|
| +x = 15;
|
| +f(0, 0);
|
| +f(15, 1);
|
| +f(30, 2);
|
| +f(45, 3);
|
| +f(60, 4);
|
| +f(75, 5);
|
| +f(105, 7);
|
| +f(120, 8);
|
| +f(135, 9);
|
| +f(225, 15);
|
| +x = 16;
|
| +f(0, 0);
|
| +f(16, 1);
|
| +f(32, 2);
|
| +f(48, 3);
|
| +f(64, 4);
|
| +f(80, 5);
|
| +f(112, 7);
|
| +f(128, 8);
|
| +f(144, 9);
|
| +f(240, 15);
|
| +f(256, 16);
|
| +x = 17;
|
| +f(0, 0);
|
| +f(17, 1);
|
| +f(34, 2);
|
| +f(51, 3);
|
| +f(68, 4);
|
| +f(85, 5);
|
| +f(119, 7);
|
| +f(136, 8);
|
| +f(153, 9);
|
| +f(255, 15);
|
| +f(272, 16);
|
| +f(289, 17);
|
| +x = 31;
|
| +f(0, 0);
|
| +f(31, 1);
|
| +f(62, 2);
|
| +f(93, 3);
|
| +f(124, 4);
|
| +f(155, 5);
|
| +f(217, 7);
|
| +f(248, 8);
|
| +f(279, 9);
|
| +f(465, 15);
|
| +f(496, 16);
|
| +f(527, 17);
|
| +f(961, 31);
|
| +x = 32;
|
| +f(0, 0);
|
| +f(32, 1);
|
| +f(64, 2);
|
| +f(96, 3);
|
| +f(128, 4);
|
| +f(160, 5);
|
| +f(224, 7);
|
| +f(256, 8);
|
| +f(288, 9);
|
| +f(480, 15);
|
| +f(512, 16);
|
| +f(544, 17);
|
| +f(992, 31);
|
| +f(1024, 32);
|
| +x = 33;
|
| +f(0, 0);
|
| +f(33, 1);
|
| +f(66, 2);
|
| +f(99, 3);
|
| +f(132, 4);
|
| +f(165, 5);
|
| +f(231, 7);
|
| +f(264, 8);
|
| +f(297, 9);
|
| +f(495, 15);
|
| +f(528, 16);
|
| +f(561, 17);
|
| +f(1023, 31);
|
| +f(1056, 32);
|
| +f(1089, 33);
|
| +x = 63;
|
| +f(0, 0);
|
| +f(63, 1);
|
| +f(126, 2);
|
| +f(189, 3);
|
| +f(252, 4);
|
| +f(315, 5);
|
| +f(441, 7);
|
| +f(504, 8);
|
| +f(567, 9);
|
| +f(945, 15);
|
| +f(1008, 16);
|
| +f(1071, 17);
|
| +f(1953, 31);
|
| +f(2016, 32);
|
| +f(2079, 33);
|
| +f(3969, 63);
|
| +x = 64;
|
| +f(0, 0);
|
| +f(64, 1);
|
| +f(128, 2);
|
| +f(192, 3);
|
| +f(256, 4);
|
| +f(320, 5);
|
| +f(448, 7);
|
| +f(512, 8);
|
| +f(576, 9);
|
| +f(960, 15);
|
| +f(1024, 16);
|
| +f(1088, 17);
|
| +f(1984, 31);
|
| +f(2048, 32);
|
| +f(2112, 33);
|
| +f(4032, 63);
|
| +f(4096, 64);
|
| +x = 65;
|
| +f(0, 0);
|
| +f(65, 1);
|
| +f(130, 2);
|
| +f(195, 3);
|
| +f(260, 4);
|
| +f(325, 5);
|
| +f(455, 7);
|
| +f(520, 8);
|
| +f(585, 9);
|
| +f(975, 15);
|
| +f(1040, 16);
|
| +f(1105, 17);
|
| +f(2015, 31);
|
| +f(2080, 32);
|
| +f(2145, 33);
|
| +f(4095, 63);
|
| +f(4160, 64);
|
| +f(4225, 65);
|
| +x = 127;
|
| +f(0, 0);
|
| +f(127, 1);
|
| +f(254, 2);
|
| +f(381, 3);
|
| +f(508, 4);
|
| +f(635, 5);
|
| +f(889, 7);
|
| +f(1016, 8);
|
| +f(1143, 9);
|
| +f(1905, 15);
|
| +f(2032, 16);
|
| +f(2159, 17);
|
| +f(3937, 31);
|
| +f(4064, 32);
|
| +f(4191, 33);
|
| +f(8001, 63);
|
| +f(8128, 64);
|
| +f(8255, 65);
|
| +f(16129, 127);
|
| +x = 128;
|
| +f(0, 0);
|
| +f(128, 1);
|
| +f(256, 2);
|
| +f(384, 3);
|
| +f(512, 4);
|
| +f(640, 5);
|
| +f(896, 7);
|
| +f(1024, 8);
|
| +f(1152, 9);
|
| +f(1920, 15);
|
| +f(2048, 16);
|
| +f(2176, 17);
|
| +f(3968, 31);
|
| +f(4096, 32);
|
| +f(4224, 33);
|
| +f(8064, 63);
|
| +f(8192, 64);
|
| +f(8320, 65);
|
| +f(16256, 127);
|
| +f(16384, 128);
|
| +x = 129;
|
| +f(0, 0);
|
| +f(129, 1);
|
| +f(258, 2);
|
| +f(387, 3);
|
| +f(516, 4);
|
| +f(645, 5);
|
| +f(903, 7);
|
| +f(1032, 8);
|
| +f(1161, 9);
|
| +f(1935, 15);
|
| +f(2064, 16);
|
| +f(2193, 17);
|
| +f(3999, 31);
|
| +f(4128, 32);
|
| +f(4257, 33);
|
| +f(8127, 63);
|
| +f(8256, 64);
|
| +f(8385, 65);
|
| +f(16383, 127);
|
| +f(16512, 128);
|
| +f(16641, 129);
|
| +x = 255;
|
| +f(0, 0);
|
| +f(255, 1);
|
| +f(510, 2);
|
| +f(765, 3);
|
| +f(1020, 4);
|
| +f(1275, 5);
|
| +f(1785, 7);
|
| +f(2040, 8);
|
| +f(2295, 9);
|
| +f(3825, 15);
|
| +f(4080, 16);
|
| +f(4335, 17);
|
| +f(7905, 31);
|
| +f(8160, 32);
|
| +f(8415, 33);
|
| +f(16065, 63);
|
| +f(16320, 64);
|
| +f(16575, 65);
|
| +f(32385, 127);
|
| +f(32640, 128);
|
| +f(32895, 129);
|
| +f(65025, 255);
|
| +x = 256;
|
| +f(0, 0);
|
| +f(256, 1);
|
| +f(512, 2);
|
| +f(768, 3);
|
| +f(1024, 4);
|
| +f(1280, 5);
|
| +f(1792, 7);
|
| +f(2048, 8);
|
| +f(2304, 9);
|
| +f(3840, 15);
|
| +f(4096, 16);
|
| +f(4352, 17);
|
| +f(7936, 31);
|
| +f(8192, 32);
|
| +f(8448, 33);
|
| +f(16128, 63);
|
| +f(16384, 64);
|
| +f(16640, 65);
|
| +f(32512, 127);
|
| +f(32768, 128);
|
| +f(33024, 129);
|
| +f(65280, 255);
|
| +f(65536, 256);
|
| +x = 257;
|
| +f(0, 0);
|
| +f(257, 1);
|
| +f(514, 2);
|
| +f(771, 3);
|
| +f(1028, 4);
|
| +f(1285, 5);
|
| +f(1799, 7);
|
| +f(2056, 8);
|
| +f(2313, 9);
|
| +f(3855, 15);
|
| +f(4112, 16);
|
| +f(4369, 17);
|
| +f(7967, 31);
|
| +f(8224, 32);
|
| +f(8481, 33);
|
| +f(16191, 63);
|
| +f(16448, 64);
|
| +f(16705, 65);
|
| +f(32639, 127);
|
| +f(32896, 128);
|
| +f(33153, 129);
|
| +f(65535, 255);
|
| +f(65792, 256);
|
| +f(66049, 257);
|
| +x = 511;
|
| +f(0, 0);
|
| +f(511, 1);
|
| +f(1022, 2);
|
| +f(1533, 3);
|
| +f(2044, 4);
|
| +f(2555, 5);
|
| +f(3577, 7);
|
| +f(4088, 8);
|
| +f(4599, 9);
|
| +f(7665, 15);
|
| +f(8176, 16);
|
| +f(8687, 17);
|
| +f(15841, 31);
|
| +f(16352, 32);
|
| +f(16863, 33);
|
| +f(32193, 63);
|
| +f(32704, 64);
|
| +f(33215, 65);
|
| +f(64897, 127);
|
| +f(65408, 128);
|
| +f(65919, 129);
|
| +f(130305, 255);
|
| +f(130816, 256);
|
| +f(131327, 257);
|
| +f(261121, 511);
|
| +x = 512;
|
| +f(0, 0);
|
| +f(512, 1);
|
| +f(1024, 2);
|
| +f(1536, 3);
|
| +f(2048, 4);
|
| +f(2560, 5);
|
| +f(3584, 7);
|
| +f(4096, 8);
|
| +f(4608, 9);
|
| +f(7680, 15);
|
| +f(8192, 16);
|
| +f(8704, 17);
|
| +f(15872, 31);
|
| +f(16384, 32);
|
| +f(16896, 33);
|
| +f(32256, 63);
|
| +f(32768, 64);
|
| +f(33280, 65);
|
| +f(65024, 127);
|
| +f(65536, 128);
|
| +f(66048, 129);
|
| +f(130560, 255);
|
| +f(131072, 256);
|
| +f(131584, 257);
|
| +f(261632, 511);
|
| +f(262144, 512);
|
| +x = 513;
|
| +f(0, 0);
|
| +f(513, 1);
|
| +f(1026, 2);
|
| +f(1539, 3);
|
| +f(2052, 4);
|
| +f(2565, 5);
|
| +f(3591, 7);
|
| +f(4104, 8);
|
| +f(4617, 9);
|
| +f(7695, 15);
|
| +f(8208, 16);
|
| +f(8721, 17);
|
| +f(15903, 31);
|
| +f(16416, 32);
|
| +f(16929, 33);
|
| +f(32319, 63);
|
| +f(32832, 64);
|
| +f(33345, 65);
|
| +f(65151, 127);
|
| +f(65664, 128);
|
| +f(66177, 129);
|
| +f(130815, 255);
|
| +f(131328, 256);
|
| +f(131841, 257);
|
| +f(262143, 511);
|
| +f(262656, 512);
|
| +f(263169, 513);
|
| +x = 1023;
|
| +f(0, 0);
|
| +f(1023, 1);
|
| +f(2046, 2);
|
| +f(3069, 3);
|
| +f(4092, 4);
|
| +f(5115, 5);
|
| +f(7161, 7);
|
| +f(8184, 8);
|
| +f(9207, 9);
|
| +f(15345, 15);
|
| +f(16368, 16);
|
| +f(17391, 17);
|
| +f(31713, 31);
|
| +f(32736, 32);
|
| +f(33759, 33);
|
| +f(64449, 63);
|
| +f(65472, 64);
|
| +f(66495, 65);
|
| +f(129921, 127);
|
| +f(130944, 128);
|
| +f(131967, 129);
|
| +f(260865, 255);
|
| +f(261888, 256);
|
| +f(262911, 257);
|
| +f(522753, 511);
|
| +f(523776, 512);
|
| +f(524799, 513);
|
| +f(1046529, 1023);
|
|
|