[gcc r14-4784] rtl-ssa: Don't leave NOTE_INSN_DELETED around

[gcc r14-4784] rtl-ssa: Don't leave NOTE_INSN_DELETED around

[Alex Coplan]

https://gcc.gnu.org/g:e90c7bd520545b31fee687aab58cb4b258d1db16

commit r14-4784-ge90c7bd520545b31fee687aab58cb4b258d1db16
Author: Alex Coplan <alex.coplan@arm.com>
Date:   Fri Oct 20 11:46:27 2023 +0100

    rtl-ssa: Don't leave NOTE_INSN_DELETED around
    
    This patch tweaks change_insns to also call ::remove_insn to ensure the
    underlying RTL insn gets removed from the insn chain in the case of a
    deletion.
    
    This avoids leaving NOTE_INSN_DELETED around after deleting insns.
    
    For movement, the RTL insn chain is updated earlier in change_insns with
    the call to move_insn.  For deletion, it seems reasonable to do it here.
    
    gcc/ChangeLog:
    
            * rtl-ssa/changes.cc (function_info::change_insns): Ensure we call
            ::remove_insn on deleted insns.

Diff:
---
 gcc/rtl-ssa/changes.cc | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/gcc/rtl-ssa/changes.cc b/gcc/rtl-ssa/changes.cc
index 523ad60d7d89..73ab3ccfd242 100644
--- a/gcc/rtl-ssa/changes.cc
+++ b/gcc/rtl-ssa/changes.cc
@@ -706,7 +706,11 @@ function_info::change_insns (array_slice<insn_change *> changes)
       insn_change &change = *changes[i];
       insn_info *insn = change.insn ();
       if (change.is_deletion ())
-	remove_insn (insn);
+	{
+	  if (rtx_insn *rtl = insn->rtl ())
+	    ::remove_insn (rtl); // Remove the underlying RTL insn.
+	  remove_insn (insn);
+	}
       else if (insn_info *placeholder = placeholders[i])
 	{
 	  // Check if earlier movements turned a move into a no-op.