https://gcc.gnu.org/bugzilla/show_bug.cgi?id=107172
--- Comment #33 from Segher Boessenkool <segher at gcc dot gnu.org> --- (In reply to H.J. Lu from comment #32) > > There is no actual comparison with 0, that is just notation. > > True. But simplify-rtx.cc simplifies > > (ltu (reg 17) (const_int 0)) > > to false when reg 17 is set. Is set? What does that even mean? Is set to what? > Use the actual comparison isn't issue. The issue is how > > (ltu (reg 17) (const_int 0)) > > should be simplified when reg 17 is known to be set. You need to look at the setter. It cannot be simplified otherwise.