diff options
Diffstat (limited to 'src/Specific/solinas64_2e401m31_7limbs/freezeDisplay.log')
| -rw-r--r-- | src/Specific/solinas64_2e401m31_7limbs/freezeDisplay.log | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/Specific/solinas64_2e401m31_7limbs/freezeDisplay.log b/src/Specific/solinas64_2e401m31_7limbs/freezeDisplay.log index 7beef5a2d..793a37ad2 100644 --- a/src/Specific/solinas64_2e401m31_7limbs/freezeDisplay.log +++ b/src/Specific/solinas64_2e401m31_7limbs/freezeDisplay.log @@ -2,7 +2,7 @@ Interp-η (λ var : Syntax.base_type → Type, λ '(x11, x12, x10, x8, x6, x4, x2)%core, - uint64_t x14, uint8_t x15 = Op (Syntax.SubWithGetBorrow 58 (Syntax.TWord 3) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 3)) (0x0, Return x2, Const 288230376151711713); + uint64_t x14, uint8_t x15 = Op (Syntax.SubWithGetBorrow 58 (Syntax.TWord 3) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 3)) (0x0, Return x2, 0x3ffffffffffffe1); uint64_t x17, uint8_t x18 = Op (Syntax.SubWithGetBorrow 57 (Syntax.TWord 3) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 3)) (Return x15, Return x4, 0x1ffffffffffffff); uint64_t x20, uint8_t x21 = Op (Syntax.SubWithGetBorrow 57 (Syntax.TWord 3) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 3)) (Return x18, Return x6, 0x1ffffffffffffff); uint64_t x23, uint8_t x24 = Op (Syntax.SubWithGetBorrow 58 (Syntax.TWord 3) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 3)) (Return x21, Return x8, 0x3ffffffffffffff); @@ -10,7 +10,7 @@ Interp-η uint64_t x29, uint8_t x30 = Op (Syntax.SubWithGetBorrow 57 (Syntax.TWord 3) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 3)) (Return x27, Return x12, 0x1ffffffffffffff); uint64_t x32, uint8_t x33 = Op (Syntax.SubWithGetBorrow 57 (Syntax.TWord 3) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 3)) (Return x30, Return x11, 0x1ffffffffffffff); uint64_t x34 = cmovznz64(x33, 0x0, 0xffffffffffffffffL); - uint64_t x35 = (x34 & Const 288230376151711713); + uint64_t x35 = (x34 & 0x3ffffffffffffe1); uint64_t x37, uint8_t x38 = Op (Syntax.AddWithGetCarry 58 (Syntax.TWord 3) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 3)) (0x0, Return x14, Return x35); uint64_t x39 = (x34 & 0x1ffffffffffffff); uint64_t x41, uint8_t x42 = Op (Syntax.AddWithGetCarry 57 (Syntax.TWord 3) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 3)) (Return x38, Return x17, Return x39); |