From f14251aa309f85d08c8f10bd46f3f7b856d25909 Mon Sep 17 00:00:00 2001 From: Jason Gross Date: Thu, 29 Jun 2017 15:28:52 -0400 Subject: make display --- src/Specific/IntegrationTestMontgomeryP256_128_OppDisplay.log | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/Specific/IntegrationTestMontgomeryP256_128_OppDisplay.log') diff --git a/src/Specific/IntegrationTestMontgomeryP256_128_OppDisplay.log b/src/Specific/IntegrationTestMontgomeryP256_128_OppDisplay.log index 4e8fe5a50..d72c68980 100644 --- a/src/Specific/IntegrationTestMontgomeryP256_128_OppDisplay.log +++ b/src/Specific/IntegrationTestMontgomeryP256_128_OppDisplay.log @@ -4,7 +4,7 @@ Interp-η λ '(x1, x2)%core, uint128_t x4, uint8_t x5 = subborrow_u128(0x0, 0x0, x2); uint128_t x7, uint8_t x8 = subborrow_u128(x5, 0x0, x1); - uint128_t x9 = (uint128_t) (x8 == 0 ? 0x0 : 0xffffffffffffffffffffffffffffffffL); + uint128_t x9 = (uint128_t)cmovznz(x8, 0x0, 0xffffffffffffffffffffffffffffffffL); uint128_t x10 = x9 & 0xffffffffffffffffffffffffL; uint128_t x12, uint8_t x13 = addcarryx_u128(0x0, x4, x10); uint128_t x14 = x9 & 0xffffffff000000010000000000000000L; -- cgit v1.2.3