diff options
| author | Bin Cheng <bin.cheng@arm.com> | 2016-07-29 15:48:25 +0000 |
|---|---|---|
| committer | Bin Cheng <amker@gcc.gnu.org> | 2016-07-29 15:48:25 +0000 |
| commit | 01d32b2b8b860db7cf58b88aa1880d93dc37c450 (patch) | |
| tree | 17c5a12a18cff4922671091f3bf2f74b62ff94d4 /gcc/c | |
| parent | 18767ebc32eaed40760aab394fe77d0815454efd (diff) | |
| download | gcc-01d32b2b8b860db7cf58b88aa1880d93dc37c450.zip gcc-01d32b2b8b860db7cf58b88aa1880d93dc37c450.tar.gz gcc-01d32b2b8b860db7cf58b88aa1880d93dc37c450.tar.bz2 | |
re PR tree-optimization/57558 (Loop not vectorized if iteration count could be infinite)
PR tree-optimization/57558
* tree-vect-loop-manip.c (vect_create_cond_for_niters_checks): New
function.
(vect_loop_versioning): Support versioning with niter assumptions.
* tree-vect-loop.c (tree-ssa-loop.h): Include header file.
(vect_get_loop_niters): New parameter. Reimplement to support
assumptions in loop niter info.
(vect_analyze_loop_form_1, vect_analyze_loop_form): Ditto.
(new_loop_vec_info): Init LOOP_VINFO_NITERS_ASSUMPTIONS.
(vect_estimate_min_profitable_iters): Use LOOP_REQUIRES_VERSIONING.
Support loop versioning for niters.
* tree-vectorizer.c (tree-ssa-loop-niter.h): Include header file.
(vect_free_loop_info_assumptions): New function.
(vectorize_loops): Free loop niter info for loops with flag
LOOP_F_ASSUMPTIONS set if vectorization failed.
* tree-vectorizer.h (struct _loop_vec_info): New field
num_iters_assumptions.
(LOOP_VINFO_NITERS_ASSUMPTIONS): New macro.
(LOOP_REQUIRES_VERSIONING_FOR_NITERS): New macro.
(LOOP_REQUIRES_VERSIONING): New macro.
(vect_free_loop_info_assumptions): New decl.
gcc/testsuite
PR tree-optimization/57558
* gcc.dg/vect/pr57558-1.c: New test.
* gcc.dg/vect/pr57558-2.c: New test.
From-SVN: r238877
Diffstat (limited to 'gcc/c')
0 files changed, 0 insertions, 0 deletions