From da4283261f2b32052450846081f655244691c5de Mon Sep 17 00:00:00 2001 From: Jason Gross Date: Sat, 15 Apr 2017 01:22:54 -0400 Subject: Add a few more constants to ladderstep 130 display --- .../IntegrationTestLadderstep130Display.log | 90 +++++++++++----------- 1 file changed, 45 insertions(+), 45 deletions(-) (limited to 'src') diff --git a/src/Specific/IntegrationTestLadderstep130Display.log b/src/Specific/IntegrationTestLadderstep130Display.log index ee1b0e5ec..52d2e581f 100644 --- a/src/Specific/IntegrationTestLadderstep130Display.log +++ b/src/Specific/IntegrationTestLadderstep130Display.log @@ -5,11 +5,11 @@ let (a, b) := Interp-η uint128_t x40 = x24 + x28; uint128_t x41 = x25 + x29; uint128_t x42 = x23 + x27; - uint128_t x43 = Const 77371252455336267181195262 + x24; + uint128_t x43 = 0x3ffffffffffffffffffffeL + x24; uint128_t x44 = x43 - x28; - uint128_t x45 = Const 77371252455336267181195262 + x25; + uint128_t x45 = 0x3ffffffffffffffffffffeL + x25; uint128_t x46 = x45 - x29; - uint128_t x47 = Const 77371252455336267181195254 + x23; + uint128_t x47 = 0x3ffffffffffffffffffff6L + x23; uint128_t x48 = x47 - x27; uint256_t x49 = (uint256_t) x42 * (uint256_t) x40; uint256_t x50 = (uint256_t) x41 * (uint256_t) x41; @@ -20,13 +20,13 @@ let (a, b) := Interp-η uint256_t x55 = (uint256_t) x41 * (uint256_t) x42; uint256_t x56 = x54 + x55; uint256_t x57 = (uint256_t) x40 * (uint256_t) x40; - uint256_t x58 = (uint256_t) Const 5 * x57; + uint256_t x58 = (uint256_t) 0x5 * x57; uint256_t x59 = x56 + x58; uint256_t x60 = (uint256_t) x42 * (uint256_t) x42; uint256_t x61 = (uint256_t) x41 * (uint256_t) x40; uint256_t x62 = (uint256_t) x40 * (uint256_t) x41; uint256_t x63 = x61 + x62; - uint256_t x64 = (uint256_t) Const 5 * x63; + uint256_t x64 = (uint256_t) 0x5 * x63; uint256_t x65 = x60 + x64; uint128_t x66 = (uint128_t) (x65 >> 0x55); uint256_t x67 = (uint256_t) x66 + x59; @@ -34,7 +34,7 @@ let (a, b) := Interp-η uint256_t x69 = (uint256_t) x68 + x53; uint128_t x70 = (uint128_t) x65 & 0x1fffffffffffffffffffffL; uint128_t x71 = (uint128_t) (x69 >> 0x55); - uint128_t x72 = Const 5 * x71; + uint128_t x72 = 0x5 * x71; uint128_t x73 = x70 + x72; uint128_t x74 = (uint128_t) (x73 >> 0x55); uint128_t x75 = (uint128_t) x67 & 0x1fffffffffffffffffffffL; @@ -53,13 +53,13 @@ let (a, b) := Interp-η uint256_t x88 = (uint256_t) x46 * (uint256_t) x48; uint256_t x89 = x87 + x88; uint256_t x90 = (uint256_t) x44 * (uint256_t) x44; - uint256_t x91 = (uint256_t) Const 5 * x90; + uint256_t x91 = (uint256_t) 0x5 * x90; uint256_t x92 = x89 + x91; uint256_t x93 = (uint256_t) x48 * (uint256_t) x48; uint256_t x94 = (uint256_t) x46 * (uint256_t) x44; uint256_t x95 = (uint256_t) x44 * (uint256_t) x46; uint256_t x96 = x94 + x95; - uint256_t x97 = (uint256_t) Const 5 * x96; + uint256_t x97 = (uint256_t) 0x5 * x96; uint256_t x98 = x93 + x97; uint128_t x99 = (uint128_t) (x98 >> 0x55); uint256_t x100 = (uint256_t) x99 + x92; @@ -67,7 +67,7 @@ let (a, b) := Interp-η uint256_t x102 = (uint256_t) x101 + x86; uint128_t x103 = (uint128_t) x98 & 0x1fffffffffffffffffffffL; uint128_t x104 = (uint128_t) (x102 >> 0x55); - uint128_t x105 = Const 5 * x104; + uint128_t x105 = 0x5 * x104; uint128_t x106 = x103 + x105; uint128_t x107 = (uint128_t) (x106 >> 0x55); uint128_t x108 = (uint128_t) x100 & 0x1fffffffffffffffffffffL; @@ -86,13 +86,13 @@ let (a, b) := Interp-η uint256_t x121 = (uint256_t) x80 * (uint256_t) x114; uint256_t x122 = x120 + x121; uint256_t x123 = (uint256_t) x79 * (uint256_t) x112; - uint256_t x124 = (uint256_t) Const 5 * x123; + uint256_t x124 = (uint256_t) 0x5 * x123; uint256_t x125 = x122 + x124; uint256_t x126 = (uint256_t) x81 * (uint256_t) x114; uint256_t x127 = (uint256_t) x80 * (uint256_t) x112; uint256_t x128 = (uint256_t) x79 * (uint256_t) x113; uint256_t x129 = x127 + x128; - uint256_t x130 = (uint256_t) Const 5 * x129; + uint256_t x130 = (uint256_t) 0x5 * x129; uint256_t x131 = x126 + x130; uint128_t x132 = (uint128_t) (x131 >> 0x55); uint256_t x133 = (uint256_t) x132 + x125; @@ -100,7 +100,7 @@ let (a, b) := Interp-η uint256_t x135 = (uint256_t) x134 + x119; uint128_t x136 = (uint128_t) x131 & 0x1fffffffffffffffffffffL; uint128_t x137 = (uint128_t) (x135 >> 0x55); - uint128_t x138 = Const 5 * x137; + uint128_t x138 = 0x5 * x137; uint128_t x139 = x136 + x138; uint128_t x140 = (uint128_t) (x139 >> 0x55); uint128_t x141 = (uint128_t) x133 & 0x1fffffffffffffffffffffL; @@ -110,11 +110,11 @@ let (a, b) := Interp-η uint128_t x145 = x143 + x144; uint128_t x146 = x142 & 0x1fffffffffffffffffffffL; uint128_t x147 = x139 & 0x1fffffffffffffffffffffL; - uint128_t x148 = Const 77371252455336267181195262 + x79; + uint128_t x148 = 0x3ffffffffffffffffffffeL + x79; uint128_t x149 = x148 - x112; - uint128_t x150 = Const 77371252455336267181195262 + x80; + uint128_t x150 = 0x3ffffffffffffffffffffeL + x80; uint128_t x151 = x150 - x113; - uint128_t x152 = Const 77371252455336267181195254 + x81; + uint128_t x152 = 0x3ffffffffffffffffffff6L + x81; uint128_t x153 = x152 - x114; uint256_t x154 = (uint256_t) x13 * (uint256_t) x149; uint256_t x155 = (uint256_t) x15 * (uint256_t) x151; @@ -125,13 +125,13 @@ let (a, b) := Interp-η uint256_t x160 = (uint256_t) x15 * (uint256_t) x153; uint256_t x161 = x159 + x160; uint256_t x162 = (uint256_t) x14 * (uint256_t) x149; - uint256_t x163 = (uint256_t) Const 5 * x162; + uint256_t x163 = (uint256_t) 0x5 * x162; uint256_t x164 = x161 + x163; uint256_t x165 = (uint256_t) x13 * (uint256_t) x153; uint256_t x166 = (uint256_t) x15 * (uint256_t) x149; uint256_t x167 = (uint256_t) x14 * (uint256_t) x151; uint256_t x168 = x166 + x167; - uint256_t x169 = (uint256_t) Const 5 * x168; + uint256_t x169 = (uint256_t) 0x5 * x168; uint256_t x170 = x165 + x169; uint128_t x171 = (uint128_t) (x170 >> 0x55); uint256_t x172 = (uint256_t) x171 + x164; @@ -139,7 +139,7 @@ let (a, b) := Interp-η uint256_t x174 = (uint256_t) x173 + x158; uint128_t x175 = (uint128_t) x170 & 0x1fffffffffffffffffffffL; uint128_t x176 = (uint128_t) (x174 >> 0x55); - uint128_t x177 = Const 5 * x176; + uint128_t x177 = 0x5 * x176; uint128_t x178 = x175 + x177; uint128_t x179 = (uint128_t) (x178 >> 0x55); uint128_t x180 = (uint128_t) x172 & 0x1fffffffffffffffffffffL; @@ -161,13 +161,13 @@ let (a, b) := Interp-η uint256_t x196 = (uint256_t) x151 * (uint256_t) x189; uint256_t x197 = x195 + x196; uint256_t x198 = (uint256_t) x149 * (uint256_t) x187; - uint256_t x199 = (uint256_t) Const 5 * x198; + uint256_t x199 = (uint256_t) 0x5 * x198; uint256_t x200 = x197 + x199; uint256_t x201 = (uint256_t) x153 * (uint256_t) x189; uint256_t x202 = (uint256_t) x151 * (uint256_t) x187; uint256_t x203 = (uint256_t) x149 * (uint256_t) x188; uint256_t x204 = x202 + x203; - uint256_t x205 = (uint256_t) Const 5 * x204; + uint256_t x205 = (uint256_t) 0x5 * x204; uint256_t x206 = x201 + x205; uint128_t x207 = (uint128_t) (x206 >> 0x55); uint256_t x208 = (uint256_t) x207 + x200; @@ -175,7 +175,7 @@ let (a, b) := Interp-η uint256_t x210 = (uint256_t) x209 + x194; uint128_t x211 = (uint128_t) x206 & 0x1fffffffffffffffffffffL; uint128_t x212 = (uint128_t) (x210 >> 0x55); - uint128_t x213 = Const 5 * x212; + uint128_t x213 = 0x5 * x212; uint128_t x214 = x211 + x213; uint128_t x215 = (uint128_t) (x214 >> 0x55); uint128_t x216 = (uint128_t) x208 & 0x1fffffffffffffffffffffL; @@ -188,11 +188,11 @@ let (a, b) := Interp-η uint128_t x223 = x34 + x38; uint128_t x224 = x35 + x39; uint128_t x225 = x33 + x37; - uint128_t x226 = Const 77371252455336267181195262 + x34; + uint128_t x226 = 0x3ffffffffffffffffffffeL + x34; uint128_t x227 = x226 - x38; - uint128_t x228 = Const 77371252455336267181195262 + x35; + uint128_t x228 = 0x3ffffffffffffffffffffeL + x35; uint128_t x229 = x228 - x39; - uint128_t x230 = Const 77371252455336267181195254 + x33; + uint128_t x230 = 0x3ffffffffffffffffffff6L + x33; uint128_t x231 = x230 - x37; uint256_t x232 = (uint256_t) x225 * (uint256_t) x44; uint256_t x233 = (uint256_t) x224 * (uint256_t) x46; @@ -203,13 +203,13 @@ let (a, b) := Interp-η uint256_t x238 = (uint256_t) x224 * (uint256_t) x48; uint256_t x239 = x237 + x238; uint256_t x240 = (uint256_t) x223 * (uint256_t) x44; - uint256_t x241 = (uint256_t) Const 5 * x240; + uint256_t x241 = (uint256_t) 0x5 * x240; uint256_t x242 = x239 + x241; uint256_t x243 = (uint256_t) x225 * (uint256_t) x48; uint256_t x244 = (uint256_t) x224 * (uint256_t) x44; uint256_t x245 = (uint256_t) x223 * (uint256_t) x46; uint256_t x246 = x244 + x245; - uint256_t x247 = (uint256_t) Const 5 * x246; + uint256_t x247 = (uint256_t) 0x5 * x246; uint256_t x248 = x243 + x247; uint128_t x249 = (uint128_t) (x248 >> 0x55); uint256_t x250 = (uint256_t) x249 + x242; @@ -217,7 +217,7 @@ let (a, b) := Interp-η uint256_t x252 = (uint256_t) x251 + x236; uint128_t x253 = (uint128_t) x248 & 0x1fffffffffffffffffffffL; uint128_t x254 = (uint128_t) (x252 >> 0x55); - uint128_t x255 = Const 5 * x254; + uint128_t x255 = 0x5 * x254; uint128_t x256 = x253 + x255; uint128_t x257 = (uint128_t) (x256 >> 0x55); uint128_t x258 = (uint128_t) x250 & 0x1fffffffffffffffffffffL; @@ -236,13 +236,13 @@ let (a, b) := Interp-η uint256_t x271 = (uint256_t) x229 * (uint256_t) x42; uint256_t x272 = x270 + x271; uint256_t x273 = (uint256_t) x227 * (uint256_t) x40; - uint256_t x274 = (uint256_t) Const 5 * x273; + uint256_t x274 = (uint256_t) 0x5 * x273; uint256_t x275 = x272 + x274; uint256_t x276 = (uint256_t) x231 * (uint256_t) x42; uint256_t x277 = (uint256_t) x229 * (uint256_t) x40; uint256_t x278 = (uint256_t) x227 * (uint256_t) x41; uint256_t x279 = x277 + x278; - uint256_t x280 = (uint256_t) Const 5 * x279; + uint256_t x280 = (uint256_t) 0x5 * x279; uint256_t x281 = x276 + x280; uint128_t x282 = (uint128_t) (x281 >> 0x55); uint256_t x283 = (uint256_t) x282 + x275; @@ -250,7 +250,7 @@ let (a, b) := Interp-η uint256_t x285 = (uint256_t) x284 + x269; uint128_t x286 = (uint128_t) x281 & 0x1fffffffffffffffffffffL; uint128_t x287 = (uint128_t) (x285 >> 0x55); - uint128_t x288 = Const 5 * x287; + uint128_t x288 = 0x5 * x287; uint128_t x289 = x286 + x288; uint128_t x290 = (uint128_t) (x289 >> 0x55); uint128_t x291 = (uint128_t) x283 & 0x1fffffffffffffffffffffL; @@ -275,13 +275,13 @@ let (a, b) := Interp-η uint256_t x310 = (uint256_t) x299 * (uint256_t) x303; uint256_t x311 = x309 + x310; uint256_t x312 = (uint256_t) x298 * (uint256_t) x301; - uint256_t x313 = (uint256_t) Const 5 * x312; + uint256_t x313 = (uint256_t) 0x5 * x312; uint256_t x314 = x311 + x313; uint256_t x315 = (uint256_t) x300 * (uint256_t) x303; uint256_t x316 = (uint256_t) x299 * (uint256_t) x301; uint256_t x317 = (uint256_t) x298 * (uint256_t) x302; uint256_t x318 = x316 + x317; - uint256_t x319 = (uint256_t) Const 5 * x318; + uint256_t x319 = (uint256_t) 0x5 * x318; uint256_t x320 = x315 + x319; uint128_t x321 = (uint128_t) (x320 >> 0x55); uint256_t x322 = (uint256_t) x321 + x314; @@ -289,7 +289,7 @@ let (a, b) := Interp-η uint256_t x324 = (uint256_t) x323 + x308; uint128_t x325 = (uint128_t) x320 & 0x1fffffffffffffffffffffL; uint128_t x326 = (uint128_t) (x324 >> 0x55); - uint128_t x327 = Const 5 * x326; + uint128_t x327 = 0x5 * x326; uint128_t x328 = x325 + x327; uint128_t x329 = (uint128_t) (x328 >> 0x55); uint128_t x330 = (uint128_t) x322 & 0x1fffffffffffffffffffffL; @@ -299,17 +299,17 @@ let (a, b) := Interp-η uint128_t x334 = x332 + x333; uint128_t x335 = x331 & 0x1fffffffffffffffffffffL; uint128_t x336 = x328 & 0x1fffffffffffffffffffffL; - uint128_t x337 = Const 77371252455336267181195262 + x295; + uint128_t x337 = 0x3ffffffffffffffffffffeL + x295; uint128_t x338 = x337 - x262; - uint128_t x339 = Const 77371252455336267181195262 + x296; + uint128_t x339 = 0x3ffffffffffffffffffffeL + x296; uint128_t x340 = x339 - x263; - uint128_t x341 = Const 77371252455336267181195254 + x297; + uint128_t x341 = 0x3ffffffffffffffffffff6L + x297; uint128_t x342 = x341 - x264; - uint128_t x343 = Const 77371252455336267181195262 + x295; + uint128_t x343 = 0x3ffffffffffffffffffffeL + x295; uint128_t x344 = x343 - x262; - uint128_t x345 = Const 77371252455336267181195262 + x296; + uint128_t x345 = 0x3ffffffffffffffffffffeL + x296; uint128_t x346 = x345 - x263; - uint128_t x347 = Const 77371252455336267181195254 + x297; + uint128_t x347 = 0x3ffffffffffffffffffff6L + x297; uint128_t x348 = x347 - x264; uint256_t x349 = (uint256_t) x342 * (uint256_t) x344; uint256_t x350 = (uint256_t) x340 * (uint256_t) x346; @@ -320,13 +320,13 @@ let (a, b) := Interp-η uint256_t x355 = (uint256_t) x340 * (uint256_t) x348; uint256_t x356 = x354 + x355; uint256_t x357 = (uint256_t) x338 * (uint256_t) x344; - uint256_t x358 = (uint256_t) Const 5 * x357; + uint256_t x358 = (uint256_t) 0x5 * x357; uint256_t x359 = x356 + x358; uint256_t x360 = (uint256_t) x342 * (uint256_t) x348; uint256_t x361 = (uint256_t) x340 * (uint256_t) x344; uint256_t x362 = (uint256_t) x338 * (uint256_t) x346; uint256_t x363 = x361 + x362; - uint256_t x364 = (uint256_t) Const 5 * x363; + uint256_t x364 = (uint256_t) 0x5 * x363; uint256_t x365 = x360 + x364; uint128_t x366 = (uint128_t) (x365 >> 0x55); uint256_t x367 = (uint256_t) x366 + x359; @@ -334,7 +334,7 @@ let (a, b) := Interp-η uint256_t x369 = (uint256_t) x368 + x353; uint128_t x370 = (uint128_t) x365 & 0x1fffffffffffffffffffffL; uint128_t x371 = (uint128_t) (x369 >> 0x55); - uint128_t x372 = Const 5 * x371; + uint128_t x372 = 0x5 * x371; uint128_t x373 = x370 + x372; uint128_t x374 = (uint128_t) (x373 >> 0x55); uint128_t x375 = (uint128_t) x367 & 0x1fffffffffffffffffffffL; @@ -353,13 +353,13 @@ let (a, b) := Interp-η uint256_t x388 = (uint256_t) x19 * (uint256_t) x381; uint256_t x389 = x387 + x388; uint256_t x390 = (uint256_t) x18 * (uint256_t) x379; - uint256_t x391 = (uint256_t) Const 5 * x390; + uint256_t x391 = (uint256_t) 0x5 * x390; uint256_t x392 = x389 + x391; uint256_t x393 = (uint256_t) x17 * (uint256_t) x381; uint256_t x394 = (uint256_t) x19 * (uint256_t) x379; uint256_t x395 = (uint256_t) x18 * (uint256_t) x380; uint256_t x396 = x394 + x395; - uint256_t x397 = (uint256_t) Const 5 * x396; + uint256_t x397 = (uint256_t) 0x5 * x396; uint256_t x398 = x393 + x397; uint128_t x399 = (uint128_t) (x398 >> 0x55); uint256_t x400 = (uint256_t) x399 + x392; @@ -367,7 +367,7 @@ let (a, b) := Interp-η uint256_t x402 = (uint256_t) x401 + x386; uint128_t x403 = (uint128_t) x398 & 0x1fffffffffffffffffffffL; uint128_t x404 = (uint128_t) (x402 >> 0x55); - uint128_t x405 = Const 5 * x404; + uint128_t x405 = 0x5 * x404; uint128_t x406 = x403 + x405; uint128_t x407 = (uint128_t) (x406 >> 0x55); uint128_t x408 = (uint128_t) x400 & 0x1fffffffffffffffffffffL; -- cgit v1.2.3