diff options
Diffstat (limited to 'test/reservoir/pingali3.c.ppl')
-rw-r--r-- | test/reservoir/pingali3.c.ppl | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/test/reservoir/pingali3.c.ppl b/test/reservoir/pingali3.c.ppl new file mode 100644 index 0000000..cf5ed55 --- /dev/null +++ b/test/reservoir/pingali3.c.ppl @@ -0,0 +1,13 @@ +/* Generated from ././reservoir/pingali3.cloog by CLooG 0.15 64 bits in 0.01s. */ +for (c2=1;c2<=M;c2++) { + for (c4=1;c4<=M;c4++) { + S1(i = c2,j = c4) ; + } +} +for (c2=1;c2<=M;c2++) { + for (c4=1;c4<=M;c4++) { + for (c6=1;c6<=M;c6++) { + S2(i = c2,j = c4,k = c6) ; + } + } +} |