unsigned NbScatteringDims = Parent.getMaxLoopDepth() * 2 + 1;
isl_space *Space = isl_space_set_alloc(getIslCtx(), 0, NbScatteringDims);
- Space = isl_space_set_tuple_name(Space, isl_dim_out, "scattering");
Scattering = isl_map_from_domain_and_range(isl_set_universe(getDomainSpace()),
isl_set_universe(Space));
isl_val_free(FixedVal);
}
- DropDimMap = isl_map_set_tuple_id(
- DropDimMap, isl_dim_out, isl_map_get_tuple_id(DropDimMap, isl_dim_in));
for (auto *S : *this) {
isl_map *Schedule = S->getScattering();
Schedule = isl_map_apply_range(Schedule, isl_map_copy(DropDimMap));
;
; CHECK: Read: { [Stmt_for_cond[i0] -> MemRef_sum[0]] -> MemRef_sum[0] : i0 >= 0 and i0 <= 100 }
; CHECK: Write: { [Stmt_for_cond[i0] -> MemRef_sum[0]] -> MemRef_sum[0] : i0 >= 0 and i0 <= 100 }
-; CHECK: Schedule: { [Stmt_for_cond[i0] -> MemRef_sum[0]] -> scattering[i0] : i0 <= 100 and i0 >= 0; Stmt_for_cond[i0] -> scattering[i0] }
+; CHECK: Schedule: { [Stmt_for_cond[i0] -> MemRef_sum[0]] -> [i0] : i0 <= 100 and i0 >= 0; Stmt_for_cond[i0] -> [i0] }
; CHECK: Wrapped Dependences:
; CHECK: RAW dependences:
; CHECK: { [Stmt_for_cond[i0] -> MemRef_sum[0]] -> [Stmt_for_cond[1 + i0] -> MemRef_sum[0]] : i0 >= 0 and i0 <= 99 }
],
"domain" : "[n] -> { Stmt_S0[i0] : i0 >= 0 and i0 <= -1 + 2n and n >= 1 }",
"name" : "Stmt_S0",
- "schedule" : "[n] -> { Stmt_S0[i0] -> scattering[0, n - i0, 0] }"
+ "schedule" : "[n] -> { Stmt_S0[i0] -> [0, n - i0, 0] }"
},
{
"accesses" : [
],
"domain" : "[n] -> { Stmt_S1[i0] : i0 >= 0 and i0 <= -1 + 2n and n >= 1 }",
"name" : "Stmt_S1",
- "schedule" : "[n] -> { Stmt_S1[i0] -> scattering[1, n - i0, 0] }"
+ "schedule" : "[n] -> { Stmt_S1[i0] -> [1, n - i0, 0] }"
}
]
}
],
"domain" : "[n] -> { Stmt_S0[i0] : i0 >= 0 and i0 <= -1 + 2n and n >= 1 }",
"name" : "Stmt_S0",
- "schedule" : "[n] -> { Stmt_S0[i0] -> scattering[0, -i0, 0]: i0 % 2 = 0; Stmt_S0[i0] -> scattering[2, i0, 0]: i0 % 2 = 1 }"
+ "schedule" : "[n] -> { Stmt_S0[i0] -> [0, -i0, 0]: i0 % 2 = 0; Stmt_S0[i0] -> [2, i0, 0]: i0 % 2 = 1 }"
},
{
"accesses" : [
],
"domain" : "[n] -> { Stmt_S1[i0] : i0 >= 0 and i0 <= -1 + 2n and n >= 1 }",
"name" : "Stmt_S1",
- "schedule" : "[n] -> { Stmt_S1[i0] -> scattering[1, i0, 0] }"
+ "schedule" : "[n] -> { Stmt_S1[i0] -> [1, i0, 0] }"
}
]
}
],
"domain" : "[n] -> { Stmt_S0[i0] : i0 >= 0 and i0 <= -1 + 2n and n >= 1 }",
"name" : "Stmt_S0",
- "schedule" : "[n] -> { Stmt_S0[i0] -> scattering[0, 2 * n - i0, 0]: i0 % 2 = 0; Stmt_S0[i0] -> scattering[2, 2 * n - i0, 0]: i0 % 2 = 1 }"
+ "schedule" : "[n] -> { Stmt_S0[i0] -> [0, 2 * n - i0, 0]: i0 % 2 = 0; Stmt_S0[i0] -> [2, 2 * n - i0, 0]: i0 % 2 = 1 }"
},
{
"accesses" : [
],
"domain" : "[n] -> { Stmt_S1[i0] : i0 >= 0 and i0 <= -1 + 2n and n >= 1 }",
"name" : "Stmt_S1",
- "schedule" : "[n] -> { Stmt_S1[i0] -> scattering[1, i0, 0] }"
+ "schedule" : "[n] -> { Stmt_S1[i0] -> [1, i0, 0] }"
}
]
}
],
"domain" : "{ Stmt_for_body6[i0, i1, i2] : i0 >= 0 and i0 <= 2047 and i1 >= 0 and i1 <= 1023 and i2 >= 0 and i2 <= 511 }",
"name" : "Stmt_for_body6",
- "schedule" : "{ Stmt_for_body6[i0, i1, i2] -> scattering[0, i1, 0, i0, 0, i2, 0] }"
+ "schedule" : "{ Stmt_for_body6[i0, i1, i2] -> [0, i1, 0, i0, 0, i2, 0] }"
}
]
}
],
"domain" : "{ Stmt_for_body6[i0, i1, i2] : i0 >= 0 and i0 <= 2047 and i1 >= 0 and i1 <= 1023 and i2 >= 0 and i2 <= 511 }",
"name" : "Stmt_for_body6",
- "schedule" : "{ Stmt_for_body6[i0, i1, i2] -> scattering[0, i2, 0, i1, 0, i0, 0] }"
+ "schedule" : "{ Stmt_for_body6[i0, i1, i2] -> [0, i2, 0, i1, 0, i0, 0] }"
}
]
}
],
"domain" : "{ Stmt_for_body6[i0, i1, i2] : i0 >= 0 and i0 <= 2047 and i1 >= 0 and i1 <= 1023 and i2 >= 0 and i2 <= 511 }",
"name" : "Stmt_for_body6",
- "schedule" : "{ Stmt_for_body6[i0, i1, i2] -> scattering[0, i2, 0, i0, 0, i1, 0] }"
+ "schedule" : "{ Stmt_for_body6[i0, i1, i2] -> [0, i2, 0, i0, 0, i1, 0] }"
}
]
}
],
"domain" : "{ Stmt_for_body6[i0, i1, i2] : i0 >= 0 and i0 <= 2047 and i1 >= 0 and i1 <= 1023 and i2 >= 0 and i2 <= 511 }",
"name" : "Stmt_for_body6",
- "schedule" : "{ Stmt_for_body6[i0, i1, i2] -> scattering[0, i0, 0, i1, 0, i2, 0] }"
+ "schedule" : "{ Stmt_for_body6[i0, i1, i2] -> [0, i0, 0, i1, 0, i2, 0] }"
}
]
}
],
"domain" : "[n] -> { Stmt_S0[i0] : i0 >= 0 and i0 <= -1 + 2n and n >= 1 }",
"name" : "Stmt_S0",
- "schedule" : "[n] -> { Stmt_S0[i0] -> scattering[0, i0, 0]: i0 % 2 = 0; Stmt_S0[i0] -> scattering[2, i0, 0]: i0 % 2 = 1 }"
+ "schedule" : "[n] -> { Stmt_S0[i0] -> [0, i0, 0]: i0 % 2 = 0; Stmt_S0[i0] -> [2, i0, 0]: i0 % 2 = 1 }"
},
{
"accesses" : [
],
"domain" : "[n] -> { Stmt_S1[i0] : i0 >= 0 and i0 <= -1 + 2n and n >= 1 }",
"name" : "Stmt_S1",
- "schedule" : "[n] -> { Stmt_S1[i0] -> scattering[1, i0, 0] }"
+ "schedule" : "[n] -> { Stmt_S1[i0] -> [1, i0, 0] }"
}
]
}
],
"domain" : "[n] -> { Stmt_for_body3[i0, i1] : i0 >= 0 and i0 <= -1 + 2n and n >= 1 and i1 >= 0 and i1 <= 1023 }",
"name" : "Stmt_for_body3",
- "schedule" : "[n] -> { Stmt_for_body3[i0, i1] -> scattering[0, i0, 0, i1, 0]: i0 % 2 = 0; Stmt_for_body3[i0, i1] -> scattering[0, i0, 1, i1, 0]: i0 % 2 = 1 }"
+ "schedule" : "[n] -> { Stmt_for_body3[i0, i1] -> [0, i0, 0, i1, 0]: i0 % 2 = 0; Stmt_for_body3[i0, i1] -> [0, i0, 1, i1, 0]: i0 % 2 = 1 }"
}
]
}
],
"domain" : "[n] -> { Stmt_for_body3[i0, i1] : i0 >= 0 and i0 <= -1 + 2n and n >= 1 and i1 >= 0 and i1 <= 1023 }",
"name" : "Stmt_for_body3",
- "schedule" : "[n] -> { Stmt_for_body3[i0, i1] -> scattering[0, i0, 0, i1, 0]: i1 % 2 = 0; Stmt_for_body3[i0, i1] -> scattering[0, i0, 0, i1, 1]: i1 % 2 = 1 }"
+ "schedule" : "[n] -> { Stmt_for_body3[i0, i1] -> [0, i0, 0, i1, 0]: i1 % 2 = 0; Stmt_for_body3[i0, i1] -> [0, i0, 0, i1, 1]: i1 % 2 = 1 }"
}
]
}
],
"domain" : "[n] -> { Stmt_for_body3[i0, i1] : i0 >= 0 and i0 <= -1 + 2n and n >= 1 and i1 >= 0 and i1 <= 1023 }",
"name" : "Stmt_for_body3",
- "schedule" : "[n] -> { Stmt_for_body3[i0, i1] -> scattering[0, i0, 0, -i1, 0]: i1 % 2 = 0; Stmt_for_body3[i0, i1] -> scattering[0, i0, 0, i1, 1]: i1 % 2 = 1 }"
+ "schedule" : "[n] -> { Stmt_for_body3[i0, i1] -> [0, i0, 0, -i1, 0]: i1 % 2 = 0; Stmt_for_body3[i0, i1] -> [0, i0, 0, i1, 1]: i1 % 2 = 1 }"
}
]
}
],
"domain" : "[n] -> { Stmt_for_body3[i0, i1] : i0 >= 0 and i0 <= -1 + 2n and n >= 1 and i1 >= 0 and i1 <= 1023 }",
"name" : "Stmt_for_body3",
- "schedule" : "[n] -> { Stmt_for_body3[i0, i1] -> scattering[0, i1, 0, i0, 0]: i1 % 2 = 0; Stmt_for_body3[i0, i1] -> scattering[0, i1, 1, -i0, 0]: i1 % 2 = 1 }"
+ "schedule" : "[n] -> { Stmt_for_body3[i0, i1] -> [0, i1, 0, i0, 0]: i1 % 2 = 0; Stmt_for_body3[i0, i1] -> [0, i1, 1, -i0, 0]: i1 % 2 = 1 }"
}
]
}
],
"domain" : "[n] -> { Stmt_for_body3[i0, i1] : i0 >= 0 and i0 <= -1 + 2n and n >= 1 and i1 >= 0 and i1 <= 1023 }",
"name" : "Stmt_for_body3",
- "schedule" : "[n] -> { Stmt_for_body3[i0, i1] -> scattering[0, i0, 0, i1, 0]: i0 % 2 = 0; Stmt_for_body3[i0, i1] -> scattering[1, i0, 0, i1, 0]: i0 % 2 = 1 }"
+ "schedule" : "[n] -> { Stmt_for_body3[i0, i1] -> [0, i0, 0, i1, 0]: i0 % 2 = 0; Stmt_for_body3[i0, i1] -> [1, i0, 0, i1, 0]: i0 % 2 = 1 }"
}
]
}
],
"domain" : "{ Stmt_for_body[i0] : i0 >= 0 and i0 <= 511 }",
"name" : "Stmt_for_body",
- "schedule" : "{ Stmt_for_body[i0] -> scattering[0, i0, 0] }"
+ "schedule" : "{ Stmt_for_body[i0] -> [0, i0, 0] }"
}
]
}
],
"domain" : "{ Stmt_for_body[i0] : i0 >= 0 and i0 <= 11 }",
"name" : "Stmt_for_body",
- "schedule" : "{ Stmt_for_body[i0] -> scattering[0, i0, 0] }"
+ "schedule" : "{ Stmt_for_body[i0] -> [0, i0, 0] }"
}
]
}
],
"domain" : "{ Stmt_for_body[i0] : i0 >= 0 and i0 <= 11 }",
"name" : "Stmt_for_body",
- "schedule" : "{ Stmt_for_body[i0] -> scattering[0, i0, 0] }"
+ "schedule" : "{ Stmt_for_body[i0] -> [0, i0, 0] }"
}
]
}
],
"domain" : "{ Stmt_for_body[i0] : i0 >= 0 and i0 <= 11 }",
"name" : "Stmt_for_body",
- "schedule" : "{ Stmt_for_body[i0] -> scattering[0, i0, 0] }"
+ "schedule" : "{ Stmt_for_body[i0] -> [0, i0, 0] }"
}
]
}
],
"domain" : "{ Stmt_for_body[i0] : i0 >= 0 and i0 <= 11 }",
"name" : "Stmt_for_body",
- "schedule" : "{ Stmt_for_body[i0] -> scattering[0, i0, 0] }"
+ "schedule" : "{ Stmt_for_body[i0] -> [0, i0, 0] }"
}
]
}
],
"domain" : "{ Stmt_for_body3[i0, i1] : i0 >= 0 and i0 <= 31 and i1 >= 0 and i1 <= 31 }",
"name" : "Stmt_for_body3",
- "schedule" : "{ Stmt_for_body3[i0, i1] -> scattering[0, i0, 0, i1, 0] }"
+ "schedule" : "{ Stmt_for_body3[i0, i1] -> [0, i0, 0, i1, 0] }"
}
]
}
],
"domain" : "{ Stmt_for_body3[i0, i1] : i0 >= 0 and i0 <= 31 and i1 >= 0 and i1 <= 31 }",
"name" : "Stmt_for_body3",
- "schedule" : "{ Stmt_for_body3[i0, i1] -> scattering[0, i0, 0, i1, 0] }"
+ "schedule" : "{ Stmt_for_body3[i0, i1] -> [0, i0, 0, i1, 0] }"
}
]
}
],
"domain" : "{ Stmt_for_body3[i0, i1] : i0 >= 0 and i0 <= 31 and i1 >= 0 and i1 <= 31 }",
"name" : "Stmt_for_body3",
- "schedule" : "{ Stmt_for_body3[i0, i1] -> scattering[0, i0, 0, i1, 0] }"
+ "schedule" : "{ Stmt_for_body3[i0, i1] -> [0, i0, 0, i1, 0] }"
}
]
}
],
"domain" : "{ Stmt_for_body[i0] : i0 >= 0 and i0 <= 11 }",
"name" : "Stmt_for_body",
- "schedule" : "{ Stmt_for_body[i0] -> scattering[0, i0, 0] }"
+ "schedule" : "{ Stmt_for_body[i0] -> [0, i0, 0] }"
}
]
}
],
"domain" : "{ Stmt_for_body[i0] : i0 >= 0 and i0 <= 11 }",
"name" : "Stmt_for_body",
- "schedule" : "{ Stmt_for_body[i0] -> scattering[0, i0, 0] }"
+ "schedule" : "{ Stmt_for_body[i0] -> [0, i0, 0] }"
}
]
}
],
"domain" : "{ Stmt_for_body[i0] : i0 >= 0 and i0 <= 11 }",
"name" : "Stmt_for_body",
- "schedule" : "{ Stmt_for_body[i0] -> scattering[0, i0, 0] }"
+ "schedule" : "{ Stmt_for_body[i0] -> [0, i0, 0] }"
},
{
"accesses" : [
],
"domain" : "{ Stmt_for_body7[i0] : i0 >= 0 and i0 <= 11 }",
"name" : "Stmt_for_body7",
- "schedule" : "{ Stmt_for_body7[i0] -> scattering[0, i0, 0] }"
+ "schedule" : "{ Stmt_for_body7[i0] -> [0, i0, 0] }"
}
]
}
],
"domain" : "{ Stmt_for_body[i0] : i0 >= 0 and i0 <= 11 }",
"name" : "Stmt_for_body",
- "schedule" : "{ Stmt_for_body[i0] -> scattering[0, i0, 0] }"
+ "schedule" : "{ Stmt_for_body[i0] -> [0, i0, 0] }"
},
{
"accesses" : [
],
"domain" : "{ Stmt_for_body7[i0] : i0 >= 0 and i0 <= 11 }",
"name" : "Stmt_for_body7",
- "schedule" : "{ Stmt_for_body7[i0] -> scattering[0, i0, 0] }"
+ "schedule" : "{ Stmt_for_body7[i0] -> [0, i0, 0] }"
}
]
}
],
"domain" : "{ Stmt_for_body7[i0] : i0 >= 0 and i0 <= 11 }",
"name" : "Stmt_for_body7",
- "schedule" : "{ Stmt_for_body7[i0] -> scattering[0, i0, 0] }"
+ "schedule" : "{ Stmt_for_body7[i0] -> [0, i0, 0] }"
}
]
}
],
"domain" : "{ Stmt_for_body7[i0] : i0 >= 0 and i0 <= 11 }",
"name" : "Stmt_for_body7",
- "schedule" : "{ Stmt_for_body7[i0] -> scattering[0, i0, 0] }"
+ "schedule" : "{ Stmt_for_body7[i0] -> [0, i0, 0] }"
}
]
}
],
"domain" : "{ Stmt_for_body[i0] : i0 >= 0 and i0 <= 15 }",
"name" : "Stmt_for_body",
- "schedule" : "{ Stmt_for_body[i0] -> scattering[0, i0, 0] }"
+ "schedule" : "{ Stmt_for_body[i0] -> [0, i0, 0] }"
}
]
}
],
"domain" : "{ Stmt_S[i0] : i0 >= 0 and i0 <= 1023 }",
"name" : "Stmt_S",
- "schedule" : "{ Stmt_S[i0] -> scattering[floor(i0/4) * 4, i0] }"
+ "schedule" : "{ Stmt_S[i0] -> [floor(i0/4) * 4, i0] }"
}
]
}
"statements": [{
"name": "Stmt_do_body",
"domain": "{ Stmt_do_body[i0] : i0 >= 0 and i0 <= 2147483646 }",
- "schedule": "{ Stmt_do_body[i0] -> scattering[0, o1, i0, o3, 0] : 64o3 = o1 and o1 <= i0 and o1 >= -63 + i0 }",
+ "schedule": "{ Stmt_do_body[i0] -> [0, o1, i0, o3, 0] : 64o3 = o1 and o1 <= i0 and o1 >= -63 + i0 }",
"accesses": [{
"kind": "write",
"relation": "{ Stmt_do_body[i0] -> MemRef_A[0] }"
; CHECK: Domain :=
; CHECK: [N, M] -> { Stmt_bb1[i0, i1] : i0 >= 0 and i0 <= 2 + 4N + 7M and i1 >= 0 and i1 <= 1 + 5N and N >= 0 };
; CHECK: Scattering :=
-; CHECK: [N, M] -> { Stmt_bb1[i0, i1] -> scattering[i0, i1] };
+; CHECK: [N, M] -> { Stmt_bb1[i0, i1] -> [i0, i1] };
; CHECK: MustWriteAccess := [Reduction Type: NONE]
; CHECK: [N, M] -> { Stmt_bb1[i0, i1] -> MemRef_a[i0 + 128i1] };
; CHECK: }
; CHECK: Domain :=
; CHECK: [N, M] -> { Stmt_bb1[i0, i1] : i0 >= 0 and i0 <= 2 + 4N + 7M and i1 >= 0 and i1 <= 1 + 5N - i0 and i0 <= 1 + 5N };
; CHECK: Scattering :=
-; CHECK: [N, M] -> { Stmt_bb1[i0, i1] -> scattering[i0, i1] };
+; CHECK: [N, M] -> { Stmt_bb1[i0, i1] -> [i0, i1] };
; CHECK: MustWriteAccess := [Reduction Type: NONE]
; CHECK: [N, M] -> { Stmt_bb1[i0, i1] -> MemRef_a[129i0 + 128i1] };
; CHECK: }
; CHECK: Domain :=
; CHECK: [N, M] -> { Stmt_bb1[i0, i1] : i0 >= 0 and i0 <= 2 + 4N + 7M and i1 >= 0 and i1 <= 10 + 5N - 6M - 4i0 and 4i0 <= 10 + 5N - 6M };
; CHECK: Scattering :=
-; CHECK: [N, M] -> { Stmt_bb1[i0, i1] -> scattering[i0, i1] };
+; CHECK: [N, M] -> { Stmt_bb1[i0, i1] -> [i0, i1] };
; CHECK: MustWriteAccess := [Reduction Type: NONE]
; CHECK: [N, M] -> { Stmt_bb1[i0, i1] -> MemRef_a[-1152 + 768M + 897i0 + 128i1] };
; CHECK: }
; CHECK: Domain :=
; CHECK: [n] -> { Stmt_bb_nph[] : n >= 2 };
; CHECK: Scattering :=
-; CHECK: [n] -> { Stmt_bb_nph[] -> scattering[0, 0] };
+; CHECK: [n] -> { Stmt_bb_nph[] -> [0, 0] };
; CHECK: ReadAccess :=
; CHECK: [n] -> { Stmt_bb_nph[] -> MemRef_a[0] };
; CHECK: MustWriteAccess :=
; CHECK: Domain :=
; CHECK: [n] -> { Stmt_bb[i0] : i0 >= 0 and i0 <= -2 + n and n >= 2 };
; CHECK: Scattering :=
-; CHECK: [n] -> { Stmt_bb[i0] -> scattering[1, i0] };
+; CHECK: [n] -> { Stmt_bb[i0] -> [1, i0] };
; CHECK: ReadAccess :=
; CHECK: [n] -> { Stmt_bb[i0] -> MemRef__reg2mem[0] };
; CHECK: ReadAccess :=
; CHECK: Domain :=
; CHECK: [n] -> { Stmt_for_i[i0] : i0 >= 0 and i0 <= -1 + n };
; CHECK: Scattering :=
-; CHECK: [n] -> { Stmt_for_i[i0] -> scattering[i0] };
+; CHECK: [n] -> { Stmt_for_i[i0] -> [i0] };
; CHECK: MustWriteAccess :=
; CHECK: [n] -> { Stmt_for_i[i0] -> MemRef_A[i0, i0] };
; CHECK: Domain :=
; CHECK: [m, p] -> { Stmt_for_j[i0, i1] : i0 >= 0 and i0 <= 99 and i1 >= 0 and i1 <= -1 + m };
; CHECK: Scattering :=
-; CHECK: [m, p] -> { Stmt_for_j[i0, i1] -> scattering[i0, i1] };
+; CHECK: [m, p] -> { Stmt_for_j[i0, i1] -> [i0, i1] };
; CHECK: MustWriteAccess := [Reduction Type: NONE]
; CHECK: [m, p] -> { Stmt_for_j[i0, i1] -> MemRef_A[p + i0, i1] };
; CHECK: }
; CHECK: Domain :=
; CHECK: [m] -> { Stmt_for_j[i0, i1] : i0 >= 0 and i0 <= 99 and i1 >= 0 and i1 <= 149 };
; CHECK: Scattering :=
-; CHECK: [m] -> { Stmt_for_j[i0, i1] -> scattering[i0, i1] };
+; CHECK: [m] -> { Stmt_for_j[i0, i1] -> [i0, i1] };
; CHECK: MustWriteAccess := [Reduction Type: NONE]
; CHECK: [m] -> { Stmt_for_j[i0, i1] -> MemRef_A[i0, i1] };
; CHECK: Domain :=
; CHECK: [m, o] -> { Stmt_for_k[i0, i1, i2] : i0 >= 0 and i0 <= 99 and i1 >= 0 and i1 <= 149 and i2 >= 0 and i2 <= 199 };
; CHECK: Scattering :=
-; CHECK: [m, o] -> { Stmt_for_k[i0, i1, i2] -> scattering[i0, i1, i2] };
+; CHECK: [m, o] -> { Stmt_for_k[i0, i1, i2] -> [i0, i1, i2] };
; CHECK: MustWriteAccess := [Reduction Type: NONE]
; CHECK: [m, o] -> { Stmt_for_k[i0, i1, i2] -> MemRef_A[i0, i1, i2] };
; CHECK: Domain
; CHECK: [n, m, o] -> { Stmt_for_k[i0, i1, i2] : i0 >= 0 and i0 <= -4 + n and i1 >= 0 and i1 <= -5 + m and i2 >= 0 and i2 <= -8 + o };
; CHECK: Scattering
-; CHECK: [n, m, o] -> { Stmt_for_k[i0, i1, i2] -> scattering[i0, i1, i2] };
+; CHECK: [n, m, o] -> { Stmt_for_k[i0, i1, i2] -> [i0, i1, i2] };
; CHECK: MustWriteAccess
; CHECK: [n, m, o] -> { Stmt_for_k[i0, i1, i2] -> MemRef_A[3 + i0, i1, 7 + i2] };
; CHECK: Domain
; CHECK: [n, m, o, p, q, r] -> { Stmt_for_k[i0, i1, i2] : i0 >= 0 and i0 <= -1 + n and i1 >= 0 and i1 <= -1 + m and i2 >= 0 and i2 <= -1 + o };
; CHECK: Scattering
-; CHECK: [n, m, o, p, q, r] -> { Stmt_for_k[i0, i1, i2] -> scattering[i0, i1, i2] };
+; CHECK: [n, m, o, p, q, r] -> { Stmt_for_k[i0, i1, i2] -> [i0, i1, i2] };
; CHECK: MustWriteAccess
; CHECK: [n, m, o, p, q, r] -> { Stmt_for_k[i0, i1, i2] -> MemRef_A[p + i0, q + i1, r + i2] };
; CHECK: Domain
; CHECK: [n, m, o] -> { Stmt_for_k[i0, i1, i2] : i0 >= 0 and i0 <= -4 + n and i1 >= 0 and i1 <= -5 + m and i2 >= 0 and i2 <= -8 + o };
; CHECK: Scattering
-; CHECK: [n, m, o] -> { Stmt_for_k[i0, i1, i2] -> scattering[i0, i1, i2] };
+; CHECK: [n, m, o] -> { Stmt_for_k[i0, i1, i2] -> [i0, i1, i2] };
; CHECK: MustWriteAccess
; CHECK: [n, m, o] -> { Stmt_for_k[i0, i1, i2] -> MemRef_A[3 + i0, i1, 7 + i2] };
; CHECK: Domain
; CHECK: [n, m] -> { Stmt_for_j[i0, i1] : i0 >= 0 and i0 <= -1 + n and i1 >= 0 and i1 <= -1 + m };
; CHECK: Scattering
-; CHECK: [n, m] -> { Stmt_for_j[i0, i1] -> scattering[i0, i1] };
+; CHECK: [n, m] -> { Stmt_for_j[i0, i1] -> [i0, i1] };
; CHECK: MustWriteAccess
; CHECK: [n, m] -> { Stmt_for_j[i0, i1] -> MemRef_A[i0, i1] };
; CHECK: Domain
; CHECK: [n, m, o] -> { Stmt_for_k[i0, i1, i2] : i0 >= 0 and i0 <= -1 + n and i1 >= 0 and i1 <= -1 + m and i2 >= 0 and i2 <= -1 + o };
; CHECK: Scattering
-; CHECK: [n, m, o] -> { Stmt_for_k[i0, i1, i2] -> scattering[i0, i1, i2] };
+; CHECK: [n, m, o] -> { Stmt_for_k[i0, i1, i2] -> [i0, i1, i2] };
; CHECK: WriteAccess
; CHECK: [n, m, o] -> { Stmt_for_k[i0, i1, i2] -> MemRef_A[i0, i1, i2] };
; CHECK: Domain
; CHECK: [n, m, o, p_3, p_4] -> { Stmt_for_k[i0, i1, i2] : i0 >= 0 and i0 <= -1 + n and i1 >= 0 and i1 <= -1 + m and i2 >= 0 and i2 <= -1 + o };
; CHECK: Scattering
-; CHECK: [n, m, o, p_3, p_4] -> { Stmt_for_k[i0, i1, i2] -> scattering[i0, i1, i2] };
+; CHECK: [n, m, o, p_3, p_4] -> { Stmt_for_k[i0, i1, i2] -> [i0, i1, i2] };
; CHECK: WriteAccess
; CHECK: [n, m, o, p_3, p_4] -> { Stmt_for_k[i0, i1, i2] -> MemRef_A[i0, i1, i2] };
; CHECK: Domain
; CHECK: [n, o, m] -> { Stmt_for_j[i0, i1, i2] : i0 >= 0 and i0 <= -1 + n and i1 >= 0 and i1 <= -1 + o and i2 >= 0 and i2 <= -1 + m };
; CHECK: Scattering
-; CHECK: [n, o, m] -> { Stmt_for_j[i0, i1, i2] -> scattering[i0, i1, i2] };
+; CHECK: [n, o, m] -> { Stmt_for_j[i0, i1, i2] -> [i0, i1, i2] };
; CHECK: WriteAccess
; CHECK: [n, o, m] -> { Stmt_for_j[i0, i1, i2] -> MemRef_A[i0, i2, i1] };
; CHECK: Domain
; CHECK: [n] -> { Stmt_for_body[i0] : i0 >= 0 and i0 <= -1 + n };
; CHECK: Scattering
-; CHECK: [n] -> { Stmt_for_body[i0] -> scattering[i0] };
+; CHECK: [n] -> { Stmt_for_body[i0] -> [i0] };
; CHECK: ReadAccess
; CHECK: [n] -> { Stmt_for_body[i0] -> MemRef_INDEX[i0] };
; CHECK: WriteAccess
; CHECK: (P >= 1 and i0 >= 0 and i0 <= -1 + N)
; CHECK: };
; CHECK: Scattering :=
-; CHECK: [N, P] -> { Stmt_store[i0] -> scattering[i0] };
+; CHECK: [N, P] -> { Stmt_store[i0] -> [i0] };
; CHECK: MustWriteAccess := [Reduction Type: NONE]
; CHECK: [N, P] -> { Stmt_store[i0] -> MemRef_a[i0] };
; CHECK: Domain :=
; CHECK: [N] -> { Stmt_S1[i0] : i0 >= 0 and i0 <= -1 + N };
; CHECK: Scattering :=
-; CHECK: [N] -> { Stmt_S1[i0] -> scattering[i0, 0] };
+; CHECK: [N] -> { Stmt_S1[i0] -> [i0, 0] };
; CHECK: ReadAccess :=
; CHECK: [N] -> { Stmt_S1[i0] -> MemRef_a[i0] };
; CHECK: MustWriteAccess :=
; CHECK: Domain :=
; CHECK: [N] -> { Stmt_S2[i0] : i0 >= 0 and i0 <= -1 + N };
; CHECK: Scattering :=
-; CHECK: [N] -> { Stmt_S2[i0] -> scattering[i0, 1] };
+; CHECK: [N] -> { Stmt_S2[i0] -> [i0, 1] };
; CHECK: ReadAccess :=
; CHECK: [N] -> { Stmt_S2[i0] -> MemRef_val[] };
; CHECK: MustWriteAccess :=
; CHECK: Domain :=
; CHECK: [N] -> { Stmt_bb[i0] : i0 >= 0 and i0 <= -1 + N };
; CHECK: Scattering :=
-; CHECK: [N] -> { Stmt_bb[i0] -> scattering[i0] };
+; CHECK: [N] -> { Stmt_bb[i0] -> [i0] };
; CHECK: MustWriteAccess := [Reduction Type: NONE]
; CHECK: [N] -> { Stmt_bb[i0] -> MemRef_a[i0] };
; CHECK: i0 >= 0 and i0 <= -1 + N and P >= 42
; CHECK: };
; CHECK: Scattering :=
-; CHECK: [N, P] -> { Stmt_store[i0] -> scattering[i0] };
+; CHECK: [N, P] -> { Stmt_store[i0] -> [i0] };
; CHECK: MustWriteAccess := [Reduction Type: NONE]
; CHECK: [N, P] -> { Stmt_store[i0] -> MemRef_a[i0] };