diff options
| author |  Jason Gross <jgross@mit.edu> | 2017-06-24 23:40:10 -0400 |
|---|---|---|
| committer | Jason Gross <jgross@mit.edu> | 2017-06-24 23:40:10 -0400 |
| commit | c09fb5cf077d5ff93550d040877b24580d8f24c0 (patch) | |
| tree | 406cff6906552e20573b9cba7026d84c5b86aa28 /src | |
| parent | 0e33896644d27a19990593b8d4066de008e0a431 (diff) | |
make display
Diffstat (limited to 'src')
| -rw-r--r-- | src/Specific/IntegrationTestMontgomeryP256_128_SubDisplay.log | 8 | ||||
| -rw-r--r-- | src/Specific/NISTP256/AMD64/IntegrationTestMontgomeryP256_SubDisplay.log | 8 |
2 files changed, 8 insertions, 8 deletions
diff --git a/src/Specific/IntegrationTestMontgomeryP256_128_SubDisplay.log b/src/Specific/IntegrationTestMontgomeryP256_128_SubDisplay.log index 80500ea37..576f0c6be 100644 --- a/src/Specific/IntegrationTestMontgomeryP256_128_SubDisplay.log +++ b/src/Specific/IntegrationTestMontgomeryP256_128_SubDisplay.log @@ -7,10 +7,10 @@ Interp-η uint128_t x14 = (uint128_t) (x13 == 0 ? 0x0 : 0xffffffffffffffffffffffffffffffffL); uint128_t x15 = x14 & 0xffffffffffffffffffffffffL; uint128_t x17, uint8_t x18 = addcarryx_u128(0x0, x9, x15); - ℤ x19 = Op (Syntax.Opp (Syntax.TWord 3) Syntax.TZ) (Return x13); - ℤ x20 = 0x100000000000000000000000000000000L *ℤ x19; - uint128_t x21 = x14 & 0xffffffff000000010000000000000000L; - uint128_t x23, ℤ _ = addcarryx_u128ℤ(x12, x20, x21); + uint128_t x19 = x14 & 0xffffffff000000010000000000000000L; + uint256_t x20 = 0x100000000000000000000000000000000L * x13; + ℤ x21 = Op (Syntax.Opp (Syntax.TWord 8) Syntax.TZ) (Return x20); + uint128_t x23, ℤ _ = addcarryx_u128ℤ(x12, x21, x19); uint128_t x26, uint8_t _ = addcarryx_u128(0x0, x18, x23); (Return x26, Return x17)) (x, x0)%core diff --git a/src/Specific/NISTP256/AMD64/IntegrationTestMontgomeryP256_SubDisplay.log b/src/Specific/NISTP256/AMD64/IntegrationTestMontgomeryP256_SubDisplay.log index d079b161a..9b301c678 100644 --- a/src/Specific/NISTP256/AMD64/IntegrationTestMontgomeryP256_SubDisplay.log +++ b/src/Specific/NISTP256/AMD64/IntegrationTestMontgomeryP256_SubDisplay.log @@ -12,10 +12,10 @@ Interp-η uint64_t x33 = x28 & 0xffffffff; uint64_t x35, uint8_t x36 = addcarryx_u64(x32, x20, x33); uint64_t x38, uint8_t x39 = addcarryx_u64(x36, x23, 0x0); - ℤ x40 = Op (Syntax.Opp (Syntax.TWord 3) Syntax.TZ) (Return x27); - ℤ x41 = 0x10000000000000000L *ℤ x40; - uint64_t x42 = x28 & 0xffffffff00000001L; - uint64_t x44, ℤ _ = addcarryx_u64ℤ(x26, x41, x42); + uint64_t x40 = x28 & 0xffffffff00000001L; + uint128_t x41 = 0x10000000000000000L * x27; + ℤ x42 = Op (Syntax.Opp (Syntax.TWord 7) Syntax.TZ) (Return x41); + uint64_t x44, ℤ _ = addcarryx_u64ℤ(x26, x42, x40); uint64_t x47, uint8_t _ = addcarryx_u64(0x0, x39, x44); (Return x47, Return x38, Return x35, Return x31)) (x, x0)%core |