blob: c692567b26290f9d52c57166a827552fa137e320 (
plain)
1
2
3
4
5
6
7
8
9
10
11
|
# Check that component detection is not confused by values
# of the schedule dimension that do not correspond to any statement instances.
domain: "[K] -> { S[]; T[i] : 0 <= i < K }"
child:
context: "[K] -> { [] : K > 0 }"
child:
schedule: "[K] -> [{ S[] -> [(0)]; T[i] -> [(32*floor((i)/32))] }]"
child:
sequence:
- filter: "[K] -> { S[] }"
- filter: "[K] -> { T[i] }"
|
