diff options
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.in | 3 |
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] } |