OSDN Git Service

* optabs.c (no_conflict_move_test): Check if a result of a
authoramylaar <amylaar@138bc75d-0d04-0410-961f-82ee72b054a4>
Tue, 27 Sep 2005 21:09:28 +0000 (21:09 +0000)
committeramylaar <amylaar@138bc75d-0d04-0410-961f-82ee72b054a4>
Tue, 27 Sep 2005 21:09:28 +0000 (21:09 +0000)
to-be-moved insn would be clobbered by an originally
preceding insn.

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

gcc/ChangeLog
gcc/optabs.c

index fd231ba..d1db15e 100644 (file)
@@ -1,3 +1,9 @@
+2005-09-27  J"orn Rennecke <joern.rennecke@st.com>
+
+       * optabs.c (no_conflict_move_test): Check if a result of a
+       to-be-moved insn would be clobbered by an originally
+       preceding insn.
+
 2005-09-27  Jeff Law  <law@redhat.com>
 
        * passes.c (init_optimization_passes): Replace copy propagation
index 7ca3916..31212cb 100644 (file)
@@ -3026,10 +3026,16 @@ no_conflict_move_test (rtx dest, rtx set, void *p0)
           || (CALL_P (p->first) && (find_reg_fusage (p->first, USE, dest)))
           || reg_used_between_p (dest, p->first, p->insn)
           /* Likewise if this insn depends on a register set by a previous
-             insn in the list.  */
+             insn in the list, or if it sets a result (presumably a hard
+             register) that is set or clobbered by a previous insn.
+             N.B. the modified_*_p (SET_DEST...) tests applied to a MEM
+             SET_DEST perform the former check on the address, and the latter
+             check on the MEM.  */
           || (GET_CODE (set) == SET
               && (modified_in_p (SET_SRC (set), p->first)
-                  || modified_between_p (SET_SRC (set), p->first, p->insn))))
+                  || modified_in_p (SET_DEST (set), p->first)
+                  || modified_between_p (SET_SRC (set), p->first, p->insn)
+                  || modified_between_p (SET_DEST (set), p->first, p->insn))))
     p->must_stay = true;
 }