aboutsummaryrefslogtreecommitdiff
path: root/gcc/rtlanal.c
diff options
context:
space:
mode:
authorTejas Belagod <tejas.belagod@arm.com>2013-12-05 17:24:52 +0000
committerTejas Belagod <belagod@gcc.gnu.org>2013-12-05 17:24:52 +0000
commit8c8952918b75f4fa6adbbe44cd641d5fd0bb55e3 (patch)
tree9724f5ffff7a15227f05b12519028d421225dfaf /gcc/rtlanal.c
parent601a5921eb0b56c647b3fa7136d11172495c0cb0 (diff)
downloadgcc-8c8952918b75f4fa6adbbe44cd641d5fd0bb55e3.zip
gcc-8c8952918b75f4fa6adbbe44cd641d5fd0bb55e3.tar.gz
gcc-8c8952918b75f4fa6adbbe44cd641d5fd0bb55e3.tar.bz2
Eliminate redundant vec_select moves.
gcc/ * rtlanal.c (set_noop_p): Return nonzero in case of redundant vec_select for overlapping register lanes. testsuite/ * config/gcc.dg/vect/vect-nop-move.c: New. From-SVN: r205712
Diffstat (limited to 'gcc/rtlanal.c')
-rw-r--r--gcc/rtlanal.c21
1 files changed, 21 insertions, 0 deletions
diff --git a/gcc/rtlanal.c b/gcc/rtlanal.c
index 0cd0c7e..38f9e36 100644
--- a/gcc/rtlanal.c
+++ b/gcc/rtlanal.c
@@ -1180,6 +1180,27 @@ set_noop_p (const_rtx set)
dst = SUBREG_REG (dst);
}
+ /* It is a NOOP if destination overlaps with selected src vector
+ elements. */
+ if (GET_CODE (src) == VEC_SELECT
+ && REG_P (XEXP (src, 0)) && REG_P (dst)
+ && HARD_REGISTER_P (XEXP (src, 0))
+ && HARD_REGISTER_P (dst))
+ {
+ int i;
+ rtx par = XEXP (src, 1);
+ rtx src0 = XEXP (src, 0);
+ int c0 = INTVAL (XVECEXP (par, 0, 0));
+ HOST_WIDE_INT offset = GET_MODE_UNIT_SIZE (GET_MODE (src0)) * c0;
+
+ for (i = 1; i < XVECLEN (par, 0); i++)
+ if (INTVAL (XVECEXP (par, 0, i)) != c0 + i)
+ return 0;
+ return
+ simplify_subreg_regno (REGNO (src0), GET_MODE (src0),
+ offset, GET_MODE (dst)) == (int) REGNO (dst);
+ }
+
return (REG_P (src) && REG_P (dst)
&& REGNO (src) == REGNO (dst));
}