Richard Biener writes:
> On Thu, 2 Sep 2021, Jiufu Guo wrote:
>
>> When transform
>> {iv0.base, iv0.step} LT/LE {iv1.base, iv1.step}
>> to
>> {iv0.base, iv0.step - iv1.step} LT/LE {iv1.base, 0}
>>
>> There would be error if 'iv0.step - iv1.step' in negative,
>> for which means run until wrap
On Thu, Sep 2, 2021 at 6:18 PM Richard Biener wrote:
>
> On Thu, 2 Sep 2021, Jiufu Guo wrote:
>
> > When transform
> > {iv0.base, iv0.step} LT/LE {iv1.base, iv1.step}
> > to
> > {iv0.base, iv0.step - iv1.step} LT/LE {iv1.base, 0}
> >
> > There would be error if 'iv0.step - iv1.step' in negativ
On Thu, 2 Sep 2021, Jiufu Guo wrote:
> When transform
> {iv0.base, iv0.step} LT/LE {iv1.base, iv1.step}
> to
> {iv0.base, iv0.step - iv1.step} LT/LE {iv1.base, 0}
>
> There would be error if 'iv0.step - iv1.step' in negative,
> for which means run until wrap/overflow.
>
> For example:
>{