https://gcc.gnu.org/bugzilla/show_bug.cgi?id=112096
Andrew Pinski <pinskia at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Last reconfirmed| |2023-10-26
Ever confirmed|0 |1
Status|UNCONFIRMED |ASSIGNED
Assignee|unassigned at gcc dot gnu.org |pinskia at gcc dot
gnu.org
--- Comment #2 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
```
int t01(int x, int y)
{
bool t = x == 5 && y == 5;
if (t) return 5; return y;
} // y
```
Is able to be detected in phiopt2. Just not the == 0/!=0 case.
Nor:
```
int t1(int x, int y)
{
bool t = x != 5 || y != 5;
if (t) return x; return 5;
} // x
```
I have to look at where phiopt is able to detect this and improve it for these
2 cases ...