https://gcc.gnu.org/bugzilla/show_bug.cgi?id=118483
Richard Biener <rguenth at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |rguenth at gcc dot gnu.org
Ever confirmed|0 |1
Last reconfirmed| |2025-01-15
Status|UNCONFIRMED |NEW
--- Comment #1 from Richard Biener <rguenth at gcc dot gnu.org> ---
I'd have expected forwprop1 to simplify
<bb 2> :
_1 = b_3(D) == 0;
e_4 = (int) _1;
d = e_4;
_2 = b_3(D) != 0;
l_7 = (int) _2;
if (e_4 == l_7)
goto <bb 3>; [INV]
to
<bb 2> :
_1 = b_3(D) == 0;
e_4 = (int) _1;
d = e_4;
_2 = b_3(D) != 0;
l_7 = (int) _2;
if (_1 == _2)
goto <bb 3>; [INV]
at least, if not further.
