diff options
| author | Richard Biener <rguenther@suse.de> | 2013-04-03 08:03:33 +0000 |
|---|---|---|
| committer | Richard Biener <rguenth@gcc.gnu.org> | 2013-04-03 08:03:33 +0000 |
| commit | e6c9d234044bae3de1941cb7d654dc9d3425fd1b (patch) | |
| tree | 225ecff6a61a2a168f67c5dc2f82d15fbac83f82 /gcc | |
| parent | 9362a03b8760f7ea986af5b0b22a5b80bed9d05d (diff) | |
| download | gcc-e6c9d234044bae3de1941cb7d654dc9d3425fd1b.zip gcc-e6c9d234044bae3de1941cb7d654dc9d3425fd1b.tar.gz gcc-e6c9d234044bae3de1941cb7d654dc9d3425fd1b.tar.bz2 | |
re PR tree-optimization/56812 (Simple loop is not SLP-vectorized after r196872)
2013-04-03 Richard Biener <rguenther@suse.de>
PR tree-optimization/56812
* tree-vect-data-refs.c (vect_slp_analyze_data_ref_dependence):
DRs of the same interleaving chain are independent.
* g++.dg/vect/slp-pr56812.cc: New testcase.
From-SVN: r197390
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/ChangeLog | 6 | ||||
| -rw-r--r-- | gcc/testsuite/ChangeLog | 5 | ||||
| -rw-r--r-- | gcc/testsuite/g++.dg/vect/slp-pr56812.cc | 20 | ||||
| -rw-r--r-- | gcc/tree-vect-data-refs.c | 7 |
4 files changed, 38 insertions, 0 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 788f2b0..db0f7a6 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,9 @@ +2013-04-03 Richard Biener <rguenther@suse.de> + + PR tree-optimization/56812 + * tree-vect-data-refs.c (vect_slp_analyze_data_ref_dependence): + DRs of the same interleaving chain are independent. + 2013-04-02 Jason Merrill <jason@redhat.com> * gdbinit.in (pbb): Use debug fn. diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index e025a24..4a6c3b8 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,8 @@ +2013-04-03 Richard Biener <rguenther@suse.de> + + PR tree-optimization/56812 + * g++.dg/vect/slp-pr56812.cc: New testcase. + 2013-04-03 Janus Weil <janus@gcc.gnu.org> PR fortran/56284 diff --git a/gcc/testsuite/g++.dg/vect/slp-pr56812.cc b/gcc/testsuite/g++.dg/vect/slp-pr56812.cc new file mode 100644 index 0000000..d27b4a8 --- /dev/null +++ b/gcc/testsuite/g++.dg/vect/slp-pr56812.cc @@ -0,0 +1,20 @@ +/* { dg-do compile } */
+/* { dg-require-effective-target vect_float } */
+/* { dg-options "-O3 -funroll-loops -fdump-tree-slp-details" } */
+
+class mydata {
+public:
+ mydata() {Set(-1.0);}
+ void Set (float);
+ static int upper() {return 8;}
+ float data[8];
+};
+
+void mydata::Set (float x)
+{
+ for (int i=0; i<upper(); i++)
+ data[i] = x;
+}
+
+/* { dg-final { scan-tree-dump-times "basic block vectorized using SLP" 1 "slp" } } */
+/* { dg-final { cleanup-tree-dump "slp" } } */
diff --git a/gcc/tree-vect-data-refs.c b/gcc/tree-vect-data-refs.c index 4ef9ba8..128e874 100644 --- a/gcc/tree-vect-data-refs.c +++ b/gcc/tree-vect-data-refs.c @@ -484,6 +484,13 @@ vect_slp_analyze_data_ref_dependence (struct data_dependence_relation *ddr) if (DR_IS_READ (dra) && DR_IS_READ (drb)) return false; + /* If dra and drb are part of the same interleaving chain consider + them independent. */ + if (STMT_VINFO_GROUPED_ACCESS (vinfo_for_stmt (DR_STMT (dra))) + && (GROUP_FIRST_ELEMENT (vinfo_for_stmt (DR_STMT (dra))) + == GROUP_FIRST_ELEMENT (vinfo_for_stmt (DR_STMT (drb))))) + return false; + /* Unknown data dependence. */ if (DDR_ARE_DEPENDENT (ddr) == chrec_dont_know) { |