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/cfgloopmanip.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/cfgloopmanip.c')
-rw-r--r-- | gcc/cfgloopmanip.c | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/gcc/cfgloopmanip.c b/gcc/cfgloopmanip.c index 2bffb80..707a130 100644 --- a/gcc/cfgloopmanip.c +++ b/gcc/cfgloopmanip.c @@ -1016,6 +1016,9 @@ copy_loop_info (struct loop *loop, struct loop *target) gcc_checking_assert (!target->any_upper_bound && !target->any_estimate); target->any_upper_bound = loop->any_upper_bound; target->nb_iterations_upper_bound = loop->nb_iterations_upper_bound; + target->any_likely_upper_bound = loop->any_likely_upper_bound; + target->nb_iterations_likely_upper_bound + = loop->nb_iterations_likely_upper_bound; target->any_estimate = loop->any_estimate; target->nb_iterations_estimate = loop->nb_iterations_estimate; target->estimate_state = loop->estimate_state; |