From 41b7ecb127b93b1aecc29a298ec21dc94603e6fa Mon Sep 17 00:00:00 2001 From: xleroy Date: Mon, 29 Jul 2013 12:10:11 +0000 Subject: Optimize integer divisions by positive constants, turning them into multiply-high and shifts. git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@2300 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e --- test/regression/Results/int32 | 1620 +++++++++++++++++++++++++++++++++++++++++ test/regression/int32.c | 12 + 2 files changed, 1632 insertions(+) (limited to 'test') diff --git a/test/regression/Results/int32 b/test/regression/Results/int32 index e0fafc4..1223a5b 100644 --- a/test/regression/Results/int32 +++ b/test/regression/Results/int32 @@ -8,6 +8,18 @@ x /u y = 0 x %u y = 0 x /s y = 0 x %s y = 0 +x /u 3 = 0 +x %u 3 = 0 +x /s 3 = 0 +x %s 3 = 0 +x /u 5 = 0 +x %u 5 = 0 +x /s 5 = 0 +x %s 5 = 0 +x /u 11 = 0 +x %u 11 = 0 +x /s 11 = 0 +x %s 11 = 0 ~x = ffffffff x & y = 0 x | y = 0 @@ -32,6 +44,18 @@ x /u y = 0 x %u y = 0 x /s y = 0 x %s y = 0 +x /u 3 = 0 +x %u 3 = 0 +x /s 3 = 0 +x %s 3 = 0 +x /u 5 = 0 +x %u 5 = 0 +x /s 5 = 0 +x %s 5 = 0 +x /u 11 = 0 +x %u 11 = 0 +x /s 11 = 0 +x %s 11 = 0 ~x = ffffffff x & y = 0 x | y = 1 @@ -56,6 +80,18 @@ x /u y = 0 x %u y = 0 x /s y = 0 x %s y = 0 +x /u 3 = 0 +x %u 3 = 0 +x /s 3 = 0 +x %s 3 = 0 +x /u 5 = 0 +x %u 5 = 0 +x /s 5 = 0 +x %s 5 = 0 +x /u 11 = 0 +x %u 11 = 0 +x /s 11 = 0 +x %s 11 = 0 ~x = ffffffff x & y = 0 x | y = ffffffff @@ -80,6 +116,18 @@ x /u y = 0 x %u y = 0 x /s y = 0 x %s y = 0 +x /u 3 = 0 +x %u 3 = 0 +x /s 3 = 0 +x %s 3 = 0 +x /u 5 = 0 +x %u 5 = 0 +x /s 5 = 0 +x %s 5 = 0 +x /u 11 = 0 +x %u 11 = 0 +x /s 11 = 0 +x %s 11 = 0 ~x = ffffffff x & y = 0 x | y = 7fffffff @@ -104,6 +152,18 @@ x /u y = 0 x %u y = 0 x /s y = 0 x %s y = 0 +x /u 3 = 0 +x %u 3 = 0 +x /s 3 = 0 +x %s 3 = 0 +x /u 5 = 0 +x %u 5 = 0 +x /s 5 = 0 +x %s 5 = 0 +x /u 11 = 0 +x %u 11 = 0 +x /s 11 = 0 +x %s 11 = 0 ~x = ffffffff x & y = 0 x | y = 80000000 @@ -128,6 +188,18 @@ x /u y = 0 x %u y = 0 x /s y = 0 x %s y = 0 +x /u 3 = 0 +x %u 3 = 0 +x /s 3 = 0 +x %s 3 = 0 +x /u 5 = 0 +x %u 5 = 0 +x /s 5 = 0 +x %s 5 = 0 +x /u 11 = 0 +x %u 11 = 0 +x /s 11 = 0 +x %s 11 = 0 ~x = ffffffff x & y = 0 x | y = 6255 @@ -152,6 +224,18 @@ x /u y = 0 x %u y = 0 x /s y = 0 x %s y = 0 +x /u 3 = 228b7b22 +x %u 3 = 0 +x /s 3 = 228b7b22 +x %s 3 = 0 +x /u 5 = 14ba16ae +x %u 5 = 0 +x /s 5 = 14ba16ae +x %s 5 = 0 +x /u 11 = 96bdbc3 +x %u 11 = 5 +x /s 11 = 96bdbc3 +x %s 11 = 5 ~x = 985d8e99 x & y = 0 x | y = 67a27166 @@ -176,6 +260,18 @@ x /u y = 0 x %u y = 0 x /s y = 0 x %s y = 0 +x /u 3 = 0 +x %u 3 = 1 +x /s 3 = 0 +x %s 3 = 1 +x /u 5 = 0 +x %u 5 = 1 +x /s 5 = 0 +x %s 5 = 1 +x /u 11 = 0 +x %u 11 = 1 +x /s 11 = 0 +x %s 11 = 1 ~x = fffffffe x & y = 0 x | y = 1 @@ -200,6 +296,18 @@ x /u y = 1 x %u y = 0 x /s y = 1 x %s y = 0 +x /u 3 = 0 +x %u 3 = 1 +x /s 3 = 0 +x %s 3 = 1 +x /u 5 = 0 +x %u 5 = 1 +x /s 5 = 0 +x %s 5 = 1 +x /u 11 = 0 +x %u 11 = 1 +x /s 11 = 0 +x %s 11 = 1 ~x = fffffffe x & y = 1 x | y = 1 @@ -224,6 +332,18 @@ x /u y = 0 x %u y = 1 x /s y = ffffffff x %s y = 0 +x /u 3 = 0 +x %u 3 = 1 +x /s 3 = 0 +x %s 3 = 1 +x /u 5 = 0 +x %u 5 = 1 +x /s 5 = 0 +x %s 5 = 1 +x /u 11 = 0 +x %u 11 = 1 +x /s 11 = 0 +x %s 11 = 1 ~x = fffffffe x & y = 1 x | y = ffffffff @@ -248,6 +368,18 @@ x /u y = 0 x %u y = 1 x /s y = 0 x %s y = 1 +x /u 3 = 0 +x %u 3 = 1 +x /s 3 = 0 +x %s 3 = 1 +x /u 5 = 0 +x %u 5 = 1 +x /s 5 = 0 +x %s 5 = 1 +x /u 11 = 0 +x %u 11 = 1 +x /s 11 = 0 +x %s 11 = 1 ~x = fffffffe x & y = 1 x | y = 7fffffff @@ -272,6 +404,18 @@ x /u y = 0 x %u y = 1 x /s y = 0 x %s y = 1 +x /u 3 = 0 +x %u 3 = 1 +x /s 3 = 0 +x %s 3 = 1 +x /u 5 = 0 +x %u 5 = 1 +x /s 5 = 0 +x %s 5 = 1 +x /u 11 = 0 +x %u 11 = 1 +x /s 11 = 0 +x %s 11 = 1 ~x = fffffffe x & y = 0 x | y = 80000001 @@ -296,6 +440,18 @@ x /u y = 0 x %u y = 1 x /s y = 0 x %s y = 1 +x /u 3 = 0 +x %u 3 = 1 +x /s 3 = 0 +x %s 3 = 1 +x /u 5 = 0 +x %u 5 = 1 +x /s 5 = 0 +x %s 5 = 1 +x /u 11 = 0 +x %u 11 = 1 +x /s 11 = 0 +x %s 11 = 1 ~x = fffffffe x & y = 1 x | y = ae3d5f03 @@ -320,6 +476,18 @@ x /u y = 3fb9ebc x %u y = 0 x /s y = 3fb9ebc x %s y = 0 +x /u 3 = 153df94 +x %u 3 = 0 +x /s 3 = 153df94 +x %s 3 = 0 +x /u 5 = cbec8c +x %u 5 = 0 +x /s 5 = cbec8c +x %s 5 = 0 +x /u 11 = 5cb156 +x %u 11 = a +x /s 11 = 5cb156 +x %s 11 = a ~x = fc046143 x & y = 0 x | y = 3fb9ebd @@ -344,6 +512,18 @@ x /u y = 0 x %u y = 0 x /s y = 0 x %s y = 0 +x /u 3 = 55555555 +x %u 3 = 0 +x /s 3 = 0 +x %s 3 = ffffffff +x /u 5 = 33333333 +x %u 5 = 0 +x /s 5 = 0 +x %s 5 = ffffffff +x /u 11 = 1745d174 +x %u 11 = 3 +x /s 11 = 0 +x %s 11 = ffffffff ~x = 0 x & y = 0 x | y = ffffffff @@ -368,6 +548,18 @@ x /u y = ffffffff x %u y = 0 x /s y = ffffffff x %s y = 0 +x /u 3 = 55555555 +x %u 3 = 0 +x /s 3 = 0 +x %s 3 = ffffffff +x /u 5 = 33333333 +x %u 5 = 0 +x /s 5 = 0 +x %s 5 = ffffffff +x /u 11 = 1745d174 +x %u 11 = 3 +x /s 11 = 0 +x %s 11 = ffffffff ~x = 0 x & y = 1 x | y = ffffffff @@ -392,6 +584,18 @@ x /u y = 1 x %u y = 0 x /s y = 1 x %s y = 0 +x /u 3 = 55555555 +x %u 3 = 0 +x /s 3 = 0 +x %s 3 = ffffffff +x /u 5 = 33333333 +x %u 5 = 0 +x /s 5 = 0 +x %s 5 = ffffffff +x /u 11 = 1745d174 +x %u 11 = 3 +x /s 11 = 0 +x %s 11 = ffffffff ~x = 0 x & y = ffffffff x | y = ffffffff @@ -416,6 +620,18 @@ x /u y = 2 x %u y = 1 x /s y = 0 x %s y = ffffffff +x /u 3 = 55555555 +x %u 3 = 0 +x /s 3 = 0 +x %s 3 = ffffffff +x /u 5 = 33333333 +x %u 5 = 0 +x /s 5 = 0 +x %s 5 = ffffffff +x /u 11 = 1745d174 +x %u 11 = 3 +x /s 11 = 0 +x %s 11 = ffffffff ~x = 0 x & y = 7fffffff x | y = ffffffff @@ -440,6 +656,18 @@ x /u y = 1 x %u y = 7fffffff x /s y = 0 x %s y = ffffffff +x /u 3 = 55555555 +x %u 3 = 0 +x /s 3 = 0 +x %s 3 = ffffffff +x /u 5 = 33333333 +x %u 5 = 0 +x /s 5 = 0 +x %s 5 = ffffffff +x /u 11 = 1745d174 +x %u 11 = 3 +x /s 11 = 0 +x %s 11 = ffffffff ~x = 0 x & y = 80000000 x | y = ffffffff @@ -464,6 +692,18 @@ x /u y = 1 x %u y = 69b5f51e x /s y = 0 x %s y = ffffffff +x /u 3 = 55555555 +x %u 3 = 0 +x /s 3 = 0 +x %s 3 = ffffffff +x /u 5 = 33333333 +x %u 5 = 0 +x /s 5 = 0 +x %s 5 = ffffffff +x /u 11 = 1745d174 +x %u 11 = 3 +x /s 11 = 0 +x %s 11 = ffffffff ~x = 0 x & y = 964a0ae1 x | y = ffffffff @@ -488,6 +728,18 @@ x /u y = 0 x %u y = 26b98582 x /s y = d9467a7e x %s y = 0 +x /u 3 = ce881d6 +x %u 3 = 0 +x /s 3 = ce881d6 +x %s 3 = 0 +x /u 5 = 7beb44d +x %u 5 = 1 +x /s 5 = 7beb44d +x %s 5 = 1 +x /u 11 = 3853aae +x %u 11 = 8 +x /s 11 = 3853aae +x %s 11 = 8 ~x = d9467a7d x & y = 26b98582 x | y = ffffffff @@ -512,6 +764,18 @@ x /u y = 0 x %u y = 0 x /s y = 0 x %s y = 0 +x /u 3 = 2aaaaaaa +x %u 3 = 1 +x /s 3 = 2aaaaaaa +x %s 3 = 1 +x /u 5 = 19999999 +x %u 5 = 2 +x /s 5 = 19999999 +x %s 5 = 2 +x /u 11 = ba2e8ba +x %u 11 = 1 +x /s 11 = ba2e8ba +x %s 11 = 1 ~x = 80000000 x & y = 0 x | y = 7fffffff @@ -536,6 +800,18 @@ x /u y = 7fffffff x %u y = 0 x /s y = 7fffffff x %s y = 0 +x /u 3 = 2aaaaaaa +x %u 3 = 1 +x /s 3 = 2aaaaaaa +x %s 3 = 1 +x /u 5 = 19999999 +x %u 5 = 2 +x /s 5 = 19999999 +x %s 5 = 2 +x /u 11 = ba2e8ba +x %u 11 = 1 +x /s 11 = ba2e8ba +x %s 11 = 1 ~x = 80000000 x & y = 1 x | y = 7fffffff @@ -560,6 +836,18 @@ x /u y = 0 x %u y = 7fffffff x /s y = 80000001 x %s y = 0 +x /u 3 = 2aaaaaaa +x %u 3 = 1 +x /s 3 = 2aaaaaaa +x %s 3 = 1 +x /u 5 = 19999999 +x %u 5 = 2 +x /s 5 = 19999999 +x %s 5 = 2 +x /u 11 = ba2e8ba +x %u 11 = 1 +x /s 11 = ba2e8ba +x %s 11 = 1 ~x = 80000000 x & y = 7fffffff x | y = ffffffff @@ -584,6 +872,18 @@ x /u y = 1 x %u y = 0 x /s y = 1 x %s y = 0 +x /u 3 = 2aaaaaaa +x %u 3 = 1 +x /s 3 = 2aaaaaaa +x %s 3 = 1 +x /u 5 = 19999999 +x %u 5 = 2 +x /s 5 = 19999999 +x %s 5 = 2 +x /u 11 = ba2e8ba +x %u 11 = 1 +x /s 11 = ba2e8ba +x %s 11 = 1 ~x = 80000000 x & y = 7fffffff x | y = 7fffffff @@ -608,6 +908,18 @@ x /u y = 0 x %u y = 7fffffff x /s y = 0 x %s y = 7fffffff +x /u 3 = 2aaaaaaa +x %u 3 = 1 +x /s 3 = 2aaaaaaa +x %s 3 = 1 +x /u 5 = 19999999 +x %u 5 = 2 +x /s 5 = 19999999 +x %s 5 = 2 +x /u 11 = ba2e8ba +x %u 11 = 1 +x /s 11 = ba2e8ba +x %s 11 = 1 ~x = 80000000 x & y = 0 x | y = ffffffff @@ -632,6 +944,18 @@ x /u y = 0 x %u y = 7fffffff x /s y = fffffff6 x %s y = 682f655 +x /u 3 = 2aaaaaaa +x %u 3 = 1 +x /s 3 = 2aaaaaaa +x %s 3 = 1 +x /u 5 = 19999999 +x %u 5 = 2 +x /s 5 = 19999999 +x %s 5 = 2 +x /u 11 = ba2e8ba +x %u 11 = 1 +x /s 11 = ba2e8ba +x %s 11 = 1 ~x = 80000000 x & y = 73d9e56f x | y = ffffffff @@ -656,6 +980,18 @@ x /u y = 0 x %u y = 3b92bf38 x /s y = 0 x %s y = 3b92bf38 +x /u 3 = 13db9512 +x %u 3 = 2 +x /s 3 = 13db9512 +x %s 3 = 2 +x /u 5 = bea263e +x %u 5 = 2 +x /s 5 = bea263e +x %s 5 = 2 +x /u 11 = 56a6e79 +x %u 11 = 5 +x /s 11 = 56a6e79 +x %s 11 = 5 ~x = c46d40c7 x & y = 3b92bf38 x | y = 7fffffff @@ -680,6 +1016,18 @@ x /u y = 0 x %u y = 0 x /s y = 0 x %s y = 0 +x /u 3 = 2aaaaaaa +x %u 3 = 2 +x /s 3 = d5555556 +x %s 3 = fffffffe +x /u 5 = 19999999 +x %u 5 = 3 +x /s 5 = e6666667 +x %s 5 = fffffffd +x /u 11 = ba2e8ba +x %u 11 = 2 +x /s 11 = f45d1746 +x %s 11 = fffffffe ~x = 7fffffff x & y = 0 x | y = 80000000 @@ -704,6 +1052,18 @@ x /u y = 80000000 x %u y = 0 x /s y = 80000000 x %s y = 0 +x /u 3 = 2aaaaaaa +x %u 3 = 2 +x /s 3 = d5555556 +x %s 3 = fffffffe +x /u 5 = 19999999 +x %u 5 = 3 +x /s 5 = e6666667 +x %s 5 = fffffffd +x /u 11 = ba2e8ba +x %u 11 = 2 +x /s 11 = f45d1746 +x %s 11 = fffffffe ~x = 7fffffff x & y = 0 x | y = 80000001 @@ -728,6 +1088,18 @@ x /u y = 0 x %u y = 80000000 x /s y = 0 x %s y = 0 +x /u 3 = 2aaaaaaa +x %u 3 = 2 +x /s 3 = d5555556 +x %s 3 = fffffffe +x /u 5 = 19999999 +x %u 5 = 3 +x /s 5 = e6666667 +x %s 5 = fffffffd +x /u 11 = ba2e8ba +x %u 11 = 2 +x /s 11 = f45d1746 +x %s 11 = fffffffe ~x = 7fffffff x & y = 80000000 x | y = ffffffff @@ -752,6 +1124,18 @@ x /u y = 1 x %u y = 1 x /s y = ffffffff x %s y = ffffffff +x /u 3 = 2aaaaaaa +x %u 3 = 2 +x /s 3 = d5555556 +x %s 3 = fffffffe +x /u 5 = 19999999 +x %u 5 = 3 +x /s 5 = e6666667 +x %s 5 = fffffffd +x /u 11 = ba2e8ba +x %u 11 = 2 +x /s 11 = f45d1746 +x %s 11 = fffffffe ~x = 7fffffff x & y = 0 x | y = ffffffff @@ -776,6 +1160,18 @@ x /u y = 1 x %u y = 0 x /s y = 1 x %s y = 0 +x /u 3 = 2aaaaaaa +x %u 3 = 2 +x /s 3 = d5555556 +x %s 3 = fffffffe +x /u 5 = 19999999 +x %u 5 = 3 +x /s 5 = e6666667 +x %s 5 = fffffffd +x /u 11 = ba2e8ba +x %u 11 = 2 +x /s 11 = f45d1746 +x %s 11 = fffffffe ~x = 7fffffff x & y = 80000000 x | y = 80000000 @@ -800,6 +1196,18 @@ x /u y = 0 x %u y = 80000000 x /s y = 5 x %s y = fac93d1f +x /u 3 = 2aaaaaaa +x %u 3 = 2 +x /s 3 = d5555556 +x %s 3 = fffffffe +x /u 5 = 19999999 +x %u 5 = 3 +x /s 5 = e6666667 +x %s 5 = fffffffd +x /u 11 = ba2e8ba +x %u 11 = 2 +x /s 11 = f45d1746 +x %s 11 = fffffffe ~x = 7fffffff x & y = 80000000 x | y = e7715a2d @@ -824,6 +1232,18 @@ x /u y = 0 x %u y = 7186e15e x /s y = 0 x %s y = 7186e15e +x /u 3 = 25d7a074 +x %u 3 = 2 +x /s 3 = 25d7a074 +x %s 3 = 2 +x /u 5 = 16b49379 +x %u 5 = 1 +x /s 5 = 16b49379 +x %s 5 = 1 +x /u 11 = a52147c +x %u 11 = a +x /s 11 = a52147c +x %s 11 = a ~x = 8e791ea1 x & y = 0 x | y = f186e15e @@ -848,6 +1268,18 @@ x /u y = 1 x %u y = 2164c327 x /s y = 0 x %s y = a3d2a09b +x /u 3 = 369b8ade +x %u 3 = 1 +x /s 3 = e1463589 +x %s 3 = 0 +x /u 5 = 20c3b9b8 +x %u 5 = 3 +x /s 5 = ed908686 +x %s 5 = fffffffd +x /u 11 = ee49a3c +x %u 11 = 7 +x /s 11 = f79ec8c9 +x %s 11 = fffffff8 ~x = 5c2d5f64 x & y = 82408010 x | y = a3fffdff @@ -872,6 +1304,18 @@ x /u y = 1 x %u y = 247f3b3f x /s y = 0 x %s y = e3ad9c39 +x /u 3 = 4be48968 +x %u 3 = 1 +x /s 3 = f68f3413 +x %s 3 = 0 +x /u 5 = 2d891f3e +x %u 5 = 3 +x /s 5 = fa55ec0c +x %s 5 = fffffffd +x /u 11 = 14b2b11c +x %u 11 = 5 +x /s 11 = fd6cdfa9 +x %s 11 = fffffff6 ~x = 1c5263c6 x & y = a32c0038 x | y = ffaffcfb @@ -896,6 +1340,18 @@ x /u y = a x %u y = 50aa627 x /s y = fffffffe x %s y = fd712767 +x /u 3 = 46ae3ed7 +x %u 3 = 2 +x /s 3 = f158e983 +x %s 3 = fffffffe +x /u 5 = 2a688c1b +x %u 5 = 0 +x /s 5 = f73558e8 +x %s 5 = ffffffff +x /u 11 = 1346cb52 +x %u 11 = 1 +x /s 11 = fc00f9de +x %s 11 = fffffffd ~x = 2bf54378 x & y = 14023400 x | y = d4bbbdf7 @@ -920,6 +1376,18 @@ x /u y = 0 x %u y = e2a8dd05 x /s y = 2 x %s y = ffb99c59 +x /u 3 = 4b8d9f01 +x %u 3 = 2 +x /s 3 = f63849ad +x %s 3 = fffffffe +x /u 5 = 2d54f901 +x %u 5 = 0 +x /s 5 = fa21c5ce +x %s 5 = ffffffff +x /u 11 = 149afcd1 +x %u 11 = a +x /s 11 = fd552b5e +x %s 11 = fffffffb ~x = 1d5722fa x & y = e0208004 x | y = f3fffd57 @@ -944,6 +1412,18 @@ x /u y = 0 x %u y = 10462533 x /s y = 0 x %s y = 10462533 +x /u 3 = 56cb711 +x %u 3 = 0 +x /s 3 = 56cb711 +x %s 3 = 0 +x /u 5 = 3413aa3 +x %u 5 = 4 +x /s 5 = 3413aa3 +x %s 5 = 4 +x /u 11 = 17abd90 +x %u 11 = 3 +x /s 11 = 17abd90 +x %s 11 = 3 ~x = efb9dacc x & y = 10420120 x | y = bd46e73f @@ -968,6 +1448,18 @@ x /u y = 1 x %u y = 5121ed1f x /s y = 0 x %s y = b58be891 +x /u 3 = 3c83f830 +x %u 3 = 1 +x /s 3 = e72ea2db +x %s 3 = 0 +x /u 5 = 244f2e83 +x %u 5 = 2 +x /s 5 = f11bfb51 +x %s 5 = fffffffc +x /u 11 = 10811524 +x %u 11 = 5 +x /s 11 = f93b43b1 +x %s 11 = fffffff6 ~x = 4a74176e x & y = 2409e810 x | y = f5ebfbf3 @@ -992,6 +1484,18 @@ x /u y = 3 x %u y = cfebea7 x /s y = 0 x %s y = c615869f +x /u 3 = 42072cdf +x %u 3 = 2 +x /s 3 = ecb1d78b +x %s 3 = fffffffe +x /u 5 = 279de7b9 +x %u 5 = 2 +x /s 5 = f46ab487 +x %s 5 = fffffffc +x /u 11 = 1201f4f7 +x %u 11 = 2 +x /s 11 = fabc2383 +x %s 11 = fffffffe ~x = 39ea7960 x & y = 4100288 x | y = ffb7c6bf @@ -1016,6 +1520,18 @@ x /u y = 0 x %u y = b7ca4add x /s y = 1 x %s y = fa21bc8f +x /u 3 = 3d436e49 +x %u 3 = 2 +x /s 3 = e7ee18f5 +x %s 3 = fffffffe +x /u 5 = 24c20ef9 +x %u 5 = 0 +x /s 5 = f18edbc6 +x %s 5 = ffffffff +x /u 11 = 10b54c9f +x %u 11 = 8 +x /s 11 = f96f7b2c +x %s 11 = fffffff9 ~x = 4835b522 x & y = b5880a4c x | y = bfeacedf @@ -1040,6 +1556,18 @@ x /u y = 1 x %u y = 11791ce7 x /s y = 0 x %s y = fd824ccb +x /u 3 = 5480c443 +x %u 3 = 2 +x /s 3 = ff2b6eef +x %s 3 = fffffffe +x /u 5 = 32b3a8f5 +x %u 5 = 2 +x /s 5 = ff8075c3 +x %s 5 = fffffffc +x /u 11 = 170bd86f +x %u 11 = 6 +x /s 11 = ffc606fc +x %s 11 = fffffff7 ~x = 27db334 x & y = ec000cc0 x | y = fd8b6fef @@ -1064,6 +1592,18 @@ x /u y = 0 x %u y = aaae4fe9 x /s y = 2 x %s y = fb91e615 +x /u 3 = 38e4c54d +x %u 3 = 2 +x /s 3 = e38f6ff9 +x %s 3 = fffffffe +x /u 5 = 2222dcc8 +x %u 5 = 1 +x /s 5 = eeefa995 +x %s 5 = 0 +x /u 11 = f8435cf +x %u 11 = 4 +x /s 11 = f83e645b +x %s 11 = 0 ~x = 5551b016 x & y = 828e04e8 x | y = ffae7feb @@ -1088,6 +1628,18 @@ x /u y = 0 x %u y = a7aa3b7 x /s y = 0 x %s y = a7aa3b7 +x /u 3 = 37e3692 +x %u 3 = 1 +x /s 3 = 37e3692 +x %s 3 = 1 +x /u 5 = 2188724 +x %u 5 = 3 +x /s 5 = 2188724 +x %s 5 = 3 +x /u 11 = f3e056 +x %u 11 = 5 +x /s 11 = f3e056 +x %s 11 = 5 ~x = f5855c48 x & y = 23882a0 x | y = 4a7ee7f7 @@ -1112,6 +1664,18 @@ x /u y = 1 x %u y = 39b786f x /s y = 0 x %s y = e7a503b5 +x /u 3 = 4d37013c +x %u 3 = 1 +x /s 3 = f7e1abe7 +x %s 3 = 0 +x /u 5 = 2e5433f1 +x %u 5 = 0 +x /s 5 = fb2100be +x %s 5 = ffffffff +x /u 11 = 150f0056 +x %u 11 = 3 +x /s 11 = fdc92ee2 +x %s 11 = ffffffff ~x = 185afc4a x & y = e4010304 x | y = e7ad8bf7 @@ -1136,6 +1700,18 @@ x /u y = 0 x %u y = a2fd7763 x /s y = 2 x %s y = ec25702b +x /u 3 = 36547d21 +x %u 3 = 0 +x /s 3 = e0ff27cc +x %s 3 = ffffffff +x /u 5 = 209917e0 +x %u 5 = 3 +x /s 5 = ed65e4ae +x %s 5 = fffffffd +x /u 11 = ed13966 +x %u 11 = 1 +x /s 11 = f78b67f2 +x %s 11 = fffffffd ~x = 5d02889c x & y = 826c0300 x | y = fbfd77ff @@ -1160,6 +1736,18 @@ x /u y = 0 x %u y = 354a3241 x /s y = 0 x %s y = 354a3241 +x /u 3 = 11c36615 +x %u 3 = 2 +x /s 3 = 11c36615 +x %s 3 = 2 +x /u 5 = aa87073 +x %u 5 = 2 +x /s 5 = aa87073 +x %s 5 = 2 +x /u 11 = 4d8331d +x %u 11 = 2 +x /s 11 = 4d8331d +x %s 11 = 2 ~x = cab5cdbe x & y = 21082040 x | y = b77aff63 @@ -1184,6 +1772,18 @@ x /u y = 4 x %u y = 1a97eb6f x /s y = fffffffc x %s y = f174fc2f +x /u 3 = 2cacd145 +x %u 3 = 0 +x /s 3 = d7577bf0 +x %s 3 = ffffffff +x /u 5 = 1ace1729 +x %u 5 = 2 +x /s 5 = e79ae3f7 +x %s 5 = fffffffc +x /u 11 = c2f21cd +x %u 11 = 0 +x /s 11 = f4e95059 +x %s 11 = fffffffc ~x = 79f98c30 x & y = 2022208 x | y = 9edff3df @@ -1208,6 +1808,18 @@ x /u y = 1 x %u y = 16df04f x /s y = 1 x %s y = 16df04f +x /u 3 = 191177d9 +x %u 3 = 2 +x /s 3 = 191177d9 +x %s 3 = 2 +x /u 5 = f0a7b1c +x %u 5 = 1 +x /s 5 = f0a7b1c +x %s 5 = 1 +x /u 11 = 6d637f5 +x %u 11 = 6 +x /s 11 = 6d637f5 +x %s 11 = 6 ~x = b4cb9872 x & y = 4904670c x | y = 4bf677bf @@ -1232,6 +1844,18 @@ x /u y = 1 x %u y = 2687e6a7 x /s y = 0 x %s y = 9f3a04fb +x /u 3 = 351356fe +x %u 3 = 1 +x /s 3 = dfbe01a9 +x %s 3 = 0 +x /u 5 = 1fd86765 +x %u 5 = 2 +x /s 5 = eca53433 +x %s 5 = fffffffc +x /u 11 = e79a35c +x %u 11 = 7 +x /s 11 = f733d1e9 +x %s 11 = fffffff8 ~x = 60c5fb04 x & y = 18320450 x | y = ffba1eff @@ -1256,6 +1880,18 @@ x /u y = 1 x %u y = 5d7ceabf x /s y = 0 x %s y = d080ef99 +x /u 3 = 45804fdd +x %u 3 = 2 +x /s 3 = f02afa89 +x %s 3 = fffffffe +x /u 5 = 29b3631e +x %u 5 = 3 +x /s 5 = f6802fec +x %s 5 = fffffffd +x /u 11 = 12f472df +x %u 11 = 4 +x /s 11 = fbaea16b +x %s 11 = 0 ~x = 2f7f1066 x & y = 50000498 x | y = f384efdb @@ -1280,6 +1916,18 @@ x /u y = 1 x %u y = 22dda297 x /s y = 1 x %s y = 22dda297 +x /u 3 = 1bc5c7a2 +x %u 3 = 1 +x /s 3 = 1bc5c7a2 +x %s 3 = 1 +x /u 5 = 10a9de2e +x %u 5 = 1 +x /s 5 = 10a9de2e +x %s 5 = 1 +x /u 11 = 79307e6 +x %u 11 = 5 +x /s 11 = 79307e6 +x %s 11 = 5 ~x = acaea918 x & y = 10511440 x | y = 7373f6f7 @@ -1304,6 +1952,18 @@ x /u y = 1 x %u y = 2658a42f x /s y = 1 x %s y = 2658a42f +x /u 3 = 205ff221 +x %u 3 = 2 +x /s 3 = 205ff221 +x %s 3 = 2 +x /u 5 = 136cc47a +x %u 5 = 3 +x /s 5 = 136cc47a +x %s 5 = 3 +x /u 11 = 8d4594f +x %u 11 = 0 +x /s 11 = 8d4594f +x %s 11 = 0 ~x = 9ee0299a x & y = 20071224 x | y = 7bdff677 @@ -1328,6 +1988,18 @@ x /u y = 0 x %u y = 61465593 x /s y = ffffffff x %s y = 2e84b59f +x /u 3 = 206cc731 +x %u 3 = 0 +x /s 3 = 206cc731 +x %s 3 = 0 +x /u 5 = 13747783 +x %u 5 = 4 +x /s 5 = 13747783 +x %s 5 = 4 +x /u 11 = 8d7d93b +x %u 11 = a +x /s 11 = 8d7d93b +x %s 11 = a ~x = 9eb9aa6c x & y = 41064000 x | y = ed7e759f @@ -1352,6 +2024,18 @@ x /u y = 2 x %u y = 2fd5314d x /s y = 0 x %s y = e5dfe7f1 +x /u 3 = 4c9ff7fb +x %u 3 = 0 +x /s 3 = f74aa2a6 +x %s 3 = ffffffff +x /u 5 = 2df994c9 +x %u 5 = 4 +x /s 5 = fac66197 +x %s 5 = fffffffe +x /u 11 = 14e5cf44 +x %u 11 = 5 +x /s 11 = fd9ffdd1 +x %s 11 = fffffff6 ~x = 1a20180e x & y = 41054350 x | y = ffdffff3 @@ -1376,6 +2060,18 @@ x /u y = 0 x %u y = 843facff x /s y = 2 x %s y = e4b3f1ef +x /u 3 = 2c1539aa +x %u 3 = 1 +x /s 3 = d6bfe455 +x %s 3 = 0 +x /u 5 = 1a732299 +x %u 5 = 2 +x /s 5 = e73fef67 +x %s 5 = fffffffc +x /u 11 = c05c9e8 +x %u 11 = 7 +x /s 11 = f4bff875 +x %s 11 = fffffff8 ~x = 7bc05300 x & y = 84058c88 x | y = cffffdff @@ -1400,6 +2096,18 @@ x /u y = 0 x %u y = 4b3ab03d x /s y = fffffffd x %s y = 6c984c7 +x /u 3 = 19139014 +x %u 3 = 1 +x /s 3 = 19139014 +x %s 3 = 1 +x /u 5 = f0bbcd9 +x %u 5 = 0 +x /s 5 = f0bbcd9 +x %s 5 = 0 +x /u 11 = 6d6ca34 +x %u 11 = 1 +x /s 11 = 6d6ca34 +x %s 11 = 1 ~x = b4c54fc2 x & y = 492a902c x | y = eb3fbc3f @@ -1424,6 +2132,18 @@ x /u y = 1 x %u y = 582d2067 x /s y = 0 x %s y = c23cc92b +x /u 3 = 40beedb9 +x %u 3 = 0 +x /s 3 = eb699864 +x %s 3 = ffffffff +x /u 5 = 26d8f508 +x %u 5 = 3 +x /s 5 = f3a5c1d6 +x %s 5 = fffffffd +x /u 11 = 11a86f61 +x %u 11 = 0 +x /s 11 = fa629ded +x %s 11 = fffffffc ~x = 3dc336d4 x & y = 420c8800 x | y = ea3fe9ef @@ -1448,6 +2168,18 @@ x /u y = 6 x %u y = 707968d x /s y = 6 x %s y = 707968d +x /u 3 = 20f57e6d +x %u 3 = 2 +x /s 3 = 20f57e6d +x %s 3 = 2 +x /u 5 = 13c67f0e +x %u 5 = 3 +x /s 5 = 13c67f0e +x %s 5 = 3 +x /u 11 = 8fd227b +x %u 11 = 0 +x /s 11 = 8fd227b +x %s 11 = 0 ~x = 9d1f84b6 x & y = 2405048 x | y = 6feefbcb @@ -1472,6 +2204,18 @@ x /u y = 1 x %u y = 692d857 x /s y = 1 x %s y = 692d857 +x /u 3 = 6809cb2 +x %u 3 = 1 +x /s 3 = 6809cb2 +x %s 3 = 1 +x /u 5 = 3e6c46b +x %u 5 = 0 +x /s 5 = 3e6c46b +x %s 5 = 0 +x /u 11 = 1c5fc30 +x %u 11 = 7 +x /s 11 = 1c5fc30 +x %s 11 = 7 ~x = ec7e29e8 x & y = 80d400 x | y = 1fefffd7 @@ -1496,6 +2240,18 @@ x /u y = 0 x %u y = 7c045515 x /s y = fffffffd x %s y = 12a31487 +x /u 3 = 2956c707 +x %u 3 = 0 +x /s 3 = 2956c707 +x %s 3 = 0 +x /u 5 = 18cdaa9d +x %u 5 = 4 +x /s 5 = 18cdaa9d +x %s 5 = 4 +x /u 11 = b463647 +x %u 11 = 8 +x /s 11 = b463647 +x %s 11 = 8 ~x = 83fbaaea x & y = 5c041504 x | y = fcdfd537 @@ -1520,6 +2276,18 @@ x /u y = 3 x %u y = 501364f x /s y = 0 x %s y = cec3bfc3 +x /u 3 = 44ebea96 +x %u 3 = 1 +x /s 3 = ef969541 +x %s 3 = 0 +x /u 5 = 295a598d +x %u 5 = 2 +x /s 5 = f627265b +x %s 5 = fffffffc +x /u 11 = 12cbfa29 +x %u 11 = 0 +x /s 11 = fb8628b5 +x %s 11 = fffffffc ~x = 313c403c x & y = 42409840 x | y = cfc3ffff @@ -1544,6 +2312,18 @@ x /u y = 16 x %u y = 2ee15f5 x /s y = 0 x %s y = fe6809a1 +x /u 3 = 54cd588b +x %u 3 = 0 +x /s 3 = ff780336 +x %s 3 = ffffffff +x /u 5 = 32e19b86 +x %u 5 = 3 +x /s 5 = ffae6854 +x %s 5 = fffffffd +x /u 11 = 1720bb0e +x %u 11 = 7 +x /s 11 = ffdae99b +x %s 11 = fffffff8 ~x = 197f65e x & y = a680100 x | y = ff6e4de3 @@ -1568,6 +2348,18 @@ x /u y = 0 x %u y = 614322f x /s y = 0 x %s y = 614322f +x /u 3 = 206bb65 +x %u 3 = 0 +x /s 3 = 206bb65 +x %s 3 = 0 +x /u 5 = 1373d3c +x %u 5 = 3 +x /s 5 = 1373d3c +x %s 5 = 3 +x /u 11 = 8d78ed +x %u 11 = 0 +x /s 11 = 8d78ed +x %s 11 = 0 ~x = f9ebcdd0 x & y = 6043028 x | y = 16f7f6ff @@ -1592,6 +2384,18 @@ x /u y = 0 x %u y = 142824ed x /s y = 0 x %s y = 142824ed +x /u 3 = 6b80c4f +x %u 3 = 0 +x /s 3 = 6b80c4f +x %s 3 = 0 +x /u 5 = 4080762 +x %u 5 = 3 +x /s 5 = 4080762 +x %s 5 = 3 +x /u 11 = 1d51aa1 +x %u 11 = 2 +x /s 11 = 1d51aa1 +x %s 11 = 2 ~x = ebd7db12 x & y = 1020240c x | y = 56fafdff @@ -1616,6 +2420,18 @@ x /u y = 0 x %u y = c08d995b x /s y = e x %s y = ff124483 +x /u 3 = 402f331e +x %u 3 = 1 +x /s 3 = ead9ddc9 +x %s 3 = 0 +x /u 5 = 2682b845 +x %u 5 = 2 +x /s 5 = f34f8513 +x %s 5 = fffffffc +x /u 11 = 11813c7c +x %u 11 = 7 +x /s 11 = fa3b6b09 +x %s 11 = fffffff8 ~x = 3f7266a4 x & y = c0888910 x | y = fb8ddf7f @@ -1640,6 +2456,18 @@ x /u y = 0 x %u y = 2e47f2f9 x /s y = 0 x %s y = 2e47f2f9 +x /u 3 = f6d50fd +x %u 3 = 2 +x /s 3 = f6d50fd +x %s 3 = 2 +x /u 5 = 94196fe +x %u 5 = 3 +x /s 5 = 94196fe +x %s 5 = 3 +x /u 11 = 4351616 +x %u 11 = 7 +x /s 11 = 4351616 +x %s 11 = 7 ~x = d1b80d06 x & y = 284590b8 x | y = afeffafb @@ -1664,6 +2492,18 @@ x /u y = 0 x %u y = bcbf2147 x /s y = d x %s y = fd75d7d7 +x /u 3 = 3eea606d +x %u 3 = 0 +x /s 3 = e9950b18 +x %s 3 = ffffffff +x /u 5 = 25bfd374 +x %u 5 = 3 +x /s 5 = f28ca042 +x %s 5 = fffffffd +x /u 11 = 1128a5ef +x %u 11 = 2 +x /s 11 = f9e2d47b +x %s 11 = fffffffe ~x = 4340deb8 x & y = b8052100 x | y = ffbfa377 @@ -1688,6 +2528,18 @@ x /u y = 1 x %u y = 62bbcbaf x /s y = 0 x %s y = effd7fc5 +x /u 3 = 4fff2a97 +x %u 3 = 0 +x /s 3 = faa9d542 +x %s 3 = ffffffff +x /u 5 = 2fff7ff4 +x %u 5 = 1 +x /s 5 = fccc4cc1 +x %s 5 = 0 +x /u 11 = 15d13a29 +x %u 11 = 2 +x /s 11 = fe8b68b5 +x %s 11 = fffffffe ~x = 1002803a x & y = 8d413404 x | y = effdffd7 @@ -1712,6 +2564,18 @@ x /u y = 0 x %u y = 27d8b5f3 x /s y = 0 x %s y = 27d8b5f3 +x /u 3 = d483ca6 +x %u 3 = 1 +x /s 3 = d483ca6 +x %s 3 = 1 +x /u 5 = 7f82463 +x %u 5 = 4 +x /s 5 = 7f82463 +x %s 5 = 4 +x /u 11 = 39f565b +x %u 11 = a +x /s 11 = 39f565b +x %s 11 = a ~x = d8274a0c x & y = 79824e0 x | y = bffafdff @@ -1736,6 +2600,18 @@ x /u y = 4 x %u y = 1d72ea89 x /s y = ffffffff x %s y = f8904283 +x /u 3 = 443f3270 +x %u 3 = 1 +x /s 3 = eee9dd1b +x %s 3 = 0 +x /u 5 = 28f2b7dd +x %u 5 = 0 +x /s 5 = f5bf84aa +x %s 5 = ffffffff +x /u 11 = 129cdf35 +x %u 11 = a +x /s 11 = fb570dc2 +x %s 11 = fffffffb ~x = 334268ae x & y = 8908310 x | y = efffbf73 @@ -1760,6 +2636,18 @@ x /u y = 0 x %u y = 7597035f x /s y = fffffffe x %s y = 2688d42f +x /u 3 = 27325675 +x %u 3 = 0 +x /s 3 = 27325675 +x %s 3 = 0 +x /u 5 = 17849a46 +x %u 5 = 1 +x /s 5 = 17849a46 +x %s 5 = 1 +x /u 11 = ab0a337 +x %u 11 = 2 +x /s 11 = ab0a337 +x %s 11 = 2 ~x = 8a68fca0 x & y = 50100048 x | y = fdffeb7f @@ -1784,6 +2672,18 @@ x /u y = 5 x %u y = ba9c357 x /s y = 5 x %s y = ba9c357 +x /u 3 = 21ad41df +x %u 3 = 0 +x /s 3 = 21ad41df +x %s 3 = 0 +x /u 5 = 1434c11f +x %u 5 = 2 +x /s 5 = 1434c11f +x %s 5 = 2 +x /u 11 = 92f4082 +x %u 11 = 7 +x /s 11 = 92f4082 +x %s 11 = 7 ~x = 9af83a62 x & y = 107800c x | y = 75dfdf9f @@ -1808,6 +2708,18 @@ x /u y = 0 x %u y = 44ef758b x /s y = ffffffff x %s y = 1734072f +x /u 3 = 16fa7c83 +x %u 3 = 2 +x /s 3 = 16fa7c83 +x %s 3 = 2 +x /u 5 = dc97de8 +x %u 5 = 3 +x /s 5 = dc97de8 +x %s 5 = 3 +x /u 11 = 6445081 +x %u 11 = 0 +x /s 11 = 6445081 +x %s 11 = 0 ~x = bb108a74 x & y = 40441180 x | y = d6eff5af @@ -1832,6 +2744,18 @@ x /u y = 0 x %u y = 6df256a9 x /s y = ffffffff x %s y = 1e11b353 +x /u 3 = 24a61ce3 +x %u 3 = 0 +x /s 3 = 24a61ce3 +x %s 3 = 0 +x /u 5 = 15fd4488 +x %u 5 = 1 +x /s 5 = 15fd4488 +x %s 5 = 1 +x /u 11 = 9fec20f +x %u 11 = 4 +x /s 11 = 9fec20f +x %s 11 = 4 ~x = 920da956 x & y = 201254a8 x | y = fdff5eab @@ -1856,6 +2780,18 @@ x /u y = 1 x %u y = 79ad93d7 x /s y = 0 x %s y = fd7c3877 +x /u 3 = 547ebd7d +x %u 3 = 0 +x /s 3 = ff296828 +x %s 3 = ffffffff +x /u 5 = 32b271b1 +x %u 5 = 2 +x /s 5 = ff7f3e7f +x %s 5 = fffffffc +x /u 11 = 170b4af3 +x %u 11 = 6 +x /s 11 = ffc57980 +x %s 11 = fffffff7 ~x = 283c788 x & y = 814c2020 x | y = fffebcf7 @@ -1880,6 +2816,18 @@ x /u y = 0 x %u y = af765675 x /s y = 2 x %s y = fa3d3869 +x /u 3 = 3a7cc77c +x %u 3 = 1 +x /s 3 = e5277227 +x %s 3 = 0 +x /u 5 = 2317aae4 +x %u 5 = 1 +x /s 5 = efe477b1 +x %s 5 = 0 +x /u 11 = ff37c39 +x %u 11 = 2 +x /s 11 = f8adaac5 +x %s 11 = fffffffe ~x = 5089a98a x & y = 8a140604 x | y = fffedf77 @@ -1904,6 +2852,18 @@ x /u y = 1 x %u y = 2af61ac7 x /s y = ffffffff x %s y = f85a557f +x /u 3 = 308d680b +x %u 3 = 2 +x /s 3 = db3812b7 +x %s 3 = fffffffe +x /u 5 = 1d21a4d3 +x %u 5 = 4 +x /s 5 = e9ee71a1 +x %s 5 = fffffffe +x /u 11 = d3dd68e +x %u 11 = 9 +x /s 11 = f5f8051b +x %s 11 = fffffffa ~x = 6e57c7dc x & y = a01800 x | y = f7ba3d7f @@ -1928,6 +2888,18 @@ x /u y = 3 x %u y = 1386e99b x /s y = 3 x %s y = 1386e99b +x /u 3 = 21d3db00 +x %u 3 = 1 +x /s 3 = 21d3db00 +x %s 3 = 1 +x /u 5 = 144be9cd +x %u 5 = 0 +x /s 5 = 144be9cd +x %s 5 = 0 +x /u 11 = 939c75d +x %u 11 = 2 +x /s 11 = 939c75d +x %s 11 = 2 ~x = 9a846efe x & y = 1518100 x | y = 7f7b9d23 @@ -1952,6 +2924,18 @@ x /u y = 0 x %u y = 919b208f x /s y = 1 x %s y = f72b68b7 +x /u 3 = 30890ada +x %u 3 = 1 +x /s 3 = db33b585 +x %s 3 = 0 +x /u 5 = 1d1f0683 +x %u 5 = 0 +x /s 5 = e9ebd350 +x %s 5 = ffffffff +x /u 11 = d3ca5de +x %u 11 = 5 +x /s 11 = f5f6d46b +x %s 11 = fffffff6 ~x = 6e64df70 x & y = 900b2088 x | y = 9bffb7df @@ -1976,6 +2960,18 @@ x /u y = 0 x %u y = fa4924d x /s y = 0 x %s y = fa4924d +x /u 3 = 536db6f +x %u 3 = 0 +x /s 3 = 536db6f +x %s 3 = 0 +x /u 5 = 320ea0f +x %u 5 = 2 +x /s 5 = 320ea0f +x %s 5 = 2 +x /u 11 = 16c0d4c +x %u 11 = 9 +x /s 11 = 16c0d4c +x %s 11 = 9 ~x = f05b6db2 x & y = 484124c x | y = 7fa4f2ff @@ -2000,6 +2996,18 @@ x /u y = 1 x %u y = dbb6da7 x /s y = 1 x %s y = dbb6da7 +x /u 3 = 28f71f3e +x %u 3 = 1 +x /s 3 = 28f71f3e +x %s 3 = 1 +x /u 5 = 189445f2 +x %u 5 = 1 +x /s 5 = 189445f2 +x %s 5 = 1 +x /u 11 = b2c1fcb +x %u 11 = 2 +x /s 11 = b2c1fcb +x %s 11 = 2 ~x = 851aa244 x & y = 68215010 x | y = 7fedfdbf @@ -2024,6 +3032,18 @@ x /u y = 0 x %u y = 7bdaa659 x /s y = fffffff9 x %s y = 4106e8f +x /u 3 = 2948e21d +x %u 3 = 2 +x /s 3 = 2948e21d +x %s 3 = 2 +x /u 5 = 18c55478 +x %u 5 = 1 +x /s 5 = 18c55478 +x %s 5 = 1 +x /u 11 = b426c36 +x %u 11 = 7 +x /s 11 = b426c36 +x %s 11 = 7 ~x = 842559a6 x & y = 6ac20418 x | y = fffbbedb @@ -2048,6 +3068,18 @@ x /u y = 27 x %u y = 1e4cb37 x /s y = fffffffe x %s y = fd2e1fc7 +x /u 3 = 504eb3e2 +x %u 3 = 1 +x /s 3 = faf95e8d +x %s 3 = 0 +x /u 5 = 302f38bb +x %u 5 = 0 +x /s 5 = fcfc0588 +x %s 5 = ffffffff +x /u 11 = 15e6eb3d +x %u 11 = 8 +x /s 11 = fea119ca +x %s 11 = fffffff9 ~x = f13e458 x & y = 200200 x | y = f6ed1bb7 @@ -2072,6 +3104,18 @@ x /u y = 9 x %u y = d41837f x /s y = fffffffa x %s y = f3d4bce9 +x /u 3 = 32889db7 +x %u 3 = 0 +x /s 3 = dd334862 +x %s 3 = ffffffff +x /u 5 = 1e51f83a +x %u 5 = 3 +x /s 5 = eb1ec508 +x %s 5 = fffffffd +x /u 11 = dc82b03 +x %u 11 = 4 +x /s 11 = f682598f +x %s 11 = 0 ~x = 686626da x & y = 7190124 x | y = 9fdffdf7 @@ -2096,6 +3140,18 @@ x /u y = 0 x %u y = 4a154653 x /s y = 0 x %s y = 4a154653 +x /u 3 = 18b1c21b +x %u 3 = 2 +x /s 3 = 18b1c21b +x %s 3 = 2 +x /u 5 = ed10e10 +x %u 5 = 3 +x /s 5 = ed10e10 +x %s 5 = 3 +x /u 11 = 6bc1daa +x %u 11 = 5 +x /s 11 = 6bc1daa +x %s 11 = 5 ~x = b5eab9ac x & y = 8044040 x | y = efffefdf @@ -2120,6 +3176,18 @@ x /u y = 5 x %u y = b5f57 x /s y = 5 x %s y = b5f57 +x /u 3 = 1bfefce5 +x %u 3 = 2 +x /s 3 = 1bfefce5 +x %s 3 = 2 +x /u 5 = 10cc3156 +x %u 5 = 3 +x /s 5 = 10cc3156 +x %s 5 = 3 +x /u 11 = 7a2a210 +x %u 11 = 1 +x /s 11 = 7a2a210 +x %s 11 = 1 ~x = ac03094e x & y = 10c8e210 x | y = 53fdffb3 @@ -2144,6 +3212,18 @@ x /u y = 0 x %u y = 9db389bf x /s y = 6 x %s y = fa9f360f +x /u 3 = 34912dea +x %u 3 = 1 +x /s 3 = df3bd895 +x %s 3 = 0 +x /u 5 = 1f8a4ebf +x %u 5 = 4 +x /s 5 = ec571b8d +x %s 5 = fffffffe +x /u 11 = e5623cb +x %u 11 = 6 +x /s 11 = f7105258 +x %s 11 = fffffff7 ~x = 624c7640 x & y = 90830108 x | y = fdb3ebff @@ -2168,6 +3248,18 @@ x /u y = 1 x %u y = 2b59030f x /s y = 0 x %s y = a8898afd +x /u 3 = 382dd8ff +x %u 3 = 0 +x /s 3 = e2d883aa +x %s 3 = ffffffff +x /u 5 = 21b51bcc +x %u 5 = 1 +x /s 5 = ee81e899 +x %s 5 = 0 +x /u 11 = f525274 +x %u 11 = 1 +x /s 11 = f80c8100 +x %s 11 = fffffffd ~x = 57767502 x & y = 280082ec x | y = fdb98fff @@ -2192,6 +3284,18 @@ x /u y = 0 x %u y = 3eb251eb x /s y = 0 x %s y = 3eb251eb +x /u 3 = 14e61b4e +x %u 3 = 1 +x /s 3 = 14e61b4e +x %s 3 = 1 +x /u 5 = c8a1062 +x %u 5 = 1 +x /s 5 = c8a1062 +x %s 5 = 1 +x /u 11 = 5b31eb8 +x %u 11 = 3 +x /s 11 = 5b31eb8 +x %s 11 = 3 ~x = c14dae14 x & y = 14924080 x | y = befffbef @@ -2216,6 +3320,18 @@ x /u y = 0 x %u y = 80bbe209 x /s y = 1 x %s y = fdc4097f +x /u 3 = 2ae94b58 +x %u 3 = 1 +x /s 3 = d593f603 +x %s 3 = 0 +x /u 5 = 19bf2d35 +x %u 5 = 0 +x /s 5 = e68bfa02 +x %s 5 = ffffffff +x /u 11 = bb3fd46 +x %u 11 = 7 +x /s 11 = f46e2bd3 +x %s 11 = fffffff8 ~x = 7f441df6 x & y = 80b3c008 x | y = 82fffa8b @@ -2240,6 +3356,18 @@ x /u y = 2 x %u y = 1da53d7 x /s y = 2 x %s y = 1da53d7 +x /u 3 = 1a55ee47 +x %u 3 = 2 +x /s 3 = 1a55ee47 +x %s 3 = 2 +x /u 5 = fcd2891 +x %u 5 = 2 +x /s 5 = fcd2891 +x %s 5 = 2 +x /u 11 = 72eb559 +x %u 11 = 4 +x /s 11 = 72eb559 +x %s 11 = 4 ~x = b0fe3528 x & y = 6018a80 x | y = 6f93fbd7 @@ -2264,6 +3392,18 @@ x /u y = 0 x %u y = 205307d5 x /s y = 0 x %s y = 205307d5 +x /u 3 = ac657f1 +x %u 3 = 2 +x /s 3 = ac657f1 +x %s 3 = 2 +x /u 5 = 6770191 +x %u 5 = 0 +x /s 5 = 6770191 +x %s 5 = 0 +x /u 11 = 2f04687 +x %u 11 = 8 +x /s 11 = 2f04687 +x %s 11 = 8 ~x = dfacf82a x & y = 201000c4 x | y = 21fb7ff7 @@ -2288,6 +3428,18 @@ x /u y = 1 x %u y = 4acb0e47 x /s y = 0 x %s y = d7c2e083 +x /u 3 = 47eba02b +x %u 3 = 2 +x /s 3 = f2964ad7 +x %s 3 = fffffffe +x /u 5 = 2b26f9b3 +x %u 5 = 4 +x /s 5 = f7f3c681 +x %s 5 = fffffffe +x /u 11 = 139d5a3a +x %u 11 = 5 +x /s 11 = fc5788c7 +x %s 11 = fffffff6 ~x = 283d1f7c x & y = 84c2c000 x | y = dff7f2bf @@ -2312,6 +3464,18 @@ x /u y = 6 x %u y = 93c2a55 x /s y = 6 x %s y = 93c2a55 +x /u 3 = 18c99820 +x %u 3 = 1 +x /s 3 = 18c99820 +x %s 3 = 1 +x /u 5 = edf5b46 +x %u 5 = 3 +x /s 5 = edf5b46 +x %s 5 = 3 +x /u 11 = 6c29dda +x %u 11 = 3 +x /s 11 = 6c29dda +x %s 11 = 3 ~x = b5a3379e x & y = a58c000 x | y = 4adecd63 @@ -2336,6 +3500,18 @@ x /u y = 0 x %u y = 92333eef x /s y = 5 x %s y = f55ca957 +x /u 3 = 30bbbfa5 +x %u 3 = 0 +x /s 3 = db666a50 +x %s 3 = ffffffff +x /u 5 = 1d3d72fc +x %u 5 = 3 +x /s 5 = ea0a3fca +x %s 5 = fffffffd +x /u 11 = d4a7a15 +x %u 11 = 8 +x /s 11 = f604a8a2 +x %s 11 = fffffff9 ~x = 6dccc110 x & y = 80222aa8 x | y = fe3bfeff @@ -2360,6 +3536,18 @@ x /u y = 0 x %u y = 3701afad x /s y = ffffffff x %s y = 8f4888b +x /u 3 = 1255e539 +x %u 3 = 2 +x /s 3 = 1255e539 +x %s 3 = 2 +x /u 5 = b005655 +x %u 5 = 4 +x /s 5 = b005655 +x %s 5 = 4 +x /u 11 = 500273e +x %u 11 = 3 +x /s 11 = 500273e +x %s 11 = 3 ~x = c8fe5052 x & y = 1100888c x | y = f7f3ffff @@ -2384,6 +3572,18 @@ x /u y = 0 x %u y = 4d59521b x /s y = ffffffff x %s y = 1926d30f +x /u 3 = 19c870b3 +x %u 3 = 2 +x /s 3 = 19c870b3 +x %s 3 = 2 +x /u 5 = f78439f +x %u 5 = 0 +x /s 5 = f78439f +x %s 5 = 0 +x /u 11 = 7081ebc +x %u 11 = 7 +x /s 11 = 7081ebc +x %s 11 = 7 ~x = b2a6ade4 x & y = 49490010 x | y = cfddd2ff @@ -2408,6 +3608,18 @@ x /u y = 0 x %u y = 241109b9 x /s y = 0 x %s y = 241109b9 +x /u 3 = c05ade8 +x %u 3 = 1 +x /s 3 = c05ade8 +x %s 3 = 1 +x /u 5 = 7369b8b +x %u 5 = 2 +x /s 5 = 7369b8b +x %s 5 = 2 +x /u 11 = 3475df9 +x %u 11 = 6 +x /s 11 = 3475df9 +x %s 11 = 6 ~x = dbeef646 x & y = 100038 x | y = ecdd99fb @@ -2432,6 +3644,18 @@ x /u y = 2 x %u y = 1d74a427 x /s y = ffffffff x %s y = dbee16f7 +x /u 3 = 34256cad +x %u 3 = 0 +x /s 3 = ded01758 +x %s 3 = ffffffff +x /u 5 = 1f49a79b +x %u 5 = 0 +x /s 5 = ec167468 +x %s 5 = ffffffff +x /u 11 = e38c08c +x %u 11 = 3 +x /s 11 = f6f2ef18 +x %s 11 = ffffffff ~x = 638fb9f8 x & y = 1c704000 x | y = bf7dd6f7 @@ -2456,6 +3680,18 @@ x /u y = 0 x %u y = c4ce285 x /s y = 0 x %s y = c4ce285 +x /u 3 = 419a0d7 +x %u 3 = 0 +x /s 3 = 419a0d7 +x %s 3 = 0 +x /u 5 = 275c6e7 +x %u 5 = 2 +x /s 5 = 275c6e7 +x %s 5 = 2 +x /u 11 = 11e4323 +x %u 11 = 4 +x /s 11 = 11e4323 +x %s 11 = 4 ~x = f3b31d7a x & y = 48284 x | y = afdfe7d7 @@ -2480,6 +3716,18 @@ x /u y = 0 x %u y = 3a1406b3 x /s y = 0 x %s y = 3a1406b3 +x /u 3 = 135c023b +x %u 3 = 2 +x /s 3 = 135c023b +x %s 3 = 2 +x /u 5 = b9d9af0 +x %u 5 = 3 +x /s 5 = b9d9af0 +x %s 5 = 3 +x /u 11 = 547a384 +x %u 11 = 7 +x /s 11 = 547a384 +x %s 11 = 7 ~x = c5ebf94c x & y = 81006a0 x | y = bf17d6bf @@ -2504,6 +3752,18 @@ x /u y = 1 x %u y = 1192eb1f x /s y = 0 x %s y = d1760611 +x /u 3 = 45d20205 +x %u 3 = 2 +x /s 3 = f07cacb1 +x %s 3 = fffffffe +x /u 5 = 29e4679d +x %u 5 = 0 +x /s 5 = f6b1346a +x %s 5 = ffffffff +x /u 11 = 130ababb +x %u 11 = 8 +x /s 11 = fbc4e948 +x %s 11 = fffffff9 ~x = 2e89f9ee x & y = 91620210 x | y = fff71ef3 @@ -2528,6 +3788,18 @@ x /u y = 0 x %u y = 4c2d401f x /s y = 0 x %s y = 4c2d401f +x /u 3 = 19646ab5 +x %u 3 = 0 +x /s 3 = 19646ab5 +x %s 3 = 0 +x /u 5 = f3c4006 +x %u 5 = 1 +x /s 5 = f3c4006 +x %s 5 = 1 +x /u 11 = 6ecd748 +x %u 11 = 7 +x /s 11 = 6ecd748 +x %s 11 = 7 ~x = b3d2bfe0 x & y = c0d4008 x | y = ccbd4e3f @@ -2552,6 +3824,18 @@ x /u y = 1 x %u y = 387d9a8f x /s y = 0 x %s y = e518005d +x /u 3 = 4c5d5574 +x %u 3 = 1 +x /s 3 = f708001f +x %s 3 = 0 +x /u 5 = 2dd199ac +x %u 5 = 1 +x /s 5 = fa9e6679 +x %s 5 = 0 +x /u 11 = 14d3a2f1 +x %u 11 = 2 +x /s 11 = fd8dd17d +x %s 11 = fffffffe ~x = 1ae7ffa2 x & y = a418004c x | y = ed9a65df @@ -2576,6 +3860,18 @@ x /u y = 0 x %u y = 749d5e4b x /s y = ffffffff x %s y = 32b711af +x /u 3 = 26df1f6e +x %u 3 = 1 +x /s 3 = 26df1f6e +x %s 3 = 1 +x /u 5 = 1752ac75 +x %u 5 = 2 +x /s 5 = 1752ac75 +x %s 5 = 2 +x /u 11 = a99f14c +x %u 11 = 7 +x /s 11 = a99f14c +x %s 11 = 7 ~x = 8b62a1b4 x & y = 34191240 x | y = fe9dff6f @@ -2600,6 +3896,18 @@ x /u y = 0 x %u y = 3c151d69 x /s y = 0 x %s y = 3c151d69 +x /u 3 = 140709cd +x %u 3 = 2 +x /s 3 = 140709cd +x %s 3 = 2 +x /u 5 = c043915 +x %u 5 = 0 +x /s 5 = c043915 +x %s 5 = 0 +x /u 11 = 576487d +x %u 11 = a +x /s 11 = 576487d +x %s 11 = a ~x = c3eae296 x & y = c100468 x | y = 7cd55d6b @@ -2624,6 +3932,18 @@ x /u y = 0 x %u y = 5aaa8d37 x /s y = ffffffff x %s y = 2ba0cf97 +x /u 3 = 1e38d9bd +x %u 3 = 0 +x /s 3 = 1e38d9bd +x %s 3 = 0 +x /u 5 = 12221c3e +x %u 5 = 1 +x /s 5 = 12221c3e +x %s 5 = 1 +x /u 11 = 83e0cd6 +x %u 11 = 5 +x /s 11 = 83e0cd6 +x %s 11 = 5 ~x = a55572c8 x & y = 50a20020 x | y = dafecf77 @@ -2648,6 +3968,18 @@ x /u y = 0 x %u y = 18f26935 x /s y = 0 x %s y = 18f26935 +x /u 3 = 850cdbc +x %u 3 = 1 +x /s 3 = 850cdbc +x %s 3 = 1 +x /u 5 = 4fd483d +x %u 5 = 4 +x /s 5 = 4fd483d +x %s 5 = 4 +x /u 11 = 2449533 +x %u 11 = 4 +x /s 11 = 2449533 +x %s 11 = 4 ~x = e70d96ca x & y = 10a24004 x | y = bafb7bf7 @@ -2672,6 +4004,18 @@ x /u y = 0 x %u y = 192bb8e3 x /s y = 0 x %s y = 192bb8e3 +x /u 3 = 863e84b +x %u 3 = 2 +x /s 3 = 863e84b +x %s 3 = 2 +x /u 5 = 508be93 +x %u 5 = 4 +x /s 5 = 508be93 +x %s 5 = 4 +x /u 11 = 249cafd +x %u 11 = 4 +x /s 11 = 249cafd +x %s 11 = 4 ~x = e6d4471c x & y = 1909b000 x | y = 196bffff @@ -2696,6 +4040,18 @@ x /u y = 1 x %u y = 6ae1c2df x /s y = 0 x %s y = f8e3afc1 +x /u 3 = 52f68feb +x %u 3 = 0 +x /s 3 = fda13a96 +x %s 3 = ffffffff +x /u 5 = 31c72326 +x %u 5 = 3 +x /s 5 = fe93eff4 +x %s 5 = fffffffd +x /u 11 = 16a055cb +x %u 11 = 8 +x /s 11 = ff5a8458 +x %s 11 = fffffff9 ~x = 71c503e x & y = 8801acc0 x | y = fee3efe3 @@ -2720,6 +4076,18 @@ x /u y = 4 x %u y = 22e56ef x /s y = ffffffff x %s y = ec461ae7 +x /u 3 = 3f26d9c5 +x %u 3 = 0 +x /s 3 = e9d18470 +x %s 3 = ffffffff +x /u 5 = 25e41c43 +x %u 5 = 0 +x /s 5 = f2b0e910 +x %s 5 = ffffffff +x /u 11 = 1139241e +x %u 11 = 5 +x /s 11 = f9f352ab +x %s 11 = fffffff6 ~x = 428b72b0 x & y = 2c508d08 x | y = bff58ddf @@ -2744,6 +4112,18 @@ x /u y = 0 x %u y = af977d0d x /s y = 1 x %s y = e4e14e4f +x /u 3 = 3a87d459 +x %u 3 = 2 +x /s 3 = e5327f05 +x %s 3 = fffffffe +x /u 5 = 231e4c35 +x %u 5 = 4 +x /s 5 = efeb1903 +x %s 5 = fffffffe +x /u 11 = ff67fbb +x %u 11 = 4 +x /s 11 = f8b0ae47 +x %s 11 = 0 ~x = 506882f2 x & y = 8a962c0c x | y = efb77fbf @@ -2768,6 +4148,18 @@ x /u y = 1 x %u y = 1155f4a7 x /s y = 0 x %s y = c301767b +x /u 3 = 41007cd3 +x %u 3 = 2 +x /s 3 = ebab277f +x %s 3 = fffffffe +x /u 5 = 27004ae5 +x %u 5 = 2 +x /s 5 = f3cd17b3 +x %s 5 = fffffffc +x /u 11 = 11ba5096 +x %u 11 = 9 +x /s 11 = fa747f23 +x %s 11 = fffffffa ~x = 3cfe8984 x & y = 81010050 x | y = f3abf7ff @@ -2792,6 +4184,18 @@ x /u y = 0 x %u y = 7dc31d19 x /s y = ffffffff x %s y = 38951173 +x /u 3 = 29ebb45d +x %u 3 = 2 +x /s 3 = 29ebb45d +x %s 3 = 2 +x /u 5 = 192705d1 +x %u 5 = 4 +x /s 5 = 192705d1 +x %s 5 = 4 +x /u 11 = b6ed419 +x %u 11 = 6 +x /s 11 = b6ed419 +x %s 11 = 6 ~x = 823ce2e6 x & y = 38c11418 x | y = ffd3fd5b @@ -2816,6 +4220,18 @@ x /u y = 0 x %u y = 37e3a067 x /s y = fffffffd x %s y = a5fcfd7 +x /u 3 = 12a13577 +x %u 3 = 2 +x /s 3 = 12a13577 +x %s 3 = 2 +x /u 5 = b2d867b +x %u 5 = 0 +x /s 5 = b2d867b +x %s 5 = 0 +x /u 11 = 514b17d +x %u 11 = 8 +x /s 11 = 514b17d +x %s 11 = 8 ~x = c81c5f98 x & y = 30c00040 x | y = f7f7aff7 @@ -2840,6 +4256,18 @@ x /u y = 0 x %u y = ae6e9be5 x /s y = 3 x %s y = f5460ec3 +x /u 3 = 3a24dea1 +x %u 3 = 2 +x /s 3 = e4cf894d +x %s 3 = fffffffe +x /u 5 = 22e2ebfa +x %u 5 = 3 +x /s 5 = efafb8c8 +x %s 5 = fffffffd +x /u 11 = fdb8289 +x %u 11 = 2 +x /s 11 = f895b115 +x %s 11 = fffffffe ~x = 5191641a x & y = a86299a4 x | y = ee6edbf7 @@ -2864,6 +4292,18 @@ x /u y = 1 x %u y = 78bc387 x /s y = 0 x %s y = f5ecf713 +x /u 3 = 51f9a7b1 +x %u 3 = 0 +x /s 3 = fca4525c +x %s 3 = ffffffff +x /u 5 = 312f649d +x %u 5 = 2 +x /s 5 = fdfc316b +x %s 5 = fffffffc +x /u 11 = 165b5c47 +x %u 11 = 6 +x /s 11 = ff158ad4 +x %s 11 = fffffff7 ~x = a1308ec x & y = e4603300 x | y = ffedf79f @@ -2888,6 +4328,18 @@ x /u y = 0 x %u y = 700c571 x /s y = 0 x %s y = 700c571 +x /u 3 = 2559725 +x %u 3 = 2 +x /s 3 = 2559725 +x %s 3 = 2 +x /u 5 = 1668de3 +x %u 5 = 2 +x /s 5 = 1668de3 +x %s 5 = 2 +x /u 11 = a2faad +x %u 11 = 2 +x /s 11 = a2faad +x %s 11 = 2 ~x = f8ff3a8e x & y = 3000050 x | y = 6f16fff3 @@ -2912,6 +4364,18 @@ x /u y = 0 x %u y = 1c9c267f x /s y = fffffff5 x %s y = 10d69d7 +x /u 3 = 989622a +x %u 3 = 1 +x /s 3 = 989622a +x %s 3 = 1 +x /u 5 = 5b8d47f +x %u 5 = 4 +x /s 5 = 5b8d47f +x %s 5 = 4 +x /u 11 = 299d4f4 +x %u 11 = 3 +x /s 11 = 299d4f4 +x %s 11 = 3 ~x = e363d980 x & y = 1c1c2008 x | y = fdfeaf7f @@ -2936,6 +4400,18 @@ x /u y = 0 x %u y = 160b25bd x /s y = 0 x %s y = 160b25bd +x /u 3 = 7590c94 +x %u 3 = 1 +x /s 3 = 7590c94 +x %s 3 = 1 +x /u 5 = 468a125 +x %u 5 = 4 +x /s 5 = 468a125 +x %s 5 = 4 +x /u 11 = 201036e +x %u 11 = 3 +x /s 11 = 201036e +x %s 11 = 3 ~x = e9f4da42 x & y = 140121ac x | y = 5f9f37bf @@ -2960,6 +4436,18 @@ x /u y = 0 x %u y = b7c89aab x /s y = 7 x %s y = fca324cf +x /u 3 = 3d42de39 +x %u 3 = 0 +x /s 3 = e7ed88e4 +x %s 3 = ffffffff +x /u 5 = 24c1b888 +x %u 5 = 3 +x /s 5 = f18e8556 +x %s 5 = fffffffd +x /u 11 = 10b52555 +x %u 11 = 4 +x /s 11 = f96f53e1 +x %s 11 = 0 ~x = 48376554 x & y = b6088800 x | y = f7e9feef @@ -2984,6 +4472,18 @@ x /u y = 0 x %u y = 2cd608c9 x /s y = 0 x %s y = 2cd608c9 +x /u 3 = ef202ed +x %u 3 = 2 +x /s 3 = ef202ed +x %s 3 = 2 +x /u 5 = 8f79b5b +x %u 5 = 2 +x /s 5 = 8f79b5b +x %s 5 = 2 +x /u 11 = 4137529 +x %u 11 = 6 +x /s 11 = 4137529 +x %s 11 = 6 ~x = d329f736 x & y = c800048 x | y = eef6a8cb @@ -3008,6 +4508,18 @@ x /u y = 0 x %u y = 3f0e7f97 x /s y = 0 x %s y = 3f0e7f97 +x /u 3 = 1504d532 +x %u 3 = 1 +x /s 3 = 1504d532 +x %s 3 = 1 +x /u 5 = c9c7feb +x %u 5 = 0 +x /s 5 = c9c7feb +x %s 5 = 0 +x /u 11 = 5bb7ff6 +x %u 11 = 5 +x /s 11 = 5bb7ff6 +x %s 11 = 5 ~x = c0f18068 x & y = 3a0e3900 x | y = bfae7fd7 @@ -3032,6 +4544,18 @@ x /u y = 1 x %u y = 45bf5def x /s y = ffffffff x %s y = d999973b +x /u 3 = 2fe428dc +x %u 3 = 1 +x /s 3 = da8ed387 +x %s 3 = 0 +x /u 5 = 1cbc1884 +x %u 5 = 1 +x /s 5 = e988e551 +x %s 5 = 0 +x /u 11 = d0fae0d +x %u 11 = 6 +x /s 11 = f5c9dc9a +x %s 11 = fffffff7 ~x = 7053856a x & y = 9ac1884 x | y = cfed7eb7 @@ -3056,6 +4580,18 @@ x /u y = 0 x %u y = 59fac143 x /s y = 0 x %s y = 59fac143 +x /u 3 = 1dfe406b +x %u 3 = 2 +x /s 3 = 1dfe406b +x %s 3 = 2 +x /u 5 = 11fef373 +x %u 5 = 4 +x /s 5 = 11fef373 +x %s 5 = 4 +x /u 11 = 82e1191 +x %u 11 = 8 +x /s 11 = 82e1191 +x %s 11 = 8 ~x = a6053ebc x & y = 8e08140 x | y = dbfacbff @@ -3080,6 +4616,18 @@ x /u y = 0 x %u y = 28e84721 x /s y = 0 x %s y = 28e84721 +x /u 3 = da2c260 +x %u 3 = 1 +x /s 3 = da2c260 +x %s 3 = 1 +x /u 5 = 82e74a0 +x %u 5 = 1 +x /s 5 = 82e74a0 +x %s 5 = 1 +x /u 11 = 3b80677 +x %u 11 = 4 +x /s 11 = 3b80677 +x %s 11 = 4 ~x = d717b8de x & y = a80400 x | y = fcff47e3 @@ -3104,6 +4652,18 @@ x /u y = 0 x %u y = 14f70baf x /s y = 0 x %s y = 14f70baf +x /u 3 = 6fd03e5 +x %u 3 = 0 +x /s 3 = 6fd03e5 +x %s 3 = 0 +x /u 5 = 43168bc +x %u 5 = 3 +x /s 5 = 43168bc +x %s 5 = 3 +x /u 11 = 1e7e9ca +x %u 11 = 1 +x /s 11 = 1e7e9ca +x %s 11 = 1 ~x = eb08f450 x & y = 130028 x | y = 75ffabff @@ -3128,6 +4688,18 @@ x /u y = 0 x %u y = cabdfa6d x /s y = 9 x %s y = fe43e0df +x /u 3 = 4394a8cf +x %u 3 = 0 +x /s 3 = ee3f537a +x %s 3 = ffffffff +x /u 5 = 288c6549 +x %u 5 = 0 +x /s 5 = f5593216 +x %s 5 = ffffffff +x /u 11 = 126e5c95 +x %u 11 = 6 +x /s 11 = fb288b22 +x %s 11 = fffffff7 ~x = 35420592 x & y = ca04700c x | y = fafffeff @@ -3152,6 +4724,18 @@ x /u y = 1 x %u y = 1df9d827 x /s y = 1 x %s y = 1df9d827 +x /u 3 = 2651ee49 +x %u 3 = 0 +x /s 3 = 2651ee49 +x %s 3 = 0 +x /u 5 = 16fdf55f +x %u 5 = 0 +x /s 5 = 16fdf55f +x %s 5 = 0 +x /u 11 = a736f88 +x %u 11 = 3 +x /s 11 = a736f88 +x %s 11 = 3 ~x = 8d0a3524 x & y = 50f1c290 x | y = 76fffaff @@ -3176,6 +4760,18 @@ x /u y = 3 x %u y = 9707cb x /s y = 0 x %s y = cbc8e079 +x /u 3 = 43eda028 +x %u 3 = 1 +x /s 3 = ee984ad3 +x %s 3 = 0 +x /u 5 = 28c1c67e +x %u 5 = 3 +x /s 5 = f58e934c +x %s 5 = fffffffd +x /u 11 = 1286a00b +x %u 11 = 0 +x /s 11 = fb40ce97 +x %s 11 = fffffffc ~x = 34371f86 x & y = 43884038 x | y = cbfbe87b @@ -3200,6 +4796,18 @@ x /u y = 0 x %u y = 7de2ac7 x /s y = 0 x %s y = 7de2ac7 +x /u 3 = 29f6397 +x %u 3 = 2 +x /s 3 = 29f6397 +x %s 3 = 2 +x /u 5 = 192d55b +x %u 5 = 0 +x /s 5 = 192d55b +x %s 5 = 0 +x /u 11 = b71b29 +x %u 11 = 4 +x /s 11 = b71b29 +x %s 11 = 4 ~x = f821d538 x & y = 7da2a80 x | y = bfdfbef7 @@ -3224,6 +4832,18 @@ x /u y = 2 x %u y = 19e4ce19 x /s y = fffffffe x %s y = fac93c71 +x /u 3 = 2e1d01c1 +x %u 3 = 2 +x /s 3 = d8c7ac6d +x %s 3 = fffffffe +x /u 5 = 1bab010d +x %u 5 = 4 +x /s 5 = e877cddb +x %s 5 = fffffffe +x /u 11 = c938c1d +x %u 11 = 6 +x /s 11 = f54dbaaa +x %s 11 = fffffff7 ~x = 75a8faba x & y = 8110104 x | y = ba7f1fd7 diff --git a/test/regression/int32.c b/test/regression/int32.c index bec50f0..d7b6c9e 100644 --- a/test/regression/int32.c +++ b/test/regression/int32.c @@ -48,6 +48,18 @@ static void test1(u32 x, u32 y) printf("x %%u y = %x\n", safe_umod32(x, y)); printf("x /s y = %x\n", safe_sdiv32(x, y)); printf("x %%s y = %x\n", safe_smod32(x, y)); + printf("x /u 3 = %x\n", x / 3); + printf("x %%u 3 = %x\n", x % 3); + printf("x /s 3 = %x\n", (s32)x / 3); + printf("x %%s 3 = %x\n", (s32)x % 3); + printf("x /u 5 = %x\n", x / 5); + printf("x %%u 5 = %x\n", x % 5); + printf("x /s 5 = %x\n", (s32)x / 5); + printf("x %%s 5 = %x\n", (s32)x % 5); + printf("x /u 11 = %x\n", x / 11); + printf("x %%u 11 = %x\n", x % 11); + printf("x /s 11 = %x\n", (s32)x / 11); + printf("x %%s 11 = %x\n", (s32)x % 11); printf("~x = %x\n", ~x); printf("x & y = %x\n", x & y); printf("x | y = %x\n", x | y); -- cgit v1.2.3