https://gcc.gnu.org/bugzilla/show_bug.cgi?id=80818
--- Comment #7 from Andreas Krebbel <krebbel at gcc dot gnu.org> --- Created attachment 41699 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=41699&action=edit Additional changes required ontop of the proposed patch Changes which might be required on-top of your patch. Your patch alone does not appear to fix the testcase for me. Neither the reduced nor the full version. The hard reg clobber is added in collect_non_operand_hard_regs not in add_regs_to_insn_regno_info. Copying what your patch does in add_regs_to_insn_regno_info to collect_non_operand_hard_regs does fix the problem for me.