diff options
| author | Jan Hubicka <hubicka@ucw.cz> | 2016-05-27 14:10:34 +0200 |
|---|---|---|
| committer | Jan Hubicka <hubicka@gcc.gnu.org> | 2016-05-27 12:10:34 +0000 |
| commit | 105e29c5cf8729021614b152328bcfe054bed64d (patch) | |
| tree | 9c8ce8178d2d6e5fb92b3271a8afae4b5b62e6c0 /gcc/loop-unroll.c | |
| parent | 3cee7e4e2badde2374fc77bb8f3a072e1698d1fe (diff) | |
| download | gcc-105e29c5cf8729021614b152328bcfe054bed64d.zip gcc-105e29c5cf8729021614b152328bcfe054bed64d.tar.gz gcc-105e29c5cf8729021614b152328bcfe054bed64d.tar.bz2 | |
cfgloop.c (record_niter_bound): Record likely upper bounds.
* cfgloop.c (record_niter_bound): Record likely upper bounds.
(likely_max_stmt_executions_int, get_likely_max_loop_iterations,
get_likely_max_loop_iterations_int): New.
* cfgloop.h (struct loop): Add nb_iterations_likely_upper_bound,
any_likely_upper_bound.
(get_likely_max_loop_iterations_int, get_likely_max_loop_iterations):
Declare.
* cfgloopmanip.c (copy_loop_info): Copy likely upper bounds.
* loop-unroll.c (unroll_loop_constant_iterations): Update likely
upper bound.
(unroll_loop_constant_iterations): Likewise.
(unroll_loop_runtime_iterations): Likewise.
* lto-streamer-in.c (input_cfg): Stream likely upper bounds.
* lto-streamer-out.c (output_cfg): Likewise.
* tree-ssa-loop-ivcanon.c (try_peel_loop): Update likely upper
bounds.
(canonicalize_loop_induction_variables): Dump likely upper bounds.
* tree-ssa-loop-niter.c (record_estimate): Record likely upper bounds.
(likely_max_loop_iterations): New.
(likely_max_loop_iterations_int): New.
(likely_max_stmt_executions): New.
* tree-ssa-loop-niter.h (likely_max_loop_iterations,
likely_max_loop_iterations_int, likely_max_stmt_executions_int,
likely_max_stmt_executions): Declare.
From-SVN: r236816
Diffstat (limited to 'gcc/loop-unroll.c')
| -rw-r--r-- | gcc/loop-unroll.c | 21 |
1 files changed, 21 insertions, 0 deletions
diff --git a/gcc/loop-unroll.c b/gcc/loop-unroll.c index 4d26e2f..97735a8 100644 --- a/gcc/loop-unroll.c +++ b/gcc/loop-unroll.c @@ -523,6 +523,11 @@ unroll_loop_constant_iterations (struct loop *loop) loop->nb_iterations_estimate -= exit_mod; else loop->any_estimate = false; + if (loop->any_likely_upper_bound + && wi::leu_p (exit_mod, loop->nb_iterations_likely_upper_bound)) + loop->nb_iterations_likely_upper_bound -= exit_mod; + else + loop->any_likely_upper_bound = false; } bitmap_set_bit (wont_exit, 1); @@ -566,6 +571,11 @@ unroll_loop_constant_iterations (struct loop *loop) loop->nb_iterations_estimate -= exit_mod + 1; else loop->any_estimate = false; + if (loop->any_likely_upper_bound + && wi::leu_p (exit_mod + 1, loop->nb_iterations_likely_upper_bound)) + loop->nb_iterations_likely_upper_bound -= exit_mod + 1; + else + loop->any_likely_upper_bound = false; desc->noloop_assumptions = NULL_RTX; bitmap_set_bit (wont_exit, 0); @@ -619,6 +629,9 @@ unroll_loop_constant_iterations (struct loop *loop) if (loop->any_estimate) loop->nb_iterations_estimate = wi::udiv_trunc (loop->nb_iterations_estimate, max_unroll + 1); + if (loop->any_likely_upper_bound) + loop->nb_iterations_likely_upper_bound + = wi::udiv_trunc (loop->nb_iterations_likely_upper_bound, max_unroll + 1); desc->niter_expr = GEN_INT (desc->niter); /* Remove the edges. */ @@ -1059,6 +1072,9 @@ unroll_loop_runtime_iterations (struct loop *loop) if (loop->any_estimate) loop->nb_iterations_estimate = wi::udiv_trunc (loop->nb_iterations_estimate, max_unroll + 1); + if (loop->any_likely_upper_bound) + loop->nb_iterations_likely_upper_bound + = wi::udiv_trunc (loop->nb_iterations_likely_upper_bound, max_unroll + 1); if (exit_at_end) { desc->niter_expr = @@ -1070,6 +1086,11 @@ unroll_loop_runtime_iterations (struct loop *loop) --loop->nb_iterations_estimate; else loop->any_estimate = false; + if (loop->any_likely_upper_bound + && loop->nb_iterations_likely_upper_bound != 0) + --loop->nb_iterations_likely_upper_bound; + else + loop->any_likely_upper_bound = false; } if (dump_file) |