https://gcc.gnu.org/bugzilla/show_bug.cgi?id=50286
Andrew Pinski <pinskia at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Last reconfirmed|2011-12-14 00:00:00 |2021-7-26
--- Comment #2 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
EVRP is able to convert the loop to:
<bb 3> :
# i_3 = PHI <0(2), 1(3)>
_2 = i_3 * i_3;
printf ("%d\n", _2);
i_10 = i_3 == 0 ? 1 : 2;
if (flag_6 >= i_10)
goto <bb 3>; [INV]
else
goto <bb 4>; [INV]
flag_6 range is [0,1] even
