Blame isl-0.14/test_inputs/codegen/cloog/reservoir-lim-lam1.in
|
Packit |
fb9d21 |
{ S2[i0, i1] -> [0, 1 + i0 - i1, 0, -1 + 2i1, 1] : i0 >= 1 and i0 <= 100 and i1 >= 1 and i1 <= 100; S1[i0, i1] -> [0, i0 - i1, 0, 2i1, 0] : i0 >= 1 and i0 <= 100 and i1 >= 1 and i1 <= 100 }
|
|
Packit |
fb9d21 |
{ : }
|
|
Packit |
fb9d21 |
{ [i, j, k, l, m] -> separate[o0] }
|