diff options
Diffstat (limited to 'test/reservoir/long.c.ppl')
-rw-r--r-- | test/reservoir/long.c.ppl | 20 |
1 files changed, 20 insertions, 0 deletions
diff --git a/test/reservoir/long.c.ppl b/test/reservoir/long.c.ppl new file mode 100644 index 0000000..54f1f59 --- /dev/null +++ b/test/reservoir/long.c.ppl @@ -0,0 +1,20 @@ +/* Generated from long.cloog by CLooG v0.14.0 64 bits in 11.58s. */ +/* CLooG asked for 1888 KBytes. */ +for (c2=1;c2<=O-1;c2++) { + for (c4=Q;c4<=N-1;c4++) { + for (c6=P;c6<=M-1;c6++) { + S1(i = c2,j = c4,k = c6) ; + } + for (c6=1;c6<=M-1;c6++) { + S2(i = c2,j = c4,k = c6) ; + } + } + for (c4=1;c4<=N-1;c4++) { + for (c6=P;c6<=M-1;c6++) { + S3(i = c2,j = c4,k = c6) ; + } + for (c6=1;c6<=M-1;c6++) { + S4(i = c2,j = c4,k = c6) ; + } + } +} |