aboutsummaryrefslogtreecommitdiff
path: root/src/Specific/solinas32_2e383m187_16limbs/freeze.c
diff options
context:
space:
mode:
authorGravatar Jason Gross <jgross@mit.edu>2017-11-13 00:51:26 -0500
committerGravatar Jason Gross <jgross@mit.edu>2017-11-13 00:51:26 -0500
commit5d8503a2c300b586efccdf42d7dd6e78c2b240fc (patch)
treefa085c18fc2473154300ef6157e300bfde7dcca2 /src/Specific/solinas32_2e383m187_16limbs/freeze.c
parent2d411951867e21c821bda7ca2a4edee30c13cf3b (diff)
Update display logs and c files
Diffstat (limited to 'src/Specific/solinas32_2e383m187_16limbs/freeze.c')
-rw-r--r--src/Specific/solinas32_2e383m187_16limbs/freeze.c4
1 files changed, 2 insertions, 2 deletions
diff --git a/src/Specific/solinas32_2e383m187_16limbs/freeze.c b/src/Specific/solinas32_2e383m187_16limbs/freeze.c
index 66c0a8cdf..1bb1fbd60 100644
--- a/src/Specific/solinas32_2e383m187_16limbs/freeze.c
+++ b/src/Specific/solinas32_2e383m187_16limbs/freeze.c
@@ -15,7 +15,7 @@ static void freeze(uint32_t out[16], const uint32_t in1[16]) {
{ const uint32_t x6 = in1[2];
{ const uint32_t x4 = in1[1];
{ const uint32_t x2 = in1[0];
- { uint32_t x32, uint8_t x33 = Op (Syntax.SubWithGetBorrow 24 (Syntax.TWord 3) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 3)) (0x0, Return x2, Const 16777029);
+ { uint32_t x32, uint8_t x33 = Op (Syntax.SubWithGetBorrow 24 (Syntax.TWord 3) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 3)) (0x0, Return x2, 0xffff45);
{ uint32_t x35, uint8_t x36 = Op (Syntax.SubWithGetBorrow 24 (Syntax.TWord 3) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 3)) (Return x33, Return x4, 0xffffff);
{ uint32_t x38, uint8_t x39 = Op (Syntax.SubWithGetBorrow 24 (Syntax.TWord 3) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 3)) (Return x36, Return x6, 0xffffff);
{ uint32_t x41, uint8_t x42 = Op (Syntax.SubWithGetBorrow 24 (Syntax.TWord 3) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 3)) (Return x39, Return x8, 0xffffff);
@@ -32,7 +32,7 @@ static void freeze(uint32_t out[16], const uint32_t in1[16]) {
{ uint32_t x74, uint8_t x75 = Op (Syntax.SubWithGetBorrow 24 (Syntax.TWord 3) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 3)) (Return x72, Return x30, 0xffffff);
{ uint32_t x77, uint8_t x78 = Op (Syntax.SubWithGetBorrow 23 (Syntax.TWord 3) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 3)) (Return x75, Return x29, 0x7fffff);
{ uint32_t x79 = cmovznz32(x78, 0x0, 0xffffffff);
- { uint32_t x80 = (x79 & Const 16777029);
+ { uint32_t x80 = (x79 & 0xffff45);
{ uint32_t x82, uint8_t x83 = Op (Syntax.AddWithGetCarry 24 (Syntax.TWord 3) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 3)) (0x0, Return x32, Return x80);
{ uint32_t x84 = (x79 & 0xffffff);
{ uint32_t x86, uint8_t x87 = Op (Syntax.AddWithGetCarry 24 (Syntax.TWord 3) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 3)) (Return x83, Return x35, Return x84);