diff options
Diffstat (limited to 'src/Specific/solinas64_2e384m2e128m2e96p2e32m1_9limbs/freezeDisplay.log')
-rw-r--r-- | src/Specific/solinas64_2e384m2e128m2e96p2e32m1_9limbs/freezeDisplay.log | 34 |
1 files changed, 0 insertions, 34 deletions
diff --git a/src/Specific/solinas64_2e384m2e128m2e96p2e32m1_9limbs/freezeDisplay.log b/src/Specific/solinas64_2e384m2e128m2e96p2e32m1_9limbs/freezeDisplay.log deleted file mode 100644 index 8330c090c..000000000 --- a/src/Specific/solinas64_2e384m2e128m2e96p2e32m1_9limbs/freezeDisplay.log +++ /dev/null @@ -1,34 +0,0 @@ -λ x : word64 * word64 * word64 * word64 * word64 * word64 * word64 * word64 * word64, -Interp-η -(λ var : Syntax.base_type → Type, - λ '(x15, x16, x14, x12, x10, x8, x6, x4, x2)%core, - uint64_t x18, ℤ x19 = Op (Syntax.SubWithGetBorrow 43 (Syntax.TWord 3) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) Syntax.TZ) (0x0, Return x2, 0xffffffff); - uint64_t x21, ℤ x22 = Op (Syntax.SubWithGetBorrow 43 Syntax.TZ (Syntax.TWord 6) (Syntax.TWord 3) (Syntax.TWord 6) Syntax.TZ) (Return x19, Return x4, 0x0); - uint64_t x24, uint8_t x25 = Op (Syntax.SubWithGetBorrow 42 Syntax.TZ (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 3)) (Return x22, Return x6, 0x3fffffffc00); - uint64_t x27, uint8_t x28 = Op (Syntax.SubWithGetBorrow 43 (Syntax.TWord 3) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 3)) (Return x25, Return x8, 0x7fffffffffe); - uint64_t x30, uint8_t x31 = Op (Syntax.SubWithGetBorrow 43 (Syntax.TWord 3) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 3)) (Return x28, Return x10, 0x7ffffffffff); - uint64_t x33, uint8_t x34 = Op (Syntax.SubWithGetBorrow 42 (Syntax.TWord 3) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 3)) (Return x31, Return x12, 0x3ffffffffff); - uint64_t x36, uint8_t x37 = Op (Syntax.SubWithGetBorrow 43 (Syntax.TWord 3) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 3)) (Return x34, Return x14, 0x7ffffffffff); - uint64_t x39, uint8_t x40 = Op (Syntax.SubWithGetBorrow 43 (Syntax.TWord 3) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 3)) (Return x37, Return x16, 0x7ffffffffff); - uint64_t x42, uint8_t x43 = Op (Syntax.SubWithGetBorrow 42 (Syntax.TWord 3) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 3)) (Return x40, Return x15, 0x3ffffffffff); - uint64_t x44 = cmovznz64(x43, 0x0, 0xffffffffffffffffL); - uint64_t x45 = (x44 & 0xffffffff); - uint64_t x47, uint8_t x48 = Op (Syntax.AddWithGetCarry 43 (Syntax.TWord 3) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 3)) (0x0, Return x18, Return x45); - uint64_t x50, uint8_t x51 = Op (Syntax.AddWithGetCarry 43 (Syntax.TWord 3) (Syntax.TWord 6) (Syntax.TWord 3) (Syntax.TWord 6) (Syntax.TWord 3)) (Return x48, Return x21, 0x0); - uint64_t x52 = (x44 & 0x3fffffffc00); - uint64_t x54, uint8_t x55 = Op (Syntax.AddWithGetCarry 42 (Syntax.TWord 3) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 3)) (Return x51, Return x24, Return x52); - uint64_t x56 = (x44 & 0x7fffffffffe); - uint64_t x58, uint8_t x59 = Op (Syntax.AddWithGetCarry 43 (Syntax.TWord 3) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 3)) (Return x55, Return x27, Return x56); - uint64_t x60 = (x44 & 0x7ffffffffff); - uint64_t x62, uint8_t x63 = Op (Syntax.AddWithGetCarry 43 (Syntax.TWord 3) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 3)) (Return x59, Return x30, Return x60); - uint64_t x64 = (x44 & 0x3ffffffffff); - uint64_t x66, uint8_t x67 = Op (Syntax.AddWithGetCarry 42 (Syntax.TWord 3) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 3)) (Return x63, Return x33, Return x64); - uint64_t x68 = (x44 & 0x7ffffffffff); - uint64_t x70, uint8_t x71 = Op (Syntax.AddWithGetCarry 43 (Syntax.TWord 3) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 3)) (Return x67, Return x36, Return x68); - uint64_t x72 = (x44 & 0x7ffffffffff); - uint64_t x74, uint8_t x75 = Op (Syntax.AddWithGetCarry 43 (Syntax.TWord 3) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 3)) (Return x71, Return x39, Return x72); - uint64_t x76 = (x44 & 0x3ffffffffff); - uint64_t x78, uint8_t _ = Op (Syntax.AddWithGetCarry 42 (Syntax.TWord 3) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 3)) (Return x75, Return x42, Return x76); - (Return x78, Return x74, Return x70, Return x66, Return x62, Return x58, Return x54, Return x50, Return x47)) -x - : word64 * 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 * uint64_t) |