cfgrtl.c (purge_dead_edges): Remove REG_EH_REGION note for insns which cannot throw.

* cfgrtl.c (purge_dead_edges): Remove REG_EH_REGION note for insns which cannot throw. From-SVN: r46863

cfgrtl.c (purge_dead_edges): Remove REG_EH_REGION note for insns which cannot throw.
* cfgrtl.c (purge_dead_edges): Remove REG_EH_REGION note for insns which cannot throw. From-SVN: r46863
89753b3a · Jakub Jelinek · Jakub Jelinek · 6608bd4d · 89753b3a · 89753b3a
Commit 89753b3a authored Nov 09, 2001 by Jakub Jelinek Committed by Jakub Jelinek Nov 09, 2001
Hide whitespace changes
Inline Side-by-side

Showing with 17 additions and 1 deletions

gcc/ChangeLog
+5 -0

gcc/cfgrtl.c
+12 -1

No files found.
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
+2001-11-09  Jakub Jelinek  <jakub@redhat.com>
+
+	* cfgrtl.c (purge_dead_edges): Remove REG_EH_REGION note for insns
+	which cannot throw.
+
 Thu Nov  8 18:00:55 2001  Richard Kenner  <kenner@vlsi1.ultra.nyu.edu>

 	* explow.c (convert_memory_address, case SUBREG): Only return

--- a/gcc/cfgrtl.c
+++ b/gcc/cfgrtl.c
@@ -1819,7 +1819,7 @@ purge_dead_edges (bb)
     basic_block bb;
 {
  edge e, next;
-  rtx insn = bb->end;
+  rtx insn = bb->end, note;
  bool purged = false;

  if (GET_CODE (insn) == JUMP_INSN && !simplejump_p (insn))
@@ -1878,6 +1878,17 @@ purge_dead_edges (bb)
      return purged;
    }

+  /* If this instruction cannot trap, remove REG_EH_REGION notes.  */
+  if (GET_CODE (insn) == INSN
+      && (note = find_reg_note (insn, REG_EH_REGION, NULL)))
+    {
+      rtx eqnote;
+      if (! may_trap_p (PATTERN (insn))
+	  || ((eqnote = find_reg_equal_equiv_note (insn))
+	      && ! may_trap_p (XEXP (eqnote, 0))))
+	remove_note (insn, note);
+    }
+
  /* Cleanup abnormal edges caused by throwing insns that have been
     eliminated.  */
  if (! can_throw_internal (bb->end))