test_inputs/codegen/component7.st

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