summaryrefslogtreecommitdiff
path: root/test/published/PACT2004/youcefn.cloog
diff options
context:
space:
mode:
Diffstat (limited to 'test/published/PACT2004/youcefn.cloog')
-rw-r--r--test/published/PACT2004/youcefn.cloog49
1 files changed, 49 insertions, 0 deletions
diff --git a/test/published/PACT2004/youcefn.cloog b/test/published/PACT2004/youcefn.cloog
new file mode 100644
index 0000000..3b7c0e1
--- /dev/null
+++ b/test/published/PACT2004/youcefn.cloog
@@ -0,0 +1,49 @@
+# Optimal code is in fact :
+#
+# for (i=0;i<=M;i++) {
+# S1 ;
+# for (j=0;j<=N;j++) {
+# S2 ;
+# }
+# S3 ;
+# }
+
+# language: C
+c
+
+# parameters {n, m | n>=2 m>=n}
+2 4
+1 1 0 -2
+1 -1 1 0
+1
+n m
+
+3 # Number of statements
+
+1
+# {i | 0<=i<=n i==j}
+3 6
+1 1 0 0 0 -1
+1 -1 0 1 0 0
+0 1 -1 0 0 0
+0 0 0
+
+1
+# {i | 0<=i<=n i<=j<=n}
+4 6
+1 1 0 0 0 -1
+1 -1 0 1 0 0
+1 -1 1 0 0 0
+1 0 -1 1 0 0
+0 0 0
+
+1
+# {i | 0<=i<=m j==n}
+3 6
+1 1 0 0 0 -1
+1 -1 0 0 1 0
+0 0 1 -1 0 0
+0 0 0
+0
+
+0 # Scattering functions