On Wed, 31 Oct 2012, Jan Hubicka wrote:
> > > - FOR_EACH_VEC_ELT (edge, exits, i, ex)
> > > + if (loop->any_upper_bound)
> > > {
> > > - if (!just_once_each_iteration_p (loop, ex->src))
> > > - continue;
> > > + if (dump_file && (dump_flags & TDF_DETAILS))
> > > + fprintf (dump_fi
> > - FOR_EACH_VEC_ELT (edge, exits, i, ex)
> > + if (loop->any_upper_bound)
> > {
> > - if (!just_once_each_iteration_p (loop, ex->src))
> > - continue;
> > + if (dump_file && (dump_flags & TDF_DETAILS))
> > + fprintf (dump_file, "Found loop %i to be finite: upper bound is
>
On Wed, 31 Oct 2012, Jan Hubicka wrote:
> Hi,
> this patch changes finite_loop_p to use max_loop_iterations. Long time ago I
> made
> finite_loop_p as rip-off from the max_loop_iterations skipping parts that are
> not
> exactly related to the number of iteration estimates. It went out of date
