8 files changed, 16 insertions, 16 deletions
diff --git a/src/Specific/NISTP256/AMD128/feaddDisplay.log b/src/Specific/NISTP256/AMD128/feaddDisplay.log
index ea6db527b..89d8839bf 100644
--- a/src/Specific/NISTP256/AMD128/feaddDisplay.log
+++ b/src/Specific/NISTP256/AMD128/feaddDisplay.log
@@ -7,8 +7,8 @@ Interp-η
  uint128_t x15, uint8_t x16 = subborrow_u128(0x0, x9, 0xffffffffffffffffffffffffL);
  uint128_t x18, uint8_t x19 = subborrow_u128(x16, x12, 0xffffffff000000010000000000000000L);
  uint128_t _, uint8_t x22 = subborrow_u128(x19, x13, 0x0);
- uint128_t x23 = cmovznz(x22, x18, x12);
- uint128_t x24 = cmovznz(x22, x15, x9);
+ uint128_t x23 = cmovznz128(x22, x18, x12);
+ uint128_t x24 = cmovznz128(x22, x15, x9);
  return (x23, x24))
 (x, x0)%core
      : word128 * word128 → word128 * word128 → ReturnType (uint128_t * uint128_t)
diff --git a/src/Specific/NISTP256/AMD128/femulDisplay.log b/src/Specific/NISTP256/AMD128/femulDisplay.log
index 3edcd5cba..96bc3e200 100644
--- a/src/Specific/NISTP256/AMD128/femulDisplay.log
+++ b/src/Specific/NISTP256/AMD128/femulDisplay.log
@@ -33,8 +33,8 @@ Interp-η
  uint128_t x91, uint8_t x92 = subborrow_u128(0x0, x84, 0xffffffffffffffffffffffffL);
  uint128_t x94, uint8_t x95 = subborrow_u128(x92, x87, 0xffffffff000000010000000000000000L);
  uint128_t _, uint8_t x98 = subborrow_u128(x95, x89, 0x0);
- uint128_t x99 = cmovznz(x98, x94, x87);
- uint128_t x100 = cmovznz(x98, x91, x84);
+ uint128_t x99 = cmovznz128(x98, x94, x87);
+ uint128_t x100 = cmovznz128(x98, x91, x84);
  return (x99, x100))
 (x, x0)%core
      : word128 * word128 → word128 * word128 → ReturnType (uint128_t * uint128_t)
diff --git a/src/Specific/NISTP256/AMD128/feoppDisplay.log b/src/Specific/NISTP256/AMD128/feoppDisplay.log
index ea60d9f66..f3b1f606f 100644
--- a/src/Specific/NISTP256/AMD128/feoppDisplay.log
+++ b/src/Specific/NISTP256/AMD128/feoppDisplay.log
@@ -4,7 +4,7 @@ Interp-η
  λ '(x1, x2)%core,
  uint128_t x4, uint8_t x5 = subborrow_u128(0x0, 0x0, x2);
  uint128_t x7, uint8_t x8 = subborrow_u128(x5, 0x0, x1);
- uint128_t x9 = (uint128_t)cmovznz(x8, 0x0, 0xffffffffffffffffffffffffffffffffL);
+ uint128_t x9 = cmovznz128(x8, 0x0, 0xffffffffffffffffffffffffffffffffL);
  uint128_t x10 = (x9 & 0xffffffffffffffffffffffffL);
  uint128_t x12, uint8_t x13 = addcarryx_u128(0x0, x4, x10);
  uint128_t x14 = (x9 & 0xffffffff000000010000000000000000L);
diff --git a/src/Specific/NISTP256/AMD128/fesubDisplay.log b/src/Specific/NISTP256/AMD128/fesubDisplay.log
index 70f224d33..5136e376d 100644
--- a/src/Specific/NISTP256/AMD128/fesubDisplay.log
+++ b/src/Specific/NISTP256/AMD128/fesubDisplay.log
@@ -4,7 +4,7 @@ Interp-η
  λ '(x4, x5, (x6, x7))%core,
  uint128_t x9, uint8_t x10 = subborrow_u128(0x0, x5, x7);
  uint128_t x12, uint8_t x13 = subborrow_u128(x10, x4, x6);
- uint128_t x14 = (uint128_t)cmovznz(x13, 0x0, 0xffffffffffffffffffffffffffffffffL);
+ uint128_t x14 = cmovznz128(x13, 0x0, 0xffffffffffffffffffffffffffffffffL);
  uint128_t x15 = (x14 & 0xffffffffffffffffffffffffL);
  uint128_t x17, uint8_t x18 = addcarryx_u128(0x0, x9, x15);
  uint128_t x19 = (x14 & 0xffffffff000000010000000000000000L);
diff --git a/src/Specific/NISTP256/AMD64/feaddDisplay.log b/src/Specific/NISTP256/AMD64/feaddDisplay.log
index ba7a2f50d..9849e94ae 100644
--- a/src/Specific/NISTP256/AMD64/feaddDisplay.log
+++ b/src/Specific/NISTP256/AMD64/feaddDisplay.log
@@ -11,10 +11,10 @@ Interp-η
  uint64_t x35, uint8_t x36 = subborrow_u64(x33, x23, 0x0);
  uint64_t x38, uint8_t x39 = subborrow_u64(x36, x26, 0xffffffff00000001L);
  uint64_t _, uint8_t x42 = subborrow_u64(x39, x27, 0x0);
- uint64_t x43 = cmovznz(x42, x38, x26);
- uint64_t x44 = cmovznz(x42, x35, x23);
- uint64_t x45 = cmovznz(x42, x32, x20);
- uint64_t x46 = cmovznz(x42, x29, x17);
+ uint64_t x43 = cmovznz64(x42, x38, x26);
+ uint64_t x44 = cmovznz64(x42, x35, x23);
+ uint64_t x45 = cmovznz64(x42, x32, x20);
+ uint64_t x46 = cmovznz64(x42, x29, x17);
  return (x43, x44, x45, x46))
 (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/femulDisplay.log b/src/Specific/NISTP256/AMD64/femulDisplay.log
index 78afa86fa..1ad198fe0 100644
--- a/src/Specific/NISTP256/AMD64/femulDisplay.log
+++ b/src/Specific/NISTP256/AMD64/femulDisplay.log
@@ -105,10 +105,10 @@ Interp-η
  uint64_t x311, uint8_t x312 = subborrow_u64(x309, x298, 0x0);
  uint64_t x314, uint8_t x315 = subborrow_u64(x312, x301, 0xffffffff00000001L);
  uint64_t _, uint8_t x318 = subborrow_u64(x315, x303, 0x0);
- uint64_t x319 = cmovznz(x318, x314, x301);
- uint64_t x320 = cmovznz(x318, x311, x298);
- uint64_t x321 = cmovznz(x318, x308, x295);
- uint64_t x322 = cmovznz(x318, x305, x292);
+ uint64_t x319 = cmovznz64(x318, x314, x301);
+ uint64_t x320 = cmovznz64(x318, x311, x298);
+ uint64_t x321 = cmovznz64(x318, x308, x295);
+ uint64_t x322 = cmovznz64(x318, x305, x292);
  return (x319, x320, x321, x322))
 (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/feoppDisplay.log b/src/Specific/NISTP256/AMD64/feoppDisplay.log
index 87297dfac..b08bcd7fb 100644
--- a/src/Specific/NISTP256/AMD64/feoppDisplay.log
+++ b/src/Specific/NISTP256/AMD64/feoppDisplay.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)cmovznz(x18, 0x0, 0xffffffffffffffffL);
+ uint64_t x19 = cmovznz64(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/fesubDisplay.log b/src/Specific/NISTP256/AMD64/fesubDisplay.log
index 410fead3f..9175c3383 100644
--- a/src/Specific/NISTP256/AMD64/fesubDisplay.log
+++ b/src/Specific/NISTP256/AMD64/fesubDisplay.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)cmovznz(x27, 0x0, 0xffffffffffffffffL);
+ uint64_t x28 = cmovznz64(x27, 0x0, 0xffffffffffffffffL);
  uint64_t x29 = (x28 & 0xffffffffffffffffL);
  uint64_t x31, uint8_t x32 = addcarryx_u64(0x0, x17, x29);
  uint64_t x33 = (x28 & 0xffffffff);