diff options
| author |  Jason Gross <jgross@mit.edu> | 2017-11-10 18:13:59 -0500 |
|---|---|---|
| committer | Jason Gross <jgross@mit.edu> | 2017-11-10 18:13:59 -0500 |
| commit | 1e5b0a76fadd9255a0ead47d1327c628160b01bd (patch) | |
| tree | 52c1b30c660dfb0c30f329295b7b46b712b88bb8 /src/Specific/solinas64_2e369m25/freezeDisplay.log | |
| parent | 6a335b31b69443cfe8ee46308eb94b299929c983 (diff) | |
Update display logs and c files
Diffstat (limited to 'src/Specific/solinas64_2e369m25/freezeDisplay.log')
| -rw-r--r-- | src/Specific/solinas64_2e369m25/freezeDisplay.log | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/Specific/solinas64_2e369m25/freezeDisplay.log b/src/Specific/solinas64_2e369m25/freezeDisplay.log index 52a4c8379..576115614 100644 --- a/src/Specific/solinas64_2e369m25/freezeDisplay.log +++ b/src/Specific/solinas64_2e369m25/freezeDisplay.log @@ -10,7 +10,7 @@ Interp-η uint64_t x31, uint8_t x32 = Op (Syntax.SubWithGetBorrow 46 (Syntax.TWord 3) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 3)) (Return x29, Return x12, 0x3fffffffffff); uint64_t x34, uint8_t x35 = Op (Syntax.SubWithGetBorrow 46 (Syntax.TWord 3) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 3)) (Return x32, Return x14, 0x3fffffffffff); uint64_t x37, uint8_t x38 = Op (Syntax.SubWithGetBorrow 46 (Syntax.TWord 3) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 3)) (Return x35, Return x13, 0x3fffffffffff); - uint64_t x39 = (uint64_t)cmovznz(x38, 0x0, 0xffffffffffffffffL); + uint64_t x39 = cmovznz64(x38, 0x0, 0xffffffffffffffffL); uint64_t x40 = (x39 & 0x7fffffffffe7); uint64_t x42, uint8_t x43 = Op (Syntax.AddWithGetCarry 47 (Syntax.TWord 3) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 3)) (0x0, Return x16, Return x40); uint64_t x44 = (x39 & 0x3fffffffffff); |