diff options
author | 2017-11-10 18:13:59 -0500 | |
---|---|---|
committer | 2017-11-10 18:13:59 -0500 | |
commit | 1e5b0a76fadd9255a0ead47d1327c628160b01bd (patch) | |
tree | 52c1b30c660dfb0c30f329295b7b46b712b88bb8 /src/Specific/solinas64_2e511m187 | |
parent | 6a335b31b69443cfe8ee46308eb94b299929c983 (diff) |
Update display logs and c files
Diffstat (limited to 'src/Specific/solinas64_2e511m187')
-rw-r--r-- | src/Specific/solinas64_2e511m187/freeze.c | 2 | ||||
-rw-r--r-- | src/Specific/solinas64_2e511m187/freezeDisplay.log | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/src/Specific/solinas64_2e511m187/freeze.c b/src/Specific/solinas64_2e511m187/freeze.c index b6e52d9b9..05758b2b3 100644 --- a/src/Specific/solinas64_2e511m187/freeze.c +++ b/src/Specific/solinas64_2e511m187/freeze.c @@ -19,7 +19,7 @@ static void freeze(uint64_t out[10], const uint64_t in1[10]) { { uint64_t x41; uint8_t x42 = _subborrow_u51(x39, x16, 0x7ffffffffffff, &x41); { uint64_t x44; uint8_t x45 = _subborrow_u51(x42, x18, 0x7ffffffffffff, &x44); { uint64_t x47; uint8_t x48 = _subborrow_u51(x45, x17, 0x7ffffffffffff, &x47); - { uint64_t x49 = (uint64_t)cmovznz(x48, 0x0, 0xffffffffffffffffL); + { uint64_t x49 = cmovznz64(x48, 0x0, 0xffffffffffffffffL); { uint64_t x50 = (x49 & 0xfffffffffff45); { uint64_t x52, uint8_t x53 = Op (Syntax.AddWithGetCarry 52 (Syntax.TWord 3) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 3)) (0x0, Return x20, Return x50); { uint64_t x54 = (x49 & 0x7ffffffffffff); diff --git a/src/Specific/solinas64_2e511m187/freezeDisplay.log b/src/Specific/solinas64_2e511m187/freezeDisplay.log index 80e06aed9..1dd7de935 100644 --- a/src/Specific/solinas64_2e511m187/freezeDisplay.log +++ b/src/Specific/solinas64_2e511m187/freezeDisplay.log @@ -12,7 +12,7 @@ Interp-η uint64_t x41, uint8_t x42 = subborrow_u51(x39, x16, 0x7ffffffffffff); uint64_t x44, uint8_t x45 = subborrow_u51(x42, x18, 0x7ffffffffffff); uint64_t x47, uint8_t x48 = subborrow_u51(x45, x17, 0x7ffffffffffff); - uint64_t x49 = (uint64_t)cmovznz(x48, 0x0, 0xffffffffffffffffL); + uint64_t x49 = cmovznz64(x48, 0x0, 0xffffffffffffffffL); uint64_t x50 = (x49 & 0xfffffffffff45); uint64_t x52, uint8_t x53 = Op (Syntax.AddWithGetCarry 52 (Syntax.TWord 3) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 3)) (0x0, Return x20, Return x50); uint64_t x54 = (x49 & 0x7ffffffffffff); |