diff options
Diffstat (limited to 'test/reservoir/pingali6.c')
-rw-r--r-- | test/reservoir/pingali6.c | 29 |
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); + } + } +} |