1 files changed, 21 insertions, 0 deletions
diff --git a/test/reservoir/lim-lam4.c.ppl b/test/reservoir/lim-lam4.c.ppl
new file mode 100644
index 0000000..e15c7be
--- /dev/null
+++ b/test/reservoir/lim-lam4.c.ppl
@@ -0,0 +1,21 @@
+/* Generated from ././reservoir/lim-lam4.cloog by CLooG 0.15 64 bits in 0.03s. */
+if (M >= 2) {
+  S1(i = 1,j = 0,k = 0) ;
+}
+for (c2=2;c2<=2*M-2;c2++) {
+  for (c4=max(-c2+1,-M+1);c4<=-1;c4++) {
+    for (i=max(c2-M+1,1);i<=min(c2+c4,M-1);i++) {
+      j = c2+c4-i ;
+      S1(k = -c4) ;
+    }
+    for (c6=max(c2-M+1,-c4);c6<=min(c2-1,M-1);c6++) {
+      i = c2-c6 ;
+      j = c4+c6 ;
+      S2(k = c6) ;
+    }
+  }
+  for (i=max(c2-M+1,1);i<=min(c2,M-1);i++) {
+    j = c2-i ;
+    S1(k = 0) ;
+  }
+}