Handle the fact that we haven't forbidden TWord 3

We do this by adding notations for addcarryx and subborrow for all of
the smaller-than-max-bitwidth sizes of arguments.

1 files changed, 3 insertions, 3 deletions

diff --git a/src/Specific/NISTP256/AMD64/femulDisplay.log b/src/Specific/NISTP256/AMD64/femulDisplay.log
index c8bec5b90..987babc73 100644
--- a/src/Specific/NISTP256/AMD64/femulDisplay.log
+++ b/src/Specific/NISTP256/AMD64/femulDisplay.log
@@ -60,7 +60,7 @@ Interp-η
  uint64_t x180, uint8_t/*bool*/ x181 = addcarryx_u64(x178, x143, x165);
  uint64_t x183, uint8_t/*bool*/ x184 = addcarryx_u64(x181, x146, x168);
  uint64_t x186, uint8_t/*bool*/ x187 = addcarryx_u64(x184, x149, x171);
- uint64_t x189, uint8_t/*bool*/ x190 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 0) (Syntax.TWord 3) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 0)) (Return x187, Return x151, Return x174);
+ uint64_t x189, uint8_t/*bool*/ x190 = addcarryx_u64(x187, x151, x174);
  uint64_t x192, uint64_t x193 = mulx_u64(x177, 0xffffffffffffffffL);
  uint64_t x195, uint64_t x196 = mulx_u64(x177, 0xffffffff);
  uint64_t x198, uint64_t x199 = mulx_u64(x177, 0xffffffff00000001L);
@@ -86,7 +86,7 @@ Interp-η
  uint64_t x256, uint8_t/*bool*/ x257 = addcarryx_u64(x254, x219, x241);
  uint64_t x259, uint8_t/*bool*/ x260 = addcarryx_u64(x257, x222, x244);
  uint64_t x262, uint8_t/*bool*/ x263 = addcarryx_u64(x260, x225, x247);
- uint64_t x265, uint8_t/*bool*/ x266 = Op (Syntax.AddWithGetCarry 64 (Syntax.TWord 0) (Syntax.TWord 3) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 0)) (Return x263, Return x227, Return x250);
+ uint64_t x265, uint8_t/*bool*/ x266 = addcarryx_u64(x263, x227, x250);
  uint64_t x268, uint64_t x269 = mulx_u64(x253, 0xffffffffffffffffL);
  uint64_t x271, uint64_t x272 = mulx_u64(x253, 0xffffffff);
  uint64_t x274, uint64_t x275 = mulx_u64(x253, 0xffffffff00000001L);
@@ -104,7 +104,7 @@ Interp-η
  uint64_t x308, uint8_t/*bool*/ x309 = subborrow_u64(x306, x295, 0xffffffff);
  uint64_t x311, uint8_t/*bool*/ x312 = subborrow_u64(x309, x298, 0x0);
  uint64_t x314, uint8_t/*bool*/ x315 = subborrow_u64(x312, x301, 0xffffffff00000001L);
- uint64_t _, uint8_t/*bool*/ x318 = Op (Syntax.SubWithGetBorrow 64 (Syntax.TWord 0) (Syntax.TWord 3) (Syntax.TWord 0) (Syntax.TWord 6) (Syntax.TWord 0)) (Return x315, Return x303, 0x0);
+ uint64_t _, uint8_t/*bool*/ x318 = subborrow_u64(x315, x303, 0x0);
  uint64_t x319 = cmovznz64(x318, x314, x301);
  uint64_t x320 = cmovznz64(x318, x311, x298);
  uint64_t x321 = cmovznz64(x318, x308, x295);