summaryrefslogtreecommitdiffstats
path: root/polly/lib/External/isl/test_inputs/codegen/cloog/constbound.in
diff options
context:
space:
mode:
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.in3
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] }
OpenPOWER on IntegriCloud