speed up to simplification by omitting construction of negated parame…

…ters
emsec · Sep 6, 2023 · 1567dc6 · 1567dc6
1 parent 86edd9d
commit 1567dc6
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/src/netlist/boolean_function/symbolic_execution.cpp b/src/netlist/boolean_function/symbolic_execution.cpp
@@ -798,7 +798,7 @@ namespace hal
                     {
                         auto p1_parameter = p[1].get_parameters();
                         // X | (Y & !X)   =>   X | Y
-                        if ((~p1_parameter[1]) == p[0])
+                        if (is_x_not_y(p1_parameter[1], p[0]))
                         {
                             return BooleanFunction::Or(p[0].clone(), p1_parameter[0].clone(), node.size);
                         }
@@ -924,7 +924,7 @@ namespace hal
                         return OK(BooleanFunction::Const(0, node.size));
                     }
                     // X ^ ~X   =>   1
-                    if (~p[0] == p[1])
+                    if (is_x_not_y(p[0], p[1]))
                     {
                         return OK(One(node.size));
                     }