diff options
| author |  jadep <jade.philipoom@gmail.com> | 2017-07-01 16:29:03 -0400 |
|---|---|---|
| committer | jadep <jade.philipoom@gmail.com> | 2017-07-01 16:29:03 -0400 |
| commit | caa52848b92d7fc5a0ea2971495c59abba5605af (patch) | |
| tree | a5226d805eacae76bb721d500230bebfaa575084 /src | |
| parent | e301cc689ec630bb5e6c3c3d3a234dcee2652028 (diff) | |
changes to log files after running make c
Diffstat (limited to 'src')
| -rw-r--r-- | src/Specific/IntegrationTestMontgomeryP256_128_OppDisplay.log | 4 | ||||
| -rw-r--r-- | src/Specific/IntegrationTestMontgomeryP256_128_SubDisplay.log | 4 |
2 files changed, 4 insertions, 4 deletions
diff --git a/src/Specific/IntegrationTestMontgomeryP256_128_OppDisplay.log b/src/Specific/IntegrationTestMontgomeryP256_128_OppDisplay.log index 50c41e1af..94b63495c 100644 --- a/src/Specific/IntegrationTestMontgomeryP256_128_OppDisplay.log +++ b/src/Specific/IntegrationTestMontgomeryP256_128_OppDisplay.log @@ -6,9 +6,9 @@ Interp-η uint128_t x7, uint8_t x8 = subborrow_u128(x5, 0x0, x1); uint128_t x9 = (uint128_t) (x8 == 0 ? 0x0 : 0xffffffffffffffffffffffffffffffffL); uint128_t x10 = x9 & 0xffffffffffffffffffffffffL; - uint128_t x12, uint8_t x13 = subborrow_u128(0x0, x4, x10); + uint128_t x12, uint8_t x13 = addcarryx_u128(0x0, x4, x10); uint128_t x14 = x9 & 0xffffffff000000010000000000000000L; - uint128_t x16, uint8_t _ = subborrow_u128(x13, x7, x14); + uint128_t x16, uint8_t _ = addcarryx_u128(x13, x7, x14); (Return x16, Return x12)) x : word128 * word128 → ReturnType (uint128_t * uint128_t) diff --git a/src/Specific/IntegrationTestMontgomeryP256_128_SubDisplay.log b/src/Specific/IntegrationTestMontgomeryP256_128_SubDisplay.log index 07579501c..444680769 100644 --- a/src/Specific/IntegrationTestMontgomeryP256_128_SubDisplay.log +++ b/src/Specific/IntegrationTestMontgomeryP256_128_SubDisplay.log @@ -6,9 +6,9 @@ Interp-η uint128_t x12, uint8_t x13 = subborrow_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 x17, uint8_t x18 = addcarryx_u128(0x0, x9, x15); uint128_t x19 = x14 & 0xffffffff000000010000000000000000L; - uint128_t x21, uint8_t _ = subborrow_u128(x18, x12, x19); + uint128_t x21, uint8_t _ = addcarryx_u128(x18, x12, x19); (Return x21, Return x17)) (x, x0)%core : word128 * word128 → word128 * word128 → ReturnType (uint128_t * uint128_t) |