CLooG 0.18.4
[cloog.git] / test / emploi.cloog
blob0dd7a26967e8887f1c3f692c46c25c25008a438f
1 # language: 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 1 # We want to set the parameter names
9 m n
11 2 # The number of statements
13 2 # First statement
14 # The first domain
15 3 5              # 3 lines and 5 columns
16 #  i  m  n  1 
17 1  1  0  0 -1    #  i >= 1
18 1 -1  0  1  0    #  i <= n
19 1 -1  2  0  0    #  i <= 2*m
20 # The second domain
21 3 5              # 3 lines and 5 columns
22 #  i  m  n  1 
23 1  1  0  0 -1    #  i >= 1
24 1 -1  0  1  0    #  i <= n
25 1  1 -1  0  0    #  i >= m
26 0 0 0
28 1 # Second statement
29 4 6              # 4 lines and 6 columns
30 #  i  j  m  n  1 
31 1  1  0  0  0 -1 #  i >= 1
32 1 -1  0  0  1  0 #  i <= n
33 1  0  1  0  0 -1 #  j >= 1
34 1  0 -1  1  0  0 #  j <= m
35 0 0 0
38 0 # Scattering functions
39 # The first function
40 2 7                    # 2 lines and 7 columns
41 # c1 c2  i  m  n  1 
42 0  1  0 -1  0  0  0    #  c1 = i
43 0  0  1  0  0  0  0    #  c2 = 0
44 # The second function
45 2 8                    # 2 lines and 8 columns
46 # c1 c2  i  j  m  n  1 
47 0  1  0  0  0  0 -1  0 #  c1 = n
48 0  0  1 -1 -1  0  0  0 #  c2 = i+j