test_inputs/codegen/filter.st

   1 # Check proper handling of filters that turn out to be empty on their paths
   2 domain: "[n,m] -> { A[i,j] : 0 <= i,j < n }"
   3 child:
   4   set:
   5   - filter: "[n,m] -> { A[i,j] : m < n }"
   6     child:
   7       schedule: "[{ A[i,j] -> [i] }]"
   8       child:
   9         set:
  10         - filter: "[n,m] -> { A[i,j] : m < n }"
  11         - filter: "[n,m] -> { A[i,j] : m >= n }"
  12   - filter: "[n,m] -> { A[i,j] : m >= n }"
  13     child:
  14       schedule: "[{ A[i,j] -> [i] }]"
  15       child:
  16         set:
  17         - filter: "[n,m] -> { A[i,j] : m < n }"
  18         - filter: "[n,m] -> { A[i,j] : m >= n }"