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/montgomery64_2e192m2e64m1/fesubDisplay.log | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/Specific/montgomery64_2e192m2e64m1/fesubDisplay.log') diff --git a/src/Specific/montgomery64_2e192m2e64m1/fesubDisplay.log b/src/Specific/montgomery64_2e192m2e64m1/fesubDisplay.log index 737bc5b9e..d0da94fa8 100644 --- a/src/Specific/montgomery64_2e192m2e64m1/fesubDisplay.log +++ b/src/Specific/montgomery64_2e192m2e64m1/fesubDisplay.log @@ -5,7 +5,7 @@ Interp-η uint64_t x13, uint8_t x14 = subborrow_u64(0x0, x5, x9); uint64_t x16, uint8_t x17 = subborrow_u64(x14, x7, x11); uint64_t x19, uint8_t x20 = subborrow_u64(x17, x6, x10); - uint64_t x21 = (uint64_t)cmovznz(x20, 0x0, 0xffffffffffffffffL); + uint64_t x21 = cmovznz64(x20, 0x0, 0xffffffffffffffffL); uint64_t x22 = (x21 & 0xffffffffffffffffL); uint64_t x24, uint8_t x25 = addcarryx_u64(0x0, x13, x22); uint64_t x26 = (x21 & 0xfffffffffffffffeL); -- cgit v1.2.3