diff options
Diffstat (limited to 'src/Specific/NISTP256')
4 files changed, 10 insertions, 10 deletions
diff --git a/src/Specific/NISTP256/AMD64/IntegrationTestMontgomeryP256Display.log b/src/Specific/NISTP256/AMD64/IntegrationTestMontgomeryP256Display.log index 1dc1b7ba3..982d44aaf 100644 --- a/src/Specific/NISTP256/AMD64/IntegrationTestMontgomeryP256Display.log +++ b/src/Specific/NISTP256/AMD64/IntegrationTestMontgomeryP256Display.log @@ -105,10 +105,10 @@ Interp-η uint64_t x311, uint8_t x312 = subborrow_u64(x309, x298, 0x0); uint64_t x314, uint8_t x315 = subborrow_u64(x312, x301, 0xffffffff00000001L); uint64_t _, uint8_t x318 = subborrow_u64(x315, x303, 0x0); - uint64_t x319 = x318 == 0 ? x314 : x301; - uint64_t x320 = x318 == 0 ? x311 : x298; - uint64_t x321 = x318 == 0 ? x308 : x295; - uint64_t x322 = x318 == 0 ? x305 : x292; + uint64_t x319 = cmovznz(x318, x314, x301); + uint64_t x320 = cmovznz(x318, x311, x298); + uint64_t x321 = cmovznz(x318, x308, x295); + uint64_t x322 = cmovznz(x318, x305, x292); return (x319, x320, x321, x322)) (x, x0)%core : word64 * word64 * word64 * word64 → word64 * word64 * word64 * word64 → ReturnType (uint64_t * uint64_t * uint64_t * uint64_t) diff --git a/src/Specific/NISTP256/AMD64/IntegrationTestMontgomeryP256_AddDisplay.log b/src/Specific/NISTP256/AMD64/IntegrationTestMontgomeryP256_AddDisplay.log index e6498cf83..ba7a2f50d 100644 --- a/src/Specific/NISTP256/AMD64/IntegrationTestMontgomeryP256_AddDisplay.log +++ b/src/Specific/NISTP256/AMD64/IntegrationTestMontgomeryP256_AddDisplay.log @@ -11,10 +11,10 @@ Interp-η uint64_t x35, uint8_t x36 = subborrow_u64(x33, x23, 0x0); uint64_t x38, uint8_t x39 = subborrow_u64(x36, x26, 0xffffffff00000001L); uint64_t _, uint8_t x42 = subborrow_u64(x39, x27, 0x0); - uint64_t x43 = x42 == 0 ? x38 : x26; - uint64_t x44 = x42 == 0 ? x35 : x23; - uint64_t x45 = x42 == 0 ? x32 : x20; - uint64_t x46 = x42 == 0 ? x29 : x17; + uint64_t x43 = cmovznz(x42, x38, x26); + uint64_t x44 = cmovznz(x42, x35, x23); + uint64_t x45 = cmovznz(x42, x32, x20); + uint64_t x46 = cmovznz(x42, x29, x17); return (x43, x44, x45, x46)) (x, x0)%core : word64 * word64 * word64 * word64 → word64 * word64 * word64 * word64 → ReturnType (uint64_t * uint64_t * uint64_t * uint64_t) diff --git a/src/Specific/NISTP256/AMD64/IntegrationTestMontgomeryP256_OppDisplay.log b/src/Specific/NISTP256/AMD64/IntegrationTestMontgomeryP256_OppDisplay.log index 891c0a611..211b2b863 100644 --- a/src/Specific/NISTP256/AMD64/IntegrationTestMontgomeryP256_OppDisplay.log +++ b/src/Specific/NISTP256/AMD64/IntegrationTestMontgomeryP256_OppDisplay.log @@ -6,7 +6,7 @@ Interp-η uint64_t x11, uint8_t x12 = subborrow_u64(x9, 0x0, x4); uint64_t x14, uint8_t x15 = subborrow_u64(x12, 0x0, x6); uint64_t x17, uint8_t x18 = subborrow_u64(x15, 0x0, x5); - uint64_t x19 = (uint64_t) (x18 == 0 ? 0x0 : 0xffffffffffffffffL); + uint64_t x19 = (uint64_t)cmovznz(x18, 0x0, 0xffffffffffffffffL); uint64_t x20 = x19 & 0xffffffffffffffffL; uint64_t x22, uint8_t x23 = addcarryx_u64(0x0, x8, x20); uint64_t x24 = x19 & 0xffffffff; diff --git a/src/Specific/NISTP256/AMD64/IntegrationTestMontgomeryP256_SubDisplay.log b/src/Specific/NISTP256/AMD64/IntegrationTestMontgomeryP256_SubDisplay.log index fadb63620..eb4289fd2 100644 --- a/src/Specific/NISTP256/AMD64/IntegrationTestMontgomeryP256_SubDisplay.log +++ b/src/Specific/NISTP256/AMD64/IntegrationTestMontgomeryP256_SubDisplay.log @@ -6,7 +6,7 @@ Interp-η uint64_t x20, uint8_t x21 = subborrow_u64(x18, x7, x13); uint64_t x23, uint8_t x24 = subborrow_u64(x21, x9, x15); uint64_t x26, uint8_t x27 = subborrow_u64(x24, x8, x14); - uint64_t x28 = (uint64_t) (x27 == 0 ? 0x0 : 0xffffffffffffffffL); + uint64_t x28 = (uint64_t)cmovznz(x27, 0x0, 0xffffffffffffffffL); uint64_t x29 = x28 & 0xffffffffffffffffL; uint64_t x31, uint8_t x32 = addcarryx_u64(0x0, x17, x29); uint64_t x33 = x28 & 0xffffffff; |