https://gcc.gnu.org/bugzilla/show_bug.cgi?id=87009
--- Comment #2 from Marc Glisse ---
Yes, there are still some transformations missing to canonicalize all binary
boolean functions. You mention ~(~a | b). We also need (a|~b)&(~a|b) and the
same with ^ in the middle. Possibly others (ideally, thi
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=87009
--- Comment #1 from MCCCS ---
Proposed patch:
Index: gcc/match.pd
===
--- gcc/match.pd(revision 263646)
+++ gcc/match.pd(working copy)
@@ -776,6 +776,11 @@ DEFINE_I
