Blame isl-0.14/test_inputs/codegen/pldi2012/figure8_b.in
|
Packit |
fb9d21 |
[n] -> { s0[i] -> [i] : exists alpha: 1 <= i <= n and i = 4 alpha;
|
|
Packit |
fb9d21 |
s1[i] -> [i] : exists alpha: 1 <= i <= n and i = 4 alpha + 2 }
|
|
Packit |
fb9d21 |
[n] -> { : }
|
|
Packit |
fb9d21 |
[n] -> { }
|