Displaying 1 result from an estimated 1 matches for "1ffefb26".
2016 Jun 30
1
Regarding ScalarEvolution's loop backedge computation
Hi Pankaj,
Chawla, Pankaj via llvm-dev wrote:
> It looks like ScalarEvolution bails out of loop backedge computation if
> it cannot prove the IV stride as either positive or negative (based on
> loop control condition). I think this logic can be refined for signed
IVs.
>
> Consider this simple loop-
>
> void foo(int *A, int n, int s) {
>
> int i;
>
>