1 files changed, 21 insertions, 0 deletions
diff --git a/cloog-core/test/reservoir/pingali1.c b/cloog-core/test/reservoir/pingali1.c
new file mode 100644
index 0000000..505df8d
--- /dev/null
+++ b/cloog-core/test/reservoir/pingali1.c
@@ -0,0 +1,21 @@
+/* Generated from /home/skimo/git/cloog/test/./reservoir/pingali1.cloog by CLooG 0.14.0-225-g6e2d019 gmp bits in 0.01s. */
+if ((M >= 1) && (N >= 1)) {
+  if (N >= 2) {
+    for (c2=1;c2<=M;c2++) {
+      S2(c2,1);
+      for (c4=3;c4<=2*N-1;c4++) {
+        for (c6=max(1,c4-N);c6<=floord(c4-1,2);c6++) {
+          S1(c2,c4-c6,c6);
+        }
+        if ((c4+1)%2 == 0) {
+          S2(c2,(c4+1)/2);
+        }
+      }
+    }
+  }
+  if (N == 1) {
+    for (c2=1;c2<=M;c2++) {
+      S2(c2,1);
+    }
+  }
+}