Blame isl-0.14/test_inputs/codegen/cloog/reservoir-two.in
|
Packit |
fb9d21 |
{ S1[i0, i1, i2] -> [i0, j, k, 0] : 2i1 = 3 - i0 and 2j = 3 - i0 and 2k = 9 + i0 and 2i2 = 9 + i0 and i0 >= 0 and i0 <= 1 }
|
|
Packit |
fb9d21 |
{ : }
|
|
Packit |
fb9d21 |
{ [i, j, k, l] -> separate[o0] }
|