https://gcc.gnu.org/bugzilla/show_bug.cgi?id=105903
--- Comment #10 from Andrew Pinski <pinskia at gcc dot gnu.org> --- (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` .