diff options
| author | Tamar Christina <tamar.christina@arm.com> | 2024-10-14 14:01:24 +0100 |
|---|---|---|
| committer | Tamar Christina <tamar.christina@arm.com> | 2024-10-14 14:01:24 +0100 |
| commit | ec3d3ea60a55f25a743a037adda7d10d03ca73b2 (patch) | |
| tree | 62c5a07fb93c6ddc855af698816d878d9db09cb9 /gcc/tree-vectorizer.cc | |
| parent | be966baa353dfcc20b76b5a5586ab2494bb0a735 (diff) | |
| download | gcc-ec3d3ea60a55f25a743a037adda7d10d03ca73b2.zip gcc-ec3d3ea60a55f25a743a037adda7d10d03ca73b2.tar.gz gcc-ec3d3ea60a55f25a743a037adda7d10d03ca73b2.tar.bz2 | |
middle-end: copy STMT_VINFO_STRIDED_P when DR is replaced [PR116956]
When move_dr copies a DR from one statement to another, it seems we've
forgotten to copy the STMT_VINFO_STRIDED_P flag. This leaves the new DR in a
broken state where it has a non constant stride but isn't marked as strided.
This causes the ICE in the PR because dataref analysis fails during epilogue
vectorization because there is an assumption in place that while costing may
fail for epiloque vectorization, that DR analysis cannot if it succeeded for
the main loop.
gcc/ChangeLog:
PR tree-optimization/116956
* tree-vectorizer.cc (vec_info::move_dr): Copy STMT_VINFO_STRIDED_P.
gcc/testsuite/ChangeLog:
PR tree-optimization/116956
* gfortran.dg/vect/pr116956.f90: New test.
Diffstat (limited to 'gcc/tree-vectorizer.cc')
| -rw-r--r-- | gcc/tree-vectorizer.cc | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/gcc/tree-vectorizer.cc b/gcc/tree-vectorizer.cc index fed12c4..0c471c5 100644 --- a/gcc/tree-vectorizer.cc +++ b/gcc/tree-vectorizer.cc @@ -610,6 +610,8 @@ vec_info::move_dr (stmt_vec_info new_stmt_info, stmt_vec_info old_stmt_info) = STMT_VINFO_DR_WRT_VEC_LOOP (old_stmt_info); STMT_VINFO_GATHER_SCATTER_P (new_stmt_info) = STMT_VINFO_GATHER_SCATTER_P (old_stmt_info); + STMT_VINFO_STRIDED_P (new_stmt_info) + = STMT_VINFO_STRIDED_P (old_stmt_info); } /* Permanently remove the statement described by STMT_INFO from the |