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

tree-ssa-loop-niter.c (find_loop_niter): Remove just_once_each_iteration_p.

Browse Source 
* tree-ssa-loop-niter.c (find_loop_niter): Remove just_once_each_iteration_p.
	(maybe_lower_iteration_bound): Initialize not_executed_last_iteration to  NULL
	* tree-ssa-loop-ivcanon.c (canonicalize_loop_induction_variables): Skip
	just_once_each_iteration_p; record estimated bound when loop has only one
	likely exit; test just_once_each_iteration_p before IV canon itself.

From-SVN: r193159
This commit is contained in:
Jan Hubicka 2012-11-05 12:14:16 +01:00 committed by Jan Hubicka
parent 264bd20fa7
commit 0450d71880
3 changed files with 16 additions and 11 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
gcc/ChangeLog
View File

@ -4,6 +4,14 @@
* dwarf2out.c (value_format) <case dw_val_class_high_pc>: Handle
also DWARF2_ADDR_SIZE 1 and 2.
2012-11-05 Jan Hubicka <jh@suse.cz>
* tree-ssa-loop-niter.c (find_loop_niter): Remove just_once_each_iteration_p.
(maybe_lower_iteration_bound): Initialize not_executed_last_iteration to NULL
* tree-ssa-loop-ivcanon.c (canonicalize_loop_induction_variables): Skip
just_once_each_iteration_p; record estimated bound when loop has only one
likely exit; test just_once_each_iteration_p before IV canon itself.
2012-11-05 Jan Hubicka <jh@suse.cz>
* ipa-inline.c (leaf_node_p): Rename to ...

14
gcc/tree-ssa-loop-ivcanon.c
View File

@ -760,11 +760,7 @@ canonicalize_loop_induction_variables (struct loop *loop,
niter = number_of_latch_executions (loop);
if (TREE_CODE (niter) == INTEGER_CST)
{
exit = single_exit (loop);
if (!just_once_each_iteration_p (loop, exit->src))
return false;
}
exit = single_exit (loop);
else
{
/* If the loop has more than one exit, try checking all of them
@ -785,7 +781,10 @@ canonicalize_loop_induction_variables (struct loop *loop,
/* We work exceptionally hard here to estimate the bound
by find_loop_niter_by_eval. Be sure to keep it for future. */
if (niter && TREE_CODE (niter) == INTEGER_CST)
record_niter_bound (loop, tree_to_double_int (niter), false, true);
{
record_niter_bound (loop, tree_to_double_int (niter),
exit == single_likely_exit (loop), true);
}
/* Force re-computation of loop bounds so we can remove redundant exits. */
maxiter = max_loop_iterations_int (loop);
@ -813,7 +812,8 @@ canonicalize_loop_induction_variables (struct loop *loop,
return true;
if (create_iv
&& niter && !chrec_contains_undetermined (niter))
&& niter && !chrec_contains_undetermined (niter)
&& exit && just_once_each_iteration_p (loop, exit->src))
create_canonical_iv (loop, exit, niter);
return modified;

5
gcc/tree-ssa-loop-niter.c
View File

@ -1941,9 +1941,6 @@ find_loop_niter (struct loop *loop, edge *exit)
*exit = NULL;
FOR_EACH_VEC_ELT (edge, exits, i, ex)
{
if (!just_once_each_iteration_p (loop, ex->src))
continue;
if (!number_of_iterations_exit (loop, ex, &desc, false))
continue;
@ -3186,7 +3183,7 @@ discover_iteration_bound_by_body_walk (struct loop *loop)
static void
maybe_lower_iteration_bound (struct loop *loop)
{
pointer_set_t *not_executed_last_iteration = pointer_set_create ();
pointer_set_t *not_executed_last_iteration = NULL;
struct nb_iter_bound *elt;
bool found_exit = false;
VEC (basic_block, heap) *queue = NULL;