1 files changed, 17 insertions, 17 deletions
diff --git a/src/Specific/IntegrationTestMontgomeryP256_128Display.log b/src/Specific/IntegrationTestMontgomeryP256_128Display.log
index 1a5507b36..382fb3bad 100644
--- a/src/Specific/IntegrationTestMontgomeryP256_128Display.log
+++ b/src/Specific/IntegrationTestMontgomeryP256_128Display.log
@@ -8,8 +8,8 @@ Interp-η
  uint256_t x11 = (uint256_t) x5 * x6;
  uint128_t x12 = (uint128_t) x11 & 0xffffffffffffffffffffffffffffffffL;
  uint128_t x13 = (uint128_t) (x11 >> 0x80);
- uint128_t x15, bool x16 = Op (Syntax.AddWithGetCarry 128 (Syntax.TWord 0) (Syntax.TWord 7) (Syntax.TWord 7) (Syntax.TWord 7) (Syntax.TWord 0)) (0x0, Return x10, Return x12);
- uint128_t x18, bool _ = Op (Syntax.AddWithGetCarry 128 (Syntax.TWord 0) (Syntax.TWord 0) (Syntax.TWord 7) (Syntax.TWord 7) (Syntax.TWord 0)) (0x0, Return x16, Return x13);
+ uint128_t x15, uint8_t x16 = Op (Syntax.AddWithGetCarry 128 (Syntax.TWord 3) (Syntax.TWord 7) (Syntax.TWord 7) (Syntax.TWord 7) (Syntax.TWord 3)) (0x0, Return x10, Return x12);
+ uint128_t x18, uint8_t _ = Op (Syntax.AddWithGetCarry 128 (Syntax.TWord 3) (Syntax.TWord 3) (Syntax.TWord 7) (Syntax.TWord 7) (Syntax.TWord 3)) (0x0, Return x16, Return x13);
  uint128_t x20 = x9 & 0xffffffffffffffffffffffffffffffffL;
  uint256_t x21 = (uint256_t) x20 * 0xffffffffffffffffffffffffL;
  uint128_t x22 = (uint128_t) x21 & 0xffffffffffffffffffffffffffffffffL;
@@ -17,22 +17,22 @@ Interp-η
  uint256_t x24 = (uint256_t) x20 * 0xffffffff000000010000000000000000L;
  uint128_t x25 = (uint128_t) x24 & 0xffffffffffffffffffffffffffffffffL;
  uint128_t x26 = (uint128_t) (x24 >> 0x80);
- uint128_t x28, bool x29 = Op (Syntax.AddWithGetCarry 128 (Syntax.TWord 0) (Syntax.TWord 7) (Syntax.TWord 7) (Syntax.TWord 7) (Syntax.TWord 0)) (0x0, Return x23, Return x25);
- uint128_t x31, bool _ = Op (Syntax.AddWithGetCarry 128 (Syntax.TWord 0) (Syntax.TWord 0) (Syntax.TWord 7) (Syntax.TWord 7) (Syntax.TWord 0)) (0x0, Return x29, Return x26);
- uint128_t _, bool x35 = Op (Syntax.AddWithGetCarry 128 (Syntax.TWord 0) (Syntax.TWord 7) (Syntax.TWord 7) (Syntax.TWord 7) (Syntax.TWord 0)) (0x0, Return x9, Return x22);
- uint128_t x37, bool x38 = Op (Syntax.AddWithGetCarry 128 (Syntax.TWord 0) (Syntax.TWord 7) (Syntax.TWord 7) (Syntax.TWord 7) (Syntax.TWord 0)) (Return x35, Return x15, Return x28);
- uint128_t x40, bool x41 = Op (Syntax.AddWithGetCarry 128 (Syntax.TWord 0) (Syntax.TWord 7) (Syntax.TWord 7) (Syntax.TWord 7) (Syntax.TWord 0)) (Return x38, Return x18, Return x31);
+ uint128_t x28, uint8_t x29 = Op (Syntax.AddWithGetCarry 128 (Syntax.TWord 3) (Syntax.TWord 7) (Syntax.TWord 7) (Syntax.TWord 7) (Syntax.TWord 3)) (0x0, Return x23, Return x25);
+ uint128_t x31, uint8_t _ = Op (Syntax.AddWithGetCarry 128 (Syntax.TWord 3) (Syntax.TWord 3) (Syntax.TWord 7) (Syntax.TWord 7) (Syntax.TWord 3)) (0x0, Return x29, Return x26);
+ uint128_t _, uint8_t x35 = Op (Syntax.AddWithGetCarry 128 (Syntax.TWord 3) (Syntax.TWord 7) (Syntax.TWord 7) (Syntax.TWord 7) (Syntax.TWord 3)) (0x0, Return x9, Return x22);
+ uint128_t x37, uint8_t x38 = Op (Syntax.AddWithGetCarry 128 (Syntax.TWord 3) (Syntax.TWord 7) (Syntax.TWord 7) (Syntax.TWord 7) (Syntax.TWord 3)) (Return x35, Return x15, Return x28);
+ uint128_t x40, uint8_t x41 = Op (Syntax.AddWithGetCarry 128 (Syntax.TWord 3) (Syntax.TWord 7) (Syntax.TWord 7) (Syntax.TWord 7) (Syntax.TWord 3)) (Return x38, Return x18, Return x31);
  uint256_t x42 = (uint256_t) x4 * x7;
  uint128_t x43 = (uint128_t) x42 & 0xffffffffffffffffffffffffffffffffL;
  uint128_t x44 = (uint128_t) (x42 >> 0x80);
  uint256_t x45 = (uint256_t) x4 * x6;
  uint128_t x46 = (uint128_t) x45 & 0xffffffffffffffffffffffffffffffffL;
  uint128_t x47 = (uint128_t) (x45 >> 0x80);
- uint128_t x49, bool x50 = Op (Syntax.AddWithGetCarry 128 (Syntax.TWord 0) (Syntax.TWord 7) (Syntax.TWord 7) (Syntax.TWord 7) (Syntax.TWord 0)) (0x0, Return x44, Return x46);
- uint128_t x52, bool _ = Op (Syntax.AddWithGetCarry 128 (Syntax.TWord 0) (Syntax.TWord 0) (Syntax.TWord 7) (Syntax.TWord 7) (Syntax.TWord 0)) (0x0, Return x50, Return x47);
- uint128_t x55, bool x56 = Op (Syntax.AddWithGetCarry 128 (Syntax.TWord 0) (Syntax.TWord 7) (Syntax.TWord 7) (Syntax.TWord 7) (Syntax.TWord 0)) (0x0, Return x37, Return x43);
- uint128_t x58, bool x59 = Op (Syntax.AddWithGetCarry 128 (Syntax.TWord 0) (Syntax.TWord 7) (Syntax.TWord 7) (Syntax.TWord 7) (Syntax.TWord 0)) (Return x56, Return x40, Return x49);
- uint128_t x61, bool _ = Op (Syntax.AddWithGetCarry 128 (Syntax.TWord 0) (Syntax.TWord 0) (Syntax.TWord 7) (Syntax.TWord 7) (Syntax.TWord 0)) (Return x59, Return x41, Return x52);
+ uint128_t x49, uint8_t x50 = Op (Syntax.AddWithGetCarry 128 (Syntax.TWord 3) (Syntax.TWord 7) (Syntax.TWord 7) (Syntax.TWord 7) (Syntax.TWord 3)) (0x0, Return x44, Return x46);
+ uint128_t x52, uint8_t _ = Op (Syntax.AddWithGetCarry 128 (Syntax.TWord 3) (Syntax.TWord 3) (Syntax.TWord 7) (Syntax.TWord 7) (Syntax.TWord 3)) (0x0, Return x50, Return x47);
+ uint128_t x55, uint8_t x56 = Op (Syntax.AddWithGetCarry 128 (Syntax.TWord 3) (Syntax.TWord 7) (Syntax.TWord 7) (Syntax.TWord 7) (Syntax.TWord 3)) (0x0, Return x37, Return x43);
+ uint128_t x58, uint8_t x59 = Op (Syntax.AddWithGetCarry 128 (Syntax.TWord 3) (Syntax.TWord 7) (Syntax.TWord 7) (Syntax.TWord 7) (Syntax.TWord 3)) (Return x56, Return x40, Return x49);
+ uint128_t x61, uint8_t _ = Op (Syntax.AddWithGetCarry 128 (Syntax.TWord 3) (Syntax.TWord 3) (Syntax.TWord 7) (Syntax.TWord 7) (Syntax.TWord 3)) (Return x59, Return x41, Return x52);
  uint128_t x63 = x55 & 0xffffffffffffffffffffffffffffffffL;
  uint256_t x64 = (uint256_t) x63 * 0xffffffffffffffffffffffffL;
  uint128_t x65 = (uint128_t) x64 & 0xffffffffffffffffffffffffffffffffL;
@@ -40,11 +40,11 @@ Interp-η
  uint256_t x67 = (uint256_t) x63 * 0xffffffff000000010000000000000000L;
  uint128_t x68 = (uint128_t) x67 & 0xffffffffffffffffffffffffffffffffL;
  uint128_t x69 = (uint128_t) (x67 >> 0x80);
- uint128_t x71, bool x72 = Op (Syntax.AddWithGetCarry 128 (Syntax.TWord 0) (Syntax.TWord 7) (Syntax.TWord 7) (Syntax.TWord 7) (Syntax.TWord 0)) (0x0, Return x66, Return x68);
- uint128_t x74, bool _ = Op (Syntax.AddWithGetCarry 128 (Syntax.TWord 0) (Syntax.TWord 0) (Syntax.TWord 7) (Syntax.TWord 7) (Syntax.TWord 0)) (0x0, Return x72, Return x69);
- uint128_t _, bool x78 = Op (Syntax.AddWithGetCarry 128 (Syntax.TWord 0) (Syntax.TWord 7) (Syntax.TWord 7) (Syntax.TWord 7) (Syntax.TWord 0)) (0x0, Return x55, Return x65);
- uint128_t x80, bool x81 = Op (Syntax.AddWithGetCarry 128 (Syntax.TWord 0) (Syntax.TWord 7) (Syntax.TWord 7) (Syntax.TWord 7) (Syntax.TWord 0)) (Return x78, Return x58, Return x71);
- uint128_t x83, bool _ = Op (Syntax.AddWithGetCarry 128 (Syntax.TWord 0) (Syntax.TWord 7) (Syntax.TWord 7) (Syntax.TWord 7) (Syntax.TWord 0)) (Return x81, Return x61, Return x74);
+ uint128_t x71, uint8_t x72 = Op (Syntax.AddWithGetCarry 128 (Syntax.TWord 3) (Syntax.TWord 7) (Syntax.TWord 7) (Syntax.TWord 7) (Syntax.TWord 3)) (0x0, Return x66, Return x68);
+ uint128_t x74, uint8_t _ = Op (Syntax.AddWithGetCarry 128 (Syntax.TWord 3) (Syntax.TWord 3) (Syntax.TWord 7) (Syntax.TWord 7) (Syntax.TWord 3)) (0x0, Return x72, Return x69);
+ uint128_t _, uint8_t x78 = Op (Syntax.AddWithGetCarry 128 (Syntax.TWord 3) (Syntax.TWord 7) (Syntax.TWord 7) (Syntax.TWord 7) (Syntax.TWord 3)) (0x0, Return x55, Return x65);
+ uint128_t x80, uint8_t x81 = Op (Syntax.AddWithGetCarry 128 (Syntax.TWord 3) (Syntax.TWord 7) (Syntax.TWord 7) (Syntax.TWord 7) (Syntax.TWord 3)) (Return x78, Return x58, Return x71);
+ uint128_t x83, uint8_t _ = Op (Syntax.AddWithGetCarry 128 (Syntax.TWord 3) (Syntax.TWord 7) (Syntax.TWord 7) (Syntax.TWord 7) (Syntax.TWord 3)) (Return x81, Return x61, Return x74);
  (Return x83, Return x80))
 (x, x0)%core
      : word128 * word128 → word128 * word128 → ReturnType (uint128_t * uint128_t)