summaryrefslogtreecommitdiffstats
path: root/polly/lib/External/isl/test_inputs/codegen/cloog/gesced2.in
diff options
context:
space:
mode:
Diffstat (limited to 'polly/lib/External/isl/test_inputs/codegen/cloog/gesced2.in')
-rw-r--r--polly/lib/External/isl/test_inputs/codegen/cloog/gesced2.in3
1 files changed, 3 insertions, 0 deletions
diff --git a/polly/lib/External/isl/test_inputs/codegen/cloog/gesced2.in b/polly/lib/External/isl/test_inputs/codegen/cloog/gesced2.in
new file mode 100644
index 00000000000..a5d5bd27e28
--- /dev/null
+++ b/polly/lib/External/isl/test_inputs/codegen/cloog/gesced2.in
@@ -0,0 +1,3 @@
+[M] -> { S1[i0, i1] -> [i0, i1] : i0 >= 1 and i0 <= M and i1 >= 5 and i1 <= -10 + M; S2[i0, i1] -> [i1, i0 - i1] : i0 >= 1 and i0 <= M and i1 >= 5 and i1 <= -10 + M }
+[M] -> { : M >= 16 }
+[M] -> { [i, j] -> separate[o0] }
OpenPOWER on IntegriCloud