https://gcc.gnu.org/bugzilla/show_bug.cgi?id=105903
Andrew Pinski <pinskia at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- Status|NEW |ASSIGNED --- Comment #11 from Andrew Pinski <pinskia at gcc dot gnu.org> --- (In reply to Andrew Pinski from comment #10) > (In reply to Andrew Pinski from comment #9) > > Actually this is not optimized all the way in the end. > > For greater3way, we still get: > > _8 = _5 > _6; > > _7 = _5 >= _6; > > _2 = _7 & _8; > > > > This should be optimized to just _5 >= _6 . > > Sorry `_5 > _6` . What is interesting is I tested with the patches I have for PR 106164 which should fix this but does not. If I try it out manually forwprop does catch it so I need to figure out what is going wrong in phiopt4.