diff options
| author | Richard Sandiford <richard.sandiford@linaro.org> | 2018-03-02 09:45:51 +0000 |
|---|---|---|
| committer | Richard Sandiford <rsandifo@gcc.gnu.org> | 2018-03-02 09:45:51 +0000 |
| commit | 962e91fcf043edab3684dd0564efd3df219d3cb1 (patch) | |
| tree | 97607f1a40e2c04231fbc034f22260989fd38c8f /gcc/tree-vect-data-refs.c | |
| parent | ec2d71214f90e21675a5abbe5b532273f7b11ded (diff) | |
| download | gcc-962e91fcf043edab3684dd0564efd3df219d3cb1.zip gcc-962e91fcf043edab3684dd0564efd3df219d3cb1.tar.gz gcc-962e91fcf043edab3684dd0564efd3df219d3cb1.tar.bz2 | |
Use loop->safelen rather than loop->force_vectorize
...since the latter doesn't guarantee independence by itself.
2018-03-02 Richard Sandiford <richard.sandiford@linaro.org>
gcc/
* tree-vect-data-refs.c (vect_analyze_data_ref_dependence)
(vect_analyze_data_ref_access): Use loop->safe_len rather than
loop->force_vectorize to check whether there is no alias.
gcc/testsuite/
* gcc.dg/vect/vect-alias-check-13.c: New test.
From-SVN: r258130
Diffstat (limited to 'gcc/tree-vect-data-refs.c')
| -rw-r--r-- | gcc/tree-vect-data-refs.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/gcc/tree-vect-data-refs.c b/gcc/tree-vect-data-refs.c index 01f7138..c009498 100644 --- a/gcc/tree-vect-data-refs.c +++ b/gcc/tree-vect-data-refs.c @@ -466,7 +466,7 @@ vect_analyze_data_ref_dependence (struct data_dependence_relation *ddr, return true; } - if (!loop->force_vectorize) + if (loop->safelen < 2) { tree indicator = dr_zero_step_indicator (dra); if (TREE_CODE (indicator) != INTEGER_CST) @@ -2720,7 +2720,7 @@ vect_analyze_data_ref_access (struct data_reference *dr) /* Allow references with zero step for outer loops marked with pragma omp simd only - it guarantees absence of loop-carried dependencies between inner loop iterations. */ - if (!loop->force_vectorize) + if (loop->safelen < 2) { if (dump_enabled_p ()) dump_printf_loc (MSG_NOTE, vect_location, |