https://gcc.gnu.org/bugzilla/show_bug.cgi?id=59155
--- Comment #4 from Bernd Edlinger <bernd.edlinger at hotmail dot de> --- 234r.ud_dce: (insn 12 10 13 2 (set (reg:DF 93) (plus:DF (reg:DF 91 [ xD.1775 ]) (reg:DF 90 [ xD.1777 ]))) t3.c:6 813 {*fop_df_comm_mixed} (expr_list:REG_DEAD (reg:DF 91 [ xD.1775 ]) (expr_list:REG_DEAD (reg:DF 90 [ xD.1777 ]) (nil)))) (insn 13 12 17 2 (parallel [ (set (reg:DF 92 [ xD.1773 ]) (asm_operands/v:DF ("") ("=X") 0 [ (reg:DF 93) ] [ (asm_input:DF ("0") t3.c:2) ] [] t3.c:2)) (clobber (reg:CCFP 18 fpsr)) (clobber (reg:CC 17 flags)) ]) t3.c:2 -1 235r.combine: (note 12 10 13 2 NOTE_INSN_DELETED) (insn 13 12 17 2 (parallel [ (set (reg:DF 92 [ xD.1773 ]) (asm_operands/v:DF ("") ("=X") 0 [ (plus:DF (reg:DF 91 [ xD.1775 ]) (reg:DF 90 [ xD.1777 ])) ] [ (asm_input:DF ("0") t3.c:2) ] [] t3.c:2)) (clobber (reg:CCFP 18 fpsr)) (clobber (reg:CC 17 flags)) ]) t3.c:2 -1 is this correct?