diff options
Diffstat (limited to 'src/Specific/IntegrationTestMontgomeryP256_128Display.log')
-rw-r--r-- | src/Specific/IntegrationTestMontgomeryP256_128Display.log | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/Specific/IntegrationTestMontgomeryP256_128Display.log b/src/Specific/IntegrationTestMontgomeryP256_128Display.log index ff714ff16..a33e1e90e 100644 --- a/src/Specific/IntegrationTestMontgomeryP256_128Display.log +++ b/src/Specific/IntegrationTestMontgomeryP256_128Display.log @@ -34,8 +34,8 @@ Interp-η uint128_t x94, uint8_t x95 = subborrow_u128(x92, x87, 0xffffffff000000010000000000000000L); ℤ x96 = Op (Syntax.Opp (Syntax.TWord 3) Syntax.TZ) (Return x95); uint128_t _, ℤ x99 = addcarryx_u128ℤ(0x0, x96, x89); - uint128_t x100 = x99 == 0 ? x94 : x87; - uint128_t x101 = x99 == 0 ? x91 : x84; + uint128_t x100 = cmovznz(x99, x94, x87); + uint128_t x101 = cmovznz(x99, x91, x84); return (x100, x101)) (x, x0)%core : word128 * word128 → word128 * word128 → ReturnType (uint128_t * uint128_t) |