This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
Re: [patch] for PR 25985
- From: Diego Novillo <dnovillo at redhat dot com>
- To: Zdenek Dvorak <rakdver at atrey dot karlin dot mff dot cuni dot cz>
- Cc: gcc-patches at gcc dot gnu dot org
- Date: Thu, 16 Mar 2006 14:27:34 -0500
- Subject: Re: [patch] for PR 25985
- References: <20060316142822.GA1503@atrey.karlin.mff.cuni.cz>
On 03/16/06 09:28, Zdenek Dvorak wrote:
> PR tree-optimization/25985
> * tree-ssa-loop-niter.c (number_of_iterations_le,
> number_of_iterations_ne): Make comments more precise.
> (number_of_iterations_cond): Add only_exit argument. Use the
> fact that signed variables do not overflow only when only_exit
> is true.
> (loop_only_exit_p): New.
> (number_of_iterations_exit): Pass result of loop_only_exit_p to
> number_of_iterations_cond.
>
OK.
I agree. Caching whether there are alternate exits from the loop does
not seem worth the extra status bit.