diff options
Diffstat (limited to 'src/Specific/montgomery64_2e384m2e128m2e96p2e32m1/fesubDisplay.log')
-rw-r--r-- | src/Specific/montgomery64_2e384m2e128m2e96p2e32m1/fesubDisplay.log | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/Specific/montgomery64_2e384m2e128m2e96p2e32m1/fesubDisplay.log b/src/Specific/montgomery64_2e384m2e128m2e96p2e32m1/fesubDisplay.log index 52f8cdef4..63da9b2f5 100644 --- a/src/Specific/montgomery64_2e384m2e128m2e96p2e32m1/fesubDisplay.log +++ b/src/Specific/montgomery64_2e384m2e128m2e96p2e32m1/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 & 0xffffffff); uint64_t x45, uint8_t x46 = addcarryx_u64(0x0, x25, x43); uint64_t x47 = (x42 & 0xffffffff00000000L); |