From d2dd8128fb25d88cee5d64bb6493561a1f537088 Mon Sep 17 00:00:00 2001 From: Jason Gross Date: Sun, 18 Jun 2017 18:33:17 -0400 Subject: make display --- src/Specific/IntegrationTestFreezeDisplay.log | 20 +-- .../IntegrationTestMontgomeryP256Display.log | 138 ++++++++++----------- .../IntegrationTestMontgomeryP256_128Display.log | 34 ++--- 3 files changed, 96 insertions(+), 96 deletions(-) diff --git a/src/Specific/IntegrationTestFreezeDisplay.log b/src/Specific/IntegrationTestFreezeDisplay.log index 87b7a2501..471c997c7 100644 --- a/src/Specific/IntegrationTestFreezeDisplay.log +++ b/src/Specific/IntegrationTestFreezeDisplay.log @@ -2,22 +2,22 @@ Interp-η (λ var : Syntax.base_type → Type, λ '(x7, x8, x6, x4, x2)%core, - uint64_t x10, bool x11 = subborrow_u51(0x0, x2, 0x7ffffffffffed); - uint64_t x13, bool x14 = subborrow_u51(x11, x4, 0x7ffffffffffff); - uint64_t x16, bool x17 = subborrow_u51(x14, x6, 0x7ffffffffffff); - uint64_t x19, bool x20 = subborrow_u51(x17, x8, 0x7ffffffffffff); - uint64_t x22, bool x23 = subborrow_u51(x20, x7, 0x7ffffffffffff); + uint64_t x10, uint8_t x11 = subborrow_u51(0x0, x2, 0x7ffffffffffed); + uint64_t x13, uint8_t x14 = subborrow_u51(x11, x4, 0x7ffffffffffff); + uint64_t x16, uint8_t x17 = subborrow_u51(x14, x6, 0x7ffffffffffff); + uint64_t x19, uint8_t x20 = subborrow_u51(x17, x8, 0x7ffffffffffff); + uint64_t x22, uint8_t x23 = subborrow_u51(x20, x7, 0x7ffffffffffff); uint64_t x24 = (uint64_t) (x23 == 0 ? 0x0 : 0xffffffffffffffffL); uint64_t x25 = x24 & 0x7ffffffffffed; - uint64_t x27, bool x28 = addcarryx_u51(0x0, x10, x25); + uint64_t x27, uint8_t x28 = addcarryx_u51(0x0, x10, x25); uint64_t x29 = x24 & 0x7ffffffffffff; - uint64_t x31, bool x32 = addcarryx_u51(x28, x13, x29); + uint64_t x31, uint8_t x32 = addcarryx_u51(x28, x13, x29); uint64_t x33 = x24 & 0x7ffffffffffff; - uint64_t x35, bool x36 = addcarryx_u51(x32, x16, x33); + uint64_t x35, uint8_t x36 = addcarryx_u51(x32, x16, x33); uint64_t x37 = x24 & 0x7ffffffffffff; - uint64_t x39, bool x40 = addcarryx_u51(x36, x19, x37); + uint64_t x39, uint8_t x40 = addcarryx_u51(x36, x19, x37); uint64_t x41 = x24 & 0x7ffffffffffff; - uint64_t x43, bool _ = addcarryx_u51(x40, x22, x41); + uint64_t x43, uint8_t _ = addcarryx_u51(x40, x22, x41); (Return x43, Return x39, Return x35, Return x31, Return x27)) x : word64 * word64 * word64 * word64 * word64 → ReturnType (uint64_t * uint64_t * uint64_t * uint64_t * uint64_t) diff --git a/src/Specific/IntegrationTestMontgomeryP256Display.log b/src/Specific/IntegrationTestMontgomeryP256Display.log index 30d86ffac..9a4dd7280 100644 --- a/src/Specific/IntegrationTestMontgomeryP256Display.log +++ b/src/Specific/IntegrationTestMontgomeryP256Display.log @@ -14,10 +14,10 @@ Interp-η uint128_t x25 = (uint128_t) x5 * x14; uint64_t x26 = (uint64_t) x25 & 0xffffffffffffffffL; uint64_t x27 = (uint64_t) (x25 >> 0x40); - uint64_t x29, bool x30 = addcarryx_u64(0x0, x18, x20); - uint64_t x32, bool x33 = addcarryx_u64(x30, x21, x23); - uint64_t x35, bool x36 = addcarryx_u64(x33, x24, x26); - uint64_t x38, bool _ = addcarryx_u64(0x0, x36, x27); + uint64_t x29, uint8_t x30 = addcarryx_u64(0x0, x18, x20); + uint64_t x32, uint8_t x33 = addcarryx_u64(x30, x21, x23); + uint64_t x35, uint8_t x36 = addcarryx_u64(x33, x24, x26); + uint64_t x38, uint8_t _ = addcarryx_u64(0x0, x36, x27); uint64_t x40 = x17 & 0xffffffffffffffffL; uint128_t x41 = (uint128_t) x40 * 0xffffffffffffffffL; uint64_t x42 = (uint64_t) x41 & 0xffffffffffffffffL; @@ -28,15 +28,15 @@ Interp-η uint128_t x47 = (uint128_t) x40 * 0xffffffff00000001L; uint64_t x48 = (uint64_t) x47 & 0xffffffffffffffffL; uint64_t x49 = (uint64_t) (x47 >> 0x40); - uint64_t x51, bool x52 = addcarryx_u64(0x0, x43, x45); - uint64_t x54, bool x55 = addcarryx_u64(x52, x46, 0x0); - uint64_t x57, bool x58 = addcarryx_u64(x55, 0x0, x48); - uint64_t x60, bool _ = addcarryx_u64(0x0, x58, x49); - uint64_t _, bool x64 = addcarryx_u64(0x0, x17, x42); - uint64_t x66, bool x67 = addcarryx_u64(x64, x29, x51); - uint64_t x69, bool x70 = addcarryx_u64(x67, x32, x54); - uint64_t x72, bool x73 = addcarryx_u64(x70, x35, x57); - uint64_t x75, bool x76 = addcarryx_u64(x73, x38, x60); + uint64_t x51, uint8_t x52 = addcarryx_u64(0x0, x43, x45); + uint64_t x54, uint8_t x55 = addcarryx_u64(x52, x46, 0x0); + uint64_t x57, uint8_t x58 = addcarryx_u64(x55, 0x0, x48); + uint64_t x60, uint8_t _ = addcarryx_u64(0x0, x58, x49); + uint64_t _, uint8_t x64 = addcarryx_u64(0x0, x17, x42); + uint64_t x66, uint8_t x67 = addcarryx_u64(x64, x29, x51); + uint64_t x69, uint8_t x70 = addcarryx_u64(x67, x32, x54); + uint64_t x72, uint8_t x73 = addcarryx_u64(x70, x35, x57); + uint64_t x75, uint8_t x76 = addcarryx_u64(x73, x38, x60); uint128_t x77 = (uint128_t) x7 * x11; uint64_t x78 = (uint64_t) x77 & 0xffffffffffffffffL; uint64_t x79 = (uint64_t) (x77 >> 0x40); @@ -49,15 +49,15 @@ Interp-η uint128_t x86 = (uint128_t) x7 * x14; uint64_t x87 = (uint64_t) x86 & 0xffffffffffffffffL; uint64_t x88 = (uint64_t) (x86 >> 0x40); - uint64_t x90, bool x91 = addcarryx_u64(0x0, x79, x81); - uint64_t x93, bool x94 = addcarryx_u64(x91, x82, x84); - uint64_t x96, bool x97 = addcarryx_u64(x94, x85, x87); - uint64_t x99, bool _ = addcarryx_u64(0x0, x97, x88); - uint64_t x102, bool x103 = addcarryx_u64(0x0, x66, x78); - uint64_t x105, bool x106 = addcarryx_u64(x103, x69, x90); - uint64_t x108, bool x109 = addcarryx_u64(x106, x72, x93); - uint64_t x111, bool x112 = addcarryx_u64(x109, x75, x96); - uint64_t x114, bool x115 = addcarryx_u64(x112, x76, x99); + uint64_t x90, uint8_t x91 = addcarryx_u64(0x0, x79, x81); + uint64_t x93, uint8_t x94 = addcarryx_u64(x91, x82, x84); + uint64_t x96, uint8_t x97 = addcarryx_u64(x94, x85, x87); + uint64_t x99, uint8_t _ = addcarryx_u64(0x0, x97, x88); + uint64_t x102, uint8_t x103 = addcarryx_u64(0x0, x66, x78); + uint64_t x105, uint8_t x106 = addcarryx_u64(x103, x69, x90); + uint64_t x108, uint8_t x109 = addcarryx_u64(x106, x72, x93); + uint64_t x111, uint8_t x112 = addcarryx_u64(x109, x75, x96); + uint64_t x114, uint8_t x115 = addcarryx_u64(x112, x76, x99); uint64_t x116 = x102 & 0xffffffffffffffffL; uint128_t x117 = (uint128_t) x116 * 0xffffffffffffffffL; uint64_t x118 = (uint64_t) x117 & 0xffffffffffffffffL; @@ -68,16 +68,16 @@ Interp-η uint128_t x123 = (uint128_t) x116 * 0xffffffff00000001L; uint64_t x124 = (uint64_t) x123 & 0xffffffffffffffffL; uint64_t x125 = (uint64_t) (x123 >> 0x40); - uint64_t x127, bool x128 = addcarryx_u64(0x0, x119, x121); - uint64_t x130, bool x131 = addcarryx_u64(x128, x122, 0x0); - uint64_t x133, bool x134 = addcarryx_u64(x131, 0x0, x124); - uint64_t x136, bool _ = addcarryx_u64(0x0, x134, x125); - uint64_t _, bool x140 = addcarryx_u64(0x0, x102, x118); - uint64_t x142, bool x143 = addcarryx_u64(x140, x105, x127); - uint64_t x145, bool x146 = addcarryx_u64(x143, x108, x130); - uint64_t x148, bool x149 = addcarryx_u64(x146, x111, x133); - uint64_t x151, bool x152 = addcarryx_u64(x149, x114, x136); - uint64_t x153 = (uint64_t) 0x0 + x152 + x115; + uint64_t x127, uint8_t x128 = addcarryx_u64(0x0, x119, x121); + uint64_t x130, uint8_t x131 = addcarryx_u64(x128, x122, 0x0); + uint64_t x133, uint8_t x134 = addcarryx_u64(x131, 0x0, x124); + uint64_t x136, uint8_t _ = addcarryx_u64(0x0, x134, x125); + uint64_t _, uint8_t x140 = addcarryx_u64(0x0, x102, x118); + uint64_t x142, uint8_t x143 = addcarryx_u64(x140, x105, x127); + uint64_t x145, uint8_t x146 = addcarryx_u64(x143, x108, x130); + uint64_t x148, uint8_t x149 = addcarryx_u64(x146, x111, x133); + uint64_t x151, uint8_t x152 = addcarryx_u64(x149, x114, x136); + uint8_t x153 = x152 + x115; uint128_t x154 = (uint128_t) x9 * x11; uint64_t x155 = (uint64_t) x154 & 0xffffffffffffffffL; uint64_t x156 = (uint64_t) (x154 >> 0x40); @@ -90,15 +90,15 @@ Interp-η uint128_t x163 = (uint128_t) x9 * x14; uint64_t x164 = (uint64_t) x163 & 0xffffffffffffffffL; uint64_t x165 = (uint64_t) (x163 >> 0x40); - uint64_t x167, bool x168 = addcarryx_u64(0x0, x156, x158); - uint64_t x170, bool x171 = addcarryx_u64(x168, x159, x161); - uint64_t x173, bool x174 = addcarryx_u64(x171, x162, x164); - uint64_t x176, bool _ = addcarryx_u64(0x0, x174, x165); - uint64_t x179, bool x180 = addcarryx_u64(0x0, x142, x155); - uint64_t x182, bool x183 = addcarryx_u64(x180, x145, x167); - uint64_t x185, bool x186 = addcarryx_u64(x183, x148, x170); - uint64_t x188, bool x189 = addcarryx_u64(x186, x151, x173); - uint64_t x191, bool x192 = addcarryx_u64(x189, x153, x176); + uint64_t x167, uint8_t x168 = addcarryx_u64(0x0, x156, x158); + uint64_t x170, uint8_t x171 = addcarryx_u64(x168, x159, x161); + uint64_t x173, uint8_t x174 = addcarryx_u64(x171, x162, x164); + uint64_t x176, uint8_t _ = addcarryx_u64(0x0, x174, x165); + uint64_t x179, uint8_t x180 = addcarryx_u64(0x0, x142, x155); + uint64_t x182, uint8_t x183 = addcarryx_u64(x180, x145, x167); + uint64_t x185, uint8_t x186 = addcarryx_u64(x183, x148, x170); + uint64_t x188, uint8_t x189 = addcarryx_u64(x186, x151, x173); + uint64_t x191, uint8_t x192 = addcarryx_u64(x189, x153, x176); uint64_t x193 = x179 & 0xffffffffffffffffL; uint128_t x194 = (uint128_t) x193 * 0xffffffffffffffffL; uint64_t x195 = (uint64_t) x194 & 0xffffffffffffffffL; @@ -109,16 +109,16 @@ Interp-η uint128_t x200 = (uint128_t) x193 * 0xffffffff00000001L; uint64_t x201 = (uint64_t) x200 & 0xffffffffffffffffL; uint64_t x202 = (uint64_t) (x200 >> 0x40); - uint64_t x204, bool x205 = addcarryx_u64(0x0, x196, x198); - uint64_t x207, bool x208 = addcarryx_u64(x205, x199, 0x0); - uint64_t x210, bool x211 = addcarryx_u64(x208, 0x0, x201); - uint64_t x213, bool _ = addcarryx_u64(0x0, x211, x202); - uint64_t _, bool x217 = addcarryx_u64(0x0, x179, x195); - uint64_t x219, bool x220 = addcarryx_u64(x217, x182, x204); - uint64_t x222, bool x223 = addcarryx_u64(x220, x185, x207); - uint64_t x225, bool x226 = addcarryx_u64(x223, x188, x210); - uint64_t x228, bool x229 = addcarryx_u64(x226, x191, x213); - uint64_t x230 = (uint64_t) 0x0 + x229 + x192; + uint64_t x204, uint8_t x205 = addcarryx_u64(0x0, x196, x198); + uint64_t x207, uint8_t x208 = addcarryx_u64(x205, x199, 0x0); + uint64_t x210, uint8_t x211 = addcarryx_u64(x208, 0x0, x201); + uint64_t x213, uint8_t _ = addcarryx_u64(0x0, x211, x202); + uint64_t _, uint8_t x217 = addcarryx_u64(0x0, x179, x195); + uint64_t x219, uint8_t x220 = addcarryx_u64(x217, x182, x204); + uint64_t x222, uint8_t x223 = addcarryx_u64(x220, x185, x207); + uint64_t x225, uint8_t x226 = addcarryx_u64(x223, x188, x210); + uint64_t x228, uint8_t x229 = addcarryx_u64(x226, x191, x213); + uint8_t x230 = x229 + x192; uint128_t x231 = (uint128_t) x8 * x11; uint64_t x232 = (uint64_t) x231 & 0xffffffffffffffffL; uint64_t x233 = (uint64_t) (x231 >> 0x40); @@ -131,15 +131,15 @@ Interp-η uint128_t x240 = (uint128_t) x8 * x14; uint64_t x241 = (uint64_t) x240 & 0xffffffffffffffffL; uint64_t x242 = (uint64_t) (x240 >> 0x40); - uint64_t x244, bool x245 = addcarryx_u64(0x0, x233, x235); - uint64_t x247, bool x248 = addcarryx_u64(x245, x236, x238); - uint64_t x250, bool x251 = addcarryx_u64(x248, x239, x241); - uint64_t x253, bool _ = addcarryx_u64(0x0, x251, x242); - uint64_t x256, bool x257 = addcarryx_u64(0x0, x219, x232); - uint64_t x259, bool x260 = addcarryx_u64(x257, x222, x244); - uint64_t x262, bool x263 = addcarryx_u64(x260, x225, x247); - uint64_t x265, bool x266 = addcarryx_u64(x263, x228, x250); - uint64_t x268, bool _ = addcarryx_u64(x266, x230, x253); + uint64_t x244, uint8_t x245 = addcarryx_u64(0x0, x233, x235); + uint64_t x247, uint8_t x248 = addcarryx_u64(x245, x236, x238); + uint64_t x250, uint8_t x251 = addcarryx_u64(x248, x239, x241); + uint64_t x253, uint8_t _ = addcarryx_u64(0x0, x251, x242); + uint64_t x256, uint8_t x257 = addcarryx_u64(0x0, x219, x232); + uint64_t x259, uint8_t x260 = addcarryx_u64(x257, x222, x244); + uint64_t x262, uint8_t x263 = addcarryx_u64(x260, x225, x247); + uint64_t x265, uint8_t x266 = addcarryx_u64(x263, x228, x250); + uint64_t x268, uint8_t _ = addcarryx_u64(x266, x230, x253); uint64_t x270 = x256 & 0xffffffffffffffffL; uint128_t x271 = (uint128_t) x270 * 0xffffffffffffffffL; uint64_t x272 = (uint64_t) x271 & 0xffffffffffffffffL; @@ -150,15 +150,15 @@ Interp-η uint128_t x277 = (uint128_t) x270 * 0xffffffff00000001L; uint64_t x278 = (uint64_t) x277 & 0xffffffffffffffffL; uint64_t x279 = (uint64_t) (x277 >> 0x40); - uint64_t x281, bool x282 = addcarryx_u64(0x0, x273, x275); - uint64_t x284, bool x285 = addcarryx_u64(x282, x276, 0x0); - uint64_t x287, bool x288 = addcarryx_u64(x285, 0x0, x278); - uint64_t x290, bool _ = addcarryx_u64(0x0, x288, x279); - uint64_t _, bool x294 = addcarryx_u64(0x0, x256, x272); - uint64_t x296, bool x297 = addcarryx_u64(x294, x259, x281); - uint64_t x299, bool x300 = addcarryx_u64(x297, x262, x284); - uint64_t x302, bool x303 = addcarryx_u64(x300, x265, x287); - uint64_t x305, bool _ = addcarryx_u64(x303, x268, x290); + uint64_t x281, uint8_t x282 = addcarryx_u64(0x0, x273, x275); + uint64_t x284, uint8_t x285 = addcarryx_u64(x282, x276, 0x0); + uint64_t x287, uint8_t x288 = addcarryx_u64(x285, 0x0, x278); + uint64_t x290, uint8_t _ = addcarryx_u64(0x0, x288, x279); + uint64_t _, uint8_t x294 = addcarryx_u64(0x0, x256, x272); + uint64_t x296, uint8_t x297 = addcarryx_u64(x294, x259, x281); + uint64_t x299, uint8_t x300 = addcarryx_u64(x297, x262, x284); + uint64_t x302, uint8_t x303 = addcarryx_u64(x300, x265, x287); + uint64_t x305, uint8_t _ = addcarryx_u64(x303, x268, x290); (Return x305, Return x302, Return x299, Return x296)) (x, x0)%core : word64 * word64 * word64 * word64 → word64 * word64 * word64 * word64 → ReturnType (uint64_t * uint64_t * uint64_t * uint64_t) diff --git a/src/Specific/IntegrationTestMontgomeryP256_128Display.log b/src/Specific/IntegrationTestMontgomeryP256_128Display.log index 1a5507b36..382fb3bad 100644 --- a/src/Specific/IntegrationTestMontgomeryP256_128Display.log +++ b/src/Specific/IntegrationTestMontgomeryP256_128Display.log @@ -8,8 +8,8 @@ Interp-η uint256_t x11 = (uint256_t) x5 * x6; uint128_t x12 = (uint128_t) x11 & 0xffffffffffffffffffffffffffffffffL; uint128_t x13 = (uint128_t) (x11 >> 0x80); - uint128_t x15, bool x16 = Op (Syntax.AddWithGetCarry 128 (Syntax.TWord 0) (Syntax.TWord 7) (Syntax.TWord 7) (Syntax.TWord 7) (Syntax.TWord 0)) (0x0, Return x10, Return x12); - uint128_t x18, bool _ = Op (Syntax.AddWithGetCarry 128 (Syntax.TWord 0) (Syntax.TWord 0) (Syntax.TWord 7) (Syntax.TWord 7) (Syntax.TWord 0)) (0x0, Return x16, Return x13); + uint128_t x15, uint8_t x16 = Op (Syntax.AddWithGetCarry 128 (Syntax.TWord 3) (Syntax.TWord 7) (Syntax.TWord 7) (Syntax.TWord 7) (Syntax.TWord 3)) (0x0, Return x10, Return x12); + uint128_t x18, uint8_t _ = Op (Syntax.AddWithGetCarry 128 (Syntax.TWord 3) (Syntax.TWord 3) (Syntax.TWord 7) (Syntax.TWord 7) (Syntax.TWord 3)) (0x0, Return x16, Return x13); uint128_t x20 = x9 & 0xffffffffffffffffffffffffffffffffL; uint256_t x21 = (uint256_t) x20 * 0xffffffffffffffffffffffffL; uint128_t x22 = (uint128_t) x21 & 0xffffffffffffffffffffffffffffffffL; @@ -17,22 +17,22 @@ Interp-η uint256_t x24 = (uint256_t) x20 * 0xffffffff000000010000000000000000L; uint128_t x25 = (uint128_t) x24 & 0xffffffffffffffffffffffffffffffffL; uint128_t x26 = (uint128_t) (x24 >> 0x80); - uint128_t x28, bool x29 = Op (Syntax.AddWithGetCarry 128 (Syntax.TWord 0) (Syntax.TWord 7) (Syntax.TWord 7) (Syntax.TWord 7) (Syntax.TWord 0)) (0x0, Return x23, Return x25); - uint128_t x31, bool _ = Op (Syntax.AddWithGetCarry 128 (Syntax.TWord 0) (Syntax.TWord 0) (Syntax.TWord 7) (Syntax.TWord 7) (Syntax.TWord 0)) (0x0, Return x29, Return x26); - uint128_t _, bool x35 = Op (Syntax.AddWithGetCarry 128 (Syntax.TWord 0) (Syntax.TWord 7) (Syntax.TWord 7) (Syntax.TWord 7) (Syntax.TWord 0)) (0x0, Return x9, Return x22); - uint128_t x37, bool x38 = Op (Syntax.AddWithGetCarry 128 (Syntax.TWord 0) (Syntax.TWord 7) (Syntax.TWord 7) (Syntax.TWord 7) (Syntax.TWord 0)) (Return x35, Return x15, Return x28); - uint128_t x40, bool x41 = Op (Syntax.AddWithGetCarry 128 (Syntax.TWord 0) (Syntax.TWord 7) (Syntax.TWord 7) (Syntax.TWord 7) (Syntax.TWord 0)) (Return x38, Return x18, Return x31); + uint128_t x28, uint8_t x29 = Op (Syntax.AddWithGetCarry 128 (Syntax.TWord 3) (Syntax.TWord 7) (Syntax.TWord 7) (Syntax.TWord 7) (Syntax.TWord 3)) (0x0, Return x23, Return x25); + uint128_t x31, uint8_t _ = Op (Syntax.AddWithGetCarry 128 (Syntax.TWord 3) (Syntax.TWord 3) (Syntax.TWord 7) (Syntax.TWord 7) (Syntax.TWord 3)) (0x0, Return x29, Return x26); + uint128_t _, uint8_t x35 = Op (Syntax.AddWithGetCarry 128 (Syntax.TWord 3) (Syntax.TWord 7) (Syntax.TWord 7) (Syntax.TWord 7) (Syntax.TWord 3)) (0x0, Return x9, Return x22); + uint128_t x37, uint8_t x38 = Op (Syntax.AddWithGetCarry 128 (Syntax.TWord 3) (Syntax.TWord 7) (Syntax.TWord 7) (Syntax.TWord 7) (Syntax.TWord 3)) (Return x35, Return x15, Return x28); + uint128_t x40, uint8_t x41 = Op (Syntax.AddWithGetCarry 128 (Syntax.TWord 3) (Syntax.TWord 7) (Syntax.TWord 7) (Syntax.TWord 7) (Syntax.TWord 3)) (Return x38, Return x18, Return x31); uint256_t x42 = (uint256_t) x4 * x7; uint128_t x43 = (uint128_t) x42 & 0xffffffffffffffffffffffffffffffffL; uint128_t x44 = (uint128_t) (x42 >> 0x80); uint256_t x45 = (uint256_t) x4 * x6; uint128_t x46 = (uint128_t) x45 & 0xffffffffffffffffffffffffffffffffL; uint128_t x47 = (uint128_t) (x45 >> 0x80); - uint128_t x49, bool x50 = Op (Syntax.AddWithGetCarry 128 (Syntax.TWord 0) (Syntax.TWord 7) (Syntax.TWord 7) (Syntax.TWord 7) (Syntax.TWord 0)) (0x0, Return x44, Return x46); - uint128_t x52, bool _ = Op (Syntax.AddWithGetCarry 128 (Syntax.TWord 0) (Syntax.TWord 0) (Syntax.TWord 7) (Syntax.TWord 7) (Syntax.TWord 0)) (0x0, Return x50, Return x47); - uint128_t x55, bool x56 = Op (Syntax.AddWithGetCarry 128 (Syntax.TWord 0) (Syntax.TWord 7) (Syntax.TWord 7) (Syntax.TWord 7) (Syntax.TWord 0)) (0x0, Return x37, Return x43); - uint128_t x58, bool x59 = Op (Syntax.AddWithGetCarry 128 (Syntax.TWord 0) (Syntax.TWord 7) (Syntax.TWord 7) (Syntax.TWord 7) (Syntax.TWord 0)) (Return x56, Return x40, Return x49); - uint128_t x61, bool _ = Op (Syntax.AddWithGetCarry 128 (Syntax.TWord 0) (Syntax.TWord 0) (Syntax.TWord 7) (Syntax.TWord 7) (Syntax.TWord 0)) (Return x59, Return x41, Return x52); + uint128_t x49, uint8_t x50 = Op (Syntax.AddWithGetCarry 128 (Syntax.TWord 3) (Syntax.TWord 7) (Syntax.TWord 7) (Syntax.TWord 7) (Syntax.TWord 3)) (0x0, Return x44, Return x46); + uint128_t x52, uint8_t _ = Op (Syntax.AddWithGetCarry 128 (Syntax.TWord 3) (Syntax.TWord 3) (Syntax.TWord 7) (Syntax.TWord 7) (Syntax.TWord 3)) (0x0, Return x50, Return x47); + uint128_t x55, uint8_t x56 = Op (Syntax.AddWithGetCarry 128 (Syntax.TWord 3) (Syntax.TWord 7) (Syntax.TWord 7) (Syntax.TWord 7) (Syntax.TWord 3)) (0x0, Return x37, Return x43); + uint128_t x58, uint8_t x59 = Op (Syntax.AddWithGetCarry 128 (Syntax.TWord 3) (Syntax.TWord 7) (Syntax.TWord 7) (Syntax.TWord 7) (Syntax.TWord 3)) (Return x56, Return x40, Return x49); + uint128_t x61, uint8_t _ = Op (Syntax.AddWithGetCarry 128 (Syntax.TWord 3) (Syntax.TWord 3) (Syntax.TWord 7) (Syntax.TWord 7) (Syntax.TWord 3)) (Return x59, Return x41, Return x52); uint128_t x63 = x55 & 0xffffffffffffffffffffffffffffffffL; uint256_t x64 = (uint256_t) x63 * 0xffffffffffffffffffffffffL; uint128_t x65 = (uint128_t) x64 & 0xffffffffffffffffffffffffffffffffL; @@ -40,11 +40,11 @@ Interp-η uint256_t x67 = (uint256_t) x63 * 0xffffffff000000010000000000000000L; uint128_t x68 = (uint128_t) x67 & 0xffffffffffffffffffffffffffffffffL; uint128_t x69 = (uint128_t) (x67 >> 0x80); - uint128_t x71, bool x72 = Op (Syntax.AddWithGetCarry 128 (Syntax.TWord 0) (Syntax.TWord 7) (Syntax.TWord 7) (Syntax.TWord 7) (Syntax.TWord 0)) (0x0, Return x66, Return x68); - uint128_t x74, bool _ = Op (Syntax.AddWithGetCarry 128 (Syntax.TWord 0) (Syntax.TWord 0) (Syntax.TWord 7) (Syntax.TWord 7) (Syntax.TWord 0)) (0x0, Return x72, Return x69); - uint128_t _, bool x78 = Op (Syntax.AddWithGetCarry 128 (Syntax.TWord 0) (Syntax.TWord 7) (Syntax.TWord 7) (Syntax.TWord 7) (Syntax.TWord 0)) (0x0, Return x55, Return x65); - uint128_t x80, bool x81 = Op (Syntax.AddWithGetCarry 128 (Syntax.TWord 0) (Syntax.TWord 7) (Syntax.TWord 7) (Syntax.TWord 7) (Syntax.TWord 0)) (Return x78, Return x58, Return x71); - uint128_t x83, bool _ = Op (Syntax.AddWithGetCarry 128 (Syntax.TWord 0) (Syntax.TWord 7) (Syntax.TWord 7) (Syntax.TWord 7) (Syntax.TWord 0)) (Return x81, Return x61, Return x74); + uint128_t x71, uint8_t x72 = Op (Syntax.AddWithGetCarry 128 (Syntax.TWord 3) (Syntax.TWord 7) (Syntax.TWord 7) (Syntax.TWord 7) (Syntax.TWord 3)) (0x0, Return x66, Return x68); + uint128_t x74, uint8_t _ = Op (Syntax.AddWithGetCarry 128 (Syntax.TWord 3) (Syntax.TWord 3) (Syntax.TWord 7) (Syntax.TWord 7) (Syntax.TWord 3)) (0x0, Return x72, Return x69); + uint128_t _, uint8_t x78 = Op (Syntax.AddWithGetCarry 128 (Syntax.TWord 3) (Syntax.TWord 7) (Syntax.TWord 7) (Syntax.TWord 7) (Syntax.TWord 3)) (0x0, Return x55, Return x65); + uint128_t x80, uint8_t x81 = Op (Syntax.AddWithGetCarry 128 (Syntax.TWord 3) (Syntax.TWord 7) (Syntax.TWord 7) (Syntax.TWord 7) (Syntax.TWord 3)) (Return x78, Return x58, Return x71); + uint128_t x83, uint8_t _ = Op (Syntax.AddWithGetCarry 128 (Syntax.TWord 3) (Syntax.TWord 7) (Syntax.TWord 7) (Syntax.TWord 7) (Syntax.TWord 3)) (Return x81, Return x61, Return x74); (Return x83, Return x80)) (x, x0)%core : word128 * word128 → word128 * word128 → ReturnType (uint128_t * uint128_t) -- cgit v1.2.3