https://gcc.gnu.org/bugzilla/show_bug.cgi?id=85791
Andrew Pinski <pinskia at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Component|target |tree-optimization
Last reconfirmed| |2021-12-14
Status|UNCONFIRMED |NEW
Severity|normal |enhancement
Ever confirmed|0 |1
--- Comment #5 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
Confirmed, we need to reconigized that:
c_6 = a_4(D) w* b_5(D);
if (c_6 > 18446744073709551615)
goto <bb 3>; [34.00%]
else
goto <bb 4>; [66.00%]
<bb 3> [local count: 365072224]:
<bb 4> [local count: 1073741824]:
# _9 = PHI <0(3), c_6(2)>
prephitmp_10 = (long long unsigned int) _9;
c_6 > 18446744073709551615 is
_6 = .MUL_OVERFLOW (a_4(D), b_5(D));
_2 = IMAGPART_EXPR <_6>;
That part is easy I think but then we need to see that prephitmp_10 is
PHI<0(3), REALPART_EXPR <_6> (2)>
Which might be harder.
