make display with new constants

1 files changed, 14 insertions, 14 deletions

diff --git a/src/Specific/IntegrationTestMontgomeryP256_128Display.log b/src/Specific/IntegrationTestMontgomeryP256_128Display.log
index a416daad1..1a5507b36 100644
--- a/src/Specific/IntegrationTestMontgomeryP256_128Display.log
+++ b/src/Specific/IntegrationTestMontgomeryP256_128Display.log
@@ -3,19 +3,19 @@ Interp-η
 (λ var : Syntax.base_type → Type,
  λ '(x4, x5, (x6, x7))%core,
  uint256_t x8 = (uint256_t) x5 * x7;
- uint128_t x9 = (uint128_t) x8 & Const 340282366920938463463374607431768211455;
+ uint128_t x9 = (uint128_t) x8 & 0xffffffffffffffffffffffffffffffffL;
  uint128_t x10 = (uint128_t) (x8 >> 0x80);
  uint256_t x11 = (uint256_t) x5 * x6;
- uint128_t x12 = (uint128_t) x11 & Const 340282366920938463463374607431768211455;
+ 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 x20 = x9 & Const 340282366920938463463374607431768211455;
- uint256_t x21 = (uint256_t) x20 * Const 79228162514264337593543950335;
- uint128_t x22 = (uint128_t) x21 & Const 340282366920938463463374607431768211455;
+ uint128_t x20 = x9 & 0xffffffffffffffffffffffffffffffffL;
+ uint256_t x21 = (uint256_t) x20 * 0xffffffffffffffffffffffffL;
+ uint128_t x22 = (uint128_t) x21 & 0xffffffffffffffffffffffffffffffffL;
  uint128_t x23 = (uint128_t) (x21 >> 0x80);
- uint256_t x24 = (uint256_t) x20 * Const 340282366841710300967557013911933812736;
- uint128_t x25 = (uint128_t) x24 & Const 340282366920938463463374607431768211455;
+ 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);
@@ -23,22 +23,22 @@ Interp-η
  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);
  uint256_t x42 = (uint256_t) x4 * x7;
- uint128_t x43 = (uint128_t) x42 & Const 340282366920938463463374607431768211455;
+ 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 & Const 340282366920938463463374607431768211455;
+ 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 x63 = x55 & Const 340282366920938463463374607431768211455;
- uint256_t x64 = (uint256_t) x63 * Const 79228162514264337593543950335;
- uint128_t x65 = (uint128_t) x64 & Const 340282366920938463463374607431768211455;
+ uint128_t x63 = x55 & 0xffffffffffffffffffffffffffffffffL;
+ uint256_t x64 = (uint256_t) x63 * 0xffffffffffffffffffffffffL;
+ uint128_t x65 = (uint128_t) x64 & 0xffffffffffffffffffffffffffffffffL;
  uint128_t x66 = (uint128_t) (x64 >> 0x80);
- uint256_t x67 = (uint256_t) x63 * Const 340282366841710300967557013911933812736;
- uint128_t x68 = (uint128_t) x67 & Const 340282366920938463463374607431768211455;
+ 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);