On Mon, 26 Jul 2021, Bin.Cheng wrote:
> On Thu, Jul 22, 2021 at 6:41 PM Richard Biener wrote:
> >
> > This avoids using multiple_of_p in niter analysis when its behavior
> Hmm, but this patch actually introduces one more call to
> multiple_of_p, also it doesn't touch the below use:
> if
On Thu, Jul 22, 2021 at 6:41 PM Richard Biener wrote:
>
> This avoids using multiple_of_p in niter analysis when its behavior
Hmm, but this patch actually introduces one more call to
multiple_of_p, also it doesn't touch the below use:
if (niter->control.no_overflow && multiple_of_p (type, c, s))
This avoids using multiple_of_p in niter analysis when its behavior
to assume the tested expression does not invoke integer overflow
produces wrong niter analysis results. For the cases multiple_of_p
handles power-of-two values of bottom look safe which should also be
the majority of cases we