Update display logs and c files

1 files changed, 15 insertions, 15 deletions

diff --git a/src/Specific/montgomery32_2e450m2e225m1/feadd.c b/src/Specific/montgomery32_2e450m2e225m1/feadd.c
index 64f201c18..3fad66efb 100644
--- a/src/Specific/montgomery32_2e450m2e225m1/feadd.c
+++ b/src/Specific/montgomery32_2e450m2e225m1/feadd.c
@@ -60,21 +60,21 @@ static void feadd(uint32_t out[15], const uint32_t in1[15], const uint32_t in2[1
   { uint32_t x145; uint8_t x146 = _subborrow_u32(x143, x100, 0xffffffff, &x145);
   { uint32_t x148; uint8_t x149 = _subborrow_u32(x146, x103, 0x3, &x148);
   { uint32_t _; uint8_t x152 = _subborrow_u32(x149, x104, 0x0, &_);
-  { uint32_t x153 = cmovznz(x152, x148, x103);
-  { uint32_t x154 = cmovznz(x152, x145, x100);
-  { uint32_t x155 = cmovznz(x152, x142, x97);
-  { uint32_t x156 = cmovznz(x152, x139, x94);
-  { uint32_t x157 = cmovznz(x152, x136, x91);
-  { uint32_t x158 = cmovznz(x152, x133, x88);
-  { uint32_t x159 = cmovznz(x152, x130, x85);
-  { uint32_t x160 = cmovznz(x152, x127, x82);
-  { uint32_t x161 = cmovznz(x152, x124, x79);
-  { uint32_t x162 = cmovznz(x152, x121, x76);
-  { uint32_t x163 = cmovznz(x152, x118, x73);
-  { uint32_t x164 = cmovznz(x152, x115, x70);
-  { uint32_t x165 = cmovznz(x152, x112, x67);
-  { uint32_t x166 = cmovznz(x152, x109, x64);
-  { uint32_t x167 = cmovznz(x152, x106, x61);
+  { uint32_t x153 = cmovznz32(x152, x148, x103);
+  { uint32_t x154 = cmovznz32(x152, x145, x100);
+  { uint32_t x155 = cmovznz32(x152, x142, x97);
+  { uint32_t x156 = cmovznz32(x152, x139, x94);
+  { uint32_t x157 = cmovznz32(x152, x136, x91);
+  { uint32_t x158 = cmovznz32(x152, x133, x88);
+  { uint32_t x159 = cmovznz32(x152, x130, x85);
+  { uint32_t x160 = cmovznz32(x152, x127, x82);
+  { uint32_t x161 = cmovznz32(x152, x124, x79);
+  { uint32_t x162 = cmovznz32(x152, x121, x76);
+  { uint32_t x163 = cmovznz32(x152, x118, x73);
+  { uint32_t x164 = cmovznz32(x152, x115, x70);
+  { uint32_t x165 = cmovznz32(x152, x112, x67);
+  { uint32_t x166 = cmovznz32(x152, x109, x64);
+  { uint32_t x167 = cmovznz32(x152, x106, x61);
   out[0] = x167;
   out[1] = x166;
   out[2] = x165;