Blame isl-0.14/test_inputs/codegen/disjuncts.in
|
Packit |
fb9d21 |
# Check that conditions are hoisted up from the innermost loop
|
|
Packit |
fb9d21 |
[n] -> { a[i,j,k,l] -> [i,j,0,k,l] :
|
|
Packit |
fb9d21 |
0 <= i,j,k,l <= n and (i = 0 or j = 0 or i = n or j = n);
|
|
Packit |
fb9d21 |
b[i,j,k,l] -> [i,j,1,k,l] :
|
|
Packit |
fb9d21 |
0 <= i,j,k,l <= n and (i = 0 or j = 0 or i = n or j = n) }
|
|
Packit |
fb9d21 |
{ : }
|
|
Packit |
fb9d21 |
{ [i,j,t,k,l] -> atomic[x] }
|