diff options
| author |  Jason Gross <jgross@mit.edu> | 2019-03-31 14:35:38 -0400 |
|---|---|---|
| committer | Jason Gross <jgross@mit.edu> | 2019-03-31 14:35:38 -0400 |
| commit | 31d31d23fbb6c9b3b7f01bd270cf72328f754594 (patch) | |
| tree | 8fdff5cec563c20c0e504eb8001bc5271f04b91a /curve25519_64.c | |
| parent | bcc7a5f7d3a15c2e8770a530ed3fa0ec45b60725 (diff) | |
Rebuild .c files
It seems some commutativity has changed
Diffstat (limited to 'curve25519_64.c')
| -rw-r--r-- | curve25519_64.c | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/curve25519_64.c b/curve25519_64.c index 5341181f6..37aae3b84 100644 --- a/curve25519_64.c +++ b/curve25519_64.c @@ -424,19 +424,19 @@ static void fiat_25519_to_bytes(uint8_t out1[32], const uint64_t arg1[5]) { fiat_25519_cmovznz_u64(&x11, x10, 0x0, UINT64_C(0xffffffffffffffff)); uint64_t x12; fiat_25519_uint1 x13; - fiat_25519_addcarryx_u51(&x12, &x13, 0x0, (x11 & UINT64_C(0x7ffffffffffed)), x1); + fiat_25519_addcarryx_u51(&x12, &x13, 0x0, x1, (x11 & UINT64_C(0x7ffffffffffed))); uint64_t x14; fiat_25519_uint1 x15; - fiat_25519_addcarryx_u51(&x14, &x15, x13, (x11 & UINT64_C(0x7ffffffffffff)), x3); + fiat_25519_addcarryx_u51(&x14, &x15, x13, x3, (x11 & UINT64_C(0x7ffffffffffff))); uint64_t x16; fiat_25519_uint1 x17; - fiat_25519_addcarryx_u51(&x16, &x17, x15, (x11 & UINT64_C(0x7ffffffffffff)), x5); + fiat_25519_addcarryx_u51(&x16, &x17, x15, x5, (x11 & UINT64_C(0x7ffffffffffff))); uint64_t x18; fiat_25519_uint1 x19; - fiat_25519_addcarryx_u51(&x18, &x19, x17, (x11 & UINT64_C(0x7ffffffffffff)), x7); + fiat_25519_addcarryx_u51(&x18, &x19, x17, x7, (x11 & UINT64_C(0x7ffffffffffff))); uint64_t x20; fiat_25519_uint1 x21; - fiat_25519_addcarryx_u51(&x20, &x21, x19, (x11 & UINT64_C(0x7ffffffffffff)), x9); + fiat_25519_addcarryx_u51(&x20, &x21, x19, x9, (x11 & UINT64_C(0x7ffffffffffff))); uint64_t x22 = (x20 << 4); uint64_t x23 = (x18 * (uint64_t)0x2); uint64_t x24 = (x16 << 6); |