diff options
| -rw-r--r-- | src/Specific/IntegrationTestMontgomeryP256Display.log | 242 |
1 files changed, 121 insertions, 121 deletions
diff --git a/src/Specific/IntegrationTestMontgomeryP256Display.log b/src/Specific/IntegrationTestMontgomeryP256Display.log index f6ee10676..6689cdec4 100644 --- a/src/Specific/IntegrationTestMontgomeryP256Display.log +++ b/src/Specific/IntegrationTestMontgomeryP256Display.log @@ -6,151 +6,151 @@ Interp-η uint64_t x20, uint64_t x21 = Op (Syntax.MulSplit 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (Return x5, Return x13); uint64_t x23, uint64_t x24 = Op (Syntax.MulSplit 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (Return x5, Return x15); uint64_t x26, uint64_t x27 = Op (Syntax.MulSplit 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (Return x5, Return x14); - uint64_t x29, uint64_t x30 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (0x0, 0x0, Return x17); - uint64_t x32, uint64_t x33 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (Return x30, Return x18, Return x20); - uint64_t x35, uint64_t x36 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (Return x33, Return x21, Return x23); - uint64_t x38, uint64_t x39 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 7) (Syntax.TWord 6) (Syntax.TWord 6)) (0x0, Return x26, Const 18446744073709551616 * x27); - uint64_t x41, uint64_t x42 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (0x0, Return x24, Return x38); + uint64_t x29, bool x30 = addcarryx_u64(0x0, 0x0, x17); + uint64_t x32, bool x33 = addcarryx_u64(x30, x18, x20); + uint64_t x35, bool x36 = addcarryx_u64(x33, x21, x23); + uint64_t x38, uint64_t x39 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 0) (Syntax.TWord 6) (Syntax.TWord 7) (Syntax.TWord 6) (Syntax.TWord 6)) (0x0, Return x26, 0x10000000000000000L * x27); + uint64_t x41, bool x42 = addcarryx_u64(0x0, x24, x38); uint64_t x43 = x39 + x42; - uint64_t x45, uint64_t x46 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (0x0, Return x36, Return x41); + uint64_t x45, bool x46 = addcarryx_u64(0x0, x36, x41); uint128_t x47 = (uint128_t) x43 + x46; - uint64_t x49, uint64_t x50 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (0x0, 0x0, Return x29); - uint64_t x52, uint64_t x53 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (Return x50, 0x0, Return x32); - uint64_t x55, uint64_t x56 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (Return x53, 0x0, Return x35); - uint64_t x58, uint64_t x59 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (Return x56, 0x0, Return x45); - uint64_t x61, uint64_t x62 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 7) (Syntax.TWord 6) (Syntax.TWord 6)) (Return x59, 0x0, Return x47); - uint64_t x64, uint64_t _ = Op (Syntax.MulSplit 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (Return x49, 0x1); + uint64_t x49, bool x50 = addcarryx_u64(0x0, 0x0, x29); + uint64_t x52, bool x53 = addcarryx_u64(x50, 0x0, x32); + uint64_t x55, bool x56 = addcarryx_u64(x53, 0x0, x35); + uint64_t x58, bool x59 = addcarryx_u64(x56, 0x0, x45); + uint64_t x61, bool x62 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 0) (Syntax.TWord 0) (Syntax.TWord 7) (Syntax.TWord 6) (Syntax.TWord 0)) (Return x59, 0x0, Return x47); + uint64_t x64, bool _ = Op (Syntax.MulSplit 64 (Syntax.TWord 6) (Syntax.TWord 0) (Syntax.TWord 6) (Syntax.TWord 0)) (Return x49, 0x1); uint64_t x67, uint64_t x68 = Op (Syntax.MulSplit 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (Return x64, 0xffffffffffffffffL); - uint64_t x70, uint64_t x71 = Op (Syntax.MulSplit 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (Return x64, Const 4294967295); - uint64_t x73, uint64_t x74 = Op (Syntax.MulSplit 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (Return x64, 0x0); - uint64_t x76, uint64_t x77 = Op (Syntax.MulSplit 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (Return x64, Const 18446744069414584321); - uint64_t x79, uint64_t x80 = Op (Syntax.MulSplit 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (Return x64, 0x0); - uint64_t x82, uint64_t x83 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (0x0, 0x0, Return x67); - uint64_t x85, uint64_t x86 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (Return x83, Return x68, Return x70); - uint64_t x88, uint64_t x89 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (Return x86, Return x71, Return x73); - uint64_t x91, uint64_t x92 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (Return x89, Return x74, Return x76); - uint64_t x94, uint64_t x95 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (0x0, Return x79, (uint64_t) (Const 18446744073709551616) * x80); - uint64_t x97, uint64_t x98 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (0x0, Return x77, Return x94); - uint64_t x99 = x95 + x98; - uint64_t x101, uint64_t x102 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (0x0, Return x92, Return x97); - uint64_t x103 = x99 + x102; - uint64_t _, uint64_t x106 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (0x0, Return x49, Return x82); - uint64_t x108, uint64_t x109 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (Return x106, Return x52, Return x85); - uint64_t x111, uint64_t x112 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (Return x109, Return x55, Return x88); - uint64_t x114, uint64_t x115 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (Return x112, Return x58, Return x91); - uint64_t x117, uint64_t x118 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (Return x115, Return x61, Return x101); - uint64_t x120, uint64_t _ = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (Return x118, Return x62, Return x103); + uint64_t x70, uint64_t x71 = Op (Syntax.MulSplit 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (Return x64, 0xffffffff); + bool x73, bool x74 = Op (Syntax.MulSplit 64 (Syntax.TWord 6) (Syntax.TWord 0) (Syntax.TWord 0) (Syntax.TWord 0)) (Return x64, 0x0); + uint64_t x76, uint64_t x77 = Op (Syntax.MulSplit 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (Return x64, 0xffffffff00000001L); + bool x79, bool x80 = Op (Syntax.MulSplit 64 (Syntax.TWord 6) (Syntax.TWord 0) (Syntax.TWord 0) (Syntax.TWord 0)) (Return x64, 0x0); + uint64_t x82, bool x83 = addcarryx_u64(0x0, 0x0, x67); + uint64_t x85, bool x86 = addcarryx_u64(x83, x68, x70); + uint64_t x88, bool x89 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 0) (Syntax.TWord 6) (Syntax.TWord 0) (Syntax.TWord 6) (Syntax.TWord 0)) (Return x86, Return x71, Return x73); + uint64_t x91, bool x92 = addcarryx_u64(x89, x74, x76); + bool x94, bool x95 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 0) (Syntax.TWord 0) (Syntax.TWord 0) (Syntax.TWord 0) (Syntax.TWord 0)) (0x0, Return x79, (bool) 0x10000000000000000L * x80); + uint64_t x97, bool x98 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 0) (Syntax.TWord 6) (Syntax.TWord 0) (Syntax.TWord 6) (Syntax.TWord 0)) (0x0, Return x77, Return x94); + bool x99 = x95 + x98; + uint64_t x101, bool x102 = addcarryx_u64(0x0, x92, x97); + bool x103 = x99 + x102; + uint64_t _, bool x106 = addcarryx_u64(0x0, x49, x82); + uint64_t x108, bool x109 = addcarryx_u64(x106, x52, x85); + uint64_t x111, bool x112 = addcarryx_u64(x109, x55, x88); + uint64_t x114, bool x115 = addcarryx_u64(x112, x58, x91); + uint64_t x117, bool x118 = addcarryx_u64(x115, x61, x101); + uint64_t x120, bool _ = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 0) (Syntax.TWord 0) (Syntax.TWord 0) (Syntax.TWord 6) (Syntax.TWord 0)) (Return x118, Return x62, Return x103); uint64_t x123, uint64_t x124 = Op (Syntax.MulSplit 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (Return x7, Return x11); uint64_t x126, uint64_t x127 = Op (Syntax.MulSplit 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (Return x7, Return x13); uint64_t x129, uint64_t x130 = Op (Syntax.MulSplit 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (Return x7, Return x15); uint64_t x132, uint64_t x133 = Op (Syntax.MulSplit 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (Return x7, Return x14); - uint64_t x135, uint64_t x136 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (0x0, 0x0, Return x123); - uint64_t x138, uint64_t x139 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (Return x136, Return x124, Return x126); - uint64_t x141, uint64_t x142 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (Return x139, Return x127, Return x129); - uint64_t x144, uint64_t x145 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 7) (Syntax.TWord 6) (Syntax.TWord 6)) (0x0, Return x132, Const 18446744073709551616 * x133); - uint64_t x147, uint64_t x148 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (0x0, Return x130, Return x144); + uint64_t x135, bool x136 = addcarryx_u64(0x0, 0x0, x123); + uint64_t x138, bool x139 = addcarryx_u64(x136, x124, x126); + uint64_t x141, bool x142 = addcarryx_u64(x139, x127, x129); + uint64_t x144, uint64_t x145 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 0) (Syntax.TWord 6) (Syntax.TWord 7) (Syntax.TWord 6) (Syntax.TWord 6)) (0x0, Return x132, 0x10000000000000000L * x133); + uint64_t x147, bool x148 = addcarryx_u64(0x0, x130, x144); uint64_t x149 = x145 + x148; - uint64_t x151, uint64_t x152 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (0x0, Return x142, Return x147); + uint64_t x151, bool x152 = addcarryx_u64(0x0, x142, x147); uint128_t x153 = (uint128_t) x149 + x152; - uint64_t x155, uint64_t x156 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (0x0, Return x108, Return x135); - uint64_t x158, uint64_t x159 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (Return x156, Return x111, Return x138); - uint64_t x161, uint64_t x162 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (Return x159, Return x114, Return x141); - uint64_t x164, uint64_t x165 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (Return x162, Return x117, Return x151); - uint64_t x167, uint64_t x168 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 7) (Syntax.TWord 6) (Syntax.TWord 6)) (Return x165, Return x120, Return x153); - uint64_t x170, uint64_t _ = Op (Syntax.MulSplit 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (Return x155, 0x1); + uint64_t x155, bool x156 = addcarryx_u64(0x0, x108, x135); + uint64_t x158, bool x159 = addcarryx_u64(x156, x111, x138); + uint64_t x161, bool x162 = addcarryx_u64(x159, x114, x141); + uint64_t x164, bool x165 = addcarryx_u64(x162, x117, x151); + uint64_t x167, bool x168 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 0) (Syntax.TWord 6) (Syntax.TWord 7) (Syntax.TWord 6) (Syntax.TWord 0)) (Return x165, Return x120, Return x153); + uint64_t x170, bool _ = Op (Syntax.MulSplit 64 (Syntax.TWord 6) (Syntax.TWord 0) (Syntax.TWord 6) (Syntax.TWord 0)) (Return x155, 0x1); uint64_t x173, uint64_t x174 = Op (Syntax.MulSplit 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (Return x170, 0xffffffffffffffffL); - uint64_t x176, uint64_t x177 = Op (Syntax.MulSplit 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (Return x170, Const 4294967295); - uint64_t x179, uint64_t x180 = Op (Syntax.MulSplit 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (Return x170, 0x0); - uint64_t x182, uint64_t x183 = Op (Syntax.MulSplit 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (Return x170, Const 18446744069414584321); - uint64_t x185, uint64_t x186 = Op (Syntax.MulSplit 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (Return x170, 0x0); - uint64_t x188, uint64_t x189 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (0x0, 0x0, Return x173); - uint64_t x191, uint64_t x192 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (Return x189, Return x174, Return x176); - uint64_t x194, uint64_t x195 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (Return x192, Return x177, Return x179); - uint64_t x197, uint64_t x198 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (Return x195, Return x180, Return x182); - uint64_t x200, uint64_t x201 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (0x0, Return x185, (uint64_t) (Const 18446744073709551616) * x186); - uint64_t x203, uint64_t x204 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (0x0, Return x183, Return x200); - uint64_t x205 = x201 + x204; - uint64_t x207, uint64_t x208 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (0x0, Return x198, Return x203); - uint64_t x209 = x205 + x208; - uint64_t _, uint64_t x212 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (0x0, Return x155, Return x188); - uint64_t x214, uint64_t x215 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (Return x212, Return x158, Return x191); - uint64_t x217, uint64_t x218 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (Return x215, Return x161, Return x194); - uint64_t x220, uint64_t x221 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (Return x218, Return x164, Return x197); - uint64_t x223, uint64_t x224 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (Return x221, Return x167, Return x207); - uint64_t x226, uint64_t _ = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (Return x224, Return x168, Return x209); + uint64_t x176, uint64_t x177 = Op (Syntax.MulSplit 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (Return x170, 0xffffffff); + bool x179, bool x180 = Op (Syntax.MulSplit 64 (Syntax.TWord 6) (Syntax.TWord 0) (Syntax.TWord 0) (Syntax.TWord 0)) (Return x170, 0x0); + uint64_t x182, uint64_t x183 = Op (Syntax.MulSplit 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (Return x170, 0xffffffff00000001L); + bool x185, bool x186 = Op (Syntax.MulSplit 64 (Syntax.TWord 6) (Syntax.TWord 0) (Syntax.TWord 0) (Syntax.TWord 0)) (Return x170, 0x0); + uint64_t x188, bool x189 = addcarryx_u64(0x0, 0x0, x173); + uint64_t x191, bool x192 = addcarryx_u64(x189, x174, x176); + uint64_t x194, bool x195 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 0) (Syntax.TWord 6) (Syntax.TWord 0) (Syntax.TWord 6) (Syntax.TWord 0)) (Return x192, Return x177, Return x179); + uint64_t x197, bool x198 = addcarryx_u64(x195, x180, x182); + bool x200, bool x201 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 0) (Syntax.TWord 0) (Syntax.TWord 0) (Syntax.TWord 0) (Syntax.TWord 0)) (0x0, Return x185, (bool) 0x10000000000000000L * x186); + uint64_t x203, bool x204 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 0) (Syntax.TWord 6) (Syntax.TWord 0) (Syntax.TWord 6) (Syntax.TWord 0)) (0x0, Return x183, Return x200); + bool x205 = x201 + x204; + uint64_t x207, bool x208 = addcarryx_u64(0x0, x198, x203); + bool x209 = x205 + x208; + uint64_t _, bool x212 = addcarryx_u64(0x0, x155, x188); + uint64_t x214, bool x215 = addcarryx_u64(x212, x158, x191); + uint64_t x217, bool x218 = addcarryx_u64(x215, x161, x194); + uint64_t x220, bool x221 = addcarryx_u64(x218, x164, x197); + uint64_t x223, bool x224 = addcarryx_u64(x221, x167, x207); + uint64_t x226, bool _ = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 0) (Syntax.TWord 0) (Syntax.TWord 0) (Syntax.TWord 6) (Syntax.TWord 0)) (Return x224, Return x168, Return x209); uint64_t x229, uint64_t x230 = Op (Syntax.MulSplit 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (Return x9, Return x11); uint64_t x232, uint64_t x233 = Op (Syntax.MulSplit 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (Return x9, Return x13); uint64_t x235, uint64_t x236 = Op (Syntax.MulSplit 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (Return x9, Return x15); uint64_t x238, uint64_t x239 = Op (Syntax.MulSplit 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (Return x9, Return x14); - uint64_t x241, uint64_t x242 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (0x0, 0x0, Return x229); - uint64_t x244, uint64_t x245 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (Return x242, Return x230, Return x232); - uint64_t x247, uint64_t x248 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (Return x245, Return x233, Return x235); - uint64_t x250, uint64_t x251 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 7) (Syntax.TWord 6) (Syntax.TWord 6)) (0x0, Return x238, Const 18446744073709551616 * x239); - uint64_t x253, uint64_t x254 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (0x0, Return x236, Return x250); + uint64_t x241, bool x242 = addcarryx_u64(0x0, 0x0, x229); + uint64_t x244, bool x245 = addcarryx_u64(x242, x230, x232); + uint64_t x247, bool x248 = addcarryx_u64(x245, x233, x235); + uint64_t x250, uint64_t x251 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 0) (Syntax.TWord 6) (Syntax.TWord 7) (Syntax.TWord 6) (Syntax.TWord 6)) (0x0, Return x238, 0x10000000000000000L * x239); + uint64_t x253, bool x254 = addcarryx_u64(0x0, x236, x250); uint64_t x255 = x251 + x254; - uint64_t x257, uint64_t x258 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (0x0, Return x248, Return x253); + uint64_t x257, bool x258 = addcarryx_u64(0x0, x248, x253); uint128_t x259 = (uint128_t) x255 + x258; - uint64_t x261, uint64_t x262 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (0x0, Return x214, Return x241); - uint64_t x264, uint64_t x265 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (Return x262, Return x217, Return x244); - uint64_t x267, uint64_t x268 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (Return x265, Return x220, Return x247); - uint64_t x270, uint64_t x271 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (Return x268, Return x223, Return x257); - uint64_t x273, uint64_t x274 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 7) (Syntax.TWord 6) (Syntax.TWord 6)) (Return x271, Return x226, Return x259); - uint64_t x276, uint64_t _ = Op (Syntax.MulSplit 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (Return x261, 0x1); + uint64_t x261, bool x262 = addcarryx_u64(0x0, x214, x241); + uint64_t x264, bool x265 = addcarryx_u64(x262, x217, x244); + uint64_t x267, bool x268 = addcarryx_u64(x265, x220, x247); + uint64_t x270, bool x271 = addcarryx_u64(x268, x223, x257); + uint64_t x273, bool x274 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 0) (Syntax.TWord 6) (Syntax.TWord 7) (Syntax.TWord 6) (Syntax.TWord 0)) (Return x271, Return x226, Return x259); + uint64_t x276, bool _ = Op (Syntax.MulSplit 64 (Syntax.TWord 6) (Syntax.TWord 0) (Syntax.TWord 6) (Syntax.TWord 0)) (Return x261, 0x1); uint64_t x279, uint64_t x280 = Op (Syntax.MulSplit 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (Return x276, 0xffffffffffffffffL); - uint64_t x282, uint64_t x283 = Op (Syntax.MulSplit 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (Return x276, Const 4294967295); - uint64_t x285, uint64_t x286 = Op (Syntax.MulSplit 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (Return x276, 0x0); - uint64_t x288, uint64_t x289 = Op (Syntax.MulSplit 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (Return x276, Const 18446744069414584321); - uint64_t x291, uint64_t x292 = Op (Syntax.MulSplit 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (Return x276, 0x0); - uint64_t x294, uint64_t x295 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (0x0, 0x0, Return x279); - uint64_t x297, uint64_t x298 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (Return x295, Return x280, Return x282); - uint64_t x300, uint64_t x301 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (Return x298, Return x283, Return x285); - uint64_t x303, uint64_t x304 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (Return x301, Return x286, Return x288); - uint64_t x306, uint64_t x307 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (0x0, Return x291, (uint64_t) (Const 18446744073709551616) * x292); - uint64_t x309, uint64_t x310 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (0x0, Return x289, Return x306); - uint64_t x311 = x307 + x310; - uint64_t x313, uint64_t x314 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (0x0, Return x304, Return x309); - uint64_t x315 = x311 + x314; - uint64_t _, uint64_t x318 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (0x0, Return x261, Return x294); - uint64_t x320, uint64_t x321 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (Return x318, Return x264, Return x297); - uint64_t x323, uint64_t x324 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (Return x321, Return x267, Return x300); - uint64_t x326, uint64_t x327 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (Return x324, Return x270, Return x303); - uint64_t x329, uint64_t x330 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (Return x327, Return x273, Return x313); - uint64_t x332, uint64_t _ = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (Return x330, Return x274, Return x315); + uint64_t x282, uint64_t x283 = Op (Syntax.MulSplit 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (Return x276, 0xffffffff); + bool x285, bool x286 = Op (Syntax.MulSplit 64 (Syntax.TWord 6) (Syntax.TWord 0) (Syntax.TWord 0) (Syntax.TWord 0)) (Return x276, 0x0); + uint64_t x288, uint64_t x289 = Op (Syntax.MulSplit 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (Return x276, 0xffffffff00000001L); + bool x291, bool x292 = Op (Syntax.MulSplit 64 (Syntax.TWord 6) (Syntax.TWord 0) (Syntax.TWord 0) (Syntax.TWord 0)) (Return x276, 0x0); + uint64_t x294, bool x295 = addcarryx_u64(0x0, 0x0, x279); + uint64_t x297, bool x298 = addcarryx_u64(x295, x280, x282); + uint64_t x300, bool x301 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 0) (Syntax.TWord 6) (Syntax.TWord 0) (Syntax.TWord 6) (Syntax.TWord 0)) (Return x298, Return x283, Return x285); + uint64_t x303, bool x304 = addcarryx_u64(x301, x286, x288); + bool x306, bool x307 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 0) (Syntax.TWord 0) (Syntax.TWord 0) (Syntax.TWord 0) (Syntax.TWord 0)) (0x0, Return x291, (bool) 0x10000000000000000L * x292); + uint64_t x309, bool x310 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 0) (Syntax.TWord 6) (Syntax.TWord 0) (Syntax.TWord 6) (Syntax.TWord 0)) (0x0, Return x289, Return x306); + bool x311 = x307 + x310; + uint64_t x313, bool x314 = addcarryx_u64(0x0, x304, x309); + bool x315 = x311 + x314; + uint64_t _, bool x318 = addcarryx_u64(0x0, x261, x294); + uint64_t x320, bool x321 = addcarryx_u64(x318, x264, x297); + uint64_t x323, bool x324 = addcarryx_u64(x321, x267, x300); + uint64_t x326, bool x327 = addcarryx_u64(x324, x270, x303); + uint64_t x329, bool x330 = addcarryx_u64(x327, x273, x313); + uint64_t x332, bool _ = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 0) (Syntax.TWord 0) (Syntax.TWord 0) (Syntax.TWord 6) (Syntax.TWord 0)) (Return x330, Return x274, Return x315); uint64_t x335, uint64_t x336 = Op (Syntax.MulSplit 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (Return x8, Return x11); uint64_t x338, uint64_t x339 = Op (Syntax.MulSplit 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (Return x8, Return x13); uint64_t x341, uint64_t x342 = Op (Syntax.MulSplit 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (Return x8, Return x15); uint64_t x344, uint64_t x345 = Op (Syntax.MulSplit 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (Return x8, Return x14); - uint64_t x347, uint64_t x348 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (0x0, 0x0, Return x335); - uint64_t x350, uint64_t x351 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (Return x348, Return x336, Return x338); - uint64_t x353, uint64_t x354 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (Return x351, Return x339, Return x341); - uint64_t x356, uint64_t x357 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 7) (Syntax.TWord 6) (Syntax.TWord 6)) (0x0, Return x344, Const 18446744073709551616 * x345); - uint64_t x359, uint64_t x360 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (0x0, Return x342, Return x356); + uint64_t x347, bool x348 = addcarryx_u64(0x0, 0x0, x335); + uint64_t x350, bool x351 = addcarryx_u64(x348, x336, x338); + uint64_t x353, bool x354 = addcarryx_u64(x351, x339, x341); + uint64_t x356, uint64_t x357 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 0) (Syntax.TWord 6) (Syntax.TWord 7) (Syntax.TWord 6) (Syntax.TWord 6)) (0x0, Return x344, 0x10000000000000000L * x345); + uint64_t x359, bool x360 = addcarryx_u64(0x0, x342, x356); uint64_t x361 = x357 + x360; - uint64_t x363, uint64_t x364 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (0x0, Return x354, Return x359); + uint64_t x363, bool x364 = addcarryx_u64(0x0, x354, x359); uint128_t x365 = (uint128_t) x361 + x364; - uint64_t x367, uint64_t x368 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (0x0, Return x320, Return x347); - uint64_t x370, uint64_t x371 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (Return x368, Return x323, Return x350); - uint64_t x373, uint64_t x374 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (Return x371, Return x326, Return x353); - uint64_t x376, uint64_t x377 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (Return x374, Return x329, Return x363); - uint64_t x379, uint64_t _ = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 7) (Syntax.TWord 6) (Syntax.TWord 6)) (Return x377, Return x332, Return x365); - uint64_t x382, uint64_t _ = Op (Syntax.MulSplit 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (Return x367, 0x1); + uint64_t x367, bool x368 = addcarryx_u64(0x0, x320, x347); + uint64_t x370, bool x371 = addcarryx_u64(x368, x323, x350); + uint64_t x373, bool x374 = addcarryx_u64(x371, x326, x353); + uint64_t x376, bool x377 = addcarryx_u64(x374, x329, x363); + uint64_t x379, bool _ = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 0) (Syntax.TWord 6) (Syntax.TWord 7) (Syntax.TWord 6) (Syntax.TWord 0)) (Return x377, Return x332, Return x365); + uint64_t x382, bool _ = Op (Syntax.MulSplit 64 (Syntax.TWord 6) (Syntax.TWord 0) (Syntax.TWord 6) (Syntax.TWord 0)) (Return x367, 0x1); uint64_t x385, uint64_t x386 = Op (Syntax.MulSplit 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (Return x382, 0xffffffffffffffffL); - uint64_t x388, uint64_t x389 = Op (Syntax.MulSplit 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (Return x382, Const 4294967295); - uint64_t x391, uint64_t x392 = Op (Syntax.MulSplit 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (Return x382, 0x0); - uint64_t x394, uint64_t x395 = Op (Syntax.MulSplit 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (Return x382, Const 18446744069414584321); - uint64_t x397, uint64_t x398 = Op (Syntax.MulSplit 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (Return x382, 0x0); - uint64_t x400, uint64_t x401 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (0x0, 0x0, Return x385); - uint64_t x403, uint64_t x404 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (Return x401, Return x386, Return x388); - uint64_t x406, uint64_t x407 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (Return x404, Return x389, Return x391); - uint64_t x409, uint64_t x410 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (Return x407, Return x392, Return x394); - uint64_t x412, uint64_t _ = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (0x0, Return x397, (uint64_t) (Const 18446744073709551616) * x398); - uint64_t x415, uint64_t _ = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (0x0, Return x395, Return x412); - uint64_t x418, uint64_t _ = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (0x0, Return x410, Return x415); - uint64_t _, uint64_t x422 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (0x0, Return x367, Return x400); - uint64_t x424, uint64_t x425 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (Return x422, Return x370, Return x403); - uint64_t x427, uint64_t x428 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (Return x425, Return x373, Return x406); - uint64_t x430, uint64_t x431 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (Return x428, Return x376, Return x409); - uint64_t x433, uint64_t _ = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (Return x431, Return x379, Return x418); + uint64_t x388, uint64_t x389 = Op (Syntax.MulSplit 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (Return x382, 0xffffffff); + bool x391, bool x392 = Op (Syntax.MulSplit 64 (Syntax.TWord 6) (Syntax.TWord 0) (Syntax.TWord 0) (Syntax.TWord 0)) (Return x382, 0x0); + uint64_t x394, uint64_t x395 = Op (Syntax.MulSplit 64 (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6)) (Return x382, 0xffffffff00000001L); + bool x397, bool x398 = Op (Syntax.MulSplit 64 (Syntax.TWord 6) (Syntax.TWord 0) (Syntax.TWord 0) (Syntax.TWord 0)) (Return x382, 0x0); + uint64_t x400, bool x401 = addcarryx_u64(0x0, 0x0, x385); + uint64_t x403, bool x404 = addcarryx_u64(x401, x386, x388); + uint64_t x406, bool x407 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 0) (Syntax.TWord 6) (Syntax.TWord 0) (Syntax.TWord 6) (Syntax.TWord 0)) (Return x404, Return x389, Return x391); + uint64_t x409, bool x410 = addcarryx_u64(x407, x392, x394); + bool x412, bool _ = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 0) (Syntax.TWord 0) (Syntax.TWord 0) (Syntax.TWord 0) (Syntax.TWord 0)) (0x0, Return x397, (bool) 0x10000000000000000L * x398); + uint64_t x415, bool _ = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 0) (Syntax.TWord 6) (Syntax.TWord 0) (Syntax.TWord 6) (Syntax.TWord 0)) (0x0, Return x395, Return x412); + uint64_t x418, bool _ = addcarryx_u64(0x0, x410, x415); + uint64_t _, bool x422 = addcarryx_u64(0x0, x367, x400); + uint64_t x424, bool x425 = addcarryx_u64(x422, x370, x403); + uint64_t x427, bool x428 = addcarryx_u64(x425, x373, x406); + uint64_t x430, bool x431 = addcarryx_u64(x428, x376, x409); + uint64_t x433, bool _ = addcarryx_u64(x431, x379, x418); (Return x433, Return x430, Return x427, Return x424)) (x, x0)%core : word64 * word64 * word64 * word64 → word64 * word64 * word64 * word64 → ReturnType (uint64_t * uint64_t * uint64_t * uint64_t) |