Hi,
> /* Whether the loop body includes any function calls. */
> bool body_includes_call;
> +
> + /* Whether the loop body includes any function calls that possibly have
> side
> + effects. */
> + bool body_includes_side_effect_call;
> };
>
> /* An assignment of iv candidates to uses. */
> @@ -456,6 +460,20 @@
> return exit;
> }
>
> +/* Returns true if single_exit (DATA->current_loop) is the only possible
> exit.
> + Uses the same logic as loop_only_exit_p. */
why are you duplicating the functionality, instead of simply caching the result
of loop_only_exit_p?
> +/* Tries to detect
> + NIT == (use_iv_max < USE->iv->base)
> + ? 0
> + : (use_iv_max - USE->iv->base)
> + where
> + use_iv_real_base == (USE->iv->base - USE->iv->step)
> + && CAND->iv->base == base_ptr + use_iv_real_base
> + and returns the exclusive upper bound for CAND->var_after:
> + base_ptr + use_iv_max. */
> +
> +static tree
> +get_lt_bound (struct iv_use *use, struct iv_cand *cand, tree nit)
> +{
...
> + /* use_iv_real_base == use->iv->base - use->iv->step. */
> + use_iv_real_base = fold_build_plus (MINUS_EXPR, use->iv->base,
> use->iv->step);
> +
> + /* cand_iv_base. */
> +
> + /* cand->iv->base == base_ptr + use_iv_real_base. */
...
> + /* 0. */
...
This function seriously needs better comments. All that are currently present
just
give relations between variables that can be as easily seen from the code (but
do not at all explain what the variables are supposed to mean), or make no sense
(what does the 0. comment mean?)
Otherwise the patch looks ok (but I would still like to see get_lt_bound with
proper
comments, currently I don't really understand what happens there),
Zdenek
