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