From 1e5b0a76fadd9255a0ead47d1327c628160b01bd Mon Sep 17 00:00:00 2001 From: Jason Gross Date: Fri, 10 Nov 2017 18:13:59 -0500 Subject: Update display logs and c files --- src/Specific/solinas64_2e512m569/freeze.c | 2 +- src/Specific/solinas64_2e512m569/freezeDisplay.log | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) (limited to 'src/Specific/solinas64_2e512m569') diff --git a/src/Specific/solinas64_2e512m569/freeze.c b/src/Specific/solinas64_2e512m569/freeze.c index af890dae2..6f4db7541 100644 --- a/src/Specific/solinas64_2e512m569/freeze.c +++ b/src/Specific/solinas64_2e512m569/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 & 0xffffffffffdc7); { 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_2e512m569/freezeDisplay.log b/src/Specific/solinas64_2e512m569/freezeDisplay.log index 59e5bbcf0..c78c962ee 100644 --- a/src/Specific/solinas64_2e512m569/freezeDisplay.log +++ b/src/Specific/solinas64_2e512m569/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 & 0xffffffffffdc7); 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); -- cgit v1.2.3