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