Displaying 1 result from an estimated 1 matches for "ipnpt".
Did you mean:
ipnat
2013 Jun 15
0
[LLVMdev] Symbolic Loop Analysis Pass
...be
regarded. I'm currently testing with Livermore loops.
For instance, the following code (Livermore kernel 2)
for (l = 1; l <= loop; l++) {
ii = n;
ipntp = 0;
do {
ipnt = ipntp;
ipntp += ii;
ii /= 2;
i = ipntp - 1;
for (k = ipnt + 1; k < ipnpt; k = k + 2) {
[...]
}
} while (ii > 0);
}
currently leads to this analysis result:
L0: l[Init: 1] <= ConstExpr by l += 1
L1: ii[Init: ConstExpr] > 0 by ii /= 2
L2: k[Init: ipnt + 1] < ipntp[Init: 0, Inc: ipntp + ii] by k += 2
plus the info, that L2 is cont...