diff options
| author |  Andres Erbsen <andreser@mit.edu> | 2017-06-25 21:26:00 -0400 |
|---|---|---|
| committer | Andres Erbsen <andreser@mit.edu> | 2017-06-25 21:26:00 -0400 |
| commit | 0a74b3cee39f5cc909471e86652996f63455a0d6 (patch) | |
| tree | b05a338c5700a373357cf7b369fac7180ab91225 /src/Specific/IntegrationTestMontgomeryP256_128_AddDisplay.log | |
| parent | 00f3a78cf1fd8b0e4aec33dc5b7fe9b3d910f250 (diff) | |
make display on p256
Diffstat (limited to 'src/Specific/IntegrationTestMontgomeryP256_128_AddDisplay.log')
| -rw-r--r-- | src/Specific/IntegrationTestMontgomeryP256_128_AddDisplay.log | 13 |
1 files changed, 7 insertions, 6 deletions
diff --git a/src/Specific/IntegrationTestMontgomeryP256_128_AddDisplay.log b/src/Specific/IntegrationTestMontgomeryP256_128_AddDisplay.log index 094e97fdb..ea170fc85 100644 --- a/src/Specific/IntegrationTestMontgomeryP256_128_AddDisplay.log +++ b/src/Specific/IntegrationTestMontgomeryP256_128_AddDisplay.log @@ -4,11 +4,12 @@ Interp-η λ '(x4, x5, (x6, x7))%core, uint128_t x9, uint8_t x10 = addcarryx_u128(0x0, x5, x7); uint128_t x12, uint8_t x13 = addcarryx_u128(x10, x4, x6); - uint128_t x14 = (uint128_t) (x13 == 0 ? 0x0 : 0xffffffffffffffffffffffffffffffffL); - uint128_t x15 = x14 & 0xffffffffffffffffffffffffL; - uint128_t x17, uint8_t x18 = subborrow_u128(0x0, x9, x15); - uint128_t x19 = x14 & 0xffffffff000000010000000000000000L; - uint128_t x21, uint8_t _ = subborrow_u128(x18, x12, x19); - (Return x21, Return x17)) + uint128_t x15, uint8_t x16 = subborrow_u128(0x0, x9, 0xffffffffffffffffffffffffL); + uint128_t x18, uint8_t x19 = subborrow_u128(x16, x12, 0xffffffff000000010000000000000000L); + ℤ x20 = Op (Syntax.Opp (Syntax.TWord 3) Syntax.TZ) (Return x19); + uint128_t _, ℤ x23 = addcarryx_u128ℤ(0x0, x20, x13); + uint128_t x24 = x23 == 0 ? x18 : x12; + uint128_t x25 = x23 == 0 ? x15 : x9; + return (x24, x25)) (x, x0)%core : word128 * word128 → word128 * word128 → ReturnType (uint128_t * uint128_t) |