aboutsummaryrefslogtreecommitdiff
path: root/src/Specific/solinas64_2e235m15
diff options
context:
space:
mode:
authorGravatar Jason Gross <jgross@mit.edu>2017-11-10 18:13:59 -0500
committerGravatar Jason Gross <jgross@mit.edu>2017-11-10 18:13:59 -0500
commit1e5b0a76fadd9255a0ead47d1327c628160b01bd (patch)
tree52c1b30c660dfb0c30f329295b7b46b712b88bb8 /src/Specific/solinas64_2e235m15
parent6a335b31b69443cfe8ee46308eb94b299929c983 (diff)
Update display logs and c files
Diffstat (limited to 'src/Specific/solinas64_2e235m15')
-rw-r--r--src/Specific/solinas64_2e235m15/freeze.c2
-rw-r--r--src/Specific/solinas64_2e235m15/freezeDisplay.log2
2 files changed, 2 insertions, 2 deletions
diff --git a/src/Specific/solinas64_2e235m15/freeze.c b/src/Specific/solinas64_2e235m15/freeze.c
index 867313133..db8f71551 100644
--- a/src/Specific/solinas64_2e235m15/freeze.c
+++ b/src/Specific/solinas64_2e235m15/freeze.c
@@ -9,7 +9,7 @@ static void freeze(uint64_t out[5], const uint64_t in1[5]) {
{ uint64_t x16, uint8_t x17 = Op (Syntax.SubWithGetBorrow 47 (Syntax.TWord 3) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 3)) (Return x14, Return x6, 0x7fffffffffff);
{ uint64_t x19, uint8_t x20 = Op (Syntax.SubWithGetBorrow 47 (Syntax.TWord 3) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 3)) (Return x17, Return x8, 0x7fffffffffff);
{ uint64_t x22, uint8_t x23 = Op (Syntax.SubWithGetBorrow 47 (Syntax.TWord 3) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 3)) (Return x20, Return x7, 0x7fffffffffff);
- { uint64_t x24 = (uint64_t)cmovznz(x23, 0x0, 0xffffffffffffffffL);
+ { uint64_t x24 = cmovznz64(x23, 0x0, 0xffffffffffffffffL);
{ uint64_t x25 = (x24 & 0x7ffffffffff1);
{ uint64_t x27, uint8_t x28 = Op (Syntax.AddWithGetCarry 47 (Syntax.TWord 3) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 3)) (0x0, Return x10, Return x25);
{ uint64_t x29 = (x24 & 0x7fffffffffff);
diff --git a/src/Specific/solinas64_2e235m15/freezeDisplay.log b/src/Specific/solinas64_2e235m15/freezeDisplay.log
index 63ccf2532..da977944b 100644
--- a/src/Specific/solinas64_2e235m15/freezeDisplay.log
+++ b/src/Specific/solinas64_2e235m15/freezeDisplay.log
@@ -7,7 +7,7 @@ Interp-η
uint64_t x16, uint8_t x17 = Op (Syntax.SubWithGetBorrow 47 (Syntax.TWord 3) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 3)) (Return x14, Return x6, 0x7fffffffffff);
uint64_t x19, uint8_t x20 = Op (Syntax.SubWithGetBorrow 47 (Syntax.TWord 3) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 3)) (Return x17, Return x8, 0x7fffffffffff);
uint64_t x22, uint8_t x23 = Op (Syntax.SubWithGetBorrow 47 (Syntax.TWord 3) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 3)) (Return x20, Return x7, 0x7fffffffffff);
- uint64_t x24 = (uint64_t)cmovznz(x23, 0x0, 0xffffffffffffffffL);
+ uint64_t x24 = cmovznz64(x23, 0x0, 0xffffffffffffffffL);
uint64_t x25 = (x24 & 0x7ffffffffff1);
uint64_t x27, uint8_t x28 = Op (Syntax.AddWithGetCarry 47 (Syntax.TWord 3) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 3)) (0x0, Return x10, Return x25);
uint64_t x29 = (x24 & 0x7fffffffffff);