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 /p448_solinas_64.c | |
| parent | bcc7a5f7d3a15c2e8770a530ed3fa0ec45b60725 (diff) | |
Rebuild .c files
It seems some commutativity has changed
Diffstat (limited to 'p448_solinas_64.c')
| -rw-r--r-- | p448_solinas_64.c | 16 |
1 files changed, 8 insertions, 8 deletions
diff --git a/p448_solinas_64.c b/p448_solinas_64.c index 6e5c8066b..9433b2b52 100644 --- a/p448_solinas_64.c +++ b/p448_solinas_64.c @@ -599,28 +599,28 @@ static void fiat_p448_to_bytes(uint8_t out1[56], const uint64_t arg1[8]) { fiat_p448_cmovznz_u64(&x17, x16, 0x0, UINT64_C(0xffffffffffffffff)); uint64_t x18; fiat_p448_uint1 x19; - fiat_p448_addcarryx_u56(&x18, &x19, 0x0, (x17 & UINT64_C(0xffffffffffffff)), x1); + fiat_p448_addcarryx_u56(&x18, &x19, 0x0, x1, (x17 & UINT64_C(0xffffffffffffff))); uint64_t x20; fiat_p448_uint1 x21; - fiat_p448_addcarryx_u56(&x20, &x21, x19, (x17 & UINT64_C(0xffffffffffffff)), x3); + fiat_p448_addcarryx_u56(&x20, &x21, x19, x3, (x17 & UINT64_C(0xffffffffffffff))); uint64_t x22; fiat_p448_uint1 x23; - fiat_p448_addcarryx_u56(&x22, &x23, x21, (x17 & UINT64_C(0xffffffffffffff)), x5); + fiat_p448_addcarryx_u56(&x22, &x23, x21, x5, (x17 & UINT64_C(0xffffffffffffff))); uint64_t x24; fiat_p448_uint1 x25; - fiat_p448_addcarryx_u56(&x24, &x25, x23, (x17 & UINT64_C(0xffffffffffffff)), x7); + fiat_p448_addcarryx_u56(&x24, &x25, x23, x7, (x17 & UINT64_C(0xffffffffffffff))); uint64_t x26; fiat_p448_uint1 x27; - fiat_p448_addcarryx_u56(&x26, &x27, x25, (x17 & UINT64_C(0xfffffffffffffe)), x9); + fiat_p448_addcarryx_u56(&x26, &x27, x25, x9, (x17 & UINT64_C(0xfffffffffffffe))); uint64_t x28; fiat_p448_uint1 x29; - fiat_p448_addcarryx_u56(&x28, &x29, x27, (x17 & UINT64_C(0xffffffffffffff)), x11); + fiat_p448_addcarryx_u56(&x28, &x29, x27, x11, (x17 & UINT64_C(0xffffffffffffff))); uint64_t x30; fiat_p448_uint1 x31; - fiat_p448_addcarryx_u56(&x30, &x31, x29, (x17 & UINT64_C(0xffffffffffffff)), x13); + fiat_p448_addcarryx_u56(&x30, &x31, x29, x13, (x17 & UINT64_C(0xffffffffffffff))); uint64_t x32; fiat_p448_uint1 x33; - fiat_p448_addcarryx_u56(&x32, &x33, x31, (x17 & UINT64_C(0xffffffffffffff)), x15); + fiat_p448_addcarryx_u56(&x32, &x33, x31, x15, (x17 & UINT64_C(0xffffffffffffff))); uint64_t x34 = (x18 >> 8); uint8_t x35 = (uint8_t)(x18 & UINT8_C(0xff)); uint64_t x36 = (x34 >> 8); |