aboutsummaryrefslogtreecommitdiff
path: root/src/Specific/solinas32_2e510m290x2e496m1/freezeDisplay.log
diff options
context:
space:
mode:
Diffstat (limited to 'src/Specific/solinas32_2e510m290x2e496m1/freezeDisplay.log')
-rw-r--r--src/Specific/solinas32_2e510m290x2e496m1/freezeDisplay.log4
1 files changed, 2 insertions, 2 deletions
diff --git a/src/Specific/solinas32_2e510m290x2e496m1/freezeDisplay.log b/src/Specific/solinas32_2e510m290x2e496m1/freezeDisplay.log
index ca70eb40b..4619f6faf 100644
--- a/src/Specific/solinas32_2e510m290x2e496m1/freezeDisplay.log
+++ b/src/Specific/solinas32_2e510m290x2e496m1/freezeDisplay.log
@@ -25,7 +25,7 @@ Interp-η
uint32_t x108, uint8_t x109 = Op (Syntax.SubWithGetBorrow 22 (Syntax.TWord 3) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 3)) (Return x106, Return x42, 0x3fffff);
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 21 (Syntax.TWord 3) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 3)) (Return x112, Return x46, 0x1fffff);
- uint32_t x117, uint8_t x118 = Op (Syntax.SubWithGetBorrow 21 (Syntax.TWord 3) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 3)) (Return x115, Return x45, Const 2060031);
+ uint32_t x117, uint8_t x118 = Op (Syntax.SubWithGetBorrow 21 (Syntax.TWord 3) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 3)) (Return x115, Return x45, 0x1f6eff);
uint32_t x119 = (uint32_t)cmovznz(x118, 0x0, 0xffffffff);
uint32_t x120 = (x119 & 0x3fffff);
uint32_t x122, uint8_t x123 = Op (Syntax.AddWithGetCarry 22 (Syntax.TWord 3) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 3)) (0x0, Return x48, Return x120);
@@ -73,7 +73,7 @@ Interp-η
uint32_t x206, uint8_t x207 = Op (Syntax.AddWithGetCarry 21 (Syntax.TWord 3) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 3)) (Return x203, Return x111, Return x204);
uint32_t x208 = (x119 & 0x1fffff);
uint32_t x210, uint8_t x211 = Op (Syntax.AddWithGetCarry 21 (Syntax.TWord 3) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 3)) (Return x207, Return x114, Return x208);
- uint32_t x212 = (x119 & Const 2060031);
+ uint32_t x212 = (x119 & 0x1f6eff);
uint32_t x214, uint8_t _ = Op (Syntax.AddWithGetCarry 21 (Syntax.TWord 3) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 3)) (Return x211, Return x117, Return x212);
(Return x214, Return x210, Return x206, Return x202, Return x198, Return x194, Return x190, Return x186, Return x182, Return x178, Return x174, Return x170, Return x166, Return x162, Return x158, Return x154, Return x150, Return x146, Return x142, Return x138, Return x134, Return x130, Return x126, Return x122))
x