Blame isl-0.14/test_inputs/codegen/pldi2012/figure7_b.in
|
Packit |
fb9d21 |
[n] -> { s0[i] -> [i,0] : 1 <= i <= 100 and n > 1;
|
|
Packit |
fb9d21 |
s1[i,j] -> [i,j] : 1 <= i,j <= 100 and n > 1;
|
|
Packit |
fb9d21 |
s2[i,j] -> [i,j] : 1 <= i,j <= 100 }
|
|
Packit |
fb9d21 |
[n] -> { : }
|
|
Packit |
fb9d21 |
[n] -> { [i,j] -> separate[x] : x >= 2 }
|