https://gcc.gnu.org/bugzilla/show_bug.cgi?id=70025
--- Comment #5 from Dominik Vogt <vogt at linux dot vnet.ibm.com> --- Yup. debug_rtx(out_rtx) = (mem/f:DI (plus:DI (reg/v/f:DI 164 [orig:129 p ] [129]) (const_int 16 [0x10])) [4 p_8(D)->d3+0 S8 A64]) debug_rtx(in_rtx) = (reg/v/f:DI 151 [orig:129 p ] [129]) Because in_rtx doesn't appear in out_rtx the condition "regno_use_in (REGNO (in_rtx), out_rtx) == 0" misses its mark.