From ca7a5aec06cbaa6683aedc8ebb6273e5d0e64fc6 Mon Sep 17 00:00:00 2001 From: "J\"orn Rennecke" Date: Tue, 27 Sep 2005 21:09:28 +0000 Subject: [PATCH] optabs.c (no_conflict_move_test): Check if a result of a to-be-moved insn would be clobbered by an originally... * optabs.c (no_conflict_move_test): Check if a result of a to-be-moved insn would be clobbered by an originally preceding insn. From-SVN: r104709 --- gcc/ChangeLog | 6 ++++++ gcc/optabs.c | 10 ++++++++-- 2 files changed, 14 insertions(+), 2 deletions(-) diff --git a/gcc/ChangeLog b/gcc/ChangeLog index fd231baa496..d1db15ee091 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,9 @@ +2005-09-27 J"orn Rennecke + + * 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 * passes.c (init_optimization_passes): Replace copy propagation diff --git a/gcc/optabs.c b/gcc/optabs.c index 7ca39167390..31212cbc007 100644 --- a/gcc/optabs.c +++ b/gcc/optabs.c @@ -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; } -- 2.30.2