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