diff options
| author | Zdenek Dvorak <rakdver@atrey.karlin.mff.cuni.cz> | 2004-02-17 17:41:44 +0100 |
|---|---|---|
| committer | Zdenek Dvorak <rakdver@gcc.gnu.org> | 2004-02-17 16:41:44 +0000 |
| commit | 50654f6c03917824e03777073557ac839cb56104 (patch) | |
| tree | 871928dcce64f79c8e877a86be241c2ed02c9cf3 /gcc/predict.c | |
| parent | cc7ce44e4c87839efaaddd07d1f03cc50a78d047 (diff) | |
| download | gcc-50654f6c03917824e03777073557ac839cb56104.zip gcc-50654f6c03917824e03777073557ac839cb56104.tar.gz gcc-50654f6c03917824e03777073557ac839cb56104.tar.bz2 | |
loop-iv.c: New file.
* loop-iv.c: New file.
* Makefile.in (loop-iv.o): New.
* basic_block.h (FOR_BB_INSNS, FOR_BB_INSNS_REVERSE): New macros.
* cfgloop.c (fill_sons_in_loop, get_loop_body_in_dom_order,
num_loop_branches): New functions.
* cfgloop.h (get_loop_body_in_dom_order, num_loop_branches,
iv_analysis_loop_init, iv_get_reaching_def, iv_analyse, get_iv_value,
find_simple_exit, iv_number_of_iterations, iv_analysis_done,
get_simple_loop_desc, free_simple_loop_desc): Declare.
(simple_loop_desc): New inline function.
(struct rtx_iv, struct niter_desc): New.
* cfgloopmanip.c (loopify): Specify semantics more precisely.
* expr.c (force_operand): Handle subregs of expressions created by
loop unroller.
* loop-init.c (loop_optimizer_init, loop_optimizer_finalize): Move
parts of the initialization to toplev.c
* loop-unroll.c (loop_exit_at_end_p): New.
(unroll_and_peel_loops): Call iv_analysis_done.
(decide_peel_once_rolling, decide_peel_completely,
decide_unroll_stupid, decide_unroll_constant_iterations,
decide_unroll_runtime_iterations, decide_peel_simple,
peel_loop_simple, unroll_loop_stupid, unroll_loop_constant_iterations,
unroll_loop_runtime_iterations): Use new simple loop analysis.
* loop-unswitch.c (compare_and_jump_seq): New.
(may_unswitch_on_p): Renamed to ...
(may_unswitch_on): Use new iv analysis.
(reversed_condition): Export.
(unswitch_single_loop, unswitch_loop): Use new iv analysis.
* predict.c (estimate_probability): Use new simple loop analysis.
* rtl.h (get_mode_bounds, reversed_condition,compare_and_jump_seq,
canon_condition, simplify_using_condition): Declare.
* stor-layout.c (get_mode_bounds): New.
* toplev.c (rest_of_handle_loop2): Some parts of
initialization/finalization moved here from loop-init.c.
From-SVN: r77951
Diffstat (limited to 'gcc/predict.c')
| -rw-r--r-- | gcc/predict.c | 9 |
1 files changed, 7 insertions, 2 deletions
diff --git a/gcc/predict.c b/gcc/predict.c index 50580bd..44ee10c 100644 --- a/gcc/predict.c +++ b/gcc/predict.c @@ -406,13 +406,16 @@ estimate_probability (struct loops *loops_info) unsigned j; int exits; struct loop *loop = loops_info->parray[i]; - struct loop_desc desc; + struct niter_desc desc; unsigned HOST_WIDE_INT niter; flow_loop_scan (loop, LOOP_EXIT_EDGES); exits = loop->num_exits; - if (simple_loop_p (loop, &desc) && desc.const_iter) + iv_analysis_loop_init (loop); + find_simple_exit (loop, &desc); + + if (desc.simple_p && desc.const_iter) { int prob; niter = desc.niter + 1; @@ -472,6 +475,8 @@ estimate_probability (struct loops *loops_info) free (bbs); } + iv_analysis_done (); + /* Attempt to predict conditional jumps using a number of heuristics. */ FOR_EACH_BB (bb) { |