From 1e5b0a76fadd9255a0ead47d1327c628160b01bd Mon Sep 17 00:00:00 2001 From: Jason Gross Date: Fri, 10 Nov 2017 18:13:59 -0500 Subject: Update display logs and c files --- src/Specific/solinas64_2e158m15/freeze.c | 2 +- src/Specific/solinas64_2e158m15/freezeDisplay.log | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) (limited to 'src/Specific/solinas64_2e158m15') diff --git a/src/Specific/solinas64_2e158m15/freeze.c b/src/Specific/solinas64_2e158m15/freeze.c index cf4f4ba9c..b93e29773 100644 --- a/src/Specific/solinas64_2e158m15/freeze.c +++ b/src/Specific/solinas64_2e158m15/freeze.c @@ -7,7 +7,7 @@ static void freeze(uint64_t out[4], const uint64_t in1[4]) { { uint64_t x11, uint8_t x12 = Op (Syntax.SubWithGetBorrow 39 (Syntax.TWord 3) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 3)) (Return x9, Return x4, 0x7fffffffff); { uint64_t x14, uint8_t x15 = Op (Syntax.SubWithGetBorrow 40 (Syntax.TWord 3) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 3)) (Return x12, Return x6, 0xffffffffff); { uint64_t x17, uint8_t x18 = Op (Syntax.SubWithGetBorrow 39 (Syntax.TWord 3) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 3)) (Return x15, Return x5, 0x7fffffffff); - { uint64_t x19 = (uint64_t)cmovznz(x18, 0x0, 0xffffffffffffffffL); + { uint64_t x19 = cmovznz64(x18, 0x0, 0xffffffffffffffffL); { uint64_t x20 = (x19 & 0xfffffffff1); { uint64_t x22, uint8_t x23 = Op (Syntax.AddWithGetCarry 40 (Syntax.TWord 3) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 3)) (0x0, Return x8, Return x20); { uint64_t x24 = (x19 & 0x7fffffffff); diff --git a/src/Specific/solinas64_2e158m15/freezeDisplay.log b/src/Specific/solinas64_2e158m15/freezeDisplay.log index b2ac47c12..2c532f3eb 100644 --- a/src/Specific/solinas64_2e158m15/freezeDisplay.log +++ b/src/Specific/solinas64_2e158m15/freezeDisplay.log @@ -6,7 +6,7 @@ Interp-η uint64_t x11, uint8_t x12 = Op (Syntax.SubWithGetBorrow 39 (Syntax.TWord 3) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 3)) (Return x9, Return x4, 0x7fffffffff); uint64_t x14, uint8_t x15 = Op (Syntax.SubWithGetBorrow 40 (Syntax.TWord 3) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 3)) (Return x12, Return x6, 0xffffffffff); uint64_t x17, uint8_t x18 = Op (Syntax.SubWithGetBorrow 39 (Syntax.TWord 3) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 3)) (Return x15, Return x5, 0x7fffffffff); - uint64_t x19 = (uint64_t)cmovznz(x18, 0x0, 0xffffffffffffffffL); + uint64_t x19 = cmovznz64(x18, 0x0, 0xffffffffffffffffL); uint64_t x20 = (x19 & 0xfffffffff1); uint64_t x22, uint8_t x23 = Op (Syntax.AddWithGetCarry 40 (Syntax.TWord 3) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 6) (Syntax.TWord 3)) (0x0, Return x8, Return x20); uint64_t x24 = (x19 & 0x7fffffffff); -- cgit v1.2.3