Update display logs and c files

8 files changed, 16 insertions, 16 deletions

diff --git a/src/Specific/montgomery64_2e150m3/feadd.c b/src/Specific/montgomery64_2e150m3/feadd.c
index 7e035475b..f7bf1ae57 100644
--- a/src/Specific/montgomery64_2e150m3/feadd.c
+++ b/src/Specific/montgomery64_2e150m3/feadd.c
@@ -12,9 +12,9 @@ static void feadd(uint64_t out[3], const uint64_t in1[3], const uint64_t in2[3])
   { uint64_t x25; uint8_t x26 = _subborrow_u64(x23, x16, 0xffffffffffffffffL, &x25);
   { uint64_t x28; uint8_t x29 = _subborrow_u64(x26, x19, 0x3fffff, &x28);
   { uint64_t _; uint8_t x32 = _subborrow_u64(x29, x20, 0x0, &_);
-  { uint64_t x33 = cmovznz(x32, x28, x19);
-  { uint64_t x34 = cmovznz(x32, x25, x16);
-  { uint64_t x35 = cmovznz(x32, x22, x13);
+  { uint64_t x33 = cmovznz64(x32, x28, x19);
+  { uint64_t x34 = cmovznz64(x32, x25, x16);
+  { uint64_t x35 = cmovznz64(x32, x22, x13);
   out[0] = x35;
   out[1] = x34;
   out[2] = x33;
diff --git a/src/Specific/montgomery64_2e150m3/feaddDisplay.log b/src/Specific/montgomery64_2e150m3/feaddDisplay.log
index 83accb8c8..bf8484756 100644
--- a/src/Specific/montgomery64_2e150m3/feaddDisplay.log
+++ b/src/Specific/montgomery64_2e150m3/feaddDisplay.log
@@ -9,9 +9,9 @@ Interp-η
  uint64_t x25, uint8_t x26 = subborrow_u64(x23, x16, 0xffffffffffffffffL);
  uint64_t x28, uint8_t x29 = subborrow_u64(x26, x19, 0x3fffff);
  uint64_t _, uint8_t x32 = subborrow_u64(x29, x20, 0x0);
- uint64_t x33 = cmovznz(x32, x28, x19);
- uint64_t x34 = cmovznz(x32, x25, x16);
- uint64_t x35 = cmovznz(x32, x22, x13);
+ uint64_t x33 = cmovznz64(x32, x28, x19);
+ uint64_t x34 = cmovznz64(x32, x25, x16);
+ uint64_t x35 = cmovznz64(x32, x22, x13);
  return (x33, x34, x35))
 (x, x0)%core
      : word64 * word64 * word64 → word64 * word64 * word64 → ReturnType (uint64_t * uint64_t * uint64_t)
diff --git a/src/Specific/montgomery64_2e150m3/femul.c b/src/Specific/montgomery64_2e150m3/femul.c
index bb3e619b1..e6c781e6d 100644
--- a/src/Specific/montgomery64_2e150m3/femul.c
+++ b/src/Specific/montgomery64_2e150m3/femul.c
@@ -70,9 +70,9 @@ static void femul(uint64_t out[3], const uint64_t in1[3], const uint64_t in2[3])
   { uint64_t x195; uint8_t x196 = _subborrow_u64(x193, x185, 0xffffffffffffffffL, &x195);
   { uint64_t x198; uint8_t x199 = _subborrow_u64(x196, x188, 0x3fffff, &x198);
   { uint64_t _; uint8_t x202 = _subborrow_u64(x199, x190, 0x0, &_);
-  { uint64_t x203 = cmovznz(x202, x198, x188);
-  { uint64_t x204 = cmovznz(x202, x195, x185);
-  { uint64_t x205 = cmovznz(x202, x192, x182);
+  { uint64_t x203 = cmovznz64(x202, x198, x188);
+  { uint64_t x204 = cmovznz64(x202, x195, x185);
+  { uint64_t x205 = cmovznz64(x202, x192, x182);
   out[0] = x205;
   out[1] = x204;
   out[2] = x203;
diff --git a/src/Specific/montgomery64_2e150m3/femulDisplay.log b/src/Specific/montgomery64_2e150m3/femulDisplay.log
index 4c63edcc7..e0c671325 100644
--- a/src/Specific/montgomery64_2e150m3/femulDisplay.log
+++ b/src/Specific/montgomery64_2e150m3/femulDisplay.log
@@ -67,9 +67,9 @@ Interp-η
  uint64_t x195, uint8_t x196 = subborrow_u64(x193, x185, 0xffffffffffffffffL);
  uint64_t x198, uint8_t x199 = subborrow_u64(x196, x188, 0x3fffff);
  uint64_t _, uint8_t x202 = subborrow_u64(x199, x190, 0x0);
- uint64_t x203 = cmovznz(x202, x198, x188);
- uint64_t x204 = cmovznz(x202, x195, x185);
- uint64_t x205 = cmovznz(x202, x192, x182);
+ uint64_t x203 = cmovznz64(x202, x198, x188);
+ uint64_t x204 = cmovznz64(x202, x195, x185);
+ uint64_t x205 = cmovznz64(x202, x192, x182);
  return (x203, x204, x205))
 (x, x0)%core
      : word64 * word64 * word64 → word64 * word64 * word64 → ReturnType (uint64_t * uint64_t * uint64_t)
diff --git a/src/Specific/montgomery64_2e150m3/feopp.c b/src/Specific/montgomery64_2e150m3/feopp.c
index 71d501063..d70d226e0 100644
--- a/src/Specific/montgomery64_2e150m3/feopp.c
+++ b/src/Specific/montgomery64_2e150m3/feopp.c
@@ -5,7 +5,7 @@ static void feopp(uint64_t out[3], const uint64_t in1[3]) {
   { uint64_t x6; uint8_t x7 = _subborrow_u64(0x0, 0x0, x2, &x6);
   { uint64_t x9; uint8_t x10 = _subborrow_u64(x7, 0x0, x4, &x9);
   { uint64_t x12; uint8_t x13 = _subborrow_u64(x10, 0x0, x3, &x12);
-  { uint64_t x14 = (uint64_t)cmovznz(x13, 0x0, 0xffffffffffffffffL);
+  { uint64_t x14 = cmovznz64(x13, 0x0, 0xffffffffffffffffL);
   { uint64_t x15 = (x14 & 0xfffffffffffffffdL);
   { uint64_t x17; uint8_t x18 = _addcarryx_u64(0x0, x6, x15, &x17);
   { uint64_t x19 = (x14 & 0xffffffffffffffffL);
diff --git a/src/Specific/montgomery64_2e150m3/feoppDisplay.log b/src/Specific/montgomery64_2e150m3/feoppDisplay.log
index a3837286e..557bc3a13 100644
--- a/src/Specific/montgomery64_2e150m3/feoppDisplay.log
+++ b/src/Specific/montgomery64_2e150m3/feoppDisplay.log
@@ -5,7 +5,7 @@ Interp-η
  uint64_t x6, uint8_t x7 = subborrow_u64(0x0, 0x0, x2);
  uint64_t x9, uint8_t x10 = subborrow_u64(x7, 0x0, x4);
  uint64_t x12, uint8_t x13 = subborrow_u64(x10, 0x0, x3);
- uint64_t x14 = (uint64_t)cmovznz(x13, 0x0, 0xffffffffffffffffL);
+ uint64_t x14 = cmovznz64(x13, 0x0, 0xffffffffffffffffL);
  uint64_t x15 = (x14 & 0xfffffffffffffffdL);
  uint64_t x17, uint8_t x18 = addcarryx_u64(0x0, x6, x15);
  uint64_t x19 = (x14 & 0xffffffffffffffffL);
diff --git a/src/Specific/montgomery64_2e150m3/fesub.c b/src/Specific/montgomery64_2e150m3/fesub.c
index 8a186256c..f25324f92 100644
--- a/src/Specific/montgomery64_2e150m3/fesub.c
+++ b/src/Specific/montgomery64_2e150m3/fesub.c
@@ -8,7 +8,7 @@ static void fesub(uint64_t out[3], const uint64_t in1[3], const uint64_t in2[3])
   { uint64_t x13; uint8_t x14 = _subborrow_u64(0x0, x5, x9, &x13);
   { uint64_t x16; uint8_t x17 = _subborrow_u64(x14, x7, x11, &x16);
   { uint64_t x19; uint8_t x20 = _subborrow_u64(x17, x6, x10, &x19);
-  { uint64_t x21 = (uint64_t)cmovznz(x20, 0x0, 0xffffffffffffffffL);
+  { uint64_t x21 = cmovznz64(x20, 0x0, 0xffffffffffffffffL);
   { uint64_t x22 = (x21 & 0xfffffffffffffffdL);
   { uint64_t x24; uint8_t x25 = _addcarryx_u64(0x0, x13, x22, &x24);
   { uint64_t x26 = (x21 & 0xffffffffffffffffL);
diff --git a/src/Specific/montgomery64_2e150m3/fesubDisplay.log b/src/Specific/montgomery64_2e150m3/fesubDisplay.log
index f5aa1f66a..11c135bd2 100644
--- a/src/Specific/montgomery64_2e150m3/fesubDisplay.log
+++ b/src/Specific/montgomery64_2e150m3/fesubDisplay.log
@@ -5,7 +5,7 @@ Interp-η
  uint64_t x13, uint8_t x14 = subborrow_u64(0x0, x5, x9);
  uint64_t x16, uint8_t x17 = subborrow_u64(x14, x7, x11);
  uint64_t x19, uint8_t x20 = subborrow_u64(x17, x6, x10);
- uint64_t x21 = (uint64_t)cmovznz(x20, 0x0, 0xffffffffffffffffL);
+ uint64_t x21 = cmovznz64(x20, 0x0, 0xffffffffffffffffL);
  uint64_t x22 = (x21 & 0xfffffffffffffffdL);
  uint64_t x24, uint8_t x25 = addcarryx_u64(0x0, x13, x22);
  uint64_t x26 = (x21 & 0xffffffffffffffffL);