diff options
| author | Richard Biener <rguenther@suse.de> | 2015-01-13 12:35:27 +0000 |
|---|---|---|
| committer | Richard Biener <rguenth@gcc.gnu.org> | 2015-01-13 12:35:27 +0000 |
| commit | 96bb56b2d7ee386b29596c59d61b73c5d5d3b7cc (patch) | |
| tree | ffe8bdc473914e2ee2678ab63b3b8996d6f8f164 | |
| parent | ebcd09c1c1dfbb14c588cb153880185f04c8130f (diff) | |
| download | gcc-96bb56b2d7ee386b29596c59d61b73c5d5d3b7cc.zip gcc-96bb56b2d7ee386b29596c59d61b73c5d5d3b7cc.tar.gz gcc-96bb56b2d7ee386b29596c59d61b73c5d5d3b7cc.tar.bz2 | |
re PR tree-optimization/64404 (ICE: in vect_get_vec_def_for_operand, at tree-vect-stmts.c:1464 with --param=sccvn-max-alias-queries-per-access=1)
2015-01-13 Richard Biener <rguenther@suse.de>
PR tree-optimization/64404
* tree-vect-stmts.c (vectorizable_load): Reject conflicting
SLP types for CSEd loads.
* gcc.dg/vect/pr64404.c: New testcase.
From-SVN: r219527
| -rw-r--r-- | gcc/ChangeLog | 6 | ||||
| -rw-r--r-- | gcc/testsuite/ChangeLog | 5 | ||||
| -rw-r--r-- | gcc/testsuite/gcc.dg/vect/pr64404.c | 59 | ||||
| -rw-r--r-- | gcc/tree-vect-stmts.c | 14 |
4 files changed, 84 insertions, 0 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 4700629..d99589b 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,9 @@ +2015-01-13 Richard Biener <rguenther@suse.de> + + PR tree-optimization/64404 + * tree-vect-stmts.c (vectorizable_load): Reject conflicting + SLP types for CSEd loads. + 2015-01-13 Thomas Preud'homme <thomas.preudhomme@arm.com> PR tree-optimization/64436 diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index bd4d1d0..854d5f4 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,8 @@ +2015-01-13 Richard Biener <rguenther@suse.de> + + PR tree-optimization/64404 + * gcc.dg/vect/pr64404.c: New testcase. + 2014-01-13 Richard Biener <rguenther@suse.de> PR tree-optimization/64568 diff --git a/gcc/testsuite/gcc.dg/vect/pr64404.c b/gcc/testsuite/gcc.dg/vect/pr64404.c new file mode 100644 index 0000000..aa6463c --- /dev/null +++ b/gcc/testsuite/gcc.dg/vect/pr64404.c @@ -0,0 +1,59 @@ +/* { dg-do run } */ +/* { dg-additional-options "--param=sccvn-max-alias-queries-per-access=1" } */ + +#include "tree-vect.h" + +extern void abort (void); + +typedef struct +{ + int l, h; +} tFPinterval; + +tFPinterval X[1024]; +tFPinterval Y[1024]; +tFPinterval Z[1024]; + +void __attribute__((noinline)) +Compute (void) +{ + int d; + for (d = 0; d < 1024; d++) + { + Y[d].l = X[d].l + X[d].h; + Y[d].h = Y[d].l; + Z[d].l = X[d].l; + Z[d].h = X[d].h; + } +} + +int +main (void) +{ + int d; + + check_vect (); + + for (d = 0; d < 1024; d++) + { + X[d].l = d; + X[d].h = d + 1; + __asm__ volatile (""); + } + + Compute (); + + for (d = 0; d < 1024; d++) + { + if (Y[d].l != X[d].l + X[d].h + || Y[d].h != Y[d].l + || Z[d].l != X[d].l + || Z[d].h != X[d].h) + abort (); + __asm__ volatile (""); + } + + return 0; +} + +/* { dg-final { cleanup-tree-dump "vect" } } */ diff --git a/gcc/tree-vect-stmts.c b/gcc/tree-vect-stmts.c index 1b79ace..43fc51c 100644 --- a/gcc/tree-vect-stmts.c +++ b/gcc/tree-vect-stmts.c @@ -5791,6 +5791,20 @@ vectorizable_load (gimple stmt, gimple_stmt_iterator *gsi, gimple *vec_stmt, "group loads with negative dependence distance\n"); return false; } + + /* Similarly when the stmt is a load that is both part of a SLP + instance and a loop vectorized stmt via the same-dr mechanism + we have to give up. */ + if (STMT_VINFO_GROUP_SAME_DR_STMT (stmt_info) + && (STMT_SLP_TYPE (stmt_info) + != STMT_SLP_TYPE (vinfo_for_stmt + (STMT_VINFO_GROUP_SAME_DR_STMT (stmt_info))))) + { + if (dump_enabled_p ()) + dump_printf_loc (MSG_MISSED_OPTIMIZATION, vect_location, + "conflicting SLP types for CSEd load\n"); + return false; + } } |