make display

1 files changed, 13 insertions, 13 deletions

diff --git a/src/Specific/IntegrationTestMontgomeryP256Display.log b/src/Specific/IntegrationTestMontgomeryP256Display.log
index 51345990f..66d41d7ce 100644
--- a/src/Specific/IntegrationTestMontgomeryP256Display.log
+++ b/src/Specific/IntegrationTestMontgomeryP256Display.log
@@ -14,7 +14,7 @@ Interp-η
  uint128_t x25 = (uint128_t) x5 * x14;
  uint64_t x26 = (uint64_t) x25 & 0xffffffffffffffffL;
  uint64_t x27 = (uint64_t) (x25 >> 0x40);
- uint64_t x29, bool x30 = addcarryx_u64(0x0, 0x0, x17);
+ uint64_t x29, bool x30 = (Return x17, 0x0);
  uint64_t x32, bool x33 = addcarryx_u64(x30, x18, x20);
  uint64_t x35, bool x36 = addcarryx_u64(x33, x21, x23);
  uint64_t x38, uint64_t x39 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 0) (Syntax.TWord 6) (Syntax.TWord 7) (Syntax.TWord 6) (Syntax.TWord 6)) (0x0, Return x26, 0x10000000000000000L * x27);
@@ -22,7 +22,7 @@ Interp-η
  uint64_t x43 = x39 + x42;
  uint64_t x45, bool x46 = addcarryx_u64(0x0, x36, x41);
  uint128_t x47 = (uint128_t) x43 + x46;
- uint64_t x49, bool x50 = addcarryx_u64(0x0, 0x0, x29);
+ uint64_t x49, bool x50 = (Return x29, 0x0);
  uint64_t x52, bool x53 = addcarryx_u64(x50, 0x0, x32);
  uint64_t x55, bool x56 = addcarryx_u64(x53, 0x0, x35);
  uint64_t x58, bool x59 = addcarryx_u64(x56, 0x0, x45);
@@ -37,11 +37,11 @@ Interp-η
  uint128_t x70 = (uint128_t) x63 * 0xffffffff00000001L;
  uint64_t x71 = (uint64_t) x70 & 0xffffffffffffffffL;
  uint64_t x72 = (uint64_t) (x70 >> 0x40);
- uint64_t x74, bool x75 = addcarryx_u64(0x0, 0x0, x65);
+ uint64_t x74, bool x75 = (Return x65, 0x0);
  uint64_t x77, bool x78 = addcarryx_u64(x75, x66, x68);
  uint64_t x80, bool x81 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 0) (Syntax.TWord 6) (Syntax.TWord 0) (Syntax.TWord 6) (Syntax.TWord 0)) (Return x78, Return x69, 0x0);
  uint64_t x83, bool x84 = addcarryx_u64(x81, 0x0, x71);
- uint64_t x86, bool x87 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 6) (Syntax.TWord 0) (Syntax.TWord 0) (Syntax.TWord 6) (Syntax.TWord 0)) (Return x72, 0x0, 0x0);
+ uint64_t x86, bool x87 = (Return x72, 0x0);
  uint64_t x89, bool x90 = addcarryx_u64(0x0, x84, x86);
  bool x91 = x87 + x90;
  uint64_t _, bool x94 = addcarryx_u64(0x0, x49, x74);
@@ -62,7 +62,7 @@ Interp-η
  uint128_t x119 = (uint128_t) x7 * x14;
  uint64_t x120 = (uint64_t) x119 & 0xffffffffffffffffL;
  uint64_t x121 = (uint64_t) (x119 >> 0x40);
- uint64_t x123, bool x124 = addcarryx_u64(0x0, 0x0, x111);
+ uint64_t x123, bool x124 = (Return x111, 0x0);
  uint64_t x126, bool x127 = addcarryx_u64(x124, x112, x114);
  uint64_t x129, bool x130 = addcarryx_u64(x127, x115, x117);
  uint64_t x132, uint64_t x133 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 0) (Syntax.TWord 6) (Syntax.TWord 7) (Syntax.TWord 6) (Syntax.TWord 6)) (0x0, Return x120, 0x10000000000000000L * x121);
@@ -85,11 +85,11 @@ Interp-η
  uint128_t x164 = (uint128_t) x157 * 0xffffffff00000001L;
  uint64_t x165 = (uint64_t) x164 & 0xffffffffffffffffL;
  uint64_t x166 = (uint64_t) (x164 >> 0x40);
- uint64_t x168, bool x169 = addcarryx_u64(0x0, 0x0, x159);
+ uint64_t x168, bool x169 = (Return x159, 0x0);
  uint64_t x171, bool x172 = addcarryx_u64(x169, x160, x162);
  uint64_t x174, bool x175 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 0) (Syntax.TWord 6) (Syntax.TWord 0) (Syntax.TWord 6) (Syntax.TWord 0)) (Return x172, Return x163, 0x0);
  uint64_t x177, bool x178 = addcarryx_u64(x175, 0x0, x165);
- uint64_t x180, bool x181 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 6) (Syntax.TWord 0) (Syntax.TWord 0) (Syntax.TWord 6) (Syntax.TWord 0)) (Return x166, 0x0, 0x0);
+ uint64_t x180, bool x181 = (Return x166, 0x0);
  uint64_t x183, bool x184 = addcarryx_u64(0x0, x178, x180);
  bool x185 = x181 + x184;
  uint64_t _, bool x188 = addcarryx_u64(0x0, x143, x168);
@@ -110,7 +110,7 @@ Interp-η
  uint128_t x213 = (uint128_t) x9 * x14;
  uint64_t x214 = (uint64_t) x213 & 0xffffffffffffffffL;
  uint64_t x215 = (uint64_t) (x213 >> 0x40);
- uint64_t x217, bool x218 = addcarryx_u64(0x0, 0x0, x205);
+ uint64_t x217, bool x218 = (Return x205, 0x0);
  uint64_t x220, bool x221 = addcarryx_u64(x218, x206, x208);
  uint64_t x223, bool x224 = addcarryx_u64(x221, x209, x211);
  uint64_t x226, uint64_t x227 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 0) (Syntax.TWord 6) (Syntax.TWord 7) (Syntax.TWord 6) (Syntax.TWord 6)) (0x0, Return x214, 0x10000000000000000L * x215);
@@ -133,11 +133,11 @@ Interp-η
  uint128_t x258 = (uint128_t) x251 * 0xffffffff00000001L;
  uint64_t x259 = (uint64_t) x258 & 0xffffffffffffffffL;
  uint64_t x260 = (uint64_t) (x258 >> 0x40);
- uint64_t x262, bool x263 = addcarryx_u64(0x0, 0x0, x253);
+ uint64_t x262, bool x263 = (Return x253, 0x0);
  uint64_t x265, bool x266 = addcarryx_u64(x263, x254, x256);
  uint64_t x268, bool x269 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 0) (Syntax.TWord 6) (Syntax.TWord 0) (Syntax.TWord 6) (Syntax.TWord 0)) (Return x266, Return x257, 0x0);
  uint64_t x271, bool x272 = addcarryx_u64(x269, 0x0, x259);
- uint64_t x274, bool x275 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 6) (Syntax.TWord 0) (Syntax.TWord 0) (Syntax.TWord 6) (Syntax.TWord 0)) (Return x260, 0x0, 0x0);
+ uint64_t x274, bool x275 = (Return x260, 0x0);
  uint64_t x277, bool x278 = addcarryx_u64(0x0, x272, x274);
  bool x279 = x275 + x278;
  uint64_t _, bool x282 = addcarryx_u64(0x0, x237, x262);
@@ -158,7 +158,7 @@ Interp-η
  uint128_t x307 = (uint128_t) x8 * x14;
  uint64_t x308 = (uint64_t) x307 & 0xffffffffffffffffL;
  uint64_t x309 = (uint64_t) (x307 >> 0x40);
- uint64_t x311, bool x312 = addcarryx_u64(0x0, 0x0, x299);
+ uint64_t x311, bool x312 = (Return x299, 0x0);
  uint64_t x314, bool x315 = addcarryx_u64(x312, x300, x302);
  uint64_t x317, bool x318 = addcarryx_u64(x315, x303, x305);
  uint64_t x320, uint64_t x321 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 0) (Syntax.TWord 6) (Syntax.TWord 7) (Syntax.TWord 6) (Syntax.TWord 6)) (0x0, Return x308, 0x10000000000000000L * x309);
@@ -181,11 +181,11 @@ Interp-η
  uint128_t x352 = (uint128_t) x345 * 0xffffffff00000001L;
  uint64_t x353 = (uint64_t) x352 & 0xffffffffffffffffL;
  uint64_t x354 = (uint64_t) (x352 >> 0x40);
- uint64_t x356, bool x357 = addcarryx_u64(0x0, 0x0, x347);
+ uint64_t x356, bool x357 = (Return x347, 0x0);
  uint64_t x359, bool x360 = addcarryx_u64(x357, x348, x350);
  uint64_t x362, bool x363 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 0) (Syntax.TWord 6) (Syntax.TWord 0) (Syntax.TWord 6) (Syntax.TWord 0)) (Return x360, Return x351, 0x0);
  uint64_t x365, bool x366 = addcarryx_u64(x363, 0x0, x353);
- uint64_t x368, bool _ = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 6) (Syntax.TWord 0) (Syntax.TWord 0) (Syntax.TWord 6) (Syntax.TWord 0)) (Return x354, 0x0, 0x0);
+ uint64_t x368, bool _ = (Return x354, 0x0);
  uint64_t x371, bool _ = addcarryx_u64(0x0, x366, x368);
  uint64_t _, bool x375 = addcarryx_u64(0x0, x331, x356);
  uint64_t x377, bool x378 = addcarryx_u64(x375, x334, x359);