diff options
Diffstat (limited to 'src/Specific/montgomery64_2e140m27/feoppDisplay.log')
| -rw-r--r-- | src/Specific/montgomery64_2e140m27/feoppDisplay.log | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/Specific/montgomery64_2e140m27/feoppDisplay.log b/src/Specific/montgomery64_2e140m27/feoppDisplay.log index 0c054003d..1709ee6e4 100644 --- a/src/Specific/montgomery64_2e140m27/feoppDisplay.log +++ b/src/Specific/montgomery64_2e140m27/feoppDisplay.log @@ -5,7 +5,7 @@ Interp-η uint64_t x6, uint8_t x7 = subborrow_u64(0x0, 0x0, x2); uint64_t x9, uint8_t x10 = subborrow_u64(x7, 0x0, x4); uint64_t x12, uint8_t x13 = subborrow_u64(x10, 0x0, x3); - uint64_t x14 = (uint64_t)cmovznz(x13, 0x0, 0xffffffffffffffffL); + uint64_t x14 = cmovznz64(x13, 0x0, 0xffffffffffffffffL); uint64_t x15 = (x14 & 0xffffffffffffffe5L); uint64_t x17, uint8_t x18 = addcarryx_u64(0x0, x6, x15); uint64_t x19 = (x14 & 0xffffffffffffffffL); |