diff options
Diffstat (limited to 'src/Specific/IntegrationTestLadderstep130Display.log')
| -rw-r--r-- | src/Specific/IntegrationTestLadderstep130Display.log | 22 |
1 files changed, 11 insertions, 11 deletions
diff --git a/src/Specific/IntegrationTestLadderstep130Display.log b/src/Specific/IntegrationTestLadderstep130Display.log index c08157343..95f2237c0 100644 --- a/src/Specific/IntegrationTestLadderstep130Display.log +++ b/src/Specific/IntegrationTestLadderstep130Display.log @@ -23,7 +23,7 @@ let (a, b) := Interp-η uint128_t x51 = x50 >> 0x55; uint128_t x52 = x50 & 0x1fffffffffffffffffffffL; uint128_t x53 = x51 + x46; - bool x54 = (bool) (x53 >> 0x55); + uint128_t x54 = x53 >> 0x55; uint128_t x55 = x53 & 0x1fffffffffffffffffffffL; uint128_t x56 = x54 + x49; uint256_t x57 = (uint256_t) x38 * x36 + ((uint256_t) x37 * x37 + (uint256_t) x36 * x38); @@ -41,7 +41,7 @@ let (a, b) := Interp-η uint128_t x69 = x68 >> 0x55; uint128_t x70 = x68 & 0x1fffffffffffffffffffffL; uint128_t x71 = x69 + x64; - bool x72 = (bool) (x71 >> 0x55); + uint128_t x72 = x71 >> 0x55; uint128_t x73 = x71 & 0x1fffffffffffffffffffffL; uint128_t x74 = x72 + x67; uint256_t x75 = (uint256_t) x52 * x74 + ((uint256_t) x55 * x73 + (uint256_t) x56 * x70); @@ -59,7 +59,7 @@ let (a, b) := Interp-η uint128_t x87 = x86 >> 0x55; uint128_t x88 = x86 & 0x1fffffffffffffffffffffL; uint128_t x89 = x87 + x82; - bool x90 = (bool) (x89 >> 0x55); + uint128_t x90 = x89 >> 0x55; uint128_t x91 = x89 & 0x1fffffffffffffffffffffL; uint128_t x92 = x90 + x85; uint128_t x93 = 0x3ffffffffffffffffffffeL + x56 - x74; @@ -77,10 +77,10 @@ let (a, b) := Interp-η uint128_t x105 = x104 >> 0x55; uint128_t x106 = x104 & 0x1fffffffffffffffffffffL; uint128_t x107 = x100 + 0x5 * x105; - bool x108 = (bool) (x107 >> 0x55); + uint128_t x108 = x107 >> 0x55; uint128_t x109 = x107 & 0x1fffffffffffffffffffffL; uint128_t x110 = x108 + x103; - bool x111 = (bool) (x110 >> 0x55); + uint128_t x111 = x110 >> 0x55; uint128_t x112 = x110 & 0x1fffffffffffffffffffffL; uint128_t x113 = x111 + x106; uint128_t x114 = x56 + x113; @@ -101,7 +101,7 @@ let (a, b) := Interp-η uint128_t x129 = x128 >> 0x55; uint128_t x130 = x128 & 0x1fffffffffffffffffffffL; uint128_t x131 = x129 + x124; - bool x132 = (bool) (x131 >> 0x55); + uint128_t x132 = x131 >> 0x55; uint128_t x133 = x131 & 0x1fffffffffffffffffffffL; uint128_t x134 = x132 + x127; uint128_t x135 = x27 + x31; @@ -125,7 +125,7 @@ let (a, b) := Interp-η uint128_t x153 = x152 >> 0x55; uint128_t x154 = x152 & 0x1fffffffffffffffffffffL; uint128_t x155 = x153 + x148; - bool x156 = (bool) (x155 >> 0x55); + uint128_t x156 = x155 >> 0x55; uint128_t x157 = x155 & 0x1fffffffffffffffffffffL; uint128_t x158 = x156 + x151; uint256_t x159 = (uint256_t) x140 * x33 + ((uint256_t) x139 * x34 + (uint256_t) x138 * x35); @@ -143,7 +143,7 @@ let (a, b) := Interp-η uint128_t x171 = x170 >> 0x55; uint128_t x172 = x170 & 0x1fffffffffffffffffffffL; uint128_t x173 = x171 + x166; - bool x174 = (bool) (x173 >> 0x55); + uint128_t x174 = x173 >> 0x55; uint128_t x175 = x173 & 0x1fffffffffffffffffffffL; uint128_t x176 = x174 + x169; uint128_t x177 = x176 + x158; @@ -167,7 +167,7 @@ let (a, b) := Interp-η uint128_t x195 = x194 >> 0x55; uint128_t x196 = x194 & 0x1fffffffffffffffffffffL; uint128_t x197 = x195 + x190; - bool x198 = (bool) (x197 >> 0x55); + uint128_t x198 = x197 >> 0x55; uint128_t x199 = x197 & 0x1fffffffffffffffffffffL; uint128_t x200 = x198 + x193; uint128_t x201 = 0x3ffffffffffffffffffffeL + x176 - x158; @@ -191,7 +191,7 @@ let (a, b) := Interp-η uint128_t x219 = x218 >> 0x55; uint128_t x220 = x218 & 0x1fffffffffffffffffffffL; uint128_t x221 = x219 + x214; - bool x222 = (bool) (x221 >> 0x55); + uint128_t x222 = x221 >> 0x55; uint128_t x223 = x221 & 0x1fffffffffffffffffffffL; uint128_t x224 = x222 + x217; uint256_t x225 = (uint256_t) x10 * x224 + ((uint256_t) x12 * x223 + (uint256_t) x11 * x220); @@ -209,7 +209,7 @@ let (a, b) := Interp-η uint128_t x237 = x236 >> 0x55; uint128_t x238 = x236 & 0x1fffffffffffffffffffffL; uint128_t x239 = x237 + x232; - bool x240 = (bool) (x239 >> 0x55); + uint128_t x240 = x239 >> 0x55; uint128_t x241 = x239 & 0x1fffffffffffffffffffffL; uint128_t x242 = x240 + x235; return (Return x92, Return x91, Return x88, (Return x134, Return x133, Return x130), (Return x200, Return x199, Return x196, (Return x242, Return x241, Return x238)))) |