summaryrefslogtreecommitdiff
path: root/test/reservoir/long.c.ppl
diff options
context:
space:
mode:
Diffstat (limited to 'test/reservoir/long.c.ppl')
-rw-r--r--test/reservoir/long.c.ppl20
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) ;
+ }
+ }
+}