diff options
Diffstat (limited to 'test/guide.cloog')
-rw-r--r-- | test/guide.cloog | 35 |
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 |