diff options
Diffstat (limited to 'polly/lib/External/isl/test_inputs/codegen/cloog/constbound.in')
-rw-r--r-- | polly/lib/External/isl/test_inputs/codegen/cloog/constbound.in | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/polly/lib/External/isl/test_inputs/codegen/cloog/constbound.in b/polly/lib/External/isl/test_inputs/codegen/cloog/constbound.in new file mode 100644 index 00000000000..24727a8737c --- /dev/null +++ b/polly/lib/External/isl/test_inputs/codegen/cloog/constbound.in @@ -0,0 +1,3 @@ +{ S2[i0, i1, i2] -> [i0, 1, i1, i2] : i1 >= 0 and i1 <= 9999 and i2 >= 0 and i2 <= i1 and i1 >= 25 + 50i0 and i1 <= 49 + 50i0; S1[i0, i1, i2] -> [i0, 0, i1, i2] : i1 >= 0 and i1 <= 9999 and i2 >= 0 and i2 <= i1 and i1 >= 50i0 and i1 <= 24 + 50i0 } +{ : } +{ [i, j, k, l] -> separate[o0] } |