Hi, I noticed function df_insn_rescan always deletes and re-computes insn_info if any one of defs/uses/eq_uses/mw is verified changed by df_insn_refs_verify, even in some passes (like fwprop), the defs are never changed. Could it be improved to only update the changed part (especially we have df_refs_add_to_chains which already does such thing)?
Thanks, bin -- Best Regards.
