aboutsummaryrefslogtreecommitdiff
path: root/src/Specific/solinas32_2e243m9_10limbs/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_2e243m9_10limbs/freeze.c
parent2d411951867e21c821bda7ca2a4edee30c13cf3b (diff)
Update display logs and c files
Diffstat (limited to 'src/Specific/solinas32_2e243m9_10limbs/freeze.c')
-rw-r--r--src/Specific/solinas32_2e243m9_10limbs/freeze.c4
1 files changed, 2 insertions, 2 deletions
diff --git a/src/Specific/solinas32_2e243m9_10limbs/freeze.c b/src/Specific/solinas32_2e243m9_10limbs/freeze.c
index b2de4baef..72b42ea89 100644
--- a/src/Specific/solinas32_2e243m9_10limbs/freeze.c
+++ b/src/Specific/solinas32_2e243m9_10limbs/freeze.c
@@ -9,7 +9,7 @@ static void freeze(uint32_t out[10], const uint32_t in1[10]) {
{ const uint32_t x6 = in1[2];
{ const uint32_t x4 = in1[1];
{ const uint32_t x2 = in1[0];
- { uint32_t x20, uint8_t x21 = Op (Syntax.SubWithGetBorrow 25 (Syntax.TWord 3) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 3)) (0x0, Return x2, Const 33554423);
+ { uint32_t x20, uint8_t x21 = Op (Syntax.SubWithGetBorrow 25 (Syntax.TWord 3) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 3)) (0x0, Return x2, 0x1fffff7);
{ uint32_t x23, uint8_t x24 = Op (Syntax.SubWithGetBorrow 24 (Syntax.TWord 3) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 3)) (Return x21, Return x4, 0xffffff);
{ uint32_t x26, uint8_t x27 = Op (Syntax.SubWithGetBorrow 24 (Syntax.TWord 3) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 3)) (Return x24, Return x6, 0xffffff);
{ uint32_t x29, uint8_t x30 = Op (Syntax.SubWithGetBorrow 25 (Syntax.TWord 3) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 3)) (Return x27, Return x8, 0x1ffffff);
@@ -20,7 +20,7 @@ static void freeze(uint32_t out[10], const uint32_t in1[10]) {
{ uint32_t x44, uint8_t x45 = Op (Syntax.SubWithGetBorrow 24 (Syntax.TWord 3) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 3)) (Return x42, Return x18, 0xffffff);
{ uint32_t x47, uint8_t x48 = Op (Syntax.SubWithGetBorrow 24 (Syntax.TWord 3) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 3)) (Return x45, Return x17, 0xffffff);
{ uint32_t x49 = cmovznz32(x48, 0x0, 0xffffffff);
- { uint32_t x50 = (x49 & Const 33554423);
+ { uint32_t x50 = (x49 & 0x1fffff7);
{ uint32_t x52, uint8_t x53 = Op (Syntax.AddWithGetCarry 25 (Syntax.TWord 3) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 3)) (0x0, Return x20, Return x50);
{ uint32_t x54 = (x49 & 0xffffff);
{ uint32_t x56, uint8_t x57 = Op (Syntax.AddWithGetCarry 24 (Syntax.TWord 3) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 3)) (Return x53, Return x23, Return x54);