https://gcc.gnu.org/bugzilla/show_bug.cgi?id=91425
--- Comment #6 from Segher Boessenkool <segher at gcc dot gnu.org> --- Maybe we should make "is this an ordered comparison" separate from the actual comparison code. That would make things quite a bit simpler as well. Maybe we can pull that through to RTL, as well?