From 1e928e07b22dd721d06501fb85a31360b55d3b8b Mon Sep 17 00:00:00 2001 From: Kugan Vivekanandarajah Date: Wed, 5 Aug 2015 01:08:49 +0000 Subject: [PATCH] cse.c (cse_insn): Restoring old behaviour for src_eqv when dest and value in the REG_EQUAL are... gcc/ChangeLog: 2015-08-05 Kugan Vivekanandarajah * cse.c (cse_insn): Restoring old behaviour for src_eqv when dest and value in the REG_EQUAL are same and dest is STRICT_LOW_PART. From-SVN: r226606 --- gcc/ChangeLog | 6 ++++++ gcc/cse.c | 9 +++++---- 2 files changed, 11 insertions(+), 4 deletions(-) diff --git a/gcc/ChangeLog b/gcc/ChangeLog index e391b6f58d5..9c8e1765d31 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,9 @@ +2015-08-05 Kugan Vivekanandarajah + + * cse.c (cse_insn): Restoring old behaviour for src_eqv + when dest and value in the REG_EQUAL are same and dest + is STRICT_LOW_PART. + 2015-08-04 Anatoly Sokolov * config/moxie/moxie.h (PRINT_OPERAND, diff --git a/gcc/cse.c b/gcc/cse.c index 88c82fc8d74..ef375791d48 100644 --- a/gcc/cse.c +++ b/gcc/cse.c @@ -4528,12 +4528,13 @@ cse_insn (rtx_insn *insn) this case, and if it isn't set, then there will be no equivalence for the destination. */ if (n_sets == 1 && REG_NOTES (insn) != 0 - && (tem = find_reg_note (insn, REG_EQUAL, NULL_RTX)) != 0 - && (! rtx_equal_p (XEXP (tem, 0), SET_SRC (sets[0].rtl)))) + && (tem = find_reg_note (insn, REG_EQUAL, NULL_RTX)) != 0) { - if (GET_CODE (SET_DEST (sets[0].rtl)) == STRICT_LOW_PART) - src_eqv = copy_rtx (XEXP (tem, 0)); + if (GET_CODE (SET_DEST (sets[0].rtl)) != ZERO_EXTRACT + && (! rtx_equal_p (XEXP (tem, 0), SET_SRC (sets[0].rtl)) + || GET_CODE (SET_DEST (sets[0].rtl)) == STRICT_LOW_PART)) + src_eqv = copy_rtx (XEXP (tem, 0)); /* If DEST is of the form ZERO_EXTACT, as in: (set (zero_extract:SI (reg:SI 119) (const_int 16 [0x10]) -- 2.30.2