diff options
Diffstat (limited to 'src/Specific/montgomery32_2e137m13/feoppDisplay.log')
-rw-r--r-- | src/Specific/montgomery32_2e137m13/feoppDisplay.log | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/Specific/montgomery32_2e137m13/feoppDisplay.log b/src/Specific/montgomery32_2e137m13/feoppDisplay.log index 0d78fcafe..f1cfb1f67 100644 --- a/src/Specific/montgomery32_2e137m13/feoppDisplay.log +++ b/src/Specific/montgomery32_2e137m13/feoppDisplay.log @@ -7,7 +7,7 @@ Interp-η uint32_t x16, uint8_t x17 = subborrow_u32(x14, 0x0, x6); uint32_t x19, uint8_t x20 = subborrow_u32(x17, 0x0, x8); uint32_t x22, uint8_t x23 = subborrow_u32(x20, 0x0, x7); - uint32_t x24 = (uint32_t)cmovznz(x23, 0x0, 0xffffffff); + uint32_t x24 = cmovznz32(x23, 0x0, 0xffffffff); uint32_t x25 = (x24 & 0xfffffff3); uint32_t x27, uint8_t x28 = addcarryx_u32(0x0, x10, x25); uint32_t x29 = (x24 & 0xffffffff); |