Add more tests to mul-exhaustive for constant left/right parameters.

test/mjsunit/mul-exhaustive.js

 // 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
@@ skipping 12 matching lines @@
 // 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;
 var y;
 var a;
 
 function f(a, y) {
+  // Test multiplication where both operands are variables.

[Kevin Millikin (Chromium), 2011/03/21 11:25:39]

It's hard to reverse engineer what the the new parts of this test are doing. 
The cryptic identifier names don't help.

This comment does not help at all, because "-x" is not a variable.  Please just
drop this comment.

Please rename "a" to "expected".

[Lasse Reichstein, 2011/03/21 13:17:58]

Done.

   assertEquals(a, x * y);
   assertEquals(a, -x * -y);
   assertEquals(-a, -x * y);
   assertEquals(-a, x * -y);
   assertEquals(a, y * x);
   assertEquals(a, -y * -x);
   assertEquals(-a, y * -x);
   assertEquals(-a, -y * x);
+
+  // Test multiplication where either or both operands are constant.

[Kevin Millikin (Chromium), 2011/03/21 11:25:39]

"Constant" is ambiguous (especially if contrasted with "variable", since we have
const in the language).  Use "literals".

[Lasse Reichstein, 2011/03/21 13:17:58]

Done.

+
+  // Convert to string to be able to represent -0.
+  var xs = String(x);

[Kevin Millikin (Chromium), 2011/03/21 11:25:39]

It might be more straightforward to skip converting both x and y and both their
negations to strings by defining a helper

function stringify(n) { return (1 / n === -Infinity) ? '-0' : String(n); }

[Lasse Reichstein, 2011/03/21 13:17:58]

Done.

+  var ys = String(y);
+  var mxs = String(-x);
+  if (x === 0) mxs = "-0";
+  var mys = String(-y);
+  if (y === 0) mys = "-0";
+
+  function fs(a, x, y, xs, ys) {

[Kevin Millikin (Chromium), 2011/03/21 11:25:39]

Here I think you could probably find a way to fold the earlier asserts into this
function.  You could also convert x and y to strings on demand.  I'm thinking
something like:

function subtest(expected, x, y) {
  assertEquals(expected, x * y);
  assertEquals(expected, eval(stringify(x) + '*y'));
  assertEquals(expected, eval('x*' + stringify(y));
  assertEquals(expected, eval(stringify(x) + '*' + stringify(y));
}
subtest(expected, x, y);
subtest(-expected, -x, -y);
subtext(-expected, x, -y);
// etc.

[Lasse Reichstein, 2011/03/21 13:17:58]

Much better, yes.
I'm a little afraid of using eval if we want the code to be optimized. It will
cause context allocated arguments.
I'll add a wrapper for Function to make it more readable.

+    var xcyv = Function("y", "return " + xs + " * y;");
+    for (var i = 0; i < 1000; i++) assertEquals(a, xcyv(y));

[Kevin Millikin (Chromium), 2011/03/21 11:25:39]

I don't understand the purpose of the loop.  If it's to hit the optimizing
compiler, I think you'll need a bigger constant.

[Lasse Reichstein, 2011/03/21 13:17:58]

If anything, I should check which constant is necessary to make it optimize with
--opt-eagerly.
The problem is that this test runs rather long, so if I increase it to 10000, it
does optimize more anonymous functions (using --always-opt and --opt-eagerly),
but not all of them anyway. If I go to 100000, it starts to take several
minutes. I'll use 10000 for now, but suggestions are welcome.

[Kevin Millikin (Chromium), 2011/03/21 13:37:36]

I think I'd just leave it out of this test.

We *do* need better tests of the optimizing compiler, but this way is so
indirect and not guaranteed to always test what we want it to test.

We should try to come up with a way to write unit tests for the individual
instructions instead.

[Lasse Reichstein, 2011/03/21 14:18:26]

Will do. Simplicity FTW.

+    var xvyc = Function("x", "return x * " + ys + ";");
+    for (var i = 0; i < 1000; i++) assertEquals(a, xvyc(x));
+    var xcyc = Function("return " + xs + " * " + ys + ";");
+    for (var i = 0; i < 1000; i++) assertEquals(a, xcyc());
+  }
+  fs(a, x, y, xs, ys);
+  fs(-a, -x, y, mxs, ys);
+  fs(-a, x, -y, xs, mys);
+  fs(a, -x, -y, mxs, mys);
+  fs(a, y, x, ys, xs);
+  fs(-a, -y, x, mys, xs);
+  fs(-a, y, -x, ys, mxs);
+  fs(a, -y, -x, mys, mxs);
 }
 
+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);
 x = 1024;
+f(0, 0);
 f(1024, 1);
 f(2048, 2);
 f(3072, 3);
 f(4096, 4);
 f(5120, 5);
 f(7168, 7);
 f(8192, 8);
 f(9216, 9);
 f(15360, 15);
 f(16384, 16);
 f(17408, 17);
 f(31744, 31);
 f(32768, 32);
 f(33792, 33);
 f(64512, 63);
 f(65536, 64);
 f(66560, 65);
 f(130048, 127);
 f(131072, 128);
 f(132096, 129);
 f(261120, 255);
 f(262144, 256);
 f(263168, 257);
 f(523264, 511);
 f(524288, 512);
 f(525312, 513);
 f(1047552, 1023);
 f(1048576, 1024);
 x = 1025;
+f(0, 0);
 f(1025, 1);
 f(2050, 2);
 f(3075, 3);
 f(4100, 4);
 f(5125, 5);
 f(7175, 7);
 f(8200, 8);
 f(9225, 9);
 f(15375, 15);
 f(16400, 16);
@@ skipping 10 matching lines @@
 f(261375, 255);
 f(262400, 256);
 f(263425, 257);
 f(523775, 511);
 f(524800, 512);
 f(525825, 513);
 f(1048575, 1023);
 f(1049600, 1024);
 f(1050625, 1025);
 x = 2047;
+f(0, 0);
 f(2047, 1);
 f(4094, 2);
 f(6141, 3);
 f(8188, 4);
 f(10235, 5);
 f(14329, 7);
 f(16376, 8);
 f(18423, 9);
 f(30705, 15);
 f(32752, 16);
@@ skipping 11 matching lines @@
 f(524032, 256);
 f(526079, 257);
 f(1046017, 511);
 f(1048064, 512);
 f(1050111, 513);
 f(2094081, 1023);
 f(2096128, 1024);
 f(2098175, 1025);
 f(4190209, 2047);
 x = 2048;
+f(0, 0);
 f(2048, 1);
 f(4096, 2);
 f(6144, 3);
 f(8192, 4);
 f(10240, 5);
 f(14336, 7);
 f(16384, 8);
 f(18432, 9);
 f(30720, 15);
 f(32768, 16);
@@ skipping 12 matching lines @@
 f(526336, 257);
 f(1046528, 511);
 f(1048576, 512);
 f(1050624, 513);
 f(2095104, 1023);
 f(2097152, 1024);
 f(2099200, 1025);
 f(4192256, 2047);
 f(4194304, 2048);
 x = 2049;
+f(0, 0);
 f(2049, 1);
 f(4098, 2);
 f(6147, 3);
 f(8196, 4);
 f(10245, 5);
 f(14343, 7);
 f(16392, 8);
 f(18441, 9);
 f(30735, 15);
 f(32784, 16);
@@ skipping 13 matching lines @@
 f(1047039, 511);
 f(1049088, 512);
 f(1051137, 513);
 f(2096127, 1023);
 f(2098176, 1024);
 f(2100225, 1025);
 f(4194303, 2047);
 f(4196352, 2048);
 f(4198401, 2049);
 x = 4095;
+f(0, 0);
 f(4095, 1);
 f(8190, 2);
 f(12285, 3);
 f(16380, 4);
 f(20475, 5);
 f(28665, 7);
 f(32760, 8);
 f(36855, 9);
 f(61425, 15);
 f(65520, 16);
@@ skipping 14 matching lines @@
 f(2096640, 512);
 f(2100735, 513);
 f(4189185, 1023);
 f(4193280, 1024);
 f(4197375, 1025);
 f(8382465, 2047);
 f(8386560, 2048);
 f(8390655, 2049);
 f(16769025, 4095);
 x = 4096;
+f(0, 0);
 f(4096, 1);
 f(8192, 2);
 f(12288, 3);
 f(16384, 4);
 f(20480, 5);
 f(28672, 7);
 f(32768, 8);
 f(36864, 9);
 f(61440, 15);
 f(65536, 16);
@@ skipping 15 matching lines @@
 f(2101248, 513);
 f(4190208, 1023);
 f(4194304, 1024);
 f(4198400, 1025);
 f(8384512, 2047);
 f(8388608, 2048);
 f(8392704, 2049);
 f(16773120, 4095);
 f(16777216, 4096);
 x = 4097;
+f(0, 0);
 f(4097, 1);
 f(8194, 2);
 f(12291, 3);
 f(16388, 4);
 f(20485, 5);
 f(28679, 7);
 f(32776, 8);
 f(36873, 9);
 f(61455, 15);
 f(65552, 16);
@@ skipping 16 matching lines @@
 f(4191231, 1023);
 f(4195328, 1024);
 f(4199425, 1025);
 f(8386559, 2047);
 f(8390656, 2048);
 f(8394753, 2049);
 f(16777215, 4095);
 f(16781312, 4096);
 f(16785409, 4097);
 x = 8191;
+f(0, 0);
 f(8191, 1);
 f(16382, 2);
 f(24573, 3);
 f(32764, 4);
 f(40955, 5);
 f(57337, 7);
 f(65528, 8);
 f(73719, 9);
 f(122865, 15);
 f(131056, 16);
@@ skipping 17 matching lines @@
 f(8387584, 1024);
 f(8395775, 1025);
 f(16766977, 2047);
 f(16775168, 2048);
 f(16783359, 2049);
 f(33542145, 4095);
 f(33550336, 4096);
 f(33558527, 4097);
 f(67092481, 8191);
 x = 8192;
+f(0, 0);
 f(8192, 1);
 f(16384, 2);
 f(24576, 3);
 f(32768, 4);
 f(40960, 5);
 f(57344, 7);
 f(65536, 8);
 f(73728, 9);
 f(122880, 15);
 f(131072, 16);
@@ skipping 18 matching lines @@
 f(8396800, 1025);
 f(16769024, 2047);
 f(16777216, 2048);
 f(16785408, 2049);
 f(33546240, 4095);
 f(33554432, 4096);
 f(33562624, 4097);
 f(67100672, 8191);
 f(67108864, 8192);
 x = 8193;
+f(0, 0);
 f(8193, 1);
 f(16386, 2);
 f(24579, 3);
 f(32772, 4);
 f(40965, 5);
 f(57351, 7);
 f(65544, 8);
 f(73737, 9);
 f(122895, 15);
 f(131088, 16);
@@ skipping 19 matching lines @@
 f(16771071, 2047);
 f(16779264, 2048);
 f(16787457, 2049);
 f(33550335, 4095);
 f(33558528, 4096);
 f(33566721, 4097);
 f(67108863, 8191);
 f(67117056, 8192);
 f(67125249, 8193);
 x = 16383;
+f(0, 0);
 f(16383, 1);
 f(32766, 2);
 f(49149, 3);
 f(65532, 4);
 f(81915, 5);
 f(114681, 7);
 f(131064, 8);
 f(147447, 9);
 f(245745, 15);
 f(262128, 16);
@@ skipping 20 matching lines @@
 f(33552384, 2048);
 f(33568767, 2049);
 f(67088385, 4095);
 f(67104768, 4096);
 f(67121151, 4097);
 f(134193153, 8191);
 f(134209536, 8192);
 f(134225919, 8193);
 f(268402689, 16383);
 x = 16384;
+f(0, 0);
 f(16384, 1);
 f(32768, 2);
 f(49152, 3);
 f(65536, 4);
 f(81920, 5);
 f(114688, 7);
 f(131072, 8);
 f(147456, 9);
 f(245760, 15);
 f(262144, 16);
@@ skipping 21 matching lines @@
 f(33570816, 2049);
 f(67092480, 4095);
 f(67108864, 4096);
 f(67125248, 4097);
 f(134201344, 8191);
 f(134217728, 8192);
 f(134234112, 8193);
 f(268419072, 16383);
 f(268435456, 16384);
 x = 16385;
+f(0, 0);
 f(16385, 1);
 f(32770, 2);
 f(49155, 3);
 f(65540, 4);
 f(81925, 5);
 f(114695, 7);
 f(131080, 8);
 f(147465, 9);
 f(245775, 15);
 f(262160, 16);
@@ skipping 22 matching lines @@
 f(67096575, 4095);
 f(67112960, 4096);
 f(67129345, 4097);
 f(134209535, 8191);
 f(134225920, 8192);
 f(134242305, 8193);
 f(268435455, 16383);
 f(268451840, 16384);
 f(268468225, 16385);
 x = 32767;
+f(0, 0);
 f(32767, 1);
 f(65534, 2);
 f(98301, 3);
 f(131068, 4);
 f(163835, 5);
 f(229369, 7);
 f(262136, 8);
 f(294903, 9);
 f(491505, 15);
 f(524272, 16);
@@ skipping 23 matching lines @@
 f(134213632, 4096);
 f(134246399, 4097);
 f(268394497, 8191);
 f(268427264, 8192);
 f(268460031, 8193);
 f(536821761, 16383);
 f(536854528, 16384);
 f(536887295, 16385);
 f(1073676289, 32767);
 x = 32768;
+f(0, 0);
 f(32768, 1);
 f(65536, 2);
 f(98304, 3);
 f(131072, 4);
 f(163840, 5);
 f(229376, 7);
 f(262144, 8);
 f(294912, 9);
 f(491520, 15);
 f(524288, 16);
@@ skipping 24 matching lines @@
 f(134250496, 4097);
 f(268402688, 8191);
 f(268435456, 8192);
 f(268468224, 8193);
 f(536838144, 16383);
 f(536870912, 16384);
 f(536903680, 16385);
 f(1073709056, 32767);
 f(1073741824, 32768);
 x = 32769;
+f(0, 0);
 f(32769, 1);
 f(65538, 2);
 f(98307, 3);
 f(131076, 4);
 f(163845, 5);
 f(229383, 7);
 f(262152, 8);
 f(294921, 9);
 f(491535, 15);
 f(524304, 16);
@@ skipping 25 matching lines @@
 f(268410879, 8191);
 f(268443648, 8192);
 f(268476417, 8193);
 f(536854527, 16383);
 f(536887296, 16384);
 f(536920065, 16385);
 f(1073741823, 32767);
 f(1073774592, 32768);
 f(1073807361, 32769);
 x = 65535;
+f(0, 0);
 f(65535, 1);
 f(131070, 2);
 f(196605, 3);
 f(262140, 4);
 f(327675, 5);
 f(458745, 7);
 f(524280, 8);
 f(589815, 9);
 f(983025, 15);
 f(1048560, 16);
@@ skipping 26 matching lines @@
 f(536862720, 8192);
 f(536928255, 8193);
 f(1073659905, 16383);
 f(1073725440, 16384);
 f(1073790975, 16385);
 f(2147385345, 32767);
 f(2147450880, 32768);
 f(2147516415, 32769);
 f(4294836225, 65535);
 x = 65536;
+f(0, 0);
 f(65536, 1);
 f(131072, 2);
 f(196608, 3);
 f(262144, 4);
 f(327680, 5);
 f(458752, 7);
 f(524288, 8);
 f(589824, 9);
 f(983040, 15);
 f(1048576, 16);
@@ skipping 27 matching lines @@
 f(536936448, 8193);
 f(1073676288, 16383);
 f(1073741824, 16384);
 f(1073807360, 16385);
 f(2147418112, 32767);
 f(2147483648, 32768);
 f(2147549184, 32769);
 f(4294901760, 65535);
 f(4294967296, 65536);
 x = 65537;
+f(0, 0);
 f(65537, 1);
 f(131074, 2);
 f(196611, 3);
 f(262148, 4);
 f(327685, 5);
 f(458759, 7);
 f(524296, 8);
 f(589833, 9);
 f(983055, 15);
 f(1048592, 16);
@@ skipping 28 matching lines @@
 f(1073692671, 16383);
 f(1073758208, 16384);
 f(1073823745, 16385);
 f(2147450879, 32767);
 f(2147516416, 32768);
 f(2147581953, 32769);
 f(4294967295, 65535);
 f(4295032832, 65536);
 f(4295098369, 65537);
 x = 131071;
+f(0, 0);
 f(131071, 1);
 f(262142, 2);
 f(393213, 3);
 f(524284, 4);
 f(655355, 5);
 f(917497, 7);
 f(1048568, 8);
 f(1179639, 9);
 f(1966065, 15);
 f(2097136, 16);
@@ skipping 29 matching lines @@
 f(2147467264, 16384);
 f(2147598335, 16385);
 f(4294803457, 32767);
 f(4294934528, 32768);
 f(4295065599, 32769);
 f(8589737985, 65535);
 f(8589869056, 65536);
 f(8590000127, 65537);
 f(17179607041, 131071);
 x = 131072;
+f(0, 0);
 f(131072, 1);
 f(262144, 2);
 f(393216, 3);
 f(524288, 4);
 f(655360, 5);
 f(917504, 7);
 f(1048576, 8);
 f(1179648, 9);
 f(1966080, 15);
 f(2097152, 16);
@@ skipping 30 matching lines @@
 f(2147614720, 16385);
 f(4294836224, 32767);
 f(4294967296, 32768);
 f(4295098368, 32769);
 f(8589803520, 65535);
 f(8589934592, 65536);
 f(8590065664, 65537);
 f(17179738112, 131071);
 f(17179869184, 131072);
 x = 131073;
+f(0, 0);
 f(131073, 1);
 f(262146, 2);
 f(393219, 3);
 f(524292, 4);
 f(655365, 5);
 f(917511, 7);
 f(1048584, 8);
 f(1179657, 9);
 f(1966095, 15);
 f(2097168, 16);
@@ skipping 31 matching lines @@
 f(4294868991, 32767);
 f(4295000064, 32768);
 f(4295131137, 32769);
 f(8589869055, 65535);
 f(8590000128, 65536);
 f(8590131201, 65537);
 f(17179869183, 131071);
 f(17180000256, 131072);
 f(17180131329, 131073);
 x = 262143;
+f(0, 0);
 f(262143, 1);
 f(524286, 2);
 f(786429, 3);
 f(1048572, 4);
 f(1310715, 5);
 f(1835001, 7);
 f(2097144, 8);
 f(2359287, 9);
 f(3932145, 15);
 f(4194288, 16);
@@ skipping 32 matching lines @@
 f(8589901824, 32768);
 f(8590163967, 32769);
 f(17179541505, 65535);
 f(17179803648, 65536);
 f(17180065791, 65537);
 f(34359345153, 131071);
 f(34359607296, 131072);
 f(34359869439, 131073);
 f(68718952449, 262143);
 x = 262144;
+f(0, 0);
 f(262144, 1);
 f(524288, 2);
 f(786432, 3);
 f(1048576, 4);
 f(1310720, 5);
 f(1835008, 7);
 f(2097152, 8);
 f(2359296, 9);
 f(3932160, 15);
 f(4194304, 16);
@@ skipping 33 matching lines @@
 f(8590196736, 32769);
 f(17179607040, 65535);
 f(17179869184, 65536);
 f(17180131328, 65537);
 f(34359476224, 131071);
 f(34359738368, 131072);
 f(34360000512, 131073);
 f(68719214592, 262143);
 f(68719476736, 262144);
 x = 262145;
+f(0, 0);
 f(262145, 1);
 f(524290, 2);
 f(786435, 3);
 f(1048580, 4);
 f(1310725, 5);
 f(1835015, 7);
 f(2097160, 8);
 f(2359305, 9);
 f(3932175, 15);
 f(4194320, 16);
@@ skipping 34 matching lines @@
 f(17179672575, 65535);
 f(17179934720, 65536);
 f(17180196865, 65537);
 f(34359607295, 131071);
 f(34359869440, 131072);
 f(34360131585, 131073);
 f(68719476735, 262143);
 f(68719738880, 262144);
 f(68720001025, 262145);
 x = 524287;
+f(0, 0);
 f(524287, 1);
 f(1048574, 2);
 f(1572861, 3);
 f(2097148, 4);
 f(2621435, 5);
 f(3670009, 7);
 f(4194296, 8);
 f(4718583, 9);
 f(7864305, 15);
 f(8388592, 16);
@@ skipping 35 matching lines @@
 f(34359672832, 65536);
 f(34360197119, 65537);
 f(68718821377, 131071);
 f(68719345664, 131072);
 f(68719869951, 131073);
 f(137438167041, 262143);
 f(137438691328, 262144);
 f(137439215615, 262145);
 f(274876858369, 524287);
 x = 524288;
+f(0, 0);
 f(524288, 1);
 f(1048576, 2);
 f(1572864, 3);
 f(2097152, 4);
 f(2621440, 5);
 f(3670016, 7);
 f(4194304, 8);
 f(4718592, 9);
 f(7864320, 15);
 f(8388608, 16);
@@ skipping 36 matching lines @@
 f(34360262656, 65537);
 f(68718952448, 131071);
 f(68719476736, 131072);
 f(68720001024, 131073);
 f(137438429184, 262143);
 f(137438953472, 262144);
 f(137439477760, 262145);
 f(274877382656, 524287);
 f(274877906944, 524288);
 x = 524289;
+f(0, 0);
 f(524289, 1);
 f(1048578, 2);
 f(1572867, 3);
 f(2097156, 4);
 f(2621445, 5);
 f(3670023, 7);
 f(4194312, 8);
 f(4718601, 9);
 f(7864335, 15);
 f(8388624, 16);
@@ skipping 37 matching lines @@
 f(68719083519, 131071);
 f(68719607808, 131072);
 f(68720132097, 131073);
 f(137438691327, 262143);
 f(137439215616, 262144);
 f(137439739905, 262145);
 f(274877906943, 524287);
 f(274878431232, 524288);
 f(274878955521, 524289);
 x = 1048575;
+f(0, 0);
 f(1048575, 1);
 f(2097150, 2);
 f(3145725, 3);
 f(4194300, 4);
 f(5242875, 5);
 f(7340025, 7);
 f(8388600, 8);
 f(9437175, 9);
 f(15728625, 15);
 f(16777200, 16);
@@ skipping 38 matching lines @@
 f(137438822400, 131072);
 f(137439870975, 131073);
 f(274876596225, 262143);
 f(274877644800, 262144);
 f(274878693375, 262145);
 f(549754241025, 524287);
 f(549755289600, 524288);
 f(549756338175, 524289);
 f(1099509530625, 1048575);
 x = 1048576;
+f(0, 0);
 f(1048576, 1);
 f(2097152, 2);
 f(3145728, 3);
 f(4194304, 4);
 f(5242880, 5);
 f(7340032, 7);
 f(8388608, 8);
 f(9437184, 9);
 f(15728640, 15);
 f(16777216, 16);
@@ skipping 39 matching lines @@
 f(137440002048, 131073);
 f(274876858368, 262143);
 f(274877906944, 262144);
 f(274878955520, 262145);
 f(549754765312, 524287);
 f(549755813888, 524288);
 f(549756862464, 524289);
 f(1099510579200, 1048575);
 f(1099511627776, 1048576);
 x = 1048577;
+f(0, 0);
 f(1048577, 1);
 f(2097154, 2);
 f(3145731, 3);
 f(4194308, 4);
 f(5242885, 5);
 f(7340039, 7);
 f(8388616, 8);
 f(9437193, 9);
 f(15728655, 15);
 f(16777232, 16);
@@ skipping 40 matching lines @@
 f(274877120511, 262143);
 f(274878169088, 262144);
 f(274879217665, 262145);
 f(549755289599, 524287);
 f(549756338176, 524288);
 f(549757386753, 524289);
 f(1099511627775, 1048575);
 f(1099512676352, 1048576);
 f(1099513724929, 1048577);
 x = 2097151;
+f(0, 0);
 f(2097151, 1);
 f(4194302, 2);
 f(6291453, 3);
 f(8388604, 4);
 f(10485755, 5);
 f(14680057, 7);
 f(16777208, 8);
 f(18874359, 9);
 f(31457265, 15);
 f(33554416, 16);
@@ skipping 41 matching lines @@
 f(549755551744, 262144);
 f(549757648895, 262145);
 f(1099509006337, 524287);
 f(1099511103488, 524288);
 f(1099513200639, 524289);
 f(2199020109825, 1048575);
 f(2199022206976, 1048576);
 f(2199024304127, 1048577);
 f(4398042316801, 2097151);
 x = 2097152;
+f(0, 0);
 f(2097152, 1);
 f(4194304, 2);
 f(6291456, 3);
 f(8388608, 4);
 f(10485760, 5);
 f(14680064, 7);
 f(16777216, 8);
 f(18874368, 9);
 f(31457280, 15);
 f(33554432, 16);
@@ skipping 42 matching lines @@
 f(549757911040, 262145);
 f(1099509530624, 524287);
 f(1099511627776, 524288);
 f(1099513724928, 524289);
 f(2199021158400, 1048575);
 f(2199023255552, 1048576);
 f(2199025352704, 1048577);
 f(4398044413952, 2097151);
 f(4398046511104, 2097152);
 x = 2097153;
+f(0, 0);
 f(2097153, 1);
 f(4194306, 2);
 f(6291459, 3);
 f(8388612, 4);
 f(10485765, 5);
 f(14680071, 7);
 f(16777224, 8);
 f(18874377, 9);
 f(31457295, 15);
 f(33554448, 16);
@@ skipping 43 matching lines @@
 f(1099510054911, 524287);
 f(1099512152064, 524288);
 f(1099514249217, 524289);
 f(2199022206975, 1048575);
 f(2199024304128, 1048576);
 f(2199026401281, 1048577);
 f(4398046511103, 2097151);
 f(4398048608256, 2097152);
 f(4398050705409, 2097153);
 x = 4194303;
+f(0, 0);
 f(4194303, 1);
 f(8388606, 2);
 f(12582909, 3);
 f(16777212, 4);
 f(20971515, 5);
 f(29360121, 7);
 f(33554424, 8);
 f(37748727, 9);
 f(62914545, 15);
 f(67108848, 16);
@@ skipping 44 matching lines @@
 f(2199022731264, 524288);
 f(2199026925567, 524289);
 f(4398041268225, 1048575);
 f(4398045462528, 1048576);
 f(4398049656831, 1048577);
 f(8796086730753, 2097151);
 f(8796090925056, 2097152);
 f(8796095119359, 2097153);
 f(17592177655809, 4194303);
 x = 4194304;
+f(0, 0);
 f(4194304, 1);
 f(8388608, 2);
 f(12582912, 3);
 f(16777216, 4);
 f(20971520, 5);
 f(29360128, 7);
 f(33554432, 8);
 f(37748736, 9);
 f(62914560, 15);
 f(67108864, 16);
@@ skipping 45 matching lines @@
 f(2199027449856, 524289);
 f(4398042316800, 1048575);
 f(4398046511104, 1048576);
 f(4398050705408, 1048577);
 f(8796088827904, 2097151);
 f(8796093022208, 2097152);
 f(8796097216512, 2097153);
 f(17592181850112, 4194303);
 f(17592186044416, 4194304);
 x = 4194305;
+f(0, 0);
 f(4194305, 1);
 f(8388610, 2);
 f(12582915, 3);
 f(16777220, 4);
 f(20971525, 5);
 f(29360135, 7);
 f(33554440, 8);
 f(37748745, 9);
 f(62914575, 15);
 f(67108880, 16);
@@ skipping 46 matching lines @@
 f(4398043365375, 1048575);
 f(4398047559680, 1048576);
 f(4398051753985, 1048577);
 f(8796090925055, 2097151);
 f(8796095119360, 2097152);
 f(8796099313665, 2097153);
 f(17592186044415, 4194303);
 f(17592190238720, 4194304);
 f(17592194433025, 4194305);
 x = 8388607;
+f(0, 0);
 f(8388607, 1);
 f(16777214, 2);
 f(25165821, 3);
 f(33554428, 4);
 f(41943035, 5);
 f(58720249, 7);
 f(67108856, 8);
 f(75497463, 9);
 f(125829105, 15);
 f(134217712, 16);
@@ skipping 47 matching lines @@
 f(8796091973632, 1048576);
 f(8796100362239, 1048577);
 f(17592175558657, 2097151);
 f(17592183947264, 2097152);
 f(17592192335871, 2097153);
 f(35184359505921, 4194303);
 f(35184367894528, 4194304);
 f(35184376283135, 4194305);
 f(70368727400449, 8388607);
 x = 8388608;
+f(0, 0);
 f(8388608, 1);
 f(16777216, 2);
 f(25165824, 3);
 f(33554432, 4);
 f(41943040, 5);
 f(58720256, 7);
 f(67108864, 8);
 f(75497472, 9);
 f(125829120, 15);
 f(134217728, 16);
@@ skipping 48 matching lines @@
 f(8796101410816, 1048577);
 f(17592177655808, 2097151);
 f(17592186044416, 2097152);
 f(17592194433024, 2097153);
 f(35184363700224, 4194303);
 f(35184372088832, 4194304);
 f(35184380477440, 4194305);
 f(70368735789056, 8388607);
 f(70368744177664, 8388608);
 x = 8388609;
+f(0, 0);
 f(8388609, 1);
 f(16777218, 2);
 f(25165827, 3);
 f(33554436, 4);
 f(41943045, 5);
 f(58720263, 7);
 f(67108872, 8);
 f(75497481, 9);
 f(125829135, 15);
 f(134217744, 16);
@@ skipping 49 matching lines @@
 f(17592179752959, 2097151);
 f(17592188141568, 2097152);
 f(17592196530177, 2097153);
 f(35184367894527, 4194303);
 f(35184376283136, 4194304);
 f(35184384671745, 4194305);
 f(70368744177663, 8388607);
 f(70368752566272, 8388608);
 f(70368760954881, 8388609);
 x = 16777215;
+f(0, 0);
 f(16777215, 1);
 f(33554430, 2);
 f(50331645, 3);
 f(67108860, 4);
 f(83886075, 5);
 f(117440505, 7);
 f(134217720, 8);
 f(150994935, 9);
 f(251658225, 15);
 f(268435440, 16);
@@ skipping 50 matching lines @@
 f(35184369991680, 2097152);
 f(35184386768895, 2097153);
 f(70368723206145, 4194303);
 f(70368739983360, 4194304);
 f(70368756760575, 4194305);
 f(140737463189505, 8388607);
 f(140737479966720, 8388608);
 f(140737496743935, 8388609);
 f(281474943156225, 16777215);
 x = 16777216;
+f(0, 0);
 f(16777216, 1);
 f(33554432, 2);
 f(50331648, 3);
 f(67108864, 4);
 f(83886080, 5);
 f(117440512, 7);
 f(134217728, 8);
 f(150994944, 9);
 f(251658240, 15);
 f(268435456, 16);
@@ skipping 51 matching lines @@
 f(35184388866048, 2097153);
 f(70368727400448, 4194303);
 f(70368744177664, 4194304);
 f(70368760954880, 4194305);
 f(140737471578112, 8388607);
 f(140737488355328, 8388608);
 f(140737505132544, 8388609);
 f(281474959933440, 16777215);
 f(281474976710656, 16777216);
 x = 16777217;
+f(0, 0);
 f(16777217, 1);
 f(33554434, 2);
 f(50331651, 3);
 f(67108868, 4);
 f(83886085, 5);
 f(117440519, 7);
 f(134217736, 8);
 f(150994953, 9);
 f(251658255, 15);
 f(268435472, 16);
@@ skipping 52 matching lines @@
 f(70368731594751, 4194303);
 f(70368748371968, 4194304);
 f(70368765149185, 4194305);
 f(140737479966719, 8388607);
 f(140737496743936, 8388608);
 f(140737513521153, 8388609);
 f(281474976710655, 16777215);
 f(281474993487872, 16777216);
 f(281475010265089, 16777217);
 x = 33554431;
+f(0, 0);
 f(33554431, 1);
 f(67108862, 2);
 f(100663293, 3);
 f(134217724, 4);
 f(167772155, 5);
 f(234881017, 7);
 f(268435448, 8);
 f(301989879, 9);
 f(503316465, 15);
 f(536870896, 16);
@@ skipping 53 matching lines @@
 f(140737484161024, 4194304);
 f(140737517715455, 4194305);
 f(281474934767617, 8388607);
 f(281474968322048, 8388608);
 f(281475001876479, 8388609);
 f(562949903089665, 16777215);
 f(562949936644096, 16777216);
 f(562949970198527, 16777217);
 f(1125899839733761, 33554431);
 x = 33554432;
+f(0, 0);
 f(33554432, 1);
 f(67108864, 2);
 f(100663296, 3);
 f(134217728, 4);
 f(167772160, 5);
 f(234881024, 7);
 f(268435456, 8);
 f(301989888, 9);
 f(503316480, 15);
 f(536870912, 16);
@@ skipping 54 matching lines @@
 f(140737521909760, 4194305);
 f(281474943156224, 8388607);
 f(281474976710656, 8388608);
 f(281475010265088, 8388609);
 f(562949919866880, 16777215);
 f(562949953421312, 16777216);
 f(562949986975744, 16777217);
 f(1125899873288192, 33554431);
 f(1125899906842624, 33554432);
 x = 33554433;
+f(0, 0);
 f(33554433, 1);
 f(67108866, 2);
 f(100663299, 3);
 f(134217732, 4);
 f(167772165, 5);
 f(234881031, 7);
 f(268435464, 8);
 f(301989897, 9);
 f(503316495, 15);
 f(536870928, 16);
@@ skipping 55 matching lines @@
 f(281474951544831, 8388607);
 f(281474985099264, 8388608);
 f(281475018653697, 8388609);
 f(562949936644095, 16777215);
 f(562949970198528, 16777216);
 f(562950003752961, 16777217);
 f(1125899906842623, 33554431);
 f(1125899940397056, 33554432);
 f(1125899973951489, 33554433);
 x = 67108863;
+f(0, 0);
 f(67108863, 1);
 f(134217726, 2);
 f(201326589, 3);
 f(268435452, 4);
 f(335544315, 5);
 f(469762041, 7);
 f(536870904, 8);
 f(603979767, 9);
 f(1006632945, 15);
 f(1073741808, 16);
@@ skipping 52 matching lines @@
 f(281474905407489, 4194303);
 f(281474972516352, 4194304);
 f(281475039625215, 4194305);
 f(562949877923841, 8388607);
 f(562949945032704, 8388608);
 f(562950012141567, 8388609);
 f(1125899822956545, 16777215);
 f(1125899890065408, 16777216);
 f(1125899957174271, 16777217);
 x = 67108864;
+f(0, 0);
 f(67108864, 1);
 f(134217728, 2);
 f(201326592, 3);
 f(268435456, 4);
 f(335544320, 5);
 f(469762048, 7);
 f(536870912, 8);
 f(603979776, 9);
 f(1006632960, 15);
 f(1073741824, 16);
@@ skipping 52 matching lines @@
 f(281474909601792, 4194303);
 f(281474976710656, 4194304);
 f(281475043819520, 4194305);
 f(562949886312448, 8388607);
 f(562949953421312, 8388608);
 f(562950020530176, 8388609);
 f(1125899839733760, 16777215);
 f(1125899906842624, 16777216);
 f(1125899973951488, 16777217);
 x = 67108865;
+f(0, 0);
 f(67108865, 1);
 f(134217730, 2);
 f(201326595, 3);
 f(268435460, 4);
 f(335544325, 5);
 f(469762055, 7);
 f(536870920, 8);
 f(603979785, 9);
 f(1006632975, 15);
 f(1073741840, 16);
@@ skipping 52 matching lines @@
 f(281474913796095, 4194303);
 f(281474980904960, 4194304);
 f(281475048013825, 4194305);
 f(562949894701055, 8388607);
 f(562949961809920, 8388608);
 f(562950028918785, 8388609);
 f(1125899856510975, 16777215);
 f(1125899923619840, 16777216);
 f(1125899990728705, 16777217);
 x = 134217727;
+f(0, 0);
 f(134217727, 1);
 f(268435454, 2);
 f(402653181, 3);
 f(536870908, 4);
 f(671088635, 5);
 f(939524089, 7);
 f(1073741816, 8);
 f(1207959543, 9);
 f(2013265905, 15);
 f(2147483632, 16);
@@ skipping 49 matching lines @@
 f(281474840395777, 2097151);
 f(281474974613504, 2097152);
 f(281475108831231, 2097153);
 f(562949815009281, 4194303);
 f(562949949227008, 4194304);
 f(562950083444735, 4194305);
 f(1125899764236289, 8388607);
 f(1125899898454016, 8388608);
 f(1125900032671743, 8388609);
 x = 134217728;
+f(0, 0);
 f(134217728, 1);
 f(268435456, 2);
 f(402653184, 3);
 f(536870912, 4);
 f(671088640, 5);
 f(939524096, 7);
 f(1073741824, 8);
 f(1207959552, 9);
 f(2013265920, 15);
 f(2147483648, 16);
@@ skipping 49 matching lines @@
 f(281474842492928, 2097151);
 f(281474976710656, 2097152);
 f(281475110928384, 2097153);
 f(562949819203584, 4194303);
 f(562949953421312, 4194304);
 f(562950087639040, 4194305);
 f(1125899772624896, 8388607);
 f(1125899906842624, 8388608);
 f(1125900041060352, 8388609);
 x = 134217729;
+f(0, 0);
 f(134217729, 1);
 f(268435458, 2);
 f(402653187, 3);
 f(536870916, 4);
 f(671088645, 5);
 f(939524103, 7);
 f(1073741832, 8);
 f(1207959561, 9);
 f(2013265935, 15);
 f(2147483664, 16);
@@ skipping 49 matching lines @@
 f(281474844590079, 2097151);
 f(281474978807808, 2097152);
 f(281475113025537, 2097153);
 f(562949823397887, 4194303);
 f(562949957615616, 4194304);
 f(562950091833345, 4194305);
 f(1125899781013503, 8388607);
 f(1125899915231232, 8388608);
 f(1125900049448961, 8388609);
 x = 268435455;
+f(0, 0);
 f(268435455, 1);
 f(536870910, 2);
 f(805306365, 3);
 f(1073741820, 4);
 f(1342177275, 5);
 f(1879048185, 7);
 f(2147483640, 8);
 f(2415919095, 9);
 f(4026531825, 15);
 f(4294967280, 16);
@@ skipping 46 matching lines @@
 f(281474707226625, 1048575);
 f(281474975662080, 1048576);
 f(281475244097535, 1048577);
 f(562949682888705, 2097151);
 f(562949951324160, 2097152);
 f(562950219759615, 2097153);
 f(1125899634212865, 4194303);
 f(1125899902648320, 4194304);
 f(1125900171083775, 4194305);
 x = 268435456;
+f(0, 0);
 f(268435456, 1);
 f(536870912, 2);
 f(805306368, 3);
 f(1073741824, 4);
 f(1342177280, 5);
 f(1879048192, 7);
 f(2147483648, 8);
 f(2415919104, 9);
 f(4026531840, 15);
 f(4294967296, 16);
@@ skipping 46 matching lines @@
 f(281474708275200, 1048575);
 f(281474976710656, 1048576);
 f(281475245146112, 1048577);
 f(562949684985856, 2097151);
 f(562949953421312, 2097152);
 f(562950221856768, 2097153);
 f(1125899638407168, 4194303);
 f(1125899906842624, 4194304);
 f(1125900175278080, 4194305);
 x = 268435457;
+f(0, 0);
 f(268435457, 1);
 f(536870914, 2);
 f(805306371, 3);
 f(1073741828, 4);
 f(1342177285, 5);
 f(1879048199, 7);
 f(2147483656, 8);
 f(2415919113, 9);
 f(4026531855, 15);
 f(4294967312, 16);
@@ skipping 46 matching lines @@
 f(281474709323775, 1048575);
 f(281474977759232, 1048576);
 f(281475246194689, 1048577);
 f(562949687083007, 2097151);
 f(562949955518464, 2097152);
 f(562950223953921, 2097153);
 f(1125899642601471, 4194303);
 f(1125899911036928, 4194304);
 f(1125900179472385, 4194305);
 x = 536870911;
+f(0, 0);
 f(536870911, 1);
 f(1073741822, 2);
 f(1610612733, 3);
 f(2147483644, 4);
 f(2684354555, 5);
 f(3758096377, 7);
 f(4294967288, 8);
 f(4831838199, 9);
 f(8053063665, 15);
 f(8589934576, 16);
@@ skipping 43 matching lines @@
 f(281474439315457, 524287);
 f(281474976186368, 524288);
 f(281475513057279, 524289);
 f(562949415501825, 1048575);
 f(562949952372736, 1048576);
 f(562950489243647, 1048577);
 f(1125899367874561, 2097151);
 f(1125899904745472, 2097152);
 f(1125900441616383, 2097153);
 x = 536870912;
+f(0, 0);
 f(536870912, 1);
 f(1073741824, 2);
 f(1610612736, 3);
 f(2147483648, 4);
 f(2684354560, 5);
 f(3758096384, 7);
 f(4294967296, 8);
 f(4831838208, 9);
 f(8053063680, 15);
 f(8589934592, 16);
@@ skipping 43 matching lines @@
 f(281474439839744, 524287);
 f(281474976710656, 524288);
 f(281475513581568, 524289);
 f(562949416550400, 1048575);
 f(562949953421312, 1048576);
 f(562950490292224, 1048577);
 f(1125899369971712, 2097151);
 f(1125899906842624, 2097152);
 f(1125900443713536, 2097153);
 x = 536870913;
+f(0, 0);
 f(536870913, 1);
 f(1073741826, 2);
 f(1610612739, 3);
 f(2147483652, 4);
 f(2684354565, 5);
 f(3758096391, 7);
 f(4294967304, 8);
 f(4831838217, 9);
 f(8053063695, 15);
 f(8589934608, 16);
@@ skipping 43 matching lines @@
 f(281474440364031, 524287);
 f(281474977234944, 524288);
 f(281475514105857, 524289);
 f(562949417598975, 1048575);
 f(562949954469888, 1048576);
 f(562950491340801, 1048577);
 f(1125899372068863, 2097151);
 f(1125899908939776, 2097152);
 f(1125900445810689, 2097153);
 x = 1073741823;
+f(0, 0);
 f(1073741823, 1);
 f(2147483646, 2);
 f(3221225469, 3);
 f(4294967292, 4);
 f(5368709115, 5);
 f(7516192761, 7);
 f(8589934584, 8);
 f(9663676407, 9);
 f(16106127345, 15);
 f(17179869168, 16);
@@ skipping 40 matching lines @@
 f(281473902706689, 262143);
 f(281474976448512, 262144);
 f(281476050190335, 262145);
 f(562948879155201, 524287);
 f(562949952897024, 524288);
 f(562951026638847, 524289);
 f(1125898832052225, 1048575);
 f(1125899905794048, 1048576);
 f(1125900979535871, 1048577);
 x = 1073741824;
+f(0, 0);
 f(1073741824, 1);
 f(2147483648, 2);
 f(3221225472, 3);
 f(4294967296, 4);
 f(5368709120, 5);
 f(7516192768, 7);
 f(8589934592, 8);
 f(9663676416, 9);
 f(16106127360, 15);
 f(17179869184, 16);
@@ skipping 40 matching lines @@
 f(281473902968832, 262143);
 f(281474976710656, 262144);
 f(281476050452480, 262145);
 f(562948879679488, 524287);
 f(562949953421312, 524288);
 f(562951027163136, 524289);
 f(1125898833100800, 1048575);
 f(1125899906842624, 1048576);
 f(1125900980584448, 1048577);
 x = 1073741825;
+f(0, 0);
 f(1073741825, 1);
 f(2147483650, 2);
 f(3221225475, 3);
 f(4294967300, 4);
 f(5368709125, 5);
 f(7516192775, 7);
 f(8589934600, 8);
 f(9663676425, 9);
 f(16106127375, 15);
 f(17179869200, 16);
@@ skipping 40 matching lines @@
 f(281473903230975, 262143);
 f(281474976972800, 262144);
 f(281476050714625, 262145);
 f(562948880203775, 524287);
 f(562949953945600, 524288);
 f(562951027687425, 524289);
 f(1125898834149375, 1048575);
 f(1125899907891200, 1048576);
 f(1125900981633025, 1048577);
 x = 2147483647;
+f(0, 0);
 f(2147483647, 1);
 f(4294967294, 2);
 f(6442450941, 3);
 f(8589934588, 4);
 f(10737418235, 5);
 f(15032385529, 7);
 f(17179869176, 8);
 f(19327352823, 9);
 f(32212254705, 15);
 f(34359738352, 16);
@@ skipping 37 matching lines @@
 f(281472829095937, 131071);
 f(281474976579584, 131072);
 f(281477124063231, 131073);
 f(562947805675521, 262143);
 f(562949953159168, 262144);
 f(562952100642815, 262145);
 f(1125897758834689, 524287);
 f(1125899906318336, 524288);
 f(1125902053801983, 524289);
 x = 2147483648;
+f(0, 0);
 f(2147483648, 1);
 f(4294967296, 2);
 f(6442450944, 3);
 f(8589934592, 4);
 f(10737418240, 5);
 f(15032385536, 7);
 f(17179869184, 8);
 f(19327352832, 9);
 f(32212254720, 15);
 f(34359738368, 16);
@@ skipping 37 matching lines @@
 f(281472829227008, 131071);
 f(281474976710656, 131072);
 f(281477124194304, 131073);
 f(562947805937664, 262143);
 f(562949953421312, 262144);
 f(562952100904960, 262145);
 f(1125897759358976, 524287);
 f(1125899906842624, 524288);
 f(1125902054326272, 524289);
 x = 2147483649;
+f(0, 0);
 f(2147483649, 1);
 f(4294967298, 2);
 f(6442450947, 3);
 f(8589934596, 4);
 f(10737418245, 5);
 f(15032385543, 7);
 f(17179869192, 8);
 f(19327352841, 9);
 f(32212254735, 15);
 f(34359738384, 16);
@@ skipping 37 matching lines @@
 f(281472829358079, 131071);
 f(281474976841728, 131072);
 f(281477124325377, 131073);
 f(562947806199807, 262143);
 f(562949953683456, 262144);
 f(562952101167105, 262145);
 f(1125897759883263, 524287);
 f(1125899907366912, 524288);
 f(1125902054850561, 524289);
 x = 4294967295;
+f(0, 0);
 f(4294967295, 1);
 f(8589934590, 2);
 f(12884901885, 3);
 f(17179869180, 4);
 f(21474836475, 5);
 f(30064771065, 7);
 f(34359738360, 8);
 f(38654705655, 9);
 f(64424509425, 15);
 f(68719476720, 16);
@@ skipping 34 matching lines @@
 f(281470681677825, 65535);
 f(281474976645120, 65536);
 f(281479271612415, 65537);
 f(562945658322945, 131071);
 f(562949953290240, 131072);
 f(562954248257535, 131073);
 f(1125895611613185, 262143);
 f(1125899906580480, 262144);
 f(1125904201547775, 262145);
 x = 4294967296;
+f(0, 0);
 f(4294967296, 1);
 f(8589934592, 2);
 f(12884901888, 3);
 f(17179869184, 4);
 f(21474836480, 5);
 f(30064771072, 7);
 f(34359738368, 8);
 f(38654705664, 9);
 f(64424509440, 15);
 f(68719476736, 16);
@@ skipping 34 matching lines @@
 f(281470681743360, 65535);
 f(281474976710656, 65536);
 f(281479271677952, 65537);
 f(562945658454016, 131071);
 f(562949953421312, 131072);
 f(562954248388608, 131073);
 f(1125895611875328, 262143);
 f(1125899906842624, 262144);
 f(1125904201809920, 262145);
 x = 4294967297;
+f(0, 0);
 f(4294967297, 1);
 f(8589934594, 2);
 f(12884901891, 3);
 f(17179869188, 4);
 f(21474836485, 5);
 f(30064771079, 7);
 f(34359738376, 8);
 f(38654705673, 9);
 f(64424509455, 15);
 f(68719476752, 16);
@@ skipping 34 matching lines @@
 f(281470681808895, 65535);
 f(281474976776192, 65536);
 f(281479271743489, 65537);
 f(562945658585087, 131071);
 f(562949953552384, 131072);
 f(562954248519681, 131073);
 f(1125895612137471, 262143);
 f(1125899907104768, 262144);
 f(1125904202072065, 262145);
 x = 8589934591;
+f(0, 0);
 f(8589934591, 1);
 f(17179869182, 2);
 f(25769803773, 3);
 f(34359738364, 4);
 f(42949672955, 5);
 f(60129542137, 7);
 f(68719476728, 8);
 f(77309411319, 9);
 f(128849018865, 15);
 f(137438953456, 16);
@@ skipping 31 matching lines @@
 f(281466386743297, 32767);
 f(281474976677888, 32768);
 f(281483566612479, 32769);
 f(562941363421185, 65535);
 f(562949953355776, 65536);
 f(562958543290367, 65537);
 f(1125891316776961, 131071);
 f(1125899906711552, 131072);
 f(1125908496646143, 131073);
 x = 8589934592;
+f(0, 0);
 f(8589934592, 1);
 f(17179869184, 2);
 f(25769803776, 3);
 f(34359738368, 4);
 f(42949672960, 5);
 f(60129542144, 7);
 f(68719476736, 8);
 f(77309411328, 9);
 f(128849018880, 15);
 f(137438953472, 16);
@@ skipping 31 matching lines @@
 f(281466386776064, 32767);
 f(281474976710656, 32768);
 f(281483566645248, 32769);
 f(562941363486720, 65535);
 f(562949953421312, 65536);
 f(562958543355904, 65537);
 f(1125891316908032, 131071);
 f(1125899906842624, 131072);
 f(1125908496777216, 131073);
 x = 8589934593;
+f(0, 0);
 f(8589934593, 1);
 f(17179869186, 2);
 f(25769803779, 3);
 f(34359738372, 4);
 f(42949672965, 5);
 f(60129542151, 7);
 f(68719476744, 8);
 f(77309411337, 9);
 f(128849018895, 15);
 f(137438953488, 16);
@@ skipping 31 matching lines @@
 f(281466386808831, 32767);
 f(281474976743424, 32768);
 f(281483566678017, 32769);
 f(562941363552255, 65535);
 f(562949953486848, 65536);
 f(562958543421441, 65537);
 f(1125891317039103, 131071);
 f(1125899906973696, 131072);
 f(1125908496908289, 131073);
 x = 17179869183;
+f(0, 0);
 f(17179869183, 1);
 f(34359738366, 2);
 f(51539607549, 3);
 f(68719476732, 4);
 f(85899345915, 5);
 f(120259084281, 7);
 f(137438953464, 8);
 f(154618822647, 9);
 f(257698037745, 15);
 f(274877906928, 16);
@@ skipping 28 matching lines @@
 f(281457796825089, 16383);
 f(281474976694272, 16384);
 f(281492156563455, 16385);
 f(562932773519361, 32767);
 f(562949953388544, 32768);
 f(562967133257727, 32769);
 f(1125882726907905, 65535);
 f(1125899906777088, 65536);
 f(1125917086646271, 65537);
 x = 17179869184;
+f(0, 0);
 f(17179869184, 1);
 f(34359738368, 2);
 f(51539607552, 3);
 f(68719476736, 4);
 f(85899345920, 5);
 f(120259084288, 7);
 f(137438953472, 8);
 f(154618822656, 9);
 f(257698037760, 15);
 f(274877906944, 16);
@@ skipping 28 matching lines @@
 f(281457796841472, 16383);
 f(281474976710656, 16384);
 f(281492156579840, 16385);
 f(562932773552128, 32767);
 f(562949953421312, 32768);
 f(562967133290496, 32769);
 f(1125882726973440, 65535);
 f(1125899906842624, 65536);
 f(1125917086711808, 65537);
 x = 17179869185;
+f(0, 0);
 f(17179869185, 1);
 f(34359738370, 2);
 f(51539607555, 3);
 f(68719476740, 4);
 f(85899345925, 5);
 f(120259084295, 7);
 f(137438953480, 8);
 f(154618822665, 9);
 f(257698037775, 15);
 f(274877906960, 16);
@@ skipping 27 matching lines @@
 f(140754668232705, 8193);
 f(281457796857855, 16383);
 f(281474976727040, 16384);
 f(281492156596225, 16385);
 f(562932773584895, 32767);
 f(562949953454080, 32768);
 f(562967133323265, 32769);
 f(1125882727038975, 65535);
 f(1125899906908160, 65536);
 f(1125917086777345, 65537);