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.