https://gcc.gnu.org/bugzilla/show_bug.cgi?id=102983
Andrew Pinski <pinskia at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|UNCONFIRMED |NEW
Keywords| |missed-optimization
Last reconfirmed| |2021-10-28
Ever confirmed|0 |1
Target Milestone|--- |12.0
--- Comment #1 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
Hmm:
<bb 5> :
if (c_3 < 0)
goto <bb 6>; [INV]
else
goto <bb 9>; [INV]
<bb 6> :
if (c_3 != 0)
goto <bb 7>; [INV]
else
goto <bb 8>; [INV]
=========== BB 5 ============
Imports: c_3 b_4
Exports: c_3 b_4
c_3 int [-INF, 1]
b_4 int [0, 0]
<bb 5> :
if (c_3 < 0)
goto <bb 6>; [INV]
else
goto <bb 9>; [INV]
5->6 (T) c_3 : int [-INF, -1]
5->6 (T) b_4 : int [0, 0]
5->9 (F) c_3 : int [0, 1]
5->9 (F) b_4 : int [0, 0]
=========== BB 6 ============
Imports: c_3
Exports: c_3
c_3 int [-INF, 0]
b_4 int [0, 0]
<bb 6> :
if (c_3 != 0)
goto <bb 7>; [INV]
else
goto <bb 8>; [INV]
6->7 (T) c_3 : int [-INF, -1]
6->8 (F) c_3 : int [0, 0]
Hmmmm.
