diff options
| author |  Jason Gross <jgross@mit.edu> | 2017-11-12 23:35:43 -0500 |
|---|---|---|
| committer | Jason Gross <jgross@mit.edu> | 2017-11-12 23:35:43 -0500 |
| commit | b671976eb2364b6d41cc3e450c2570558a0161ec (patch) | |
| tree | 398df5d4e8c7149c9ba902b37cf42e120d07dedb /src/Specific/solinas64_2e389m21_7limbs/freezeDisplay.log | |
| parent | a66e617f17fab0360ae52b896e5afc5fafc90902 (diff) | |
Update display logs and c files
Diffstat (limited to 'src/Specific/solinas64_2e389m21_7limbs/freezeDisplay.log')
| -rw-r--r-- | src/Specific/solinas64_2e389m21_7limbs/freezeDisplay.log | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/Specific/solinas64_2e389m21_7limbs/freezeDisplay.log b/src/Specific/solinas64_2e389m21_7limbs/freezeDisplay.log index cfcad77e9..de72e2155 100644 --- a/src/Specific/solinas64_2e389m21_7limbs/freezeDisplay.log +++ b/src/Specific/solinas64_2e389m21_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 56 (Syntax.TWord 3) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 3)) (0x0, Return x2, Const 72057594037927915); + uint64_t x14, uint8_t x15 = Op (Syntax.SubWithGetBorrow 56 (Syntax.TWord 3) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 3)) (0x0, Return x2, 0xffffffffffffeb); uint64_t x17, uint8_t x18 = Op (Syntax.SubWithGetBorrow 56 (Syntax.TWord 3) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 3)) (Return x15, Return x4, 0xffffffffffffff); uint64_t x20, uint8_t x21 = Op (Syntax.SubWithGetBorrow 55 (Syntax.TWord 3) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 3)) (Return x18, Return x6, 0x7fffffffffffff); uint64_t x23, uint8_t x24 = Op (Syntax.SubWithGetBorrow 56 (Syntax.TWord 3) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 3)) (Return x21, Return x8, 0xffffffffffffff); @@ -10,7 +10,7 @@ Interp-η uint64_t x29, uint8_t x30 = Op (Syntax.SubWithGetBorrow 56 (Syntax.TWord 3) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 3)) (Return x27, Return x12, 0xffffffffffffff); uint64_t x32, uint8_t x33 = Op (Syntax.SubWithGetBorrow 55 (Syntax.TWord 3) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 3)) (Return x30, Return x11, 0x7fffffffffffff); uint64_t x34 = cmovznz64(x33, 0x0, 0xffffffffffffffffL); - uint64_t x35 = (x34 & Const 72057594037927915); + uint64_t x35 = (x34 & 0xffffffffffffeb); uint64_t x37, uint8_t x38 = Op (Syntax.AddWithGetCarry 56 (Syntax.TWord 3) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 3)) (0x0, Return x14, Return x35); uint64_t x39 = (x34 & 0xffffffffffffff); uint64_t x41, uint8_t x42 = Op (Syntax.AddWithGetCarry 56 (Syntax.TWord 3) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 3)) (Return x38, Return x17, Return x39); |