tldm_data array_A(“A”); | // accesses A[idx[j] ][i] // implication: x<= idx[x] < x+M | tldm_access indirect_acc(&array_A, READ); | indirect_acc.insert_affine_constraint(“A(0)”, 1, “j”, -1, “>=”, 0); // A0 >= j | indirect_acc.insert_affine_constraint(“A(0)”, 1, “j”, -1, “M”, -1, “<”, 0); // A0 < j+M | indirect_acc.insert_affine_constraint (“A(1)”, 1, “ i”, -1, “=”, 0); // A1 = i | [A : j..(j+M), i] -> (task2 : i, j) |
|