polly/lib/External/isl/test_inputs/schedule/nana.st

   1 domain: "{ sync[i0, i1] : 0 <= i0 <= 64 and 0 <= i1 <= 32; stB[i0, i1] : 0 <= i0 <= 64 and 0 <= i1 <= 64; stC[i0, i1] : 0 <= i0 <= 64 and 0 <= i1 <= 64 }"
   2 child:
   3   schedule: "[{ sync[i0, i1] -> [(i0)]; stB[i0, i1] -> [(i0)]; stC[i0, i1] -> [(i0)] }, { sync[i0, i1] -> [(64 + i1)]; stB[i0, i1] -> [(i1)]; stC[i0, i1] -> [(i1)] }]"
   4   permutable: 1
   5   coincident: [ 1, 0 ]
   6   child:
   7     sequence:
   8     - filter: "{ stB[i0, i1]; stC[i0, i1] }"
   9       child:
  10         set:
  11         - filter: "{ stC[i0, i1] }"
  12         - filter: "{ stB[i0, i1] }"
  13     - filter: "{ sync[i0, i1] }"