Fix include directory for libcloog-isl
[cloog/bastoul.git] / test / challenges / challenge1.cloog
blob06e9c13e7575b74fa05aa7ccf9cd04fb032c8b00
1 #----------------------Function is main\r
2 \r
3 #-------------------CONTEXT------------------------\r
4    c # language is c\r
5    # Context (no constarints on parameters)\r
6    1 3          # 1 lines and 3 coloumns\r
7    #   m   1\r
8    0   0   0\r
9 \r
10    1 # We want to set manually the parameter names\r
11    m    # parameter names\r
13 #---------------------STATEMENTS--------------------\r
14    5 #Number of Statements\r
16    3 #STMT 1 at line no. 18 has 3 domain\r
17    # Domain 1\r
18    7 6\r
19    #   i   j   k   m   1\r
20    1   1   0   0   0   0\r
21    1  -1   0   0  11   0\r
22    1   0   1   0   0   0\r
23    1   0  -1   0   0   7\r
24    1   0   0   1   0   0\r
25    1   1   1  -2   3   0\r
26    1   0   0  -1   0   3\r
28    # Domain 2\r
29    7 6\r
30    #   i   j   k   m   1\r
31    1   1   0   0   0   0\r
32    1  -1   0   0  11   0\r
33    1   0   1   0   0   0\r
34    1   0  -1   0   0   7\r
35    1   0   0   1   0   0\r
36    1   1   1  -2   3   0\r
37    1   0   0   2  -3   0\r
39    # Domain 3\r
40    7 6\r
41    #   i   j   k   m   1\r
42    1   1   0   0   0   0\r
43    1  -1   0   0  11   0\r
44    1   0   1   0   0   0\r
45    1   0  -1   0   0   7\r
46    1   0   0   1   0   0\r
47    1   1   1  -2   3   0\r
48    1   0   0   2  -2  -8\r
49    0   0   0\r
51    3 #STMT 2 at line no. 19 has 3 domain\r
52    # Domain 1\r
53    7 6\r
54    #   i   j   k   m   1\r
55    1   1   0   0   0   0\r
56    1  -1   0   0  11   0\r
57    1   0   1   0   0   0\r
58    1   0  -1   0   0   7\r
59    1   0   0   1   0   0\r
60    1   1   1  -2   3   0\r
61    1   0   0  -1   0   3\r
63    # Domain 2\r
64    7 6\r
65    #   i   j   k   m   1\r
66    1   1   0   0   0   0\r
67    1  -1   0   0  11   0\r
68    1   0   1   0   0   0\r
69    1   0  -1   0   0   7\r
70    1   0   0   1   0   0\r
71    1   1   1  -2   3   0\r
72    1   0   0   2  -3   0\r
74    # Domain 3\r
75    7 6\r
76    #   i   j   k   m   1\r
77    1   1   0   0   0   0\r
78    1  -1   0   0  11   0\r
79    1   0   1   0   0   0\r
80    1   0  -1   0   0   7\r
81    1   0   0   1   0   0\r
82    1   1   1  -2   3   0\r
83    1   0   0   2  -2  -8\r
84    0   0   0\r
86    3 #STMT 3 at line no. 20 has 3 domain\r
87    # Domain 1\r
88    7 6\r
89    #   i   j   k   m   1\r
90    1   1   0   0   0   0\r
91    1  -1   0   0  11   0\r
92    1   0   1   0   0   0\r
93    1   0  -1   0   0   7\r
94    1   0   0   1   0   0\r
95    1   1   1  -2   3   0\r
96    1   0   0  -1   0   3\r
98    # Domain 2\r
99    7 6\r
100    #   i   j   k   m   1\r
101    1   1   0   0   0   0\r
102    1  -1   0   0  11   0\r
103    1   0   1   0   0   0\r
104    1   0  -1   0   0   7\r
105    1   0   0   1   0   0\r
106    1   1   1  -2   3   0\r
107    1   0   0   2  -3   0\r
109    # Domain 3\r
110    7 6\r
111    #   i   j   k   m   1\r
112    1   1   0   0   0   0\r
113    1  -1   0   0  11   0\r
114    1   0   1   0   0   0\r
115    1   0  -1   0   0   7\r
116    1   0   0   1   0   0\r
117    1   1   1  -2   3   0\r
118    1   0   0   2  -2  -8\r
119    0   0   0\r
121    2 #STMT 4 at line no. 23 has 2 domain\r
122    # Domain 1\r
123    7 6\r
124    #   i   j   k   m   1\r
125    1   1   0   0   0   0\r
126    1  -1   0   0  11   0\r
127    1   0   1   0   0   0\r
128    1   0  -1   0   0   7\r
129    1   0   0   1   0   0\r
130    1   1   1  -2   3   0\r
131    1   0   0   1   0  -4\r
133    # Domain 2\r
134    7 6\r
135    #   i   j   k   m   1\r
136    1   1   0   0   0   0\r
137    1  -1   0   0  11   0\r
138    1   0   1   0   0   0\r
139    1   0  -1   0   0   7\r
140    1   0   0   1   0   0\r
141    1   1   1  -2   3   0\r
142    1   0   0  -2   6  -1\r
143    0   0   0\r
145    1 #STMT 5 at line no. 25 has 1 domain\r
146    # Domain 1\r
147    4 5\r
148    #   i   j   m   1\r
149    1   1   0   0   0\r
150    1  -1   0  11   0\r
151    1   0   1   0   0\r
152    1   0  -1   0   7\r
153    0   0   0\r
155    1 # Set Iterator Names\r
156    i   j   k    #Iterator Names\r
158 #---------------------SCATTERING FUNCTIONS--------------------\r
159    5 #Scattering functions\r
161 # Scattering Matrix for stmt at line no.18\r
162    7 13\r
163    #  p0  p1  p2  p3  p4  p5  p6   i   j   k   m   1\r
164    0   1   0   0   0   0   0   0   0   0   0   0  -3\r
165    0   0   1   0   0   0   0   0  -1   0   0   0   0\r
166    0   0   0   1   0   0   0   0   0   0   0   0   0\r
167    0   0   0   0   1   0   0   0   0  -1   0   0   0\r
168    0   0   0   0   0   1   0   0   0   0   0   0   0\r
169    0   0   0   0   0   0   1   0   0   0  -1   0   0\r
170    0   0   0   0   0   0   0   1   0   0   0   0   0\r
172 # Scattering Matrix for stmt at line no.19\r
173    7 13\r
174    #  p0  p1  p2  p3  p4  p5  p6   i   j   k   m   1\r
175    0   1   0   0   0   0   0   0   0   0   0   0  -3\r
176    0   0   1   0   0   0   0   0  -1   0   0   0   0\r
177    0   0   0   1   0   0   0   0   0   0   0   0   0\r
178    0   0   0   0   1   0   0   0   0  -1   0   0   0\r
179    0   0   0   0   0   1   0   0   0   0   0   0   0\r
180    0   0   0   0   0   0   1   0   0   0  -1   0   0\r
181    0   0   0   0   0   0   0   1   0   0   0   0  -1\r
183 # Scattering Matrix for stmt at line no.20\r
184    7 13\r
185    #  p0  p1  p2  p3  p4  p5  p6   i   j   k   m   1\r
186    0   1   0   0   0   0   0   0   0   0   0   0  -3\r
187    0   0   1   0   0   0   0   0  -1   0   0   0   0\r
188    0   0   0   1   0   0   0   0   0   0   0   0   0\r
189    0   0   0   0   1   0   0   0   0  -1   0   0   0\r
190    0   0   0   0   0   1   0   0   0   0   0   0   0\r
191    0   0   0   0   0   0   1   0   0   0  -1   0   0\r
192    0   0   0   0   0   0   0   1   0   0   0   0  -2\r
194 # Scattering Matrix for stmt at line no.23\r
195    7 13\r
196    #  p0  p1  p2  p3  p4  p5  p6   i   j   k   m   1\r
197    0   1   0   0   0   0   0   0   0   0   0   0  -3\r
198    0   0   1   0   0   0   0   0  -1   0   0   0   0\r
199    0   0   0   1   0   0   0   0   0   0   0   0   0\r
200    0   0   0   0   1   0   0   0   0  -1   0   0   0\r
201    0   0   0   0   0   1   0   0   0   0   0   0   0\r
202    0   0   0   0   0   0   1   0   0   0  -1   0   0\r
203    0   0   0   0   0   0   0   1   0   0   0   0  -3\r
205 # Scattering Matrix for stmt at line no.25\r
206    7 12\r
207    #  p0  p1  p2  p3  p4  p5  p6   i   j   m   1\r
208    0   1   0   0   0   0   0   0   0   0   0  -3\r
209    0   0   1   0   0   0   0   0  -1   0   0   0\r
210    0   0   0   1   0   0   0   0   0   0   0   0\r
211    0   0   0   0   1   0   0   0   0  -1   0   0\r
212    0   0   0   0   0   1   0   0   0   0   0  -1\r
213    0   0   0   0   0   0   1   0   0   0   0   0\r
214    0   0   0   0   0   0   0   1   0   0   0   0\r
216    1 # Set manually the scattering dimension names\r
217   p0  p1  p2  p3  p4  p5  p6    #Scattering dimension names\r