tizen 2.3.1 releasetizen_2.3.1_releasesubmit/tizen_2.3.1/20150915.095034tizen_2.3.1

1 files changed, 47 insertions, 0 deletions

diff --git a/test/reservoir/liu-zhuge1.c b/test/reservoir/liu-zhuge1.c
new file mode 100644
index 0000000..d21b306
--- /dev/null
+++ b/test/reservoir/liu-zhuge1.c
@@ -0,0 +1,47 @@
+/* Generated from /home/skimo/git/cloog-parma/cloog-core/test/./reservoir/liu-zhuge1.cloog by CLooG 0.14.0-285-g341b1cd gmp bits. */
+if ((M >= 0) && (N >= 0)) {
+  for (c2=-4;c2<=min(-1,3*M+N-4);c2++) {
+    for (c4=max(0,c2-3*M+4);c4<=min(N,c2+4);c4++) {
+      if ((c2+2*c4+1)%3 == 0) {
+        S1((c2-c4+4)/3,c4);
+      }
+    }
+  }
+  for (c2=0;c2<=3*M+N-4;c2++) {
+    for (c4=max(0,c2-3*M);c4<=min(c2,c2-3*M+3);c4++) {
+      if ((c2+2*c4)%3 == 0) {
+        S2((c2-c4)/3,c4);
+      }
+    }
+    for (c4=max(0,c2-3*M+4);c4<=min(N,c2);c4++) {
+      if ((c2+2*c4)%3 == 0) {
+        S2((c2-c4)/3,c4);
+      }
+      if ((c2+2*c4+1)%3 == 0) {
+        S1((c2-c4+4)/3,c4);
+      }
+    }
+    for (c4=max(c2+1,c2-3*M+4);c4<=min(N,c2+4);c4++) {
+      if ((c2+2*c4+1)%3 == 0) {
+        S1((c2-c4+4)/3,c4);
+      }
+    }
+    for (c4=max(0,c2-3*M);c4<=min(N,c2);c4++) {
+      if ((c2+2*c4)%3 == 0) {
+        S3((c2-c4)/3,c4);
+      }
+    }
+  }
+  for (c2=max(0,3*M+N-3);c2<=3*M+N;c2++) {
+    for (c4=max(0,c2-3*M);c4<=min(N,c2);c4++) {
+      if ((c2+2*c4)%3 == 0) {
+        S2((c2-c4)/3,c4);
+      }
+    }
+    for (c4=max(0,c2-3*M);c4<=min(N,c2);c4++) {
+      if ((c2+2*c4)%3 == 0) {
+        S3((c2-c4)/3,c4);
+      }
+    }
+  }
+}