[Bug tree-optimization/91882] boolean XOR tautology missed optimisation

2022-11-27 Thread pinskia at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=91882 Andrew Pinski changed: What|Removed |Added Target Milestone|--- |13.0

[Bug tree-optimization/91882] boolean XOR tautology missed optimisation

2022-11-26 Thread pinskia at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=91882 Andrew Pinski changed: What|Removed |Added Status|NEW |RESOLVED Resolution|---

[Bug tree-optimization/91882] boolean XOR tautology missed optimisation

2022-11-26 Thread pinskia at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=91882 Bug 91882 depends on bug 103356, which changed state. Bug 103356 Summary: bool0 == ~bool1 should simplify to bool1 ^ bool0 https://gcc.gnu.org/bugzilla/show_bug.cgi?id=103356 What|Removed |Added

[Bug tree-optimization/91882] boolean XOR tautology missed optimisation

2022-11-26 Thread pinskia at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=91882 --- Comment #7 from Andrew Pinski --- Note comment #1 is not done after the patch for PR103356 .

[Bug tree-optimization/91882] boolean XOR tautology missed optimisation

2022-11-26 Thread pinskia at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=91882 Andrew Pinski changed: What|Removed |Added Depends on||103356 --- Comment #6 from Andrew Pinski

[Bug tree-optimization/91882] boolean XOR tautology missed optimisation

2020-08-05 Thread sucicf1 at outlook dot com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=91882 --- Comment #5 from Ivan Sučić --- I have added in match.pd a simplify. But for unknown reason it doesn't get applied. Anybody knows why?

[Bug tree-optimization/91882] boolean XOR tautology missed optimisation

2020-08-05 Thread sucicf1 at outlook dot com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=91882 Ivan Sučić changed: What|Removed |Added CC||sucicf1 at outlook dot com --- Comment #4 f

[Bug tree-optimization/91882] boolean XOR tautology missed optimisation

2020-01-23 Thread pinskia at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=91882 --- Comment #3 from Andrew Pinski --- This is a job for reassociation pass really. coming into that pass we have: _1 = a_3(D) | b_4(D); if (_1 != 0) goto ; [50.00%] else goto ; [50.00%] [local count: 536870913]: _5 = a_3(D) &

[Bug tree-optimization/91882] boolean XOR tautology missed optimisation

2020-01-23 Thread pinskia at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=91882 Andrew Pinski changed: What|Removed |Added CC||pinskia at gcc dot gnu.org Sev

[Bug tree-optimization/91882] boolean XOR tautology missed optimisation

2020-01-23 Thread marxin at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=91882 Martin Liška changed: What|Removed |Added Status|UNCONFIRMED |NEW Last reconfirmed|

[Bug tree-optimization/91882] boolean XOR tautology missed optimisation

2019-09-24 Thread SztfG at yandex dot ru
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=91882 --- Comment #1 from SztfG at yandex dot ru --- Similar problem with other tautology: unsigned int impl_bit(unsigned int a, unsigned int b) // bitwise implication { return (~a | b); } unsigned int eq_bit(unsigned int a, unsigned int b) // bitwi