diff options
| author | Richard Biener <rguenther@suse.de> | 2016-06-15 09:53:07 +0000 |
|---|---|---|
| committer | Richard Biener <rguenth@gcc.gnu.org> | 2016-06-15 09:53:07 +0000 |
| commit | 2a5825f23bd387d239592b1efd0e8487dd83a6e4 (patch) | |
| tree | da2f3f83973a4810eacabc13cc0758a10d50673a /gcc | |
| parent | 6a3f203c3cc8e0f0757f7ed038b3cb34063936ba (diff) | |
| download | gcc-2a5825f23bd387d239592b1efd0e8487dd83a6e4.zip gcc-2a5825f23bd387d239592b1efd0e8487dd83a6e4.tar.gz gcc-2a5825f23bd387d239592b1efd0e8487dd83a6e4.tar.bz2 | |
tree-vect-data-refs.c (vect_analyze_data_ref_dependence): Do not consider dependences between accesses that belong to the same group.
2016-06-15 Richard Biener <rguenther@suse.de>
* tree-vect-data-refs.c (vect_analyze_data_ref_dependence): Do
not consider dependences between accesses that belong to the
same group.
(vect_analyze_data_ref_dependences): Do not analyze read-read
or self-dependences.
* gcc.dg/vect/bb-slp-pattern-2.c: Disable loop vectorization.
From-SVN: r237473
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/ChangeLog | 8 | ||||
| -rw-r--r-- | gcc/testsuite/ChangeLog | 4 | ||||
| -rw-r--r-- | gcc/testsuite/gcc.dg/vect/bb-slp-pattern-2.c | 1 | ||||
| -rw-r--r-- | gcc/tree-vect-data-refs.c | 8 |
4 files changed, 20 insertions, 1 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 907bb06..f593bd5 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,11 @@ +2016-06-15 Richard Biener <rguenther@suse.de> + + * tree-vect-data-refs.c (vect_analyze_data_ref_dependence): Do + not consider dependences between accesses that belong to the + same group. + (vect_analyze_data_ref_dependences): Do not analyze read-read + or self-dependences. + 2016-06-14 David Malcolm <dmalcolm@redhat.com> * spellcheck-tree.c: Include spellcheck-tree.h rather than diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 016045f..3eaaa91 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,7 @@ +2016-06-15 Richard Biener <rguenther@suse.de> + + * gcc.dg/vect/bb-slp-pattern-2.c: Disable loop vectorization. + 2016-06-14 Bill Schmidt <wschmidt@linux.vnet.ibm.com> * gcc.target/powerpc/vsx-elemrev-2.c: Change effective target diff --git a/gcc/testsuite/gcc.dg/vect/bb-slp-pattern-2.c b/gcc/testsuite/gcc.dg/vect/bb-slp-pattern-2.c index 4635626..d32cb75 100644 --- a/gcc/testsuite/gcc.dg/vect/bb-slp-pattern-2.c +++ b/gcc/testsuite/gcc.dg/vect/bb-slp-pattern-2.c @@ -1,4 +1,5 @@ /* { dg-require-effective-target vect_condition } */ +/* { dg-additional-options "-fno-tree-vectorize -ftree-slp-vectorize -ftree-loop-if-convert" } */ #include "tree-vect.h" diff --git a/gcc/tree-vect-data-refs.c b/gcc/tree-vect-data-refs.c index 084469f..0ab8e6b 100644 --- a/gcc/tree-vect-data-refs.c +++ b/gcc/tree-vect-data-refs.c @@ -227,6 +227,12 @@ vect_analyze_data_ref_dependence (struct data_dependence_relation *ddr, || (DR_IS_READ (dra) && DR_IS_READ (drb))) return false; + /* We do not have to consider dependences between accesses that belong + to the same group. */ + if (GROUP_FIRST_ELEMENT (stmtinfo_a) + && GROUP_FIRST_ELEMENT (stmtinfo_a) == GROUP_FIRST_ELEMENT (stmtinfo_b)) + return false; + /* Even if we have an anti-dependence then, as the vectorized loop covers at least two scalar iterations, there is always also a true dependence. As the vectorizer does not re-order loads and stores we can ignore @@ -469,7 +475,7 @@ vect_analyze_data_ref_dependences (loop_vec_info loop_vinfo, int *max_vf) LOOP_VINFO_NO_DATA_DEPENDENCIES (loop_vinfo) = true; if (!compute_all_dependences (LOOP_VINFO_DATAREFS (loop_vinfo), &LOOP_VINFO_DDRS (loop_vinfo), - LOOP_VINFO_LOOP_NEST (loop_vinfo), true)) + LOOP_VINFO_LOOP_NEST (loop_vinfo), false)) return false; FOR_EACH_VEC_ELT (LOOP_VINFO_DDRS (loop_vinfo), i, ddr) |