diff options
| author | Yuri Rumyantsev <ysrumyan@gmail.com> | 2016-06-29 10:16:43 +0000 |
|---|---|---|
| committer | Ilya Enkovich <ienkovich@gcc.gnu.org> | 2016-06-29 10:16:43 +0000 |
| commit | fafe9318b735a4b3276b39a73c42aef7a69249d1 (patch) | |
| tree | 539485ffd799c2f0f5e94bdb32f89232d1dc070d /gcc/tree-ssa-loop-im.c | |
| parent | 54d19c3b7fb38097973a57b6e822e15cbcbd031d (diff) | |
| download | gcc-fafe9318b735a4b3276b39a73c42aef7a69249d1.zip gcc-fafe9318b735a4b3276b39a73c42aef7a69249d1.tar.gz gcc-fafe9318b735a4b3276b39a73c42aef7a69249d1.tar.bz2 | |
re PR tree-optimization/70729 (Loop marked with omp simd pragma is not vectorized)
gcc/
2016-06-29 Yuri Rumyantsev <ysrumyan@gmail.com>
PR tree-optimization/70729
* tree-ssa-loop-im.c (ref_indep_loop_p_1): Consider memory reference as
independent in loops having positive safelen value.
* tree-vect-loop.c (vect_transform_loop): Clear-up safelen value since
it may be not valid after vectorization.
gcc/testsuite/
2016-06-29 Yuri Rumyantsev <ysrumyan@gmail.com>
PR tree-optimization/70729
* g++.dg/vect/pr70729.cc: New test.
From-SVN: r237844
Diffstat (limited to 'gcc/tree-ssa-loop-im.c')
| -rw-r--r-- | gcc/tree-ssa-loop-im.c | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/gcc/tree-ssa-loop-im.c b/gcc/tree-ssa-loop-im.c index b9cd0f6..ee04826 100644 --- a/gcc/tree-ssa-loop-im.c +++ b/gcc/tree-ssa-loop-im.c @@ -2128,6 +2128,17 @@ ref_indep_loop_p_1 (struct loop *loop, im_mem_ref *ref, bool stored_p) if (bitmap_bit_p (refs_to_check, UNANALYZABLE_MEM_ID)) return false; + if (loop->safelen > 0) + { + if (dump_file && (dump_flags & TDF_DETAILS)) + { + fprintf(dump_file,"Consider REF independent in loop#%d\n", loop->num); + print_generic_expr(dump_file, ref->mem.ref, TDF_SLIM); + fprintf(dump_file, "\n"); + } + return true; + } + EXECUTE_IF_SET_IN_BITMAP (refs_to_check, 0, i, bi) { aref = memory_accesses.refs_list[i]; |