On Wed, Jun 28, 2017 at 11:32 AM, Bin Cheng <bin.ch...@arm.com> wrote:
> Hi,
> This patch picks up a missed-optimization case in loop niter analysis.  With 
> this
> patch, niters information for loop as in added test can be analyzed.  
> Bootstrap
> and test on x86_64 and AArch64.  Is it OK?


+     provided that either below condition is satisfied:
+
+       a) the test is NE_EXP;

NE_EXPR

+       b) iv0.step - iv1.step is positive integer.

Ok with that change.

Thanks,
Richard.

> Thanks,
> bin
> 2017-06-27  Bin Cheng  <bin.ch...@arm.com>
>
>         PR tree-optimization/81196
>         * tree-ssa-loop-niter.c (number_of_iterations_cond): Handle loop
>         exit condition comparing two IVs.
>
> gcc/testsuite/ChangeLog
> 2017-06-27  Bin Cheng  <bin.ch...@arm.com>
>
>         PR tree-optimization/81196
>         * gcc.dg/vect/pr81196.c: New.

Reply via email to