diff options
Diffstat (limited to 'polly/lib/External/isl/test_inputs/codegen/cloog/gesced.in')
-rw-r--r-- | polly/lib/External/isl/test_inputs/codegen/cloog/gesced.in | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/polly/lib/External/isl/test_inputs/codegen/cloog/gesced.in b/polly/lib/External/isl/test_inputs/codegen/cloog/gesced.in new file mode 100644 index 00000000000..6043f4b3fb9 --- /dev/null +++ b/polly/lib/External/isl/test_inputs/codegen/cloog/gesced.in @@ -0,0 +1,3 @@ +[M, N] -> { S3[i0, i1] -> [2N + i1] : i0 >= 1 and i0 <= N and i1 >= 1 and i1 <= M; S2[i0, i1] -> [N + i1] : i0 >= 1 and i0 <= N and i1 >= 1 and i1 <= M; S1[i0] -> [i0] : i0 >= 1 and i0 <= N } +[M, N] -> { : N <= M and M >= 2 and N >= 2 } +[M, N] -> { [i] -> separate[o0] } |