diff options
Diffstat (limited to 'src/Specific/solinas32_2e206m5/freezeDisplay.log')
-rw-r--r-- | src/Specific/solinas32_2e206m5/freezeDisplay.log | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/Specific/solinas32_2e206m5/freezeDisplay.log b/src/Specific/solinas32_2e206m5/freezeDisplay.log index 7e1369ec7..5a2a8d831 100644 --- a/src/Specific/solinas32_2e206m5/freezeDisplay.log +++ b/src/Specific/solinas32_2e206m5/freezeDisplay.log @@ -14,7 +14,7 @@ Interp-η uint32_t x51, uint8_t x52 = Op (Syntax.SubWithGetBorrow 17 (Syntax.TWord 3) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 3)) (Return x49, Return x20, 0x1ffff); uint32_t x54, uint8_t x55 = Op (Syntax.SubWithGetBorrow 17 (Syntax.TWord 3) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 3)) (Return x52, Return x22, 0x1ffff); uint32_t x57, uint8_t x58 = Op (Syntax.SubWithGetBorrow 17 (Syntax.TWord 3) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 3)) (Return x55, Return x21, 0x1ffff); - uint32_t x59 = (uint32_t)cmovznz(x58, 0x0, 0xffffffff); + uint32_t x59 = cmovznz32(x58, 0x0, 0xffffffff); uint32_t x60 = (x59 & 0x3fffb); uint32_t x62, uint8_t x63 = Op (Syntax.AddWithGetCarry 18 (Syntax.TWord 3) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 3)) (0x0, Return x24, Return x60); uint32_t x64 = (x59 & 0x1ffff); |