make display

4 files changed, 10 insertions, 10 deletions

diff --git a/src/Specific/NISTP256/AMD64/IntegrationTestMontgomeryP256Display.log b/src/Specific/NISTP256/AMD64/IntegrationTestMontgomeryP256Display.log
index 3c47f3fc9..ff4a0c15f 100644
--- a/src/Specific/NISTP256/AMD64/IntegrationTestMontgomeryP256Display.log
+++ b/src/Specific/NISTP256/AMD64/IntegrationTestMontgomeryP256Display.log
@@ -106,10 +106,10 @@ Interp-η
  uint64_t x314, uint8_t x315 = subborrow_u64(x312, x301, 0xffffffff00000001L);
  ℤ x316 = Op (Syntax.Opp (Syntax.TWord 3) Syntax.TZ) (Return x315);
  uint64_t _, ℤ x319 = addcarryx_u64ℤ(0x0, x316, x303);
- uint64_t x320 = x319 == 0 ? x314 : x301;
- uint64_t x321 = x319 == 0 ? x311 : x298;
- uint64_t x322 = x319 == 0 ? x308 : x295;
- uint64_t x323 = x319 == 0 ? x305 : x292;
+ uint64_t x320 = cmovznz(x319, x314, x301);
+ uint64_t x321 = cmovznz(x319, x311, x298);
+ uint64_t x322 = cmovznz(x319, x308, x295);
+ uint64_t x323 = cmovznz(x319, x305, x292);
  return (x320, x321, x322, x323))
 (x, x0)%core
      : word64 * word64 * word64 * word64 → word64 * word64 * word64 * word64 → ReturnType (uint64_t * uint64_t * uint64_t * uint64_t)
diff --git a/src/Specific/NISTP256/AMD64/IntegrationTestMontgomeryP256_AddDisplay.log b/src/Specific/NISTP256/AMD64/IntegrationTestMontgomeryP256_AddDisplay.log
index 0f46e27f6..5802449a2 100644
--- a/src/Specific/NISTP256/AMD64/IntegrationTestMontgomeryP256_AddDisplay.log
+++ b/src/Specific/NISTP256/AMD64/IntegrationTestMontgomeryP256_AddDisplay.log
@@ -12,10 +12,10 @@ Interp-η
  uint64_t x38, uint8_t x39 = subborrow_u64(x36, x26, 0xffffffff00000001L);
  ℤ x40 = Op (Syntax.Opp (Syntax.TWord 3) Syntax.TZ) (Return x39);
  uint64_t _, ℤ x43 = addcarryx_u64ℤ(0x0, x40, x27);
- uint64_t x44 = x43 == 0 ? x38 : x26;
- uint64_t x45 = x43 == 0 ? x35 : x23;
- uint64_t x46 = x43 == 0 ? x32 : x20;
- uint64_t x47 = x43 == 0 ? x29 : x17;
+ uint64_t x44 = cmovznz(x43, x38, x26);
+ uint64_t x45 = cmovznz(x43, x35, x23);
+ uint64_t x46 = cmovznz(x43, x32, x20);
+ uint64_t x47 = cmovznz(x43, x29, x17);
  return (x44, x45, x46, x47))
 (x, x0)%core
      : word64 * word64 * word64 * word64 → word64 * word64 * word64 * word64 → ReturnType (uint64_t * uint64_t * uint64_t * uint64_t)
diff --git a/src/Specific/NISTP256/AMD64/IntegrationTestMontgomeryP256_OppDisplay.log b/src/Specific/NISTP256/AMD64/IntegrationTestMontgomeryP256_OppDisplay.log
index 0b94a81ce..ae2bf3cdb 100644
--- a/src/Specific/NISTP256/AMD64/IntegrationTestMontgomeryP256_OppDisplay.log
+++ b/src/Specific/NISTP256/AMD64/IntegrationTestMontgomeryP256_OppDisplay.log
@@ -6,7 +6,7 @@ Interp-η
  uint64_t x11, uint8_t x12 = subborrow_u64(x9, 0x0, x4);
  uint64_t x14, uint8_t x15 = subborrow_u64(x12, 0x0, x6);
  uint64_t x17, uint8_t x18 = subborrow_u64(x15, 0x0, x5);
- uint64_t x19 = (uint64_t) (x18 == 0 ? 0x0 : 0xffffffffffffffffL);
+ uint64_t x19 = (uint64_t)cmovznz(x18, 0x0, 0xffffffffffffffffL);
  uint64_t x20 = x19 & 0xffffffffffffffffL;
  uint64_t x22, uint8_t x23 = addcarryx_u64(0x0, x8, x20);
  uint64_t x24 = x19 & 0xffffffff;
diff --git a/src/Specific/NISTP256/AMD64/IntegrationTestMontgomeryP256_SubDisplay.log b/src/Specific/NISTP256/AMD64/IntegrationTestMontgomeryP256_SubDisplay.log
index 9b301c678..1e113dddc 100644
--- a/src/Specific/NISTP256/AMD64/IntegrationTestMontgomeryP256_SubDisplay.log
+++ b/src/Specific/NISTP256/AMD64/IntegrationTestMontgomeryP256_SubDisplay.log
@@ -6,7 +6,7 @@ Interp-η
  uint64_t x20, uint8_t x21 = subborrow_u64(x18, x7, x13);
  uint64_t x23, uint8_t x24 = subborrow_u64(x21, x9, x15);
  uint64_t x26, uint8_t x27 = subborrow_u64(x24, x8, x14);
- uint64_t x28 = (uint64_t) (x27 == 0 ? 0x0 : 0xffffffffffffffffL);
+ uint64_t x28 = (uint64_t)cmovznz(x27, 0x0, 0xffffffffffffffffL);
  uint64_t x29 = x28 & 0xffffffffffffffffL;
  uint64_t x31, uint8_t x32 = addcarryx_u64(0x0, x17, x29);
  uint64_t x33 = x28 & 0xffffffff;