diff options
Diffstat (limited to 'src/Specific/NISTP256/AMD64/IntegrationTestMontgomeryP256Display.log')
| -rw-r--r-- | src/Specific/NISTP256/AMD64/IntegrationTestMontgomeryP256Display.log | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/src/Specific/NISTP256/AMD64/IntegrationTestMontgomeryP256Display.log b/src/Specific/NISTP256/AMD64/IntegrationTestMontgomeryP256Display.log index 3c47f3fc9..ff4a0c15f 100644 --- a/src/Specific/NISTP256/AMD64/IntegrationTestMontgomeryP256Display.log +++ b/src/Specific/NISTP256/AMD64/IntegrationTestMontgomeryP256Display.log @@ -106,10 +106,10 @@ Interp-η uint64_t x314, uint8_t x315 = subborrow_u64(x312, x301, 0xffffffff00000001L); ℤ x316 = Op (Syntax.Opp (Syntax.TWord 3) Syntax.TZ) (Return x315); uint64_t _, ℤ x319 = addcarryx_u64ℤ(0x0, x316, x303); - uint64_t x320 = x319 == 0 ? x314 : x301; - uint64_t x321 = x319 == 0 ? x311 : x298; - uint64_t x322 = x319 == 0 ? x308 : x295; - uint64_t x323 = x319 == 0 ? x305 : x292; + uint64_t x320 = cmovznz(x319, x314, x301); + uint64_t x321 = cmovznz(x319, x311, x298); + uint64_t x322 = cmovznz(x319, x308, x295); + uint64_t x323 = cmovznz(x319, x305, x292); return (x320, x321, x322, x323)) (x, x0)%core : word64 * word64 * word64 * word64 → word64 * word64 * word64 * word64 → ReturnType (uint64_t * uint64_t * uint64_t * uint64_t) |