------- Comment #68 from bonzini at gnu dot org 2010-08-06 07:07 -------
fwprop.c doesn't handle it directly, but local_ref_killed_between_p should see
defs created by df-scan.c for each hard register in regs_invalidated_by_call
(see df_get_call_refs).
Also, since fwprop can lengthen lifetimes arbitrarily (though this wouldn't
happen often) propagate_rtx actually forbids copy propagation of hard
registers:
if (REG_P (new_rtx) && REGNO (new_rtx) < FIRST_PSEUDO_REGISTER)
return NULL_RTX;
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=44970
