1 files changed, 5 insertions, 0 deletions
diff --git a/polly/lib/External/isl/test_inputs/codegen/unroll7.in b/polly/lib/External/isl/test_inputs/codegen/unroll7.in
new file mode 100644
index 00000000000..494e5975564
--- /dev/null
+++ b/polly/lib/External/isl/test_inputs/codegen/unroll7.in
@@ -0,0 +1,5 @@
+# Check that some code is generated.
+# Older versions of isl would abort on unknown divs.
+{ S[i,j] -> [i,j]: exists (alpha, beta: j=i+4alpha +3beta and 0 <= alpha < 24 and 0 <= beta and 0 <= i,j < 5) }
+{ : }
+{ [i,j] -> unroll[x] }