http://gcc.gnu.org/bugzilla/show_bug.cgi?id=57003
--- Comment #18 from Jakub Jelinek <jakub at gcc dot gnu.org> 2013-04-25 07:51:48 UTC --- Ah, so the issue is related to the fact that %rdi/%rsi aren't call clobbered in ms_abi, but are call clobbered in the sysv abi. The CALL_INSN pattern has clobbers for rsi/rdi, but copyprop_hardreg_forward_1 processes those early, perhaps then the CALL_INSN_FUNCTION_USAGE changes something and relies on regs_invalidated_by_call processing to invalidate whatever is necessary.