CLooG 0.18.4
[cloog.git] / test / guide.cloog
blob5a355827a9dfb314fcb5a3ea2134372cd245255e
1 # Language is C
4 # The context (no constraints on parameters)
5 1 4             # 1 lines and 4 columns
6 #  m  n  1
7 1  0  0  0      # 0 >= 0, always true
8 0 # CLooG will set parameters names automatically
10 2 # The number of statements
12 2 # First statement
13 # The first domain
14 3 5              # 3 lines and 5 columns
15 #  i  m  n  1 
16 1  1  0  0 -1    #  i >= 1
17 1 -1  0  1  0    #  i <= n
18 1 -1  2  0  0    #  i <= 2*m
19 # The second domain
20 3 5              # 3 lines and 5 columns
21 #  i  m  n  1 
22 1  1  0  0 -1    #  i >= 1
23 1 -1  0  1  0    #  i <= n
24 1  1 -1  0  0    #  i >= m
25 0 0 0
27 1 # Second statement
28 2 5              # 4 lines and 6 columns
29 #  i  m  n  1 
30 1  1  0 -1 -1 #  i >= 1
31 1 -1  0  2  0 #  i <= n
32 0 0 0
33 0 # CLooG will set iterators names automatically