diff options
Diffstat (limited to 'src/Specific/solinas64_2e414m17_8limbs/freezeDisplay.log')
| -rw-r--r-- | src/Specific/solinas64_2e414m17_8limbs/freezeDisplay.log | 32 |
1 files changed, 0 insertions, 32 deletions
diff --git a/src/Specific/solinas64_2e414m17_8limbs/freezeDisplay.log b/src/Specific/solinas64_2e414m17_8limbs/freezeDisplay.log deleted file mode 100644 index 4f54f5473..000000000 --- a/src/Specific/solinas64_2e414m17_8limbs/freezeDisplay.log +++ /dev/null @@ -1,32 +0,0 @@ -λ x : word64 * word64 * word64 * word64 * word64 * word64 * word64 * word64, -Interp-η -(λ var : Syntax.base_type → Type, - λ '(x13, x14, x12, x10, x8, x6, x4, x2)%core, - uint64_t x16, uint8_t x17 = Op (Syntax.SubWithGetBorrow 52 (Syntax.TWord 3) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 3)) (0x0, Return x2, 0xfffffffffffef); - uint64_t x19, uint8_t x20 = Op (Syntax.SubWithGetBorrow 52 (Syntax.TWord 3) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 3)) (Return x17, Return x4, 0xfffffffffffff); - uint64_t x22, uint8_t x23 = Op (Syntax.SubWithGetBorrow 52 (Syntax.TWord 3) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 3)) (Return x20, Return x6, 0xfffffffffffff); - uint64_t x25, uint8_t x26 = subborrow_u51(x23, x8, 0x7ffffffffffff); - uint64_t x28, uint8_t x29 = Op (Syntax.SubWithGetBorrow 52 (Syntax.TWord 3) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 3)) (Return x26, Return x10, 0xfffffffffffff); - uint64_t x31, uint8_t x32 = Op (Syntax.SubWithGetBorrow 52 (Syntax.TWord 3) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 3)) (Return x29, Return x12, 0xfffffffffffff); - uint64_t x34, uint8_t x35 = Op (Syntax.SubWithGetBorrow 52 (Syntax.TWord 3) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 3)) (Return x32, Return x14, 0xfffffffffffff); - uint64_t x37, uint8_t x38 = subborrow_u51(x35, x13, 0x7ffffffffffff); - uint64_t x39 = cmovznz64(x38, 0x0, 0xffffffffffffffffL); - uint64_t x40 = (x39 & 0xfffffffffffef); - uint64_t x42, uint8_t x43 = Op (Syntax.AddWithGetCarry 52 (Syntax.TWord 3) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 3)) (0x0, Return x16, Return x40); - uint64_t x44 = (x39 & 0xfffffffffffff); - uint64_t x46, uint8_t x47 = Op (Syntax.AddWithGetCarry 52 (Syntax.TWord 3) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 3)) (Return x43, Return x19, Return x44); - uint64_t x48 = (x39 & 0xfffffffffffff); - uint64_t x50, uint8_t x51 = Op (Syntax.AddWithGetCarry 52 (Syntax.TWord 3) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 3)) (Return x47, Return x22, Return x48); - uint64_t x52 = (x39 & 0x7ffffffffffff); - uint64_t x54, uint8_t x55 = addcarryx_u51(x51, x25, x52); - uint64_t x56 = (x39 & 0xfffffffffffff); - uint64_t x58, uint8_t x59 = Op (Syntax.AddWithGetCarry 52 (Syntax.TWord 3) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 3)) (Return x55, Return x28, Return x56); - uint64_t x60 = (x39 & 0xfffffffffffff); - uint64_t x62, uint8_t x63 = Op (Syntax.AddWithGetCarry 52 (Syntax.TWord 3) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 3)) (Return x59, Return x31, Return x60); - uint64_t x64 = (x39 & 0xfffffffffffff); - uint64_t x66, uint8_t x67 = Op (Syntax.AddWithGetCarry 52 (Syntax.TWord 3) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 3)) (Return x63, Return x34, Return x64); - uint64_t x68 = (x39 & 0x7ffffffffffff); - uint64_t x70, uint8_t _ = addcarryx_u51(x67, x37, x68); - (Return x70, Return x66, Return x62, Return x58, Return x54, Return x50, Return x46, Return x42)) -x - : word64 * word64 * word64 * word64 * word64 * word64 * word64 * word64 → ReturnType (uint64_t * uint64_t * uint64_t * uint64_t * uint64_t * uint64_t * uint64_t * uint64_t) |