CLooG 0.18.4
[cloog.git] / test / manual_gauss.cloog
blob222336668cc15418ff6a892c1529b64e465a78c8
1 # ---------------------- CONTEXT ----------------------
2 c # language is C
4 # Context (no constraints on one parameter)
5 1 3                     # 1 line and 3 columns    
6 # eq/in n  1
7     1   0  0            # 0 >= 0, always true
9 1 # We want to set manually the parameter name
10 n                       # parameter name
12 # --------------------- STATEMENTS --------------------
13 2 # Number of statements
15 1 # First statement: one domain
16 4 5                     # 4 lines and 3 columns
17 # eq/in i  j  n  1
18     1   1  0  0 -1      # i >= 1
19     1  -1  0  1 -1      # i <= n-1
20     1  -1  1  0 -1      # j >= i+1
21     1   0 -1  1  0      # j <= n
22 0  0  0                 # for future options
25 # Second statement: one domain
26 6 6                     # 6 lines and 3 columns
27 # eq/in i  j  k  n  1
28     1   1  0  0  0 -1   # i >= 1
29     1  -1  0  0  1 -1   # i <= n-1
30     1  -1  1  0  0 -1   # j >= i+1
31     1   0 -1  0  1  0   # j <= n
32     1  -1  0  1  0 -1   # k >= i+1
33     1   0  0 -1  1  0   # k <= n
34 0  0  0                 # for future options
36 0 # We let CLooG set the iterator names
38 # --------------------- SCATTERING --------------------
39 2 # Scattering functions
40 # First function
41 8 13                    # 3 lines and 3 columns
42 # eq/in p1 p2 p3 p4 p5 p6 p7 p8  i  j  n  1
43     0    1  0  0  0  0  0  0  0 -1  0  0  0     # p1 = i
44     0    0  1  0  0  0  0  0  0  0  0  0  0     # p2 = 0
45     0    0  0  1  0  0  0  0  0 -1  0  0  0     # p3 = i
46     0    0  0  0  1  0  0  0  0  0  0  0  0     # p4 = 0
47     0    0  0  0  0  1  0  0  0  0 -1  0  0     # p5 = j
48     0    0  0  0  0  0  1  0  0  0  0  0  0     # p6 = 0
49     0    0  0  0  0  0  0  1  0  0  0  0  0     # p7 = 0
50     0    0  0  0  0  0  0  0  1  0  0  0  0     # p8 = 0
51 # Second function
52 8 14                    # 3 lines and 3 columns
53 # eq/in p1 p2 p3 p4 p5 p6 p7 p8  i  j  k  n  1
54     0    1  0  0  0  0  0  0  0  0  0 -1  0  0  # p1 = k
55     0    0  1  0  0  0  0  0  0  0  0  0  0  0  # p2 = 0
56     0    0  0  1  0  0  0  0  0 -1  0  0  0  0  # p3 = i
57     0    0  0  0  1  0  0  0  0  0  0  0  0  0  # p4 = 0
58     0    0  0  0  0  1  0  0  0  0 -1  0  0  0  # p5 = j
59     0    0  0  0  0  0  1  0  0  0  0  0  0 -1  # p6 = 1
60     0    0  0  0  0  0  0  1  0  0  0 -1  0  0  # p7 = k
61     0    0  0  0  0  0  0  0  1  0  0  0  0  0  # p8 = 0
63 1 # We want to set manually the scattering dimension names
64 p1 p2 p3 p4 p5 p6 p7 p8 # scattering dimension names