diff options
Diffstat (limited to 'src')
-rw-r--r-- | src/Specific/IntegrationTestMontgomeryP256Display.log | 262 |
1 files changed, 133 insertions, 129 deletions
diff --git a/src/Specific/IntegrationTestMontgomeryP256Display.log b/src/Specific/IntegrationTestMontgomeryP256Display.log index 2f2ec25f8..88206b296 100644 --- a/src/Specific/IntegrationTestMontgomeryP256Display.log +++ b/src/Specific/IntegrationTestMontgomeryP256Display.log @@ -36,145 +36,149 @@ Interp-η uint64_t x63 = (uint64_t) (x61 >> 0x40); uint64_t x65, bool x66 = addcarryx_u64(0x0, x57, x59); uint64_t x68, bool x69 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 0) (Syntax.TWord 6) (Syntax.TWord 0) (Syntax.TWord 6) (Syntax.TWord 0)) (Return x66, Return x60, 0x0); - uint64_t x71, bool x72 = addcarryx_u64(x69, 0x0, x62); - uint64_t x74, bool x75 = addcarryx_u64(0x0, x72, x63); - uint64_t _, bool x78 = addcarryx_u64(0x0, x17, x56); - uint64_t x80, bool x81 = addcarryx_u64(x78, x29, x65); - uint64_t x83, bool x84 = addcarryx_u64(x81, x46, x68); - uint64_t x86, bool x87 = addcarryx_u64(x84, x49, x71); - uint64_t x89, bool x90 = addcarryx_u64(x87, x52, x74); - uint64_t x92, bool _ = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 0) (Syntax.TWord 0) (Syntax.TWord 0) (Syntax.TWord 6) (Syntax.TWord 0)) (Return x90, Return x53, Return x75); - uint128_t x94 = (uint128_t) x7 * x11; - uint64_t x95 = (uint64_t) x94 & 0xffffffffffffffffL; - uint64_t x96 = (uint64_t) (x94 >> 0x40); - uint128_t x97 = (uint128_t) x7 * x13; - uint64_t x98 = (uint64_t) x97 & 0xffffffffffffffffL; - uint64_t x99 = (uint64_t) (x97 >> 0x40); - uint128_t x100 = (uint128_t) x7 * x15; - uint64_t x101 = (uint64_t) x100 & 0xffffffffffffffffL; - uint64_t x102 = (uint64_t) (x100 >> 0x40); - uint128_t x103 = (uint128_t) x7 * x14; - uint64_t x104 = (uint64_t) x103 & 0xffffffffffffffffL; - uint64_t x105 = (uint64_t) (x103 >> 0x40); - uint64_t x107, bool x108 = addcarryx_u64(0x0, x96, x98); - uint64_t x110, bool x111 = addcarryx_u64(x108, x99, x101); - uint64_t x113, uint64_t x114 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 0) (Syntax.TWord 6) (Syntax.TWord 7) (Syntax.TWord 6) (Syntax.TWord 6)) (0x0, Return x104, 0x10000000000000000L * x105); - uint64_t x116, bool x117 = addcarryx_u64(0x0, x102, x113); - uint64_t x118 = x114 + x117; - uint64_t x120, bool x121 = addcarryx_u64(0x0, x111, x116); - uint128_t x122 = (uint128_t) x118 + x121; - uint64_t x124, bool x125 = addcarryx_u64(0x0, x80, x95); - uint64_t x127, bool x128 = addcarryx_u64(x125, x83, x107); - uint64_t x130, bool x131 = addcarryx_u64(x128, x86, x110); - uint64_t x133, bool x134 = addcarryx_u64(x131, x89, x120); - uint64_t x136, bool x137 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 0) (Syntax.TWord 6) (Syntax.TWord 7) (Syntax.TWord 6) (Syntax.TWord 0)) (Return x134, Return x92, Return x122); - uint64_t x138 = x124 & 0xffffffffffffffffL; - uint128_t x139 = (uint128_t) x138 * 0xffffffffffffffffL; - uint64_t x140 = (uint64_t) x139 & 0xffffffffffffffffL; - uint64_t x141 = (uint64_t) (x139 >> 0x40); - uint128_t x142 = (uint128_t) x138 * 0xffffffff; - uint64_t x143 = (uint64_t) x142 & 0xffffffffffffffffL; - uint64_t x144 = (uint64_t) (x142 >> 0x40); - uint128_t x145 = (uint128_t) x138 * 0xffffffff00000001L; - uint64_t x146 = (uint64_t) x145 & 0xffffffffffffffffL; - uint64_t x147 = (uint64_t) (x145 >> 0x40); - uint64_t x149, bool x150 = addcarryx_u64(0x0, x141, x143); - uint64_t x152, bool x153 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 0) (Syntax.TWord 6) (Syntax.TWord 0) (Syntax.TWord 6) (Syntax.TWord 0)) (Return x150, Return x144, 0x0); - uint64_t x155, bool x156 = addcarryx_u64(x153, 0x0, x146); - uint64_t x158, bool x159 = addcarryx_u64(0x0, x156, x147); - uint64_t _, bool x162 = addcarryx_u64(0x0, x124, x140); - uint64_t x164, bool x165 = addcarryx_u64(x162, x127, x149); - uint64_t x167, bool x168 = addcarryx_u64(x165, x130, x152); - uint64_t x170, bool x171 = addcarryx_u64(x168, x133, x155); - uint64_t x173, bool x174 = addcarryx_u64(x171, x136, x158); - uint64_t x176, bool _ = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 0) (Syntax.TWord 0) (Syntax.TWord 0) (Syntax.TWord 6) (Syntax.TWord 0)) (Return x174, Return x137, Return x159); - uint128_t x178 = (uint128_t) x9 * x11; - uint64_t x179 = (uint64_t) x178 & 0xffffffffffffffffL; - uint64_t x180 = (uint64_t) (x178 >> 0x40); - uint128_t x181 = (uint128_t) x9 * x13; - uint64_t x182 = (uint64_t) x181 & 0xffffffffffffffffL; - uint64_t x183 = (uint64_t) (x181 >> 0x40); - uint128_t x184 = (uint128_t) x9 * x15; - uint64_t x185 = (uint64_t) x184 & 0xffffffffffffffffL; - uint64_t x186 = (uint64_t) (x184 >> 0x40); - uint128_t x187 = (uint128_t) x9 * x14; - uint64_t x188 = (uint64_t) x187 & 0xffffffffffffffffL; - uint64_t x189 = (uint64_t) (x187 >> 0x40); - uint64_t x191, bool x192 = addcarryx_u64(0x0, x180, x182); - uint64_t x194, bool x195 = addcarryx_u64(x192, x183, x185); - uint64_t x197, uint64_t x198 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 0) (Syntax.TWord 6) (Syntax.TWord 7) (Syntax.TWord 6) (Syntax.TWord 6)) (0x0, Return x188, 0x10000000000000000L * x189); - uint64_t x200, bool x201 = addcarryx_u64(0x0, x186, x197); - uint64_t x202 = x198 + x201; - uint64_t x204, bool x205 = addcarryx_u64(0x0, x195, x200); - uint128_t x206 = (uint128_t) x202 + x205; - uint64_t x208, bool x209 = addcarryx_u64(0x0, x164, x179); - uint64_t x211, bool x212 = addcarryx_u64(x209, x167, x191); - uint64_t x214, bool x215 = addcarryx_u64(x212, x170, x194); - uint64_t x217, bool x218 = addcarryx_u64(x215, x173, x204); - uint64_t x220, bool x221 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 0) (Syntax.TWord 6) (Syntax.TWord 7) (Syntax.TWord 6) (Syntax.TWord 0)) (Return x218, Return x176, Return x206); - uint64_t x222 = x208 & 0xffffffffffffffffL; - uint128_t x223 = (uint128_t) x222 * 0xffffffffffffffffL; - uint64_t x224 = (uint64_t) x223 & 0xffffffffffffffffL; - uint64_t x225 = (uint64_t) (x223 >> 0x40); - uint128_t x226 = (uint128_t) x222 * 0xffffffff; - uint64_t x227 = (uint64_t) x226 & 0xffffffffffffffffL; - uint64_t x228 = (uint64_t) (x226 >> 0x40); - uint128_t x229 = (uint128_t) x222 * 0xffffffff00000001L; - uint64_t x230 = (uint64_t) x229 & 0xffffffffffffffffL; - uint64_t x231 = (uint64_t) (x229 >> 0x40); - uint64_t x233, bool x234 = addcarryx_u64(0x0, x225, x227); - uint64_t x236, bool x237 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 0) (Syntax.TWord 6) (Syntax.TWord 0) (Syntax.TWord 6) (Syntax.TWord 0)) (Return x234, Return x228, 0x0); - uint64_t x239, bool x240 = addcarryx_u64(x237, 0x0, x230); - uint64_t x242, bool x243 = addcarryx_u64(0x0, x240, x231); - uint64_t _, bool x246 = addcarryx_u64(0x0, x208, x224); - uint64_t x248, bool x249 = addcarryx_u64(x246, x211, x233); - uint64_t x251, bool x252 = addcarryx_u64(x249, x214, x236); - uint64_t x254, bool x255 = addcarryx_u64(x252, x217, x239); - uint64_t x257, bool x258 = addcarryx_u64(x255, x220, x242); - uint64_t x260, bool _ = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 0) (Syntax.TWord 0) (Syntax.TWord 0) (Syntax.TWord 6) (Syntax.TWord 0)) (Return x258, Return x221, Return x243); - uint128_t x262 = (uint128_t) x8 * x11; - uint64_t x263 = (uint64_t) x262 & 0xffffffffffffffffL; - uint64_t x264 = (uint64_t) (x262 >> 0x40); - uint128_t x265 = (uint128_t) x8 * x13; + uint64_t x71, uint64_t x72 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 0) (Syntax.TWord 6) (Syntax.TWord 7) (Syntax.TWord 6) (Syntax.TWord 6)) (0x0, Return x62, 0x10000000000000000L * x63); + uint64_t x74, bool x75 = addcarryx_u64(0x0, x69, x71); + uint64_t x76 = x72 + x75; + uint64_t _, bool x79 = addcarryx_u64(0x0, x17, x56); + uint64_t x81, bool x82 = addcarryx_u64(x79, x29, x65); + uint64_t x84, bool x85 = addcarryx_u64(x82, x46, x68); + uint64_t x87, bool x88 = addcarryx_u64(x85, x49, x74); + uint64_t x90, bool x91 = addcarryx_u64(x88, x52, x76); + uint64_t x93, bool _ = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 0) (Syntax.TWord 0) (Syntax.TWord 0) (Syntax.TWord 6) (Syntax.TWord 0)) (0x0, Return x91, Return x53); + uint128_t x95 = (uint128_t) x7 * x11; + uint64_t x96 = (uint64_t) x95 & 0xffffffffffffffffL; + uint64_t x97 = (uint64_t) (x95 >> 0x40); + uint128_t x98 = (uint128_t) x7 * x13; + uint64_t x99 = (uint64_t) x98 & 0xffffffffffffffffL; + uint64_t x100 = (uint64_t) (x98 >> 0x40); + uint128_t x101 = (uint128_t) x7 * x15; + uint64_t x102 = (uint64_t) x101 & 0xffffffffffffffffL; + uint64_t x103 = (uint64_t) (x101 >> 0x40); + uint128_t x104 = (uint128_t) x7 * x14; + uint64_t x105 = (uint64_t) x104 & 0xffffffffffffffffL; + uint64_t x106 = (uint64_t) (x104 >> 0x40); + uint64_t x108, bool x109 = addcarryx_u64(0x0, x97, x99); + uint64_t x111, bool x112 = addcarryx_u64(x109, x100, x102); + uint64_t x114, uint64_t x115 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 0) (Syntax.TWord 6) (Syntax.TWord 7) (Syntax.TWord 6) (Syntax.TWord 6)) (0x0, Return x105, 0x10000000000000000L * x106); + uint64_t x117, bool x118 = addcarryx_u64(0x0, x103, x114); + uint64_t x119 = x115 + x118; + uint64_t x121, bool x122 = addcarryx_u64(0x0, x112, x117); + uint128_t x123 = (uint128_t) x119 + x122; + uint64_t x125, bool x126 = addcarryx_u64(0x0, x81, x96); + uint64_t x128, bool x129 = addcarryx_u64(x126, x84, x108); + uint64_t x131, bool x132 = addcarryx_u64(x129, x87, x111); + uint64_t x134, bool x135 = addcarryx_u64(x132, x90, x121); + uint64_t x137, bool x138 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 0) (Syntax.TWord 6) (Syntax.TWord 7) (Syntax.TWord 6) (Syntax.TWord 0)) (Return x135, Return x93, Return x123); + uint64_t x139 = x125 & 0xffffffffffffffffL; + uint128_t x140 = (uint128_t) x139 * 0xffffffffffffffffL; + uint64_t x141 = (uint64_t) x140 & 0xffffffffffffffffL; + uint64_t x142 = (uint64_t) (x140 >> 0x40); + uint128_t x143 = (uint128_t) x139 * 0xffffffff; + uint64_t x144 = (uint64_t) x143 & 0xffffffffffffffffL; + uint64_t x145 = (uint64_t) (x143 >> 0x40); + uint128_t x146 = (uint128_t) x139 * 0xffffffff00000001L; + uint64_t x147 = (uint64_t) x146 & 0xffffffffffffffffL; + uint64_t x148 = (uint64_t) (x146 >> 0x40); + uint64_t x150, bool x151 = addcarryx_u64(0x0, x142, x144); + uint64_t x153, bool x154 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 0) (Syntax.TWord 6) (Syntax.TWord 0) (Syntax.TWord 6) (Syntax.TWord 0)) (Return x151, Return x145, 0x0); + uint64_t x156, uint64_t x157 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 0) (Syntax.TWord 6) (Syntax.TWord 7) (Syntax.TWord 6) (Syntax.TWord 6)) (0x0, Return x147, 0x10000000000000000L * x148); + uint64_t x159, bool x160 = addcarryx_u64(0x0, x154, x156); + uint64_t x161 = x157 + x160; + uint64_t _, bool x164 = addcarryx_u64(0x0, x125, x141); + uint64_t x166, bool x167 = addcarryx_u64(x164, x128, x150); + uint64_t x169, bool x170 = addcarryx_u64(x167, x131, x153); + uint64_t x172, bool x173 = addcarryx_u64(x170, x134, x159); + uint64_t x175, bool x176 = addcarryx_u64(x173, x137, x161); + uint64_t x178, bool _ = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 0) (Syntax.TWord 0) (Syntax.TWord 0) (Syntax.TWord 6) (Syntax.TWord 0)) (0x0, Return x176, Return x138); + uint128_t x180 = (uint128_t) x9 * x11; + uint64_t x181 = (uint64_t) x180 & 0xffffffffffffffffL; + uint64_t x182 = (uint64_t) (x180 >> 0x40); + uint128_t x183 = (uint128_t) x9 * x13; + uint64_t x184 = (uint64_t) x183 & 0xffffffffffffffffL; + uint64_t x185 = (uint64_t) (x183 >> 0x40); + uint128_t x186 = (uint128_t) x9 * x15; + uint64_t x187 = (uint64_t) x186 & 0xffffffffffffffffL; + uint64_t x188 = (uint64_t) (x186 >> 0x40); + uint128_t x189 = (uint128_t) x9 * x14; + uint64_t x190 = (uint64_t) x189 & 0xffffffffffffffffL; + uint64_t x191 = (uint64_t) (x189 >> 0x40); + uint64_t x193, bool x194 = addcarryx_u64(0x0, x182, x184); + uint64_t x196, bool x197 = addcarryx_u64(x194, x185, x187); + uint64_t x199, uint64_t x200 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 0) (Syntax.TWord 6) (Syntax.TWord 7) (Syntax.TWord 6) (Syntax.TWord 6)) (0x0, Return x190, 0x10000000000000000L * x191); + uint64_t x202, bool x203 = addcarryx_u64(0x0, x188, x199); + uint64_t x204 = x200 + x203; + uint64_t x206, bool x207 = addcarryx_u64(0x0, x197, x202); + uint128_t x208 = (uint128_t) x204 + x207; + uint64_t x210, bool x211 = addcarryx_u64(0x0, x166, x181); + uint64_t x213, bool x214 = addcarryx_u64(x211, x169, x193); + uint64_t x216, bool x217 = addcarryx_u64(x214, x172, x196); + uint64_t x219, bool x220 = addcarryx_u64(x217, x175, x206); + uint64_t x222, bool x223 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 0) (Syntax.TWord 6) (Syntax.TWord 7) (Syntax.TWord 6) (Syntax.TWord 0)) (Return x220, Return x178, Return x208); + uint64_t x224 = x210 & 0xffffffffffffffffL; + uint128_t x225 = (uint128_t) x224 * 0xffffffffffffffffL; + uint64_t x226 = (uint64_t) x225 & 0xffffffffffffffffL; + uint64_t x227 = (uint64_t) (x225 >> 0x40); + uint128_t x228 = (uint128_t) x224 * 0xffffffff; + uint64_t x229 = (uint64_t) x228 & 0xffffffffffffffffL; + uint64_t x230 = (uint64_t) (x228 >> 0x40); + uint128_t x231 = (uint128_t) x224 * 0xffffffff00000001L; + uint64_t x232 = (uint64_t) x231 & 0xffffffffffffffffL; + uint64_t x233 = (uint64_t) (x231 >> 0x40); + uint64_t x235, bool x236 = addcarryx_u64(0x0, x227, x229); + uint64_t x238, bool x239 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 0) (Syntax.TWord 6) (Syntax.TWord 0) (Syntax.TWord 6) (Syntax.TWord 0)) (Return x236, Return x230, 0x0); + uint64_t x241, uint64_t x242 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 0) (Syntax.TWord 6) (Syntax.TWord 7) (Syntax.TWord 6) (Syntax.TWord 6)) (0x0, Return x232, 0x10000000000000000L * x233); + uint64_t x244, bool x245 = addcarryx_u64(0x0, x239, x241); + uint64_t x246 = x242 + x245; + uint64_t _, bool x249 = addcarryx_u64(0x0, x210, x226); + uint64_t x251, bool x252 = addcarryx_u64(x249, x213, x235); + uint64_t x254, bool x255 = addcarryx_u64(x252, x216, x238); + uint64_t x257, bool x258 = addcarryx_u64(x255, x219, x244); + uint64_t x260, bool x261 = addcarryx_u64(x258, x222, x246); + uint64_t x263, bool _ = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 0) (Syntax.TWord 0) (Syntax.TWord 0) (Syntax.TWord 6) (Syntax.TWord 0)) (0x0, Return x261, Return x223); + uint128_t x265 = (uint128_t) x8 * x11; uint64_t x266 = (uint64_t) x265 & 0xffffffffffffffffL; uint64_t x267 = (uint64_t) (x265 >> 0x40); - uint128_t x268 = (uint128_t) x8 * x15; + uint128_t x268 = (uint128_t) x8 * x13; uint64_t x269 = (uint64_t) x268 & 0xffffffffffffffffL; uint64_t x270 = (uint64_t) (x268 >> 0x40); - uint128_t x271 = (uint128_t) x8 * x14; + uint128_t x271 = (uint128_t) x8 * x15; uint64_t x272 = (uint64_t) x271 & 0xffffffffffffffffL; uint64_t x273 = (uint64_t) (x271 >> 0x40); - uint64_t x275, bool x276 = addcarryx_u64(0x0, x264, x266); - uint64_t x278, bool x279 = addcarryx_u64(x276, x267, x269); - uint64_t x281, uint64_t x282 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 0) (Syntax.TWord 6) (Syntax.TWord 7) (Syntax.TWord 6) (Syntax.TWord 6)) (0x0, Return x272, 0x10000000000000000L * x273); - uint64_t x284, bool x285 = addcarryx_u64(0x0, x270, x281); - uint64_t x286 = x282 + x285; - uint64_t x288, bool x289 = addcarryx_u64(0x0, x279, x284); - uint128_t x290 = (uint128_t) x286 + x289; - uint64_t x292, bool x293 = addcarryx_u64(0x0, x248, x263); - uint64_t x295, bool x296 = addcarryx_u64(x293, x251, x275); + uint128_t x274 = (uint128_t) x8 * x14; + uint64_t x275 = (uint64_t) x274 & 0xffffffffffffffffL; + uint64_t x276 = (uint64_t) (x274 >> 0x40); + uint64_t x278, bool x279 = addcarryx_u64(0x0, x267, x269); + uint64_t x281, bool x282 = addcarryx_u64(x279, x270, x272); + uint64_t x284, uint64_t x285 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 0) (Syntax.TWord 6) (Syntax.TWord 7) (Syntax.TWord 6) (Syntax.TWord 6)) (0x0, Return x275, 0x10000000000000000L * x276); + uint64_t x287, bool x288 = addcarryx_u64(0x0, x273, x284); + uint64_t x289 = x285 + x288; + uint64_t x291, bool x292 = addcarryx_u64(0x0, x282, x287); + uint128_t x293 = (uint128_t) x289 + x292; + uint64_t x295, bool x296 = addcarryx_u64(0x0, x251, x266); uint64_t x298, bool x299 = addcarryx_u64(x296, x254, x278); - uint64_t x301, bool x302 = addcarryx_u64(x299, x257, x288); - uint64_t x304, bool _ = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 0) (Syntax.TWord 6) (Syntax.TWord 7) (Syntax.TWord 6) (Syntax.TWord 0)) (Return x302, Return x260, Return x290); - uint64_t x306 = x292 & 0xffffffffffffffffL; - uint128_t x307 = (uint128_t) x306 * 0xffffffffffffffffL; - uint64_t x308 = (uint64_t) x307 & 0xffffffffffffffffL; - uint64_t x309 = (uint64_t) (x307 >> 0x40); - uint128_t x310 = (uint128_t) x306 * 0xffffffff; + uint64_t x301, bool x302 = addcarryx_u64(x299, x257, x281); + uint64_t x304, bool x305 = addcarryx_u64(x302, x260, x291); + uint64_t x307, bool _ = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 0) (Syntax.TWord 6) (Syntax.TWord 7) (Syntax.TWord 6) (Syntax.TWord 0)) (Return x305, Return x263, Return x293); + uint64_t x309 = x295 & 0xffffffffffffffffL; + uint128_t x310 = (uint128_t) x309 * 0xffffffffffffffffL; uint64_t x311 = (uint64_t) x310 & 0xffffffffffffffffL; uint64_t x312 = (uint64_t) (x310 >> 0x40); - uint128_t x313 = (uint128_t) x306 * 0xffffffff00000001L; + uint128_t x313 = (uint128_t) x309 * 0xffffffff; uint64_t x314 = (uint64_t) x313 & 0xffffffffffffffffL; uint64_t x315 = (uint64_t) (x313 >> 0x40); - uint64_t x317, bool x318 = addcarryx_u64(0x0, x309, x311); - uint64_t x320, bool x321 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 0) (Syntax.TWord 6) (Syntax.TWord 0) (Syntax.TWord 6) (Syntax.TWord 0)) (Return x318, Return x312, 0x0); - uint64_t x323, bool x324 = addcarryx_u64(x321, 0x0, x314); - uint64_t x326, bool _ = addcarryx_u64(0x0, x324, x315); - uint64_t _, bool x330 = addcarryx_u64(0x0, x292, x308); - uint64_t x332, bool x333 = addcarryx_u64(x330, x295, x317); - uint64_t x335, bool x336 = addcarryx_u64(x333, x298, x320); - uint64_t x338, bool x339 = addcarryx_u64(x336, x301, x323); - uint64_t x341, bool _ = addcarryx_u64(x339, x304, x326); - (Return x341, Return x338, Return x335, Return x332)) + uint128_t x316 = (uint128_t) x309 * 0xffffffff00000001L; + uint64_t x317 = (uint64_t) x316 & 0xffffffffffffffffL; + uint64_t x318 = (uint64_t) (x316 >> 0x40); + uint64_t x320, bool x321 = addcarryx_u64(0x0, x312, x314); + uint64_t x323, bool x324 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 0) (Syntax.TWord 6) (Syntax.TWord 0) (Syntax.TWord 6) (Syntax.TWord 0)) (Return x321, Return x315, 0x0); + uint64_t x326, uint64_t x327 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 0) (Syntax.TWord 6) (Syntax.TWord 7) (Syntax.TWord 6) (Syntax.TWord 6)) (0x0, Return x317, 0x10000000000000000L * x318); + uint64_t x329, bool x330 = addcarryx_u64(0x0, x324, x326); + uint64_t x331 = x327 + x330; + uint64_t _, bool x334 = addcarryx_u64(0x0, x295, x311); + uint64_t x336, bool x337 = addcarryx_u64(x334, x298, x320); + uint64_t x339, bool x340 = addcarryx_u64(x337, x301, x323); + uint64_t x342, bool x343 = addcarryx_u64(x340, x304, x329); + uint64_t x345, bool _ = addcarryx_u64(x343, x307, x331); + (Return x345, Return x342, Return x339, Return x336)) (x, x0)%core : word64 * word64 * word64 * word64 → word64 * word64 * word64 * word64 → ReturnType (uint64_t * uint64_t * uint64_t * uint64_t) |