diff options
Diffstat (limited to 'src/Specific/IntegrationTestMontgomeryP256_128_SubDisplay.log')
-rw-r--r-- | src/Specific/IntegrationTestMontgomeryP256_128_SubDisplay.log | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/Specific/IntegrationTestMontgomeryP256_128_SubDisplay.log b/src/Specific/IntegrationTestMontgomeryP256_128_SubDisplay.log index 576f0c6be..a26e605aa 100644 --- a/src/Specific/IntegrationTestMontgomeryP256_128_SubDisplay.log +++ b/src/Specific/IntegrationTestMontgomeryP256_128_SubDisplay.log @@ -4,7 +4,7 @@ Interp-η λ '(x4, x5, (x6, x7))%core, uint128_t x9, uint8_t x10 = subborrow_u128(0x0, x5, x7); uint128_t x12, uint8_t x13 = subborrow_u128(x10, x4, x6); - uint128_t x14 = (uint128_t) (x13 == 0 ? 0x0 : 0xffffffffffffffffffffffffffffffffL); + uint128_t x14 = (uint128_t)cmovznz(x13, 0x0, 0xffffffffffffffffffffffffffffffffL); uint128_t x15 = x14 & 0xffffffffffffffffffffffffL; uint128_t x17, uint8_t x18 = addcarryx_u128(0x0, x9, x15); uint128_t x19 = x14 & 0xffffffff000000010000000000000000L; |