https://gcc.gnu.org/bugzilla/show_bug.cgi?id=106379
Richard Biener <rguenth at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|ASSIGNED |NEW
--- Comment #2 from Richard Biener <rguenth at gcc dot gnu.org> ---
With that, what remains looks like a VRP/ranger issue though.
Good:
<bb 2> [local count: 1073741824]:
_1 = ~c_4(D);
if (c_4(D) == s_5(D))
goto <bb 3>; [34.00%]
else
goto <bb 5>; [66.00%]
<bb 3> [local count: 365072224]:
_2 = _1 & s_5(D);
if (_2 != 0)
goto <bb 4>; [33.00%]
else
goto <bb 5>; [67.00%]
<bb 4> [local count: 120473833]:
DCEMarker0_ ();
<bb 5> [local count: 1073741824]:
Bad:
<bb 2> [local count: 1073741824]:
if (s_4(D) == c_5(D))
goto <bb 3>; [34.00%]
else
goto <bb 5>; [66.00%]
<bb 3> [local count: 365072224]:
_1 = ~c_5(D);
_2 = _1 & s_4(D);
if (_2 != 0)
goto <bb 4>; [33.00%]
else
goto <bb 5>; [67.00%]
<bb 4> [local count: 120473833]:
DCEMarker0_ ();
<bb 5> [local count: 1073741824]:
the difference is just the point of definition of _1.
