[patch] df-scan: split df_insn_delete for clearer dumps and better speed

[Steven Bosscher <stevenb dot gcc at gmail dot com>]

Hello,

The attached patch splits a new function df_insn_info_delete from
df_insn_delete. The original motivation was to get rid of the silly
"deleting insn with uid = ..." messages when re-scanning an insn,
because the mentioned insn isn't deleted at all (it's just rescanned).
But it turns out that there is also a modest but measurable speed-up
(especially at -O0), probably because of avoiding the overhead of
df_grow_bb_info and df_grow_reg_info in common usage of
df_insn_delete.

Bootstrapped&tested on powerpc64-unknown-linux-gnu and on
x86_64-unknown-linux-gnu. OK for trunk?

Ciao!
Steven

Attachment: df_delete_insn_info.diff
Description: Binary data