Displaying 1 result from an estimated 1 matches for "ipntp".
Did you mean:
intp
2013 Jun 15
0
[LLVMdev] Symbolic Loop Analysis Pass
...goal is to get an expression for the loop enabling calculation of
e.g. the trip count. Furthermore, inter-loop-dependencies should 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: C...