diff options
Diffstat (limited to 'src/Specific/montgomery64_2e383m421/fesubDisplay.log')
-rw-r--r-- | src/Specific/montgomery64_2e383m421/fesubDisplay.log | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/Specific/montgomery64_2e383m421/fesubDisplay.log b/src/Specific/montgomery64_2e383m421/fesubDisplay.log index cd8565d7d..f6d3bd616 100644 --- a/src/Specific/montgomery64_2e383m421/fesubDisplay.log +++ b/src/Specific/montgomery64_2e383m421/fesubDisplay.log @@ -8,7 +8,7 @@ Interp-η uint64_t x34, uint8_t x35 = subborrow_u64(x32, x11, x21); uint64_t x37, uint8_t x38 = subborrow_u64(x35, x13, x23); uint64_t x40, uint8_t x41 = subborrow_u64(x38, x12, x22); - uint64_t x42 = (uint64_t)cmovznz(x41, 0x0, 0xffffffffffffffffL); + uint64_t x42 = cmovznz64(x41, 0x0, 0xffffffffffffffffL); uint64_t x43 = (x42 & 0xfffffffffffffe5bL); uint64_t x45, uint8_t x46 = addcarryx_u64(0x0, x25, x43); uint64_t x47 = (x42 & 0xffffffffffffffffL); |