From bb50698284eaaf849182f78779af4b3fde7503e1 Mon Sep 17 00:00:00 2001 From: Marc Glisse Date: Fri, 12 Apr 2013 09:40:37 +0200 Subject: [PATCH] fold-const.c (const_binop): Handle vector shifts by a scalar. 2013-04-12 Marc Glisse gcc/ * fold-const.c (const_binop): Handle vector shifts by a scalar. (fold_binary_loc): Call const_binop also for mixed vector-scalar operations. gcc/testsuite/ * gcc.dg/fold-cstvecshift.c: New testcase. From-SVN: r197843 --- gcc/ChangeLog | 6 ++++ gcc/fold-const.c | 42 +++++++++++++++++++------ gcc/testsuite/ChangeLog | 4 +++ gcc/testsuite/gcc.dg/fold-cstvecshift.c | 13 ++++++++ 4 files changed, 56 insertions(+), 9 deletions(-) create mode 100644 gcc/testsuite/gcc.dg/fold-cstvecshift.c diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 9cc89e5dcda..adb39817f1b 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,9 @@ +2013-04-12 Marc Glisse + + * fold-const.c (const_binop): Handle vector shifts by a scalar. + (fold_binary_loc): Call const_binop also for mixed vector-scalar + operations. + 2013-04-12 Manuel López-Ibáñez Jakub Jelinek diff --git a/gcc/fold-const.c b/gcc/fold-const.c index 467b6d65619..e8187cbf477 100644 --- a/gcc/fold-const.c +++ b/gcc/fold-const.c @@ -1342,21 +1342,44 @@ const_binop (enum tree_code code, tree arg1, tree arg2) if (TREE_CODE (arg1) == VECTOR_CST && TREE_CODE (arg2) == VECTOR_CST) { - tree type = TREE_TYPE(arg1); + tree type = TREE_TYPE (arg1); int count = TYPE_VECTOR_SUBPARTS (type), i; - tree *elts = XALLOCAVEC (tree, count); + tree *elts = XALLOCAVEC (tree, count); for (i = 0; i < count; i++) { - tree elem1 = VECTOR_CST_ELT (arg1, i); + tree elem1 = VECTOR_CST_ELT (arg1, i); tree elem2 = VECTOR_CST_ELT (arg2, i); - elts[i] = const_binop (code, elem1, elem2); + elts[i] = const_binop (code, elem1, elem2); + + /* It is possible that const_binop cannot handle the given + code and return NULL_TREE */ + if (elts[i] == NULL_TREE) + return NULL_TREE; + } + + return build_vector (type, elts); + } - /* It is possible that const_binop cannot handle the given - code and return NULL_TREE */ - if(elts[i] == NULL_TREE) - return NULL_TREE; + /* Shifts allow a scalar offset for a vector. */ + if (TREE_CODE (arg1) == VECTOR_CST + && TREE_CODE (arg2) == INTEGER_CST) + { + tree type = TREE_TYPE (arg1); + int count = TYPE_VECTOR_SUBPARTS (type), i; + tree *elts = XALLOCAVEC (tree, count); + + for (i = 0; i < count; i++) + { + tree elem1 = VECTOR_CST_ELT (arg1, i); + + elts[i] = const_binop (code, elem1, arg2); + + /* It is possible that const_binop cannot handle the given + code and return NULL_TREE */ + if (elts[i] == NULL_TREE) + return NULL_TREE; } return build_vector (type, elts); @@ -9859,7 +9882,8 @@ fold_binary_loc (location_t loc, || (TREE_CODE (arg0) == FIXED_CST && TREE_CODE (arg1) == FIXED_CST) || (TREE_CODE (arg0) == FIXED_CST && TREE_CODE (arg1) == INTEGER_CST) || (TREE_CODE (arg0) == COMPLEX_CST && TREE_CODE (arg1) == COMPLEX_CST) - || (TREE_CODE (arg0) == VECTOR_CST && TREE_CODE (arg1) == VECTOR_CST)) + || (TREE_CODE (arg0) == VECTOR_CST && TREE_CODE (arg1) == VECTOR_CST) + || (TREE_CODE (arg0) == VECTOR_CST && TREE_CODE (arg1) == INTEGER_CST)) { if (kind == tcc_binary) { diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 4ee12e84ed8..ec11002256a 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,7 @@ +2013-04-12 Marc Glisse + + * gcc.dg/fold-cstvecshift.c: New testcase. + 2013-04-11 Naveen H.S * gcc.target/aarch64/negs.c: New. diff --git a/gcc/testsuite/gcc.dg/fold-cstvecshift.c b/gcc/testsuite/gcc.dg/fold-cstvecshift.c new file mode 100644 index 00000000000..51f42d42bc1 --- /dev/null +++ b/gcc/testsuite/gcc.dg/fold-cstvecshift.c @@ -0,0 +1,13 @@ +/* { dg-do compile } */ +/* { dg-options "-O -fdump-tree-ccp1" } */ + +typedef int vec __attribute__ ((vector_size (4 * sizeof (int)))); + +void f (vec *r) +{ + vec a = { 2, 3, 4, 5 }; + *r = (a << 2) >> 1; +} + +/* { dg-final { scan-tree-dump "{ 4, 6, 8, 10 }" "ccp1"} } */ +/* { dg-final { cleanup-tree-dump "ccp1" } } */ -- 2.30.2