From e4f51d19ea7e0a169e7efbce63cc8c62e71851bb Mon Sep 17 00:00:00 2001 From: steven Date: Tue, 20 Feb 2007 22:11:52 +0000 Subject: [PATCH] * rtlanal.c (find_reg_equal_equiv_note): Do not find REG_EQ* notes on an insn with multiple sets, even if single_set returns non-NULL for that insn. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@122177 138bc75d-0d04-0410-961f-82ee72b054a4 --- gcc/ChangeLog | 6 ++++++ gcc/rtlanal.c | 9 ++++++++- 2 files changed, 14 insertions(+), 1 deletion(-) diff --git a/gcc/ChangeLog b/gcc/ChangeLog index bf0fbcdc8d1..cbb93b7a8df 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,9 @@ +2007-02-20 Steven Bosscher + + * rtlanal.c (find_reg_equal_equiv_note): Do not find REG_EQ* + notes on an insn with multiple sets, even if single_set returns + non-NULL for that insn. + 2007-02-20 Kaveh R. Ghazi * fold-const.c (tree_expr_nonnegative_warnv_p): Handle scalb, diff --git a/gcc/rtlanal.c b/gcc/rtlanal.c index 2d156638b6d..b23eec4cf9f 100644 --- a/gcc/rtlanal.c +++ b/gcc/rtlanal.c @@ -1676,11 +1676,18 @@ find_reg_equal_equiv_note (rtx insn) if (!INSN_P (insn)) return 0; + for (link = REG_NOTES (insn); link; link = XEXP (link, 1)) if (REG_NOTE_KIND (link) == REG_EQUAL || REG_NOTE_KIND (link) == REG_EQUIV) { - if (single_set (insn) == 0) + /* FIXME: We should never have REG_EQUAL/REG_EQUIV notes on + insns that have multiple sets. Checking single_set to + make sure of this is not the proper check, as explained + in the comment in set_unique_reg_note. + + This should be changed into an assert. */ + if (GET_CODE (PATTERN (insn)) == PARALLEL && multiple_sets (insn)) return 0; return link; } -- 2.11.4.GIT