Blame isl-0.14/test_inputs/codegen/unroll.in
|
Packit |
fb9d21 |
# Test that unrolling takes into account stride constraints.
|
|
Packit |
fb9d21 |
# If it didn't, it would run essentially forever on this example.
|
|
Packit |
fb9d21 |
[n] -> { A[i] -> [i] : exists a : i = 100000000 a and 0 <= a <= 2 }
|
|
Packit |
fb9d21 |
{:}
|
|
Packit |
fb9d21 |
{ [i] -> unroll[0] }
|