https://gcc.gnu.org/bugzilla/show_bug.cgi?id=114518
--- Comment #8 from Andrew Pinski <pinskia at gcc dot gnu.org> --- (In reply to Andrew Pinski from comment #6) > I am not sure where we should put that transformation or should the target > have a matching pattern for the above and make sure the const value of the > and does NOT have the sign bit set. https://gcc.gnu.org/onlinedocs/gccint/Insn-Canonicalizations.html does not mention what the canonical form is here too. I will let someone else decide which is the best thing to do.