From 595a5d7e384c93f42c0f5317b808ffdc4000c21e Mon Sep 17 00:00:00 2001 From: Jason Gross Date: Thu, 4 Jan 2018 19:02:52 -0500 Subject: make selected-specific-display for permit `TWord 0` This handles bullet 2 of #288 --- src/Specific/NISTP256/AMD64/feaddDisplay.log | 18 +++++++++--------- 1 file changed, 9 insertions(+), 9 deletions(-) (limited to 'src/Specific/NISTP256/AMD64/feaddDisplay.log') 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); -- cgit v1.2.3