diff options
| author |  Jason Gross <jgross@mit.edu> | 2017-11-12 21:04:21 -0500 |
|---|---|---|
| committer | Jason Gross <jgross@mit.edu> | 2017-11-12 21:04:21 -0500 |
| commit | 87f39543ffd547772d6f31d313ae64be50fe3515 (patch) | |
| tree | 6be2757afc450cd4586b30aa31045f441e019eca /src/Specific/solinas64_2e137m13_3limbs/freezeDisplay.log | |
| parent | c3279e03ecac28252d8b3aaed9af876bf8e8e55f (diff) | |
Update display logs and c files
Diffstat (limited to 'src/Specific/solinas64_2e137m13_3limbs/freezeDisplay.log')
| -rw-r--r-- | src/Specific/solinas64_2e137m13_3limbs/freezeDisplay.log | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/Specific/solinas64_2e137m13_3limbs/freezeDisplay.log b/src/Specific/solinas64_2e137m13_3limbs/freezeDisplay.log index 65caf0d76..b748f9e0f 100644 --- a/src/Specific/solinas64_2e137m13_3limbs/freezeDisplay.log +++ b/src/Specific/solinas64_2e137m13_3limbs/freezeDisplay.log @@ -2,11 +2,11 @@ Interp-η (λ var : Syntax.base_type → Type, λ '(x3, x4, x2)%core, - uint64_t x6, uint8_t x7 = Op (Syntax.SubWithGetBorrow 46 (Syntax.TWord 3) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 3)) (0x0, Return x2, Const 70368744177651); + uint64_t x6, uint8_t x7 = Op (Syntax.SubWithGetBorrow 46 (Syntax.TWord 3) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 3)) (0x0, Return x2, 0x3ffffffffff3); uint64_t x9, uint8_t x10 = Op (Syntax.SubWithGetBorrow 46 (Syntax.TWord 3) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 3)) (Return x7, Return x4, 0x3fffffffffff); uint64_t x12, uint8_t x13 = Op (Syntax.SubWithGetBorrow 45 (Syntax.TWord 3) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 3)) (Return x10, Return x3, 0x1fffffffffff); uint64_t x14 = cmovznz64(x13, 0x0, 0xffffffffffffffffL); - uint64_t x15 = (x14 & Const 70368744177651); + uint64_t x15 = (x14 & 0x3ffffffffff3); uint64_t x17, uint8_t x18 = Op (Syntax.AddWithGetCarry 46 (Syntax.TWord 3) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 3)) (0x0, Return x6, Return x15); uint64_t x19 = (x14 & 0x3fffffffffff); uint64_t x21, uint8_t x22 = Op (Syntax.AddWithGetCarry 46 (Syntax.TWord 3) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 3)) (Return x18, Return x9, Return x19); |