1 files changed, 117 insertions, 0 deletions
diff --git a/test/reservoir/QR.c b/test/reservoir/QR.c
new file mode 100644
index 0000000..1d721d2
--- /dev/null
+++ b/test/reservoir/QR.c
@@ -0,0 +1,117 @@
+/* Generated from ../../../git/cloog/test/reservoir/QR.cloog by CLooG 0.14.0-262-g4b60cd5 gmp bits in 0.06s. */
+if (N >= 1) {
+  S1(0);
+  if ((M <= 0) && (N >= 2)) {
+    S3(0);
+    S10(0);
+    S1(1);
+    S5(0);
+  }
+  if ((M >= 1) && (N == 1)) {
+    for (c4=0;c4<=M-1;c4++) {
+      S2(0,c4);
+    }
+    S3(0);
+    for (c4=0;c4<=M-1;c4++) {
+      S4(0,c4);
+    }
+    S10(0);
+    S5(0);
+  }
+  if ((M <= 0) && (N == 1)) {
+    S3(0);
+    S10(0);
+    S5(0);
+  }
+  if ((M >= 1) && (N >= 2)) {
+    for (c4=0;c4<=M-1;c4++) {
+      S2(0,c4);
+    }
+    S3(0);
+    for (c4=0;c4<=M-1;c4++) {
+      S4(0,c4);
+    }
+    S10(0);
+    S1(1);
+    S5(0);
+  }
+  for (c2=2;c2<=min(M,N-1);c2++) {
+    for (c4=c2-1;c4<=N-1;c4++) {
+      S6(c2-2,c4);
+      for (c6=c2-2;c6<=M-1;c6++) {
+        S7(c2-2,c4,c6);
+      }
+      S8(c2-2,c4);
+      for (c6=c2-2;c6<=M-1;c6++) {
+        S9(c2-2,c4,c6);
+      }
+    }
+    for (c4=c2-1;c4<=M-1;c4++) {
+      S2(c2-1,c4);
+    }
+    S3(c2-1);
+    for (c4=c2-1;c4<=M-1;c4++) {
+      S4(c2-1,c4);
+    }
+    S10(c2-1);
+    S1(c2);
+    S5(c2-1);
+  }
+  if ((M >= 1) && (M <= N-2)) {
+    for (c4=M;c4<=N-1;c4++) {
+      S6(M-1,c4);
+      S7(M-1,c4,M-1);
+      S8(M-1,c4);
+      S9(M-1,c4,M-1);
+    }
+    S3(M);
+    S10(M);
+    S1(M+1);
+    S5(M);
+  }
+  for (c2=max(2,M+2);c2<=N-1;c2++) {
+    for (c4=c2-1;c4<=N-1;c4++) {
+      S6(c2-2,c4);
+      S8(c2-2,c4);
+    }
+    S3(c2-1);
+    S10(c2-1);
+    S1(c2);
+    S5(c2-1);
+  }
+  if ((M >= N) && (N >= 2)) {
+    S6(N-2,N-1);
+    for (c6=N-2;c6<=M-1;c6++) {
+      S7(N-2,N-1,c6);
+    }
+    S8(N-2,N-1);
+    for (c6=N-2;c6<=M-1;c6++) {
+      S9(N-2,N-1,c6);
+    }
+    for (c4=N-1;c4<=M-1;c4++) {
+      S2(N-1,c4);
+    }
+    S3(N-1);
+    for (c4=N-1;c4<=M-1;c4++) {
+      S4(N-1,c4);
+    }
+    S10(N-1);
+    S5(N-1);
+  }
+  if ((M == N-1) && (N >= 2)) {
+    S6(N-2,N-1);
+    S7(N-2,N-1,N-2);
+    S8(N-2,N-1);
+    S9(N-2,N-1,N-2);
+    S3(N-1);
+    S10(N-1);
+    S5(N-1);
+  }
+  if ((M <= N-2) && (N >= 2)) {
+    S6(N-2,N-1);
+    S8(N-2,N-1);
+    S3(N-1);
+    S10(N-1);
+    S5(N-1);
+  }
+}