Displaying 1 result from an estimated 1 matches for "miv7".
Did you mean:
miv
2012 Sep 22
0
[LLVMdev] sign extensions, SCEVs, and wrap flags
...en possible...
This
> came up with Ada where loops with i8 counters are quite common. Dan added
> logic to boost the size of the loop counters, but perhaps it doesn't
promote
> them beyond i32, or doesn't apply here for some reason?
Here's an example I ran into today.
*void miv7(int n, int A[][n], int *B) {
for (int i = 0; i < n; i++)
for (int j = 0; j < n; j++) {
A[2*i][4*j] = i;
*B++ = A[8*i][6*j + 1];
}
}*
If I look at the store to A (src) and the load from A (dst), I see the
following:
*src = ((sext i32 {0,+,4}<%for.body3> to i64) +...