From: Richard Henderson <rth@redhat.com>
Date: Tue, 30 Jul 2002 22:13:50 +0000 (-0700)
Subject: ifcvt.c (noce_get_alt_condition): Use reg_overlap_mentioned_p.
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=a538e5805514bc4728c76b372cf4dc89edd4d968;p=gcc.git

ifcvt.c (noce_get_alt_condition): Use reg_overlap_mentioned_p.

        * ifcvt.c (noce_get_alt_condition): Use reg_overlap_mentioned_p.
        (noce_process_if_block): Likewise.

From-SVN: r55886
---

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 472465f59a5..c9b9f703ddb 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,8 @@
+2002-07-30  Richard Henderson  <rth@redhat.com>
+
+	* ifcvt.c (noce_get_alt_condition): Use reg_overlap_mentioned_p.
+	(noce_process_if_block): Likewise.
+
 2002-07-30  Bernd Schmidt  <bernds@redhat.com>
 
 	* ifcvt.c (cond_exec_process_if_block): Fix a merging error.
diff --git a/gcc/ifcvt.c b/gcc/ifcvt.c
index 3ce996f8edd..ecf0f77c39c 100644
--- a/gcc/ifcvt.c
+++ b/gcc/ifcvt.c
@@ -1368,7 +1368,7 @@ noce_get_alt_condition (if_info, target, earliest)
 
   /* X may not be mentioned in the range (cond_earliest, jump].  */
   for (insn = if_info->jump; insn != *earliest; insn = PREV_INSN (insn))
-    if (INSN_P (insn) && reg_mentioned_p (if_info->x, insn))
+    if (INSN_P (insn) && reg_overlap_mentioned_p (if_info->x, PATTERN (insn)))
       return NULL;
 
   /* A and B may not be modified in the range [cond_earliest, jump).  */
@@ -1774,16 +1774,18 @@ noce_process_if_block (ce_info)
 	  || GET_CODE (insn_b) != INSN
 	  || (set_b = single_set (insn_b)) == NULL_RTX
 	  || ! rtx_equal_p (x, SET_DEST (set_b))
-	  || reg_mentioned_p (x, cond)
-	  || reg_mentioned_p (x, a)
-	  || reg_mentioned_p (x, SET_SRC (set_b)))
+	  || reg_overlap_mentioned_p (x, cond)
+	  || reg_overlap_mentioned_p (x, a)
+	  || reg_overlap_mentioned_p (x, SET_SRC (set_b)))
 	insn_b = set_b = NULL_RTX;
     }
   b = (set_b ? SET_SRC (set_b) : x);
 
-  /* X may not be mentioned in the range (cond_earliest, jump].  */
+  /* X may not be mentioned in the range (cond_earliest, jump]. 
+     Note the use of reg_overlap_mentioned_p, which handles memories
+     properly, as opposed to reg_mentioned_p, which doesn't.  */
   for (insn = jump; insn != if_info.cond_earliest; insn = PREV_INSN (insn))
-    if (INSN_P (insn) && reg_mentioned_p (x, insn))
+    if (INSN_P (insn) && reg_overlap_mentioned_p (x, PATTERN (insn)))
       return FALSE;
 
   /* A and B may not be modified in the range [cond_earliest, jump).  */