diff options
Diffstat (limited to 'src/Specific/montgomery32_2e129m25/femulDisplay.log')
-rw-r--r-- | src/Specific/montgomery32_2e129m25/femulDisplay.log | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/src/Specific/montgomery32_2e129m25/femulDisplay.log b/src/Specific/montgomery32_2e129m25/femulDisplay.log index 96d487ed2..15f5ce352 100644 --- a/src/Specific/montgomery32_2e129m25/femulDisplay.log +++ b/src/Specific/montgomery32_2e129m25/femulDisplay.log @@ -161,11 +161,11 @@ Interp-η uint32_t x481, uint8_t x482 = subborrow_u32(x479, x465, 0xffffffff); uint32_t x484, uint8_t x485 = subborrow_u32(x482, x468, 0x1); uint32_t _, uint8_t x488 = subborrow_u32(x485, x470, 0x0); - uint32_t x489 = cmovznz(x488, x484, x468); - uint32_t x490 = cmovznz(x488, x481, x465); - uint32_t x491 = cmovznz(x488, x478, x462); - uint32_t x492 = cmovznz(x488, x475, x459); - uint32_t x493 = cmovznz(x488, x472, x456); + uint32_t x489 = cmovznz32(x488, x484, x468); + uint32_t x490 = cmovznz32(x488, x481, x465); + uint32_t x491 = cmovznz32(x488, x478, x462); + uint32_t x492 = cmovznz32(x488, x475, x459); + uint32_t x493 = cmovznz32(x488, x472, x456); return (x489, x490, x491, x492, x493)) (x, x0)%core : word32 * word32 * word32 * word32 * word32 → word32 * word32 * word32 * word32 * word32 → ReturnType (uint32_t * uint32_t * uint32_t * uint32_t * uint32_t) |