https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113301
--- Comment #3 from Andrew Pinski <pinskia at gcc dot gnu.org> --- Thinking about if 1/x or (x+1u) <= 2 ? x : 0 is more conconial for gimple. I suspect 1/x is . Which case this should be move to late gimple. I will look at that tomorrow.