public inbox for gcc-bugs@sourceware.org help / color / mirror / Atom feed
* [Bug tree-optimization/88280] missing folding of logical and bitwise AND [not found] <bug-88280-4@http.gcc.gnu.org/bugzilla/> @ 2023-05-06 18:56 ` pinskia at gcc dot gnu.org 2023-10-12 17:16 ` pinskia at gcc dot gnu.org 1 sibling, 0 replies; 2+ messages in thread From: pinskia at gcc dot gnu.org @ 2023-05-06 18:56 UTC (permalink / raw) To: gcc-bugs https://gcc.gnu.org/bugzilla/show_bug.cgi?id=88280 Andrew Pinski <pinskia at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |gabravier at gmail dot com --- Comment #4 from Andrew Pinski <pinskia at gcc dot gnu.org> --- *** Bug 95489 has been marked as a duplicate of this bug. *** ^ permalink raw reply [flat|nested] 2+ messages in thread
* [Bug tree-optimization/88280] missing folding of logical and bitwise AND [not found] <bug-88280-4@http.gcc.gnu.org/bugzilla/> 2023-05-06 18:56 ` [Bug tree-optimization/88280] missing folding of logical and bitwise AND pinskia at gcc dot gnu.org @ 2023-10-12 17:16 ` pinskia at gcc dot gnu.org 1 sibling, 0 replies; 2+ messages in thread From: pinskia at gcc dot gnu.org @ 2023-10-12 17:16 UTC (permalink / raw) To: gcc-bugs https://gcc.gnu.org/bugzilla/show_bug.cgi?id=88280 Andrew Pinski <pinskia at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- Status|NEW |ASSIGNED Assignee|unassigned at gcc dot gnu.org |pinskia at gcc dot gnu.org --- Comment #5 from Andrew Pinski <pinskia at gcc dot gnu.org> --- Match pattern: ``` (for cmp (eq ne ) bop (bit_ior bit_and) (bop:c (cmp @0 integer_zerop) (cmp@2 (bit_and:c @0 @1) integer_zerop)) @2) ``` testcase that shows the issue (of the swapped order of the ifs) ``` _Bool f0(int a, int b) { if (a == 0) return 1; return (a & b) == 0; // (a==0) | ((a &b) == 0) -> ((a &b) == 0) } _Bool f0_(int a, int b) { if ((a & b) == 0) return 1; return a == 0; // ((a &b) == 0) | (a==0) -> ((a &b) == 0) } _Bool f1(int a, int b) { if (a != 0) return (a & b) != 0; return 0; // (a!=0) & ((a & b) != 0) -> ((a & b) != 0) } _Bool f1_(int a, int b) { if ((a & b) != 0) return a != 0; return 0; // ((a & b) != 0) & (a!=0) -> ((a & b) != 0) } ``` ^ permalink raw reply [flat|nested] 2+ messages in thread
end of thread, other threads:[~2023-10-12 17:16 UTC | newest] Thread overview: 2+ messages (download: mbox.gz / follow: Atom feed) -- links below jump to the message on this page -- [not found] <bug-88280-4@http.gcc.gnu.org/bugzilla/> 2023-05-06 18:56 ` [Bug tree-optimization/88280] missing folding of logical and bitwise AND pinskia at gcc dot gnu.org 2023-10-12 17:16 ` pinskia at gcc dot gnu.org
This is a public inbox, see mirroring instructions for how to clone and mirror all data and code used for this inbox; as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).