gcse.c (find_moveable_store): Do not accept store insns with REG_EH_REGION note.

	* gcse.c (find_moveable_store): Do not accept store insns with
	REG_EH_REGION note.

From-SVN: r81249

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index f4c52736d93ac347874c9e4a5fb4b82e0d54e54f..e75088583cea32a89c30d5e6c6742bb2a39a4363 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,8 @@
+2004-04-28  Ulrich Weigand  <uweigand@de.ibm.com>
+
+       * gcse.c (find_moveable_store): Do not accept store insns with 
+       REG_EH_REGION note.
+
 2004-04-28  Paul Brook  <paul@codesourcery.com>
 
        * calls.c (precompute_arguments): Remove PROMOTE_FOR_CALL_ONLY.

diff --git a/gcc/gcse.c b/gcc/gcse.c
index 88f94f6802e1620438716863c059d7a3ac4eb2fa..7442faab520ca4e95ff031ffb27d84b40d92d3d4 100644 (file)
--- a/gcc/gcse.c
+++ b/gcc/gcse.c
@@ -7175,6 +7175,11 @@ find_moveable_store (rtx insn, int *regs_set_before, int *regs_set_after)
   if (flag_non_call_exceptions && may_trap_p (dest))
     return;
 
+  /* Even if the destination cannot trap, the source may.  In this case we'd
+     need to handle updating the REG_EH_REGION note.  */
+  if (find_reg_note (insn, REG_EH_REGION, NULL_RTX))
+    return;
+
   ptr = ldst_entry (dest);
   if (!ptr->pattern_regs)
     ptr->pattern_regs = extract_mentioned_regs (dest);