From 743f894f247b56f39e16324f480d6307b3db3842 Mon Sep 17 00:00:00 2001 From: Jason Gross Date: Thu, 2 Nov 2017 00:16:56 -0400 Subject: Update display logs --- src/Specific/montgomery32_2e389m21/feaddDisplay.log | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/Specific/montgomery32_2e389m21') diff --git a/src/Specific/montgomery32_2e389m21/feaddDisplay.log b/src/Specific/montgomery32_2e389m21/feaddDisplay.log index 9aeda7b9e..2191c1449 100644 --- a/src/Specific/montgomery32_2e389m21/feaddDisplay.log +++ b/src/Specific/montgomery32_2e389m21/feaddDisplay.log @@ -15,7 +15,7 @@ Interp-η uint32_t x83, uint8_t x84 = addcarryx_u32(x81, x25, x49); uint32_t x86, uint8_t x87 = addcarryx_u32(x84, x27, x51); uint32_t x89, uint8_t x90 = addcarryx_u32(x87, x26, x50); - uint32_t x92, uint8_t x93 = subborrow_u32(0x0, x53, Const 4294967275); + uint32_t x92, uint8_t x93 = subborrow_u32(0x0, x53, 0xffffffeb); uint32_t x95, uint8_t x96 = subborrow_u32(x93, x56, 0xffffffff); uint32_t x98, uint8_t x99 = subborrow_u32(x96, x59, 0xffffffff); uint32_t x101, uint8_t x102 = subborrow_u32(x99, x62, 0xffffffff); -- cgit v1.2.3