Commit 7aa20a86 by Zdenek Dvorak

Fix mistake in my previous commit (n_of_executions_at_least should be

named n_of_executions_at_most).

From-SVN: r113461
parent d541888b
...@@ -1757,9 +1757,9 @@ stmt_dominates_stmt_p (tree s1, tree s2) ...@@ -1757,9 +1757,9 @@ stmt_dominates_stmt_p (tree s1, tree s2)
NITER_BOUND->bound times. */ NITER_BOUND->bound times. */
static bool static bool
n_of_executions_at_least (tree stmt, n_of_executions_at_most (tree stmt,
struct nb_iter_bound *niter_bound, struct nb_iter_bound *niter_bound,
tree niter) tree niter)
{ {
tree cond; tree cond;
tree bound = niter_bound->bound; tree bound = niter_bound->bound;
...@@ -1863,7 +1863,7 @@ convert_step_widening (struct loop *loop, tree new_type, tree base, tree step, ...@@ -1863,7 +1863,7 @@ convert_step_widening (struct loop *loop, tree new_type, tree base, tree step,
estimate_numbers_of_iterations_loop (loop); estimate_numbers_of_iterations_loop (loop);
for (bound = loop->bounds; bound; bound = bound->next) for (bound = loop->bounds; bound; bound = bound->next)
if (n_of_executions_at_least (at_stmt, bound, valid_niter)) if (n_of_executions_at_most (at_stmt, bound, valid_niter))
return step_in_new_type; return step_in_new_type;
/* Fail when the loop has no bound estimations, or when no bound can /* Fail when the loop has no bound estimations, or when no bound can
...@@ -2067,7 +2067,7 @@ scev_probably_wraps_p (tree type, tree base, tree step, ...@@ -2067,7 +2067,7 @@ scev_probably_wraps_p (tree type, tree base, tree step,
estimate_numbers_of_iterations_loop (loop); estimate_numbers_of_iterations_loop (loop);
for (bound = loop->bounds; bound; bound = bound->next) for (bound = loop->bounds; bound; bound = bound->next)
if (n_of_executions_at_least (at_stmt, bound, valid_niter)) if (n_of_executions_at_most (at_stmt, bound, valid_niter))
return false; return false;
/* At this point we still don't have a proof that the iv does not /* At this point we still don't have a proof that the iv does not
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment