xref: /netbsd-src/external/mit/isl/dist/test_inputs/codegen/component7.st (revision 5971e316fdea024efff6be8f03536623db06833e)
1*5971e316Smrg# Check that component detection is not confused by values
2*5971e316Smrg# of the schedule dimension that do not correspond to any statement instances.
3*5971e316Smrgdomain: "[K] -> { S[]; T[i] : 0 <= i < K }"
4*5971e316Smrgchild:
5*5971e316Smrg  context: "[K] -> { [] : K > 0 }"
6*5971e316Smrg  child:
7*5971e316Smrg    schedule: "[K] -> [{ S[] -> [(0)]; T[i] -> [(32*floor((i)/32))] }]"
8*5971e316Smrg    child:
9*5971e316Smrg      sequence:
10*5971e316Smrg      - filter: "[K] -> { S[] }"
11*5971e316Smrg      - filter: "[K] -> { T[i] }"
12