diff options
| author |  Jason Gross <jgross@mit.edu> | 2017-11-12 23:35:43 -0500 |
|---|---|---|
| committer | Jason Gross <jgross@mit.edu> | 2017-11-12 23:35:43 -0500 |
| commit | b671976eb2364b6d41cc3e450c2570558a0161ec (patch) | |
| tree | 398df5d4e8c7149c9ba902b37cf42e120d07dedb /src/Specific/solinas64_2e383m187_7limbs/freeze.c | |
| parent | a66e617f17fab0360ae52b896e5afc5fafc90902 (diff) | |
Update display logs and c files
Diffstat (limited to 'src/Specific/solinas64_2e383m187_7limbs/freeze.c')
| -rw-r--r-- | src/Specific/solinas64_2e383m187_7limbs/freeze.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/Specific/solinas64_2e383m187_7limbs/freeze.c b/src/Specific/solinas64_2e383m187_7limbs/freeze.c index 035b5470c..fb94b90f7 100644 --- a/src/Specific/solinas64_2e383m187_7limbs/freeze.c +++ b/src/Specific/solinas64_2e383m187_7limbs/freeze.c @@ -6,7 +6,7 @@ static void freeze(uint64_t out[7], const uint64_t in1[7]) { { const uint64_t x6 = in1[2]; { const uint64_t x4 = in1[1]; { const uint64_t x2 = in1[0]; - { uint64_t x14, uint8_t x15 = Op (Syntax.SubWithGetBorrow 55 (Syntax.TWord 3) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 3)) (0x0, Return x2, Const 36028797018963781); + { uint64_t x14, uint8_t x15 = Op (Syntax.SubWithGetBorrow 55 (Syntax.TWord 3) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 3)) (0x0, Return x2, 0x7fffffffffff45); { uint64_t x17, uint8_t x18 = Op (Syntax.SubWithGetBorrow 55 (Syntax.TWord 3) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 3)) (Return x15, Return x4, 0x7fffffffffffff); { uint64_t x20, uint8_t x21 = Op (Syntax.SubWithGetBorrow 55 (Syntax.TWord 3) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 3)) (Return x18, Return x6, 0x7fffffffffffff); { uint64_t x23, uint8_t x24 = Op (Syntax.SubWithGetBorrow 54 (Syntax.TWord 3) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 3)) (Return x21, Return x8, 0x3fffffffffffff); @@ -14,7 +14,7 @@ static void freeze(uint64_t out[7], const uint64_t in1[7]) { { uint64_t x29, uint8_t x30 = Op (Syntax.SubWithGetBorrow 55 (Syntax.TWord 3) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 3)) (Return x27, Return x12, 0x7fffffffffffff); { uint64_t x32, uint8_t x33 = Op (Syntax.SubWithGetBorrow 54 (Syntax.TWord 3) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 3)) (Return x30, Return x11, 0x3fffffffffffff); { uint64_t x34 = cmovznz64(x33, 0x0, 0xffffffffffffffffL); - { uint64_t x35 = (x34 & Const 36028797018963781); + { uint64_t x35 = (x34 & 0x7fffffffffff45); { uint64_t x37, uint8_t x38 = Op (Syntax.AddWithGetCarry 55 (Syntax.TWord 3) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 3)) (0x0, Return x14, Return x35); { uint64_t x39 = (x34 & 0x7fffffffffffff); { uint64_t x41, uint8_t x42 = Op (Syntax.AddWithGetCarry 55 (Syntax.TWord 3) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 3)) (Return x38, Return x17, Return x39); |