diff options
| author | Richard Biener <rguenther@suse.de> | 2015-11-12 14:02:44 +0000 |
|---|---|---|
| committer | Richard Biener <rguenth@gcc.gnu.org> | 2015-11-12 14:02:44 +0000 |
| commit | 31271e9129c949aeb4628021a34191d696d75e34 (patch) | |
| tree | 43bc2f845446564ac8dd88684f3d9b8a13db225c /gcc/tree-vect-data-refs.c | |
| parent | c3a6648b1ca4359c5097f625bc6db6409b31f693 (diff) | |
| download | gcc-31271e9129c949aeb4628021a34191d696d75e34.zip gcc-31271e9129c949aeb4628021a34191d696d75e34.tar.gz gcc-31271e9129c949aeb4628021a34191d696d75e34.tar.bz2 | |
re PR tree-optimization/68306 (ICE: in vectorizable_store, at tree-vect-stmts.c:5651)
2015-11-12 Richard Biener <rguenther@suse.de>
PR tree-optimization/68306
* tree-vect-data-refs.c (verify_data_ref_alignment): Remove
relevant and vectorizable checks here.
(vect_verify_datarefs_alignment): Add relevant check here.
* gcc.dg/pr68306.c: New testcase.
From-SVN: r230260
Diffstat (limited to 'gcc/tree-vect-data-refs.c')
| -rw-r--r-- | gcc/tree-vect-data-refs.c | 22 |
1 files changed, 12 insertions, 10 deletions
diff --git a/gcc/tree-vect-data-refs.c b/gcc/tree-vect-data-refs.c index f7471b8..da5b2e9 100644 --- a/gcc/tree-vect-data-refs.c +++ b/gcc/tree-vect-data-refs.c @@ -909,14 +909,9 @@ verify_data_ref_alignment (data_reference_p dr) gimple *stmt = DR_STMT (dr); stmt_vec_info stmt_info = vinfo_for_stmt (stmt); - if (!STMT_VINFO_RELEVANT_P (stmt_info)) - return true; - - /* For interleaving, only the alignment of the first access matters. - Skip statements marked as not vectorizable. */ - if ((STMT_VINFO_GROUPED_ACCESS (stmt_info) - && GROUP_FIRST_ELEMENT (stmt_info) != stmt) - || !STMT_VINFO_VECTORIZABLE (stmt_info)) + /* For interleaving, only the alignment of the first access matters. */ + if (STMT_VINFO_GROUPED_ACCESS (stmt_info) + && GROUP_FIRST_ELEMENT (stmt_info) != stmt) return true; /* Strided accesses perform only component accesses, alignment is @@ -965,8 +960,15 @@ vect_verify_datarefs_alignment (loop_vec_info vinfo) unsigned int i; FOR_EACH_VEC_ELT (datarefs, i, dr) - if (! verify_data_ref_alignment (dr)) - return false; + { + gimple *stmt = DR_STMT (dr); + stmt_vec_info stmt_info = vinfo_for_stmt (stmt); + + if (!STMT_VINFO_RELEVANT_P (stmt_info)) + continue; + if (! verify_data_ref_alignment (dr)) + return false; + } return true; } |