https://gcc.gnu.org/bugzilla/show_bug.cgi?id=120360
--- Comment #4 from Jakub Jelinek <jakub at gcc dot gnu.org> --- Created attachment 61480 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=61480&action=edit gcc16-pr120360.patch Untested fix for #c2/#c3. We already had *cmp<mode>_minus_1 pattern which handles the case where result of subtraction is used solely in comparison against zero, but that doesn't match when there is a subtraction of a constant because we canonicalize that to addition of the negated constant.