summaryrefslogtreecommitdiff
path: root/test/reservoir/pingali6.c
diff options
context:
space:
mode:
Diffstat (limited to 'test/reservoir/pingali6.c')
-rw-r--r--test/reservoir/pingali6.c29
1 files changed, 29 insertions, 0 deletions
diff --git a/test/reservoir/pingali6.c b/test/reservoir/pingali6.c
new file mode 100644
index 0000000..c3a24ce
--- /dev/null
+++ b/test/reservoir/pingali6.c
@@ -0,0 +1,29 @@
+/* Generated from ../../../git/cloog/test/reservoir/pingali6.cloog by CLooG 0.14.0-262-g4b60cd5 gmp bits in 0.01s. */
+if (N >= 3) {
+ for (c4=2;c4<=N-1;c4++) {
+ for (c6=2;c6<=N-1;c6++) {
+ S1(1,c4,c6);
+ }
+ }
+ for (c2=3;c2<=2*M;c2++) {
+ for (c4=2;c4<=N-1;c4++) {
+ for (c6=2;c6<=N-1;c6++) {
+ if (c2%2 == 0) {
+ S1(c2/2,c4,c6);
+ }
+ }
+ }
+ for (c4=2;c4<=N-1;c4++) {
+ for (c6=2;c6<=N-1;c6++) {
+ if ((c2+1)%2 == 0) {
+ S2((c2-1)/2,c4,c6);
+ }
+ }
+ }
+ }
+ for (c4=2;c4<=N-1;c4++) {
+ for (c6=2;c6<=N-1;c6++) {
+ S2(M,c4,c6);
+ }
+ }
+}