Blame isl-0.16.1/test_inputs/codegen/filter.st
|
Packit |
fb9d21 |
# Check proper handling of filters that turn out to be empty on their paths
|
|
Packit |
fb9d21 |
domain: "[n,m] -> { A[i,j] : 0 <= i,j < n }"
|
|
Packit |
fb9d21 |
child:
|
|
Packit |
fb9d21 |
set:
|
|
Packit |
fb9d21 |
- filter: "[n,m] -> { A[i,j] : m < n }"
|
|
Packit |
fb9d21 |
child:
|
|
Packit |
fb9d21 |
schedule: "[{ A[i,j] -> [i] }]"
|
|
Packit |
fb9d21 |
child:
|
|
Packit |
fb9d21 |
set:
|
|
Packit |
fb9d21 |
- filter: "[n,m] -> { A[i,j] : m < n }"
|
|
Packit |
fb9d21 |
- filter: "[n,m] -> { A[i,j] : m >= n }"
|
|
Packit |
fb9d21 |
- filter: "[n,m] -> { A[i,j] : m >= n }"
|
|
Packit |
fb9d21 |
child:
|
|
Packit |
fb9d21 |
schedule: "[{ A[i,j] -> [i] }]"
|
|
Packit |
fb9d21 |
child:
|
|
Packit |
fb9d21 |
set:
|
|
Packit |
fb9d21 |
- filter: "[n,m] -> { A[i,j] : m < n }"
|
|
Packit |
fb9d21 |
- filter: "[n,m] -> { A[i,j] : m >= n }"
|