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

Reply via email to