xref: /netbsd-src/external/mit/isl/dist/test_inputs/codegen/cloog/orc.st (revision 5971e316fdea024efff6be8f03536623db06833e) 
1domain: "{ S5[i] : i >= 0 and i <= 14; S6[i, j] : i >= 0 and i <= 14 and j >= 0 and j <= 9; S7[i] : i >= 0 and i <= 14; S4[i] : i >= 0 and i <= 2; S2[i, j] : i >= 0 and i <= 2 and j >= 0 and j <= 11 - i; S1[i] : i >= 0 and i <= 2; S3[i, j] : i >= 0 and i <= 2 and j >= 0 and j <= 11 - i }"
2child:
3  context: "{ [] }"
4  child:
5    sequence:
6    - filter: "{ S4[i0]; S2[i0, i1]; S1[i0]; S3[i0, i1] }"
7      child:
8        schedule: "[{ S3[i0, i1] -> [(1 + 3i0)]; S2[i0, i1] -> [(1 + 3i0)]; S1[i0] -> [(3i0)]; S4[i0] -> [(2 + 3i0)] }, { S3[i0, i1] -> [(1 + 2i1)]; S2[i0, i1] -> [(2i1)]; S1[i0] -> [(0)]; S4[i0] -> [(0)] }]"
9        options: "{ separate[i0] }"
10    - filter: "{ S5[i0]; S6[i0, i1]; S7[i0] }"
11      child:
12        schedule: "[{ S6[i0, i1] -> [(1 + 3i0)]; S7[i0] -> [(2 + 3i0)]; S5[i0] -> [(3i0)] }, { S6[i0, i1] -> [(i1)]; S7[i0] -> [(0)]; S5[i0] -> [(0)] }]"
13        options: "{ separate[i0] }"
14