https://gcc.gnu.org/bugzilla/show_bug.cgi?id=104773
Richard Biener <rguenth at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- Last reconfirmed| |2022-03-07 Ever confirmed|0 |1 Status|UNCONFIRMED |NEW --- Comment #2 from Richard Biener <rguenth at gcc dot gnu.org> --- Confirmed. Depending on how the unsigned <= 1 is represented on RTL this might or might not be "easily" taught to RTL PRE (likely RTL CSE is too local to catch it, but at least the fallthru path might form an EBB)