https://gcc.gnu.org/bugzilla/show_bug.cgi?id=98681
--- Comment #6 from Jakub Jelinek <jakub at gcc dot gnu.org> --- For shft_amnt that single UINTVAL check will make sure it is not negative, so whether the rest uses INTVAL or UINTVAL is then irrelevant. Up to you as maintainer what you want there. As for mask, let me check the exact insn behavior.