Re: [PATCH PR81913]Skip niter analysis if either IV in exit condition can wrap

On Thu, Aug 24, 2017 at 12:58 PM, Bin Cheng wrote: > Hi, > I added code handle exit condition like "IV1 le/lt IV2" by changing it into > "IV1' le/lt INV". > Unfortunately, wrapping behavior has subtle impact on the transformation. > This patch for > now skips niter analysis if either IV1 or IV2

[PATCH PR81913]Skip niter analysis if either IV in exit condition can wrap

Hi, I added code handle exit condition like "IV1 le/lt IV2" by changing it into "IV1' le/lt INV". Unfortunately, wrapping behavior has subtle impact on the transformation. This patch for now skips niter analysis if either IV1 or IV2 can wrap. We can still handle pointer case as reported in PR8