From 31d31d23fbb6c9b3b7f01bd270cf72328f754594 Mon Sep 17 00:00:00 2001 From: Jason Gross Date: Sun, 31 Mar 2019 14:35:38 -0400 Subject: Rebuild .c files It seems some commutativity has changed --- curve25519_64.c | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) (limited to 'curve25519_64.c') 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); -- cgit v1.2.3