diff options
| author | Richard Biener <rguenth@gcc.gnu.org> | 2019-10-29 13:46:19 +0000 |
|---|---|---|
| committer | Richard Biener <rguenth@gcc.gnu.org> | 2019-10-29 13:46:19 +0000 |
| commit | 318bd8c60d83ca294b237559908dd9f88ee7c300 (patch) | |
| tree | e7d041c184dd85ef4125c4541f0697a6fb8d5acb | |
| parent | 97c146036750e7cb3966d292572ec158a78f356e (diff) | |
| download | gcc-318bd8c60d83ca294b237559908dd9f88ee7c300.zip gcc-318bd8c60d83ca294b237559908dd9f88ee7c300.tar.gz gcc-318bd8c60d83ca294b237559908dd9f88ee7c300.tar.bz2 | |
re PR tree-optimization/92260 (ICE in exact_div, at poly-int.h:2162)
2019-10-29 Richard Biener <rguenther@suse.de>
PR tree-optimization/92260
* tree-vect-slp.c (vect_get_constant_vectors): Special-case
lane-reducing ops.
* gcc.dg/pr92260.c: New testcase.
From-SVN: r277571
| -rw-r--r-- | gcc/ChangeLog | 8 | ||||
| -rw-r--r-- | gcc/testsuite/ChangeLog | 5 | ||||
| -rw-r--r-- | gcc/testsuite/gcc.dg/pr92260.c | 15 | ||||
| -rw-r--r-- | gcc/tree-vect-slp.c | 17 |
4 files changed, 40 insertions, 5 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 48f562b..caaa5ee 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,6 +1,12 @@ +2019-10-29 Richard Biener <rguenther@suse.de> + + PR tree-optimization/92260 + * tree-vect-slp.c (vect_get_constant_vectors): Special-case + lane-reducing ops. + 2019-10-29 Andre Vieira <andre.simoesdiasvieira@arm.com> - PR 88915 + PR tree-optimization/88915 * tree-ssa-loop-niter.h (simplify_replace_tree): Change declaration. * tree-ssa-loop-niter.c (simplify_replace_tree): Add context parameter and make the valueize function pointer also take a void pointer. diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index f4885b6..24861e4 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,5 +1,10 @@ 2019-10-29 Richard Biener <rguenther@suse.de> + PR tree-optimization/92260 + * gcc.dg/pr92260.c: New testcase. + +2019-10-29 Richard Biener <rguenther@suse.de> + PR tree-optimization/65930 * gcc.dg/vect/pr65930-1.c: New testcase. diff --git a/gcc/testsuite/gcc.dg/pr92260.c b/gcc/testsuite/gcc.dg/pr92260.c new file mode 100644 index 0000000..3dd3476 --- /dev/null +++ b/gcc/testsuite/gcc.dg/pr92260.c @@ -0,0 +1,15 @@ +/* { dg-do compile } */ +/* { dg-options "-O3" } */ + +extern int abs(int); +int e(const unsigned char *g, long h, unsigned char m) +{ + int i = 0; + for (int j = 0; j < h; j++) + { + for (int k = 0; k < 4; k++) + i += abs(g[k] - m); + g += h; + } + return i; +} diff --git a/gcc/tree-vect-slp.c b/gcc/tree-vect-slp.c index b75594c..9d65471 100644 --- a/gcc/tree-vect-slp.c +++ b/gcc/tree-vect-slp.c @@ -3395,10 +3395,19 @@ vect_get_constant_vectors (slp_tree op_node, slp_tree slp_node, else vector_type = get_vectype_for_scalar_type (vinfo, TREE_TYPE (op)); - unsigned int number_of_vectors - = vect_get_num_vectors (SLP_TREE_NUMBER_OF_VEC_STMTS (slp_node) - * TYPE_VECTOR_SUBPARTS (stmt_vectype), - vector_type); + /* ??? For lane-reducing ops we should also have the required number + of vector stmts initialized rather than second-guessing here. */ + unsigned int number_of_vectors; + if (is_gimple_assign (stmt_vinfo->stmt) + && (gimple_assign_rhs_code (stmt_vinfo->stmt) == SAD_EXPR + || gimple_assign_rhs_code (stmt_vinfo->stmt) == DOT_PROD_EXPR + || gimple_assign_rhs_code (stmt_vinfo->stmt) == WIDEN_SUM_EXPR)) + number_of_vectors = SLP_TREE_NUMBER_OF_VEC_STMTS (slp_node); + else + number_of_vectors + = vect_get_num_vectors (SLP_TREE_NUMBER_OF_VEC_STMTS (slp_node) + * TYPE_VECTOR_SUBPARTS (stmt_vectype), + vector_type); vec_oprnds->create (number_of_vectors); auto_vec<tree> voprnds (number_of_vectors); |