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).