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 --- p521_32.c | 34 +++++++++++++++++----------------- 1 file changed, 17 insertions(+), 17 deletions(-) (limited to 'p521_32.c') diff --git a/p521_32.c b/p521_32.c index aa8416aa9..67ab9d882 100644 --- a/p521_32.c +++ b/p521_32.c @@ -1147,55 +1147,55 @@ static void fiat_p521_to_bytes(uint8_t out1[66], const uint32_t arg1[17]) { fiat_p521_cmovznz_u32(&x35, x34, 0x0, UINT32_C(0xffffffff)); uint32_t x36; fiat_p521_uint1 x37; - fiat_p521_addcarryx_u31(&x36, &x37, 0x0, (x35 & UINT32_C(0x7fffffff)), x1); + fiat_p521_addcarryx_u31(&x36, &x37, 0x0, x1, (x35 & UINT32_C(0x7fffffff))); uint32_t x38; fiat_p521_uint1 x39; - fiat_p521_addcarryx_u31(&x38, &x39, x37, (x35 & UINT32_C(0x7fffffff)), x3); + fiat_p521_addcarryx_u31(&x38, &x39, x37, x3, (x35 & UINT32_C(0x7fffffff))); uint32_t x40; fiat_p521_uint1 x41; - fiat_p521_addcarryx_u30(&x40, &x41, x39, (x35 & UINT32_C(0x3fffffff)), x5); + fiat_p521_addcarryx_u30(&x40, &x41, x39, x5, (x35 & UINT32_C(0x3fffffff))); uint32_t x42; fiat_p521_uint1 x43; - fiat_p521_addcarryx_u31(&x42, &x43, x41, (x35 & UINT32_C(0x7fffffff)), x7); + fiat_p521_addcarryx_u31(&x42, &x43, x41, x7, (x35 & UINT32_C(0x7fffffff))); uint32_t x44; fiat_p521_uint1 x45; - fiat_p521_addcarryx_u31(&x44, &x45, x43, (x35 & UINT32_C(0x7fffffff)), x9); + fiat_p521_addcarryx_u31(&x44, &x45, x43, x9, (x35 & UINT32_C(0x7fffffff))); uint32_t x46; fiat_p521_uint1 x47; - fiat_p521_addcarryx_u30(&x46, &x47, x45, (x35 & UINT32_C(0x3fffffff)), x11); + fiat_p521_addcarryx_u30(&x46, &x47, x45, x11, (x35 & UINT32_C(0x3fffffff))); uint32_t x48; fiat_p521_uint1 x49; - fiat_p521_addcarryx_u31(&x48, &x49, x47, (x35 & UINT32_C(0x7fffffff)), x13); + fiat_p521_addcarryx_u31(&x48, &x49, x47, x13, (x35 & UINT32_C(0x7fffffff))); uint32_t x50; fiat_p521_uint1 x51; - fiat_p521_addcarryx_u31(&x50, &x51, x49, (x35 & UINT32_C(0x7fffffff)), x15); + fiat_p521_addcarryx_u31(&x50, &x51, x49, x15, (x35 & UINT32_C(0x7fffffff))); uint32_t x52; fiat_p521_uint1 x53; - fiat_p521_addcarryx_u30(&x52, &x53, x51, (x35 & UINT32_C(0x3fffffff)), x17); + fiat_p521_addcarryx_u30(&x52, &x53, x51, x17, (x35 & UINT32_C(0x3fffffff))); uint32_t x54; fiat_p521_uint1 x55; - fiat_p521_addcarryx_u31(&x54, &x55, x53, (x35 & UINT32_C(0x7fffffff)), x19); + fiat_p521_addcarryx_u31(&x54, &x55, x53, x19, (x35 & UINT32_C(0x7fffffff))); uint32_t x56; fiat_p521_uint1 x57; - fiat_p521_addcarryx_u31(&x56, &x57, x55, (x35 & UINT32_C(0x7fffffff)), x21); + fiat_p521_addcarryx_u31(&x56, &x57, x55, x21, (x35 & UINT32_C(0x7fffffff))); uint32_t x58; fiat_p521_uint1 x59; - fiat_p521_addcarryx_u30(&x58, &x59, x57, (x35 & UINT32_C(0x3fffffff)), x23); + fiat_p521_addcarryx_u30(&x58, &x59, x57, x23, (x35 & UINT32_C(0x3fffffff))); uint32_t x60; fiat_p521_uint1 x61; - fiat_p521_addcarryx_u31(&x60, &x61, x59, (x35 & UINT32_C(0x7fffffff)), x25); + fiat_p521_addcarryx_u31(&x60, &x61, x59, x25, (x35 & UINT32_C(0x7fffffff))); uint32_t x62; fiat_p521_uint1 x63; - fiat_p521_addcarryx_u31(&x62, &x63, x61, (x35 & UINT32_C(0x7fffffff)), x27); + fiat_p521_addcarryx_u31(&x62, &x63, x61, x27, (x35 & UINT32_C(0x7fffffff))); uint32_t x64; fiat_p521_uint1 x65; - fiat_p521_addcarryx_u30(&x64, &x65, x63, (x35 & UINT32_C(0x3fffffff)), x29); + fiat_p521_addcarryx_u30(&x64, &x65, x63, x29, (x35 & UINT32_C(0x3fffffff))); uint32_t x66; fiat_p521_uint1 x67; - fiat_p521_addcarryx_u31(&x66, &x67, x65, (x35 & UINT32_C(0x7fffffff)), x31); + fiat_p521_addcarryx_u31(&x66, &x67, x65, x31, (x35 & UINT32_C(0x7fffffff))); uint32_t x68; fiat_p521_uint1 x69; - fiat_p521_addcarryx_u30(&x68, &x69, x67, (x35 & UINT32_C(0x3fffffff)), x33); + fiat_p521_addcarryx_u30(&x68, &x69, x67, x33, (x35 & UINT32_C(0x3fffffff))); uint64_t x70 = ((uint64_t)x68 << 3); uint64_t x71 = ((uint64_t)x66 << 4); uint64_t x72 = ((uint64_t)x64 << 6); -- cgit v1.2.3