* reload1.c (reload): Don't delete equiv insn if can throw.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@46866 138bc75d-0d04-0410-961f-82ee72b054a4

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index a718a8f..82ec7f9 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,5 +1,7 @@
 Thu Nov  8 18:00:55 2001  Richard Kenner  <kenner@vlsi1.ultra.nyu.edu>
 
+       * reload1.c (reload): Don't delete equiv insn if can throw.
+
        * expr.c (emit_block_move): If X is readonly emit CLOBBER for it.
        (clear_storage): Likewise, for OBJECT.
 

diff --git a/gcc/reload1.c b/gcc/reload1.c
index 165573b..ffc80de 100644 (file)
--- a/gcc/reload1.c
+++ b/gcc/reload1.c
@@ -1071,9 +1071,16 @@ reload (first, global)
          for (list = reg_equiv_init[i]; list; list = XEXP (list, 1))
            {
              rtx equiv_insn = XEXP (list, 0);
-             if (GET_CODE (equiv_insn) == NOTE)
-               continue;
-             if (reg_set_p (regno_reg_rtx[i], PATTERN (equiv_insn)))
+
+             /* If we already deleted the insn or if it may trap, we can't
+                delete it.  The latter case shouldn't happen, but can
+                if an insn has a variable address, gets a REG_EH_REGION
+                note added to it, and then gets converted into an load
+                from a constant address.  */
+             if (GET_CODE (equiv_insn) == NOTE
+                 || can_throw_internal (equiv_insn))
+               ;
+             else if (reg_set_p (regno_reg_rtx[i], PATTERN (equiv_insn)))
                delete_dead_insn (equiv_insn);
              else
                {