diff options
Diffstat (limited to 'polly/lib/External/isl/test_inputs/codegen/unroll2.in')
| -rw-r--r-- | polly/lib/External/isl/test_inputs/codegen/unroll2.in | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/polly/lib/External/isl/test_inputs/codegen/unroll2.in b/polly/lib/External/isl/test_inputs/codegen/unroll2.in new file mode 100644 index 00000000000..0fb36ab06dc --- /dev/null +++ b/polly/lib/External/isl/test_inputs/codegen/unroll2.in @@ -0,0 +1,5 @@ +# Check that the different disjuncts in the unroll option +# are handled separately. +{ A[i] -> [i] : 0 <= i < 100000 } +{ : } +{ [i] -> unroll[0] : i < 4 or i > 99996 } |
