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_2e256m4294968273_10limbs/freezeDisplay.log | |
| parent | a66e617f17fab0360ae52b896e5afc5fafc90902 (diff) | |
Update display logs and c files
Diffstat (limited to 'src/Specific/solinas64_2e256m4294968273_10limbs/freezeDisplay.log')
| -rw-r--r-- | src/Specific/solinas64_2e256m4294968273_10limbs/freezeDisplay.log | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/src/Specific/solinas64_2e256m4294968273_10limbs/freezeDisplay.log b/src/Specific/solinas64_2e256m4294968273_10limbs/freezeDisplay.log index 1d0b3c646..db98ea96f 100644 --- a/src/Specific/solinas64_2e256m4294968273_10limbs/freezeDisplay.log +++ b/src/Specific/solinas64_2e256m4294968273_10limbs/freezeDisplay.log @@ -2,8 +2,8 @@ Interp-η (λ var : Syntax.base_type → Type, λ '(x17, x18, x16, x14, x12, x10, x8, x6, x4, x2)%core, - uint64_t x20, uint8_t x21 = Op (Syntax.SubWithGetBorrow 26 (Syntax.TWord 3) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 3)) (0x0, Return x2, Const 67107887); - uint64_t x23, uint8_t x24 = Op (Syntax.SubWithGetBorrow 26 (Syntax.TWord 3) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 3)) (Return x21, Return x4, Const 67108799); + uint64_t x20, uint8_t x21 = Op (Syntax.SubWithGetBorrow 26 (Syntax.TWord 3) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 3)) (0x0, Return x2, 0x3fffc2f); + uint64_t x23, uint8_t x24 = Op (Syntax.SubWithGetBorrow 26 (Syntax.TWord 3) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 3)) (Return x21, Return x4, 0x3ffffbf); uint64_t x26, uint8_t x27 = Op (Syntax.SubWithGetBorrow 25 (Syntax.TWord 3) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 3)) (Return x24, Return x6, 0x1ffffff); uint64_t x29, uint8_t x30 = Op (Syntax.SubWithGetBorrow 26 (Syntax.TWord 3) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 3)) (Return x27, Return x8, 0x3ffffff); uint64_t x32, uint8_t x33 = Op (Syntax.SubWithGetBorrow 25 (Syntax.TWord 3) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 3)) (Return x30, Return x10, 0x1ffffff); @@ -13,9 +13,9 @@ Interp-η uint64_t x44, uint8_t x45 = Op (Syntax.SubWithGetBorrow 26 (Syntax.TWord 3) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 3)) (Return x42, Return x18, 0x3ffffff); uint64_t x47, uint8_t x48 = Op (Syntax.SubWithGetBorrow 25 (Syntax.TWord 3) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 3)) (Return x45, Return x17, 0x1ffffff); uint64_t x49 = cmovznz64(x48, 0x0, 0xffffffffffffffffL); - uint64_t x50 = (x49 & Const 67107887); + uint64_t x50 = (x49 & 0x3fffc2f); uint64_t x52, uint8_t x53 = Op (Syntax.AddWithGetCarry 26 (Syntax.TWord 3) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 3)) (0x0, Return x20, Return x50); - uint64_t x54 = (x49 & Const 67108799); + uint64_t x54 = (x49 & 0x3ffffbf); uint64_t x56, uint8_t x57 = Op (Syntax.AddWithGetCarry 26 (Syntax.TWord 3) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 3)) (Return x53, Return x23, Return x54); uint64_t x58 = (x49 & 0x1ffffff); uint64_t x60, uint8_t x61 = Op (Syntax.AddWithGetCarry 25 (Syntax.TWord 3) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 3)) (Return x57, Return x26, Return x58); |