diff options
| author | Richard Biener <rguenther@suse.de> | 2014-07-08 08:59:17 +0000 |
|---|---|---|
| committer | Richard Biener <rguenth@gcc.gnu.org> | 2014-07-08 08:59:17 +0000 |
| commit | e33f43b9a67e362352709069bb71f97f7e94dc25 (patch) | |
| tree | a0149ef0766bf832169cea623a1943b156dc656a /gcc/tree-vect-data-refs.c | |
| parent | 0f6284d27f11d16cced47627deb022041f8c9cac (diff) | |
| download | gcc-e33f43b9a67e362352709069bb71f97f7e94dc25.zip gcc-e33f43b9a67e362352709069bb71f97f7e94dc25.tar.gz gcc-e33f43b9a67e362352709069bb71f97f7e94dc25.tar.bz2 | |
re PR tree-optimization/61680 (vectorization gives wrong answer for sandybridge target)
2014-07-08 Richard Biener <rguenther@suse.de>
PR tree-optimization/61680
* tree-vect-data-refs.c (vect_analyze_data_ref_dependence):
Handle properly all read-write dependences with group accesses.
* gcc.dg/vect/pr61680.c: New testcase.
From-SVN: r212348
Diffstat (limited to 'gcc/tree-vect-data-refs.c')
| -rw-r--r-- | gcc/tree-vect-data-refs.c | 13 |
1 files changed, 8 insertions, 5 deletions
diff --git a/gcc/tree-vect-data-refs.c b/gcc/tree-vect-data-refs.c index 93a14cf..ea2316c 100644 --- a/gcc/tree-vect-data-refs.c +++ b/gcc/tree-vect-data-refs.c @@ -375,11 +375,14 @@ vect_analyze_data_ref_dependence (struct data_dependence_relation *ddr, .. = a[i+1]; where we will end up loading { a[i], a[i+1] } once, make sure that inserting group loads before the first load and - stores after the last store will do the right thing. */ - if ((STMT_VINFO_GROUPED_ACCESS (stmtinfo_a) - && GROUP_SAME_DR_STMT (stmtinfo_a)) - || (STMT_VINFO_GROUPED_ACCESS (stmtinfo_b) - && GROUP_SAME_DR_STMT (stmtinfo_b))) + stores after the last store will do the right thing. + Similar for groups like + a[i] = ...; + ... = a[i]; + a[i+1] = ...; + where loads from the group interleave with the store. */ + if (STMT_VINFO_GROUPED_ACCESS (stmtinfo_a) + || STMT_VINFO_GROUPED_ACCESS (stmtinfo_b)) { gimple earlier_stmt; earlier_stmt = get_earlier_stmt (DR_STMT (dra), DR_STMT (drb)); |