aboutsummaryrefslogtreecommitdiff
path: root/src/Specific/solinas64_2e384m2e128m2e96p2e32m1
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_2e384m2e128m2e96p2e32m1
parent6a335b31b69443cfe8ee46308eb94b299929c983 (diff)
Update display logs and c files
Diffstat (limited to 'src/Specific/solinas64_2e384m2e128m2e96p2e32m1')
-rw-r--r--src/Specific/solinas64_2e384m2e128m2e96p2e32m1/freeze.c2
-rw-r--r--src/Specific/solinas64_2e384m2e128m2e96p2e32m1/freezeDisplay.log2
2 files changed, 2 insertions, 2 deletions
diff --git a/src/Specific/solinas64_2e384m2e128m2e96p2e32m1/freeze.c b/src/Specific/solinas64_2e384m2e128m2e96p2e32m1/freeze.c
index 1c04c8171..dc50d30d8 100644
--- a/src/Specific/solinas64_2e384m2e128m2e96p2e32m1/freeze.c
+++ b/src/Specific/solinas64_2e384m2e128m2e96p2e32m1/freeze.c
@@ -15,7 +15,7 @@ static void freeze(uint64_t out[8], const uint64_t in1[8]) {
{ uint64_t x31, uint8_t x32 = Op (Syntax.SubWithGetBorrow 48 (Syntax.TWord 3) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 3)) (Return x29, Return x12, 0xffffffffffff);
{ 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 48 (Syntax.TWord 3) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 3)) (Return x35, Return x13, 0xffffffffffff);
- { uint64_t x39 = (uint64_t)cmovznz(x38, 0x0, 0xffffffffffffffffL);
+ { uint64_t x39 = cmovznz64(x38, 0x0, 0xffffffffffffffffL);
{ uint64_t x40 = (x39 & 0xffffffff);
{ 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 x45, uint8_t x46 = Op (Syntax.AddWithGetCarry 48 (Syntax.TWord 3) (Syntax.TWord 6) (Syntax.TWord 3) (Syntax.TWord 6) (Syntax.TWord 3)) (Return x43, Return x19, 0x0);
diff --git a/src/Specific/solinas64_2e384m2e128m2e96p2e32m1/freezeDisplay.log b/src/Specific/solinas64_2e384m2e128m2e96p2e32m1/freezeDisplay.log
index 394835316..c67300686 100644
--- a/src/Specific/solinas64_2e384m2e128m2e96p2e32m1/freezeDisplay.log
+++ b/src/Specific/solinas64_2e384m2e128m2e96p2e32m1/freezeDisplay.log
@@ -10,7 +10,7 @@ Interp-η
uint64_t x31, uint8_t x32 = Op (Syntax.SubWithGetBorrow 48 (Syntax.TWord 3) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 3)) (Return x29, Return x12, 0xffffffffffff);
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 48 (Syntax.TWord 3) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 3)) (Return x35, Return x13, 0xffffffffffff);
- uint64_t x39 = (uint64_t)cmovznz(x38, 0x0, 0xffffffffffffffffL);
+ uint64_t x39 = cmovznz64(x38, 0x0, 0xffffffffffffffffL);
uint64_t x40 = (x39 & 0xffffffff);
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 x45, uint8_t x46 = Op (Syntax.AddWithGetCarry 48 (Syntax.TWord 3) (Syntax.TWord 6) (Syntax.TWord 3) (Syntax.TWord 6) (Syntax.TWord 3)) (Return x43, Return x19, 0x0);