[Bug tree-optimization/113227] Maybe optimization (a>0) && (b>0) with or&<0

2024-01-03 Thread pinskia at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113227 --- Comment #3 from Andrew Pinski --- Yes `(a > 0) & (b > 0)` is not the same as `(a|b) > 0`. I think we already catch all of the related `(a CMP 0) &/| (b CMP 0)`; see PR 95731 for those.

[Bug tree-optimization/113227] Maybe optimization (a>0) && (b>0) with or&<0

2024-01-03 Thread syq at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113227 YunQiang Su changed: What|Removed |Added Resolution|--- |INVALID Status|UNCONFIRMED

[Bug tree-optimization/113227] Maybe optimization (a>0) && (b>0) with or&<0

2024-01-03 Thread syq at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113227 --- Comment #1 from YunQiang Su --- Sorry for noise. This proposal is wrong.