This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
Re: Record likely upper bounds for loops
- From: Jan Hubicka <hubicka at ucw dot cz>
- To: Alexander Monakov <amonakov at ispras dot ru>
- Cc: Jan Hubicka <hubicka at ucw dot cz>, Richard Biener <rguenther at suse dot de>, gcc-patches at gcc dot gnu dot org
- Date: Sat, 28 May 2016 14:23:00 +0200
- Subject: Re: Record likely upper bounds for loops
- Authentication-results: sourceware.org; auth=none
- References: <20160527111409 dot GA44464 at kam dot mff dot cuni dot cz> <alpine dot LSU dot 2 dot 11 dot 1605271347520 dot 13344 at t29 dot fhfr dot qr> <20160527121515 dot GD44464 at kam dot mff dot cuni dot cz> <alpine dot LNX dot 2 dot 20 dot 1605272017230 dot 2043 at monopod dot intra dot ispras dot ru>
> Hi,
>
> On Fri, 27 May 2016, Jan Hubicka wrote:
> > Thanks, updatted and comitted.
>
> This checkin seems to regress gcc.c-torture/execute/20050826-2.c at -Os:
>
> gcc/xgcc -Bgcc/ ../gcc/gcc/testsuite/gcc.c-torture/execute/20050826-2.c -Os \
> -o ./20050826-2.exe
>
> ./20050826-2.exe
> Aborted
>
> (the previous revision is fine)
Sorry,
I amanged to accidentally commit the following change:
Index: tree-ssa-loop-niter.c
===================================================================
--- tree-ssa-loop-niter.c (revision 236816)
+++ tree-ssa-loop-niter.c (working copy)
@@ -2289,11 +2289,7 @@ number_of_iterations_exit (struct loop *
/* If NITER has simplified into a constant, update MAX. */
if (TREE_CODE (niter->niter) == INTEGER_CST)
- {
- niter->max = wi::to_widest (niter->niter);
- record_niter_bound (loop, niter->max, loop_only_exit_p (loop, exit),
- true);
- }
+ niter->max = wi::to_widest (niter->niter);
if (integer_onep (niter->assumptions))
return true;
I will revert it after re-testing.
Honza