summaryrefslogtreecommitdiff
path: root/cloog-core/test/yosr2.cloog
diff options
context:
space:
mode:
Diffstat (limited to 'cloog-core/test/yosr2.cloog')
-rw-r--r--cloog-core/test/yosr2.cloog71
1 files changed, 71 insertions, 0 deletions
diff --git a/cloog-core/test/yosr2.cloog b/cloog-core/test/yosr2.cloog
new file mode 100644
index 0000000..e9dea4a
--- /dev/null
+++ b/cloog-core/test/yosr2.cloog
@@ -0,0 +1,71 @@
+# language: C
+c
+
+# parameter n
+1 3
+# n 1
+1 1 -2
+0
+
+4 # Number of statements
+
+1
+# S2 {k, l | 1<=k<=n; 1<=l<=k-1}
+4 5
+# k l n 1
+1 1 0 0 -1
+1 -1 0 1 0
+1 0 1 0 -1
+1 1 -1 0 -1
+0 0 0
+
+1
+# S3 {k | 1<=k<=n}
+2 4
+# k n 1
+1 1 0 -1
+1 -1 1 0
+0 0 0
+
+1
+# S5 {k, i, m | 1<=k<=n; k+1<=i<=n 1<=m<=k-1}
+6 6
+# k i m n 1
+1 1 0 0 0 -1
+1 -1 0 0 1 0
+1 -1 1 0 0 -1
+1 0 -1 0 1 0
+1 0 0 1 0 -1
+1 1 0 -1 0 -1
+0 0 0
+
+1
+# S4 {k, i | 1<=k<=n; k+1<=i<=n}
+4 5
+# k i n 1
+1 1 0 0 -1
+1 -1 0 1 0
+1 -1 1 0 -1
+1 0 -1 1 0
+0 0 0
+0
+
+
+4 # Scattering functions
+1 6
+# c1 k l n 1
+0 1 -1 0 0 0
+
+1 5
+# c1 k n 1
+0 1 0 0 0
+
+1 7
+# c1 k i m n 1
+0 1 -1 0 0 0 0
+
+1 6
+# c1 k i n 1
+0 1 0 -1 0 0
+1
+proc