On 08/19/2013 11:05 PM, Jeff Law wrote: > On 07/20/2013 03:02 AM, Alexey Makhalov wrote: >> Hello! >> >> If delete_unmarked_insns deletes some insn, DF state might be >> out of date, and, regs_ever_live might contain unused registers till >> the end.
(I can't find the original mail either in my mailbox or in the archives). If this happens after reload, then regs_ever_live really should stay the same, since we used it to compute frame offsets and such. Also, df_analyze calls df_compute_regs_ever_live with reset=false, so it shouldn't delete anything from the set? Bernd