diff options
Diffstat (limited to 'src/Specific/NISTP256/AMD64/IntegrationTestMontgomeryP256_AddDisplay.log')
-rw-r--r-- | src/Specific/NISTP256/AMD64/IntegrationTestMontgomeryP256_AddDisplay.log | 13 |
1 files changed, 6 insertions, 7 deletions
diff --git a/src/Specific/NISTP256/AMD64/IntegrationTestMontgomeryP256_AddDisplay.log b/src/Specific/NISTP256/AMD64/IntegrationTestMontgomeryP256_AddDisplay.log index 0f46e27f6..e6498cf83 100644 --- a/src/Specific/NISTP256/AMD64/IntegrationTestMontgomeryP256_AddDisplay.log +++ b/src/Specific/NISTP256/AMD64/IntegrationTestMontgomeryP256_AddDisplay.log @@ -10,12 +10,11 @@ Interp-η uint64_t x32, uint8_t x33 = subborrow_u64(x30, x20, 0xffffffff); uint64_t x35, uint8_t x36 = subborrow_u64(x33, x23, 0x0); uint64_t x38, uint8_t x39 = subborrow_u64(x36, x26, 0xffffffff00000001L); - ℤ x40 = Op (Syntax.Opp (Syntax.TWord 3) Syntax.TZ) (Return x39); - uint64_t _, ℤ x43 = addcarryx_u64ℤ(0x0, x40, x27); - uint64_t x44 = x43 == 0 ? x38 : x26; - uint64_t x45 = x43 == 0 ? x35 : x23; - uint64_t x46 = x43 == 0 ? x32 : x20; - uint64_t x47 = x43 == 0 ? x29 : x17; - return (x44, x45, x46, x47)) + 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; + 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) |