On Fri, 14 Sep 2018, MCC CS wrote:
+/* (~x & y) | ~(x | y) -> ~x */ +(simplify + (bit_ior:c (bit_and:c (bit_not @0) @1) (bit_not (bit_ior:c @0 @1))) + (bit_not @0))
As I said last time, you should not generate a new (bit_not @0) in the output when there is already one in the input. Maybe
(simplify (bit_ior:c (bit_and:c (bit_not@2 @0) @1) (bit_not (bit_ior:c @0 @1))) @2) -- Marc Glisse
