aboutsummaryrefslogtreecommitdiff
path: root/src/Specific/solinas32_2e488m17/freezeDisplay.log
diff options
context:
space:
mode:
Diffstat (limited to 'src/Specific/solinas32_2e488m17/freezeDisplay.log')
-rw-r--r--src/Specific/solinas32_2e488m17/freezeDisplay.log2
1 files changed, 1 insertions, 1 deletions
diff --git a/src/Specific/solinas32_2e488m17/freezeDisplay.log b/src/Specific/solinas32_2e488m17/freezeDisplay.log
index ebccdb577..6cc31bd4e 100644
--- a/src/Specific/solinas32_2e488m17/freezeDisplay.log
+++ b/src/Specific/solinas32_2e488m17/freezeDisplay.log
@@ -26,7 +26,7 @@ Interp-η
uint32_t x111, uint8_t x112 = Op (Syntax.SubWithGetBorrow 21 (Syntax.TWord 3) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 3)) (Return x109, Return x44, 0x1fffff);
uint32_t x114, uint8_t x115 = Op (Syntax.SubWithGetBorrow 20 (Syntax.TWord 3) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 3)) (Return x112, Return x46, 0xfffff);
uint32_t x117, uint8_t x118 = Op (Syntax.SubWithGetBorrow 20 (Syntax.TWord 3) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 3)) (Return x115, Return x45, 0xfffff);
- uint32_t x119 = (uint32_t)cmovznz(x118, 0x0, 0xffffffff);
+ uint32_t x119 = cmovznz32(x118, 0x0, 0xffffffff);
uint32_t x120 = (x119 & 0x1fffef);
uint32_t x122, uint8_t x123 = Op (Syntax.AddWithGetCarry 21 (Syntax.TWord 3) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 3)) (0x0, Return x48, Return x120);
uint32_t x124 = (x119 & 0xfffff);