https://gcc.gnu.org/bugzilla/show_bug.cgi?id=94898
Andrew Pinski <pinskia at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Assignee|unassigned at gcc dot gnu.org |pinskia at gcc dot
gnu.org
Ever confirmed|0 |1
Last reconfirmed| |2022-02-21
Status|UNCONFIRMED |ASSIGNED
--- Comment #2 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
We have:
if (x_2(D) >= y_3(D))
goto <bb 3>; [34.00%]
else
goto <bb 4>; [66.00%]
<bb 3> [local count: 365072224]:
_4 = x_2(D) != y_3(D);
<bb 4> [local count: 1073741824]:
# _1 = PHI <_4(3), 0(2)>
Which is:
x_2 >= y_3 ? x_2 != y_3 : 0
which can be optimized to:
x_2 >= y_3 && x_2 != y_3
Which then simplifies to just:
x_2 > y_3
I have a few patches to do the first transformation which should be ready for
GCC 13.
