aboutsummaryrefslogtreecommitdiff
path: root/src/Specific/solinas32_2e251m9/freezeDisplay.log
diff options
context:
space:
mode:
Diffstat (limited to 'src/Specific/solinas32_2e251m9/freezeDisplay.log')
-rw-r--r--src/Specific/solinas32_2e251m9/freezeDisplay.log2
1 files changed, 1 insertions, 1 deletions
diff --git a/src/Specific/solinas32_2e251m9/freezeDisplay.log b/src/Specific/solinas32_2e251m9/freezeDisplay.log
index a04ae83f7..740c0f5ae 100644
--- a/src/Specific/solinas32_2e251m9/freezeDisplay.log
+++ b/src/Specific/solinas32_2e251m9/freezeDisplay.log
@@ -12,7 +12,7 @@ Interp-η
uint32_t x41, uint8_t x42 = Op (Syntax.SubWithGetBorrow 25 (Syntax.TWord 3) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 3)) (Return x39, Return x16, 0x1ffffff);
uint32_t x44, uint8_t x45 = Op (Syntax.SubWithGetBorrow 25 (Syntax.TWord 3) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 3)) (Return x42, Return x18, 0x1ffffff);
uint32_t x47, uint8_t x48 = Op (Syntax.SubWithGetBorrow 25 (Syntax.TWord 3) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 3)) (Return x45, Return x17, 0x1ffffff);
- uint32_t x49 = (uint32_t)cmovznz(x48, 0x0, 0xffffffff);
+ uint32_t x49 = cmovznz32(x48, 0x0, 0xffffffff);
uint32_t x50 = (x49 & 0x3fffff7);
uint32_t x52, uint8_t x53 = Op (Syntax.AddWithGetCarry 26 (Syntax.TWord 3) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 3)) (0x0, Return x20, Return x50);
uint32_t x54 = (x49 & 0x1ffffff);