OpenE2K
/
gcc
2
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

cfgloop.h (expected_loop_iterations_unbounded, [...]): Unconstify. 

* cfgloop.h (expected_loop_iterations_unbounded,
	expected_loop_iterations): Unconstify.
	* cfgloopanal.c (expected_loop_iterations_unbounded): Sanity check the
	profile with known upper bound; return 3 when profile is absent.
	(expected_loop_iterations): Update.

From-SVN: r236511
This commit is contained in:
Jan Hubicka 2016-05-20 15:19:59 +02:00 committed by Jan Hubicka
parent 216e83748d
commit 97c53806a2
3 changed files with 34 additions and 11 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
gcc/ChangeLog
View File

@ -1,3 +1,11 @@
2016-05-20 Jan Hubicka <hubicka@ucw.cz>
* cfgloop.h (expected_loop_iterations_unbounded,
expected_loop_iterations): Unconstify.
* cfgloopanal.c (expected_loop_iterations_unbounded): Sanity check the
profile with known upper bound; return 3 when profile is absent.
(expected_loop_iterations): Update.
2016-05-20 Jan Hubicka <hubicka@ucw.cz>
* loop-doloop.c (doloop_optimize): Use get_estimated_loop_iterations_int

4
gcc/cfgloop.h
View File

@ -316,8 +316,8 @@ extern void verify_loop_structure (void);
/* Loop analysis. */
extern bool just_once_each_iteration_p (const struct loop *, const_basic_block);
gcov_type expected_loop_iterations_unbounded (const struct loop *);
extern unsigned expected_loop_iterations (const struct loop *);
gcov_type expected_loop_iterations_unbounded (struct loop *);
extern unsigned expected_loop_iterations (struct loop *);
extern rtx doloop_condition_get (rtx);
void mark_loop_for_removal (loop_p);

33
gcc/cfgloopanal.c
View File

@ -231,14 +231,20 @@ average_num_loop_insns (const struct loop *loop)
value. */
gcov_type
expected_loop_iterations_unbounded (const struct loop *loop)
expected_loop_iterations_unbounded (struct loop *loop)
{
edge e;
edge_iterator ei;
gcov_type expected;
if (loop->latch->count || loop->header->count)
/* Average loop rolls about 3 times. If we have no profile at all, it is
best we can do. */
if (profile_status_for_fn (cfun) == PROFILE_ABSENT)
expected = 3;
else if (loop->latch->count || loop->header->count)
{
gcov_type count_in, count_latch, expected;
gcov_type count_in, count_latch;
count_in = 0;
count_latch = 0;
@ -253,8 +259,6 @@ expected_loop_iterations_unbounded (const struct loop *loop)
expected = count_latch * 2;
else
expected = (count_latch + count_in - 1) / count_in;
return expected;
}
else
{
@ -270,17 +274,28 @@ expected_loop_iterations_unbounded (const struct loop *loop)
freq_in += EDGE_FREQUENCY (e);
if (freq_in == 0)
return freq_latch * 2;
return (freq_latch + freq_in - 1) / freq_in;
{
/* If we have no profile at all, expect 3 iterations. */
if (!freq_latch)
expected = 3;
else
expected = freq_latch * 2;
}
else
expected = (freq_latch + freq_in - 1) / freq_in;
}
HOST_WIDE_INT max = get_max_loop_iterations_int (loop);
if (max != -1 && max < expected)
return max;
return expected;
}
/* Returns expected number of LOOP iterations. The returned value is bounded
by REG_BR_PROB_BASE. */
unsigned
expected_loop_iterations (const struct loop *loop)
expected_loop_iterations (struct loop *loop)
{
gcov_type expected = expected_loop_iterations_unbounded (loop);
return (expected > REG_BR_PROB_BASE ? REG_BR_PROB_BASE : expected);