From 87f39543ffd547772d6f31d313ae64be50fe3515 Mon Sep 17 00:00:00 2001 From: Jason Gross Date: Sun, 12 Nov 2017 21:04:21 -0500 Subject: Update display logs and c files --- src/Specific/solinas64_2e137m13_3limbs/freezeDisplay.log | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'src/Specific/solinas64_2e137m13_3limbs/freezeDisplay.log') diff --git a/src/Specific/solinas64_2e137m13_3limbs/freezeDisplay.log b/src/Specific/solinas64_2e137m13_3limbs/freezeDisplay.log index 65caf0d76..b748f9e0f 100644 --- a/src/Specific/solinas64_2e137m13_3limbs/freezeDisplay.log +++ b/src/Specific/solinas64_2e137m13_3limbs/freezeDisplay.log @@ -2,11 +2,11 @@ Interp-η (λ var : Syntax.base_type → Type, λ '(x3, x4, x2)%core, - uint64_t x6, uint8_t x7 = Op (Syntax.SubWithGetBorrow 46 (Syntax.TWord 3) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 3)) (0x0, Return x2, Const 70368744177651); + uint64_t x6, uint8_t x7 = Op (Syntax.SubWithGetBorrow 46 (Syntax.TWord 3) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 3)) (0x0, Return x2, 0x3ffffffffff3); uint64_t x9, uint8_t x10 = Op (Syntax.SubWithGetBorrow 46 (Syntax.TWord 3) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 3)) (Return x7, Return x4, 0x3fffffffffff); uint64_t x12, uint8_t x13 = Op (Syntax.SubWithGetBorrow 45 (Syntax.TWord 3) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 3)) (Return x10, Return x3, 0x1fffffffffff); uint64_t x14 = cmovznz64(x13, 0x0, 0xffffffffffffffffL); - uint64_t x15 = (x14 & Const 70368744177651); + uint64_t x15 = (x14 & 0x3ffffffffff3); uint64_t x17, uint8_t x18 = Op (Syntax.AddWithGetCarry 46 (Syntax.TWord 3) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 3)) (0x0, Return x6, Return x15); uint64_t x19 = (x14 & 0x3fffffffffff); uint64_t x21, uint8_t x22 = Op (Syntax.AddWithGetCarry 46 (Syntax.TWord 3) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 3)) (Return x18, Return x9, Return x19); -- cgit v1.2.3