Blame isl-0.16.1/test_inputs/codegen/cloog/walters3.st
|
Packit |
fb9d21 |
domain: "{ S2[j, a, b] : 2a = j and j >= 1 and j <= 10 and 2b <= j and 2b >= -1 + j; S1[j, a, b] : 2a = j and 2b = j and j <= 8 and j >= 2 }"
|
|
Packit |
fb9d21 |
child:
|
|
Packit |
fb9d21 |
context: "{ [] }"
|
|
Packit |
fb9d21 |
child:
|
|
Packit |
fb9d21 |
schedule: "[{ S1[j, a, b] -> [(j)]; S2[j, a, b] -> [(j)] }, { S1[j, a, b] -> [(a)]; S2[j, a, b] -> [(a)] }, { S1[j, a, b] -> [(b)]; S2[j, a, b] -> [(b)] }]"
|
|
Packit |
fb9d21 |
options: "{ separate[i0] }"
|
|
Packit |
fb9d21 |
child:
|
|
Packit |
fb9d21 |
sequence:
|
|
Packit |
fb9d21 |
- filter: "{ S1[j, a, b] }"
|
|
Packit |
fb9d21 |
- filter: "{ S2[j, a, b] }"
|