diff options
Diffstat (limited to 'src/Specific/solinas64_2e383m421_8limbs/freeze.c')
| -rw-r--r-- | src/Specific/solinas64_2e383m421_8limbs/freeze.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/Specific/solinas64_2e383m421_8limbs/freeze.c b/src/Specific/solinas64_2e383m421_8limbs/freeze.c index ef4de2804..bed0e78df 100644 --- a/src/Specific/solinas64_2e383m421_8limbs/freeze.c +++ b/src/Specific/solinas64_2e383m421_8limbs/freeze.c @@ -7,7 +7,7 @@ static void freeze(uint64_t out[8], const uint64_t in1[8]) { { const uint64_t x6 = in1[2]; { const uint64_t x4 = in1[1]; { const uint64_t x2 = in1[0]; - { uint64_t x16, uint8_t x17 = Op (Syntax.SubWithGetBorrow 48 (Syntax.TWord 3) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 3)) (0x0, Return x2, Const 281474976710235); + { uint64_t x16, uint8_t x17 = Op (Syntax.SubWithGetBorrow 48 (Syntax.TWord 3) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 3)) (0x0, Return x2, 0xfffffffffe5b); { uint64_t x19, uint8_t x20 = Op (Syntax.SubWithGetBorrow 48 (Syntax.TWord 3) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 3)) (Return x17, Return x4, 0xffffffffffff); { uint64_t x22, uint8_t x23 = Op (Syntax.SubWithGetBorrow 48 (Syntax.TWord 3) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 3)) (Return x20, Return x6, 0xffffffffffff); { uint64_t x25, uint8_t x26 = Op (Syntax.SubWithGetBorrow 48 (Syntax.TWord 3) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 3)) (Return x23, Return x8, 0xffffffffffff); @@ -16,7 +16,7 @@ static void freeze(uint64_t out[8], const uint64_t in1[8]) { { uint64_t x34, uint8_t x35 = Op (Syntax.SubWithGetBorrow 48 (Syntax.TWord 3) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 3)) (Return x32, Return x14, 0xffffffffffff); { uint64_t x37, uint8_t x38 = Op (Syntax.SubWithGetBorrow 47 (Syntax.TWord 3) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 3)) (Return x35, Return x13, 0x7fffffffffff); { uint64_t x39 = cmovznz64(x38, 0x0, 0xffffffffffffffffL); - { uint64_t x40 = (x39 & Const 281474976710235); + { uint64_t x40 = (x39 & 0xfffffffffe5b); { uint64_t x42, uint8_t x43 = Op (Syntax.AddWithGetCarry 48 (Syntax.TWord 3) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 3)) (0x0, Return x16, Return x40); { uint64_t x44 = (x39 & 0xffffffffffff); { uint64_t x46, uint8_t x47 = Op (Syntax.AddWithGetCarry 48 (Syntax.TWord 3) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 3)) (Return x43, Return x19, Return x44); |