[Bug tree-optimization/115011] [14/15 Regression] Missed optimization: (bool) (f ? 1: t) ==> 1 when bool t = (0 >= f) + x;

[pinskia at gcc dot gnu.org via Gcc-bugs]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=115011

Andrew Pinski <pinskia at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Last reconfirmed|2024-05-09 00:00:00         |
             Status|NEW                         |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> ---
Confirmed. this was "exposed/caused" by my r14-3486-gd9a0d692ffc695 .

We miss this in previous releases too (LLVM is only able to optimize it for
LLVM 18+):
```
bool x;
bool fn3(unsigned long long int f) {
    bool t = (0 >= f) + x;
    bool t1 = t | (f != 0);
    return t1;
}
```

I will look into this in a few weeks since I suspect it is a minor regression.