https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113433
Andrew Pinski <pinskia at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Keywords| |missed-optimization
Ever confirmed|0 |1
Status|UNCONFIRMED |ASSIGNED
Last reconfirmed| |2024-01-17
Assignee|unassigned at gcc dot gnu.org |pinskia at gcc dot
gnu.org
--- Comment #1 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
But it is a similar issue, we are left with:
_1 = 1 - y_7(D);
_5 = y_7(D) + -1;
_6 = _1 / _5;
Which is not folded as being as we don't know that `1 - x` and `x + -1` are
negative opposites.
