Re: [PATCH PR34114/2]Prove no-overflow for loop with NE_EXPR exit condition and non-ONE step

Fri, 29 Jul 2016 08:55:09 -0700 

On 07/29/2016 09:35 AM, Bin Cheng wrote:

Hi,
This patch fixes PR34114.  It proves no-overflow for loops with NE_EXPR exit 
condition and non-ONE step.  The patch contains detailed comment about when a 
loop like (IV=base; IV != FINAL; IV += step) doesn't overflow.

Bootstrap and test on x86_64 and AArch64.  Is it OK?

Thanks,
bin

2016-07-27  Bin Cheng  <bin.ch...@arm.com>

        PR tree-optimization/34114
        * tree-ssa-loop-niter.c (number_of_iterations_ne): Prove no-overflow
        information for more control IVs.

gcc/testsuite/ChangeLog
2016-07-27  Bin Cheng  <bin.ch...@arm.com>

        PR tree-optimization/34114
        * gcc.dg/tree-ssa/loop-42.c: New test.

OK.
jeff

Reply via email to