summaryrefslogtreecommitdiff
path: root/test/guide.cloog
diff options
context:
space:
mode:
Diffstat (limited to 'test/guide.cloog')
-rw-r--r--test/guide.cloog35
1 files changed, 35 insertions, 0 deletions
diff --git a/test/guide.cloog b/test/guide.cloog
new file mode 100644
index 0000000..5a35582
--- /dev/null
+++ b/test/guide.cloog
@@ -0,0 +1,35 @@
+# Language is C
+c
+
+# The context (no constraints on parameters)
+1 4 # 1 lines and 4 columns
+# m n 1
+1 0 0 0 # 0 >= 0, always true
+0 # CLooG will set parameters names automatically
+
+2 # The number of statements
+
+2 # First statement
+# The first domain
+3 5 # 3 lines and 5 columns
+# i m n 1
+1 1 0 0 -1 # i >= 1
+1 -1 0 1 0 # i <= n
+1 -1 2 0 0 # i <= 2*m
+# The second domain
+3 5 # 3 lines and 5 columns
+# i m n 1
+1 1 0 0 -1 # i >= 1
+1 -1 0 1 0 # i <= n
+1 1 -1 0 0 # i >= m
+0 0 0
+
+1 # Second statement
+2 5 # 4 lines and 6 columns
+# i m n 1
+1 1 0 -1 -1 # i >= 1
+1 -1 0 2 0 # i <= n
+0 0 0
+0 # CLooG will set iterators names automatically
+
+0