summaryrefslogtreecommitdiff
path: root/test/nul_ispdc.cloog
diff options
context:
space:
mode:
Diffstat (limited to 'test/nul_ispdc.cloog')
-rw-r--r--test/nul_ispdc.cloog39
1 files changed, 39 insertions, 0 deletions
diff --git a/test/nul_ispdc.cloog b/test/nul_ispdc.cloog
new file mode 100644
index 0000000..b039600
--- /dev/null
+++ b/test/nul_ispdc.cloog
@@ -0,0 +1,39 @@
+# language: C
+c
+
+# parameter n
+3 5
+# m n p 1
+1 1 -1 0 -1
+1 0 -1 1 -1
+0 0 1 0 -6
+1
+m n p
+
+2 # Number of statements
+
+1
+# {i, j, k | i=2*k+1; 1<=i<=m; 1<=j<=p}
+5 8
+# i k j m n p 1
+0 1 -2 0 0 0 0 -1 # i=2*k+1
+1 1 0 0 0 0 0 -1 # 1<=i
+1 -1 0 0 1 0 0 0 # i<=m
+1 0 0 1 0 0 0 -1 # 1<=j
+1 0 0 -1 0 0 1 0 # j<=p
+0 0 0
+
+1
+# {i, j, k | i=2*k+1; 1<=i<=n; 1<=j<=7-i}
+5 8
+# i k j m n p 1
+0 1 -2 0 0 0 0 -1 # i=2*k+1
+1 1 0 0 0 0 0 -1 # 1<=i
+1 -1 0 0 0 1 0 0 # i<=n
+1 0 0 1 0 0 0 -1 # 1<=j
+1 -1 0 -1 0 0 0 7 # j<=7-i
+0 0 0
+1
+i k j
+
+0 # Scattering functions