Update display logs and c files

2 files changed, 22 insertions, 22 deletions

diff --git a/src/Specific/montgomery32_2e338m15/feadd.c b/src/Specific/montgomery32_2e338m15/feadd.c
index e50596dff..7883f5102 100644
--- a/src/Specific/montgomery32_2e338m15/feadd.c
+++ b/src/Specific/montgomery32_2e338m15/feadd.c
@@ -44,17 +44,17 @@ static void feadd(uint32_t out[11], const uint32_t in1[11], const uint32_t in2[1
   { uint32_t x105; uint8_t x106 = _subborrow_u32(x103, x72, 0xffffffff, &x105);
   { uint32_t x108; uint8_t x109 = _subborrow_u32(x106, x75, 0x3ffff, &x108);
   { uint32_t _; uint8_t x112 = _subborrow_u32(x109, x76, 0x0, &_);
-  { uint32_t x113 = cmovznz(x112, x108, x75);
-  { uint32_t x114 = cmovznz(x112, x105, x72);
-  { uint32_t x115 = cmovznz(x112, x102, x69);
-  { uint32_t x116 = cmovznz(x112, x99, x66);
-  { uint32_t x117 = cmovznz(x112, x96, x63);
-  { uint32_t x118 = cmovznz(x112, x93, x60);
-  { uint32_t x119 = cmovznz(x112, x90, x57);
-  { uint32_t x120 = cmovznz(x112, x87, x54);
-  { uint32_t x121 = cmovznz(x112, x84, x51);
-  { uint32_t x122 = cmovznz(x112, x81, x48);
-  { uint32_t x123 = cmovznz(x112, x78, x45);
+  { uint32_t x113 = cmovznz32(x112, x108, x75);
+  { uint32_t x114 = cmovznz32(x112, x105, x72);
+  { uint32_t x115 = cmovznz32(x112, x102, x69);
+  { uint32_t x116 = cmovznz32(x112, x99, x66);
+  { uint32_t x117 = cmovznz32(x112, x96, x63);
+  { uint32_t x118 = cmovznz32(x112, x93, x60);
+  { uint32_t x119 = cmovznz32(x112, x90, x57);
+  { uint32_t x120 = cmovznz32(x112, x87, x54);
+  { uint32_t x121 = cmovznz32(x112, x84, x51);
+  { uint32_t x122 = cmovznz32(x112, x81, x48);
+  { uint32_t x123 = cmovznz32(x112, x78, x45);
   out[0] = x123;
   out[1] = x122;
   out[2] = x121;
diff --git a/src/Specific/montgomery32_2e338m15/feaddDisplay.log b/src/Specific/montgomery32_2e338m15/feaddDisplay.log
index 16f42a0e8..0c5d2c998 100644
--- a/src/Specific/montgomery32_2e338m15/feaddDisplay.log
+++ b/src/Specific/montgomery32_2e338m15/feaddDisplay.log
@@ -25,17 +25,17 @@ Interp-η
  uint32_t x105, uint8_t x106 = subborrow_u32(x103, x72, 0xffffffff);
  uint32_t x108, uint8_t x109 = subborrow_u32(x106, x75, 0x3ffff);
  uint32_t _, uint8_t x112 = subborrow_u32(x109, x76, 0x0);
- uint32_t x113 = cmovznz(x112, x108, x75);
- uint32_t x114 = cmovznz(x112, x105, x72);
- uint32_t x115 = cmovznz(x112, x102, x69);
- uint32_t x116 = cmovznz(x112, x99, x66);
- uint32_t x117 = cmovznz(x112, x96, x63);
- uint32_t x118 = cmovznz(x112, x93, x60);
- uint32_t x119 = cmovznz(x112, x90, x57);
- uint32_t x120 = cmovznz(x112, x87, x54);
- uint32_t x121 = cmovznz(x112, x84, x51);
- uint32_t x122 = cmovznz(x112, x81, x48);
- uint32_t x123 = cmovznz(x112, x78, x45);
+ uint32_t x113 = cmovznz32(x112, x108, x75);
+ uint32_t x114 = cmovznz32(x112, x105, x72);
+ uint32_t x115 = cmovznz32(x112, x102, x69);
+ uint32_t x116 = cmovznz32(x112, x99, x66);
+ uint32_t x117 = cmovznz32(x112, x96, x63);
+ uint32_t x118 = cmovznz32(x112, x93, x60);
+ uint32_t x119 = cmovznz32(x112, x90, x57);
+ uint32_t x120 = cmovznz32(x112, x87, x54);
+ uint32_t x121 = cmovznz32(x112, x84, x51);
+ uint32_t x122 = cmovznz32(x112, x81, x48);
+ uint32_t x123 = cmovznz32(x112, x78, x45);
  return (x113, x114, x115, x116, x117, x118, x119, x120, x121, x122, x123))
 (x, x0)%core
      : word32 * word32 * word32 * word32 * word32 * word32 * word32 * word32 * word32 * word32 * word32 → word32 * word32 * word32 * word32 * word32 * word32 * word32 * word32 * word32 * word32 * word32 → ReturnType (uint32_t * uint32_t * uint32_t * uint32_t * uint32_t * uint32_t * uint32_t * uint32_t * uint32_t * uint32_t * uint32_t)