1 files changed, 17 insertions, 0 deletions
diff --git a/polly/lib/External/isl/test_inputs/codegen/cloog/reservoir-liu-zhuge1.c b/polly/lib/External/isl/test_inputs/codegen/cloog/reservoir-liu-zhuge1.c
new file mode 100644
index 00000000000..dfc7d37d901
--- /dev/null
+++ b/polly/lib/External/isl/test_inputs/codegen/cloog/reservoir-liu-zhuge1.c
@@ -0,0 +1,17 @@
+if (M >= 0 && N >= 0)
+  for (int c1 = -4; c1 <= 3 * M + N; c1 += 1) {
+    if (3 * M + N >= c1 + 1 && c1 >= 3 * M) {
+      S2(M, -3 * M + c1);
+    } else if (3 * M >= c1 + 4 && (c1 - 2) % 3 == 0)
+      S1((c1 + 4) / 3, 0);
+    for (int c3 = max(-3 * M + c1 + 3, (c1 + 6) % 3); c3 <= min(N - 1, c1); c3 += 3) {
+      S2((c1 - c3) / 3, c3);
+      S1(((c1 - c3) / 3) + 1, c3 + 1);
+    }
+    if (c1 >= N && (N - c1) % 3 == 0) {
+      S2((-N + c1) / 3, N);
+    } else if (N >= c1 + 4 && c1 >= -3)
+      S1(0, c1 + 4);
+    for (int c3 = max(-3 * M + c1, (c1 + 6) % 3); c3 <= min(N, c1); c3 += 3)
+      S3((c1 - c3) / 3, c3);
+  }