make selected-specific-display for permit `TWord 0`

This handles bullet 2 of #288

1 files changed, 9 insertions, 9 deletions

diff --git a/src/Specific/NISTP256/AMD64/feaddDisplay.log b/src/Specific/NISTP256/AMD64/feaddDisplay.log
index 9849e94ae..3b49b5174 100644
--- a/src/Specific/NISTP256/AMD64/feaddDisplay.log
+++ b/src/Specific/NISTP256/AMD64/feaddDisplay.log
@@ -2,15 +2,15 @@
 Interp-η
 (λ var : Syntax.base_type → Type,
  λ '(x8, x9, x7, x5, (x14, x15, x13, x11))%core,
- uint64_t x17, uint8_t x18 = addcarryx_u64(0x0, x5, x11);
- uint64_t x20, uint8_t x21 = addcarryx_u64(x18, x7, x13);
- uint64_t x23, uint8_t x24 = addcarryx_u64(x21, x9, x15);
- uint64_t x26, uint8_t x27 = addcarryx_u64(x24, x8, x14);
- uint64_t x29, uint8_t x30 = subborrow_u64(0x0, x17, 0xffffffffffffffffL);
- uint64_t x32, uint8_t x33 = subborrow_u64(x30, x20, 0xffffffff);
- 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 x17, bool x18 = addcarryx_u64(0x0, x5, x11);
+ uint64_t x20, bool x21 = addcarryx_u64(x18, x7, x13);
+ uint64_t x23, bool x24 = addcarryx_u64(x21, x9, x15);
+ uint64_t x26, bool x27 = addcarryx_u64(x24, x8, x14);
+ uint64_t x29, bool x30 = subborrow_u64(0x0, x17, 0xffffffffffffffffL);
+ uint64_t x32, bool x33 = subborrow_u64(x30, x20, 0xffffffff);
+ uint64_t x35, bool x36 = subborrow_u64(x33, x23, 0x0);
+ uint64_t x38, bool x39 = subborrow_u64(x36, x26, 0xffffffff00000001L);
+ uint64_t _, bool x42 = subborrow_u64(x39, x27, 0x0);
  uint64_t x43 = cmovznz64(x42, x38, x26);
  uint64_t x44 = cmovznz64(x42, x35, x23);
  uint64_t x45 = cmovznz64(x42, x32, x20);