[Bug tree-optimization/111542] [11/12/13/14 Regression] (a==0)&(b==0) into `(a|b) == 0` optimization sometimes gets in the way of other optimizations

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=111542 Richard Biener changed: What|Removed |Added Priority|P3 |P2

[Bug tree-optimization/111542] [11/12/13/14 Regression] (a==0)&(b==0) into `(a|b) == 0` optimization sometimes gets in the way of other optimizations

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=111542 --- Comment #3 from Andrew Pinski --- (In reply to Andrew Pinski from comment #2) > Match pattern: > ``` > (for bitop (bit_ior bit_and) > cmp1 (eq ne ) > cmp2 (ne eq ) > (simplify > (bitop:c >(cmp1 @1 intege

[Bug tree-optimization/111542] [11/12/13/14 Regression] (a==0)&(b==0) into `(a|b) == 0` optimization sometimes gets in the way of other optimizations

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=111542 --- Comment #2 from Andrew Pinski --- Note IOR with != 0 has the same issue. Full testcase: ``` _Bool f_and(int x,int y) { _Bool a = x == 0; _Bool b = y == 0; _Bool t = a & b; return t & !a; } _Bool f_or(int x,int y) { _Bool a = x !=

[Bug tree-optimization/111542] [11/12/13/14 Regression] (a==0)&(b==0) into `(a|b) == 0` optimization sometimes gets in the way of other optimizations

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=111542 Andrew Pinski changed: What|Removed |Added Target Milestone|--- |14.0 Summary|[11/12/13/14 Re

[Bug tree-optimization/111542] [11/12/13/14 Regression]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=111542 Andrew Pinski changed: What|Removed |Added Assignee|unassigned at gcc dot gnu.org |pinskia at gcc dot gnu.org