| blob | 469a1f6ef9d32f82aa5df241736eb7efa5d04d3d |
1 /* Generated by CLooG v0.10.7 */
2 for (i=0;i<=2;i++) {
3 S1(j = 0,k = 0) ;
4 S2(j = 0,k = 0) ;
5 for (j=1;j<=4;j++) {
6 S2(k = 0) ;
7 }
8 }
9 S1(i = 3,j = 0,k = 0) ;
10 S2(i = 3,j = 0,k = 0) ;
11 for (j=1;j<=4;j++) {
12 S2(i = 3,k = 0) ;
13 }
14 for (j=7;j<=11;j++) {
15 S8(i = 3,k = 0) ;
16 }
17 S1(i = 4,j = 0,k = 0) ;
18 S2(i = 4,j = 0,k = 0) ;
19 S3(i = 4,j = 0,k = 0) ;
20 S5(i = 4,j = 0,k = 0) ;
21 for (j=1;j<=4;j++) {
22 S2(i = 4,k = 0) ;
23 S5(i = 4,k = 0) ;
24 }
25 for (j=7;j<=11;j++) {
26 S8(i = 4,k = 0) ;
27 }
28 S6(i = 5,j = -4,k = 0) ;
29 S7(i = 5,j = -4,k = 0) ;
30 for (j=-3;j<=-1;j++) {
31 S7(i = 5,k = 0) ;
32 }
33 S3(i = 5,j = 0,k = 0) ;
34 S7(i = 5,j = 0,k = 0) ;
35 S4(i = 5,j = 1,k = -1) ;
36 S5(i = 5,j = 1,k = 0) ;
37 for (j=2;j<=4;j++) {
38 S5(i = 5,k = 0) ;
39 }
40 for (j=7;j<=11;j++) {
41 S8(i = 5,k = 0) ;
42 }
43 S6(i = 6,j = -4,k = 0) ;
44 S6(i = 6,j = -3,k = 0) ;
45 S7(i = 6,j = -3,k = 0) ;
46 for (j=-2;j<=-1;j++) {
47 S7(i = 6,k = 0) ;
48 }
49 S3(i = 6,j = 0,k = 0) ;
50 S7(i = 6,j = 0,k = 0) ;
51 S4(i = 6,j = 1,k = -1) ;
52 S4(i = 6,j = 2,k = -1) ;
53 S5(i = 6,j = 2,k = 0) ;
54 for (j=3;j<=4;j++) {
55 S5(i = 6,k = 0) ;
56 }
57 for (j=7;j<=11;j++) {
58 S8(i = 6,k = 0) ;
59 }
60 for (j=-4;j<=-3;j++) {
61 S6(i = 7,k = 0) ;
62 }
63 S6(i = 7,j = -2,k = 0) ;
64 S7(i = 7,j = -2,k = 0) ;
65 S7(i = 7,j = -1,k = 0) ;
66 S3(i = 7,j = 0,k = 0) ;
67 S7(i = 7,j = 0,k = 0) ;
68 for (j=1;j<=2;j++) {
69 S4(i = 7,k = -1) ;
70 }
71 S4(i = 7,j = 3,k = -1) ;
72 S5(i = 7,j = 3,k = 0) ;
73 S5(i = 7,j = 4,k = 0) ;
74 S9(i = 7,j = 4,k = 0) ;
75 S10(i = 7,j = 4,k = 0) ;
76 S11(i = 7,j = 4,k = 0) ;
77 S21(i = 7,j = 4,k = 0) ;
78 S23(i = 7,j = 4,k = 0) ;
79 S11(i = 7,j = 4,k = 1) ;
80 S16(i = 7,j = 4,k = 1) ;
81 S17(i = 7,j = 4,k = 1) ;
82 for (k=2;k<=4;k++) {
83 S11(i = 7,j = 4) ;
84 }
85 S12(i = 7,j = 5,k = 0) ;
86 S21(i = 7,j = 5,k = 0) ;
87 S22(i = 7,j = 5,k = 0) ;
88 S23(i = 7,j = 5,k = 0) ;
89 S12(i = 7,j = 5,k = 1) ;
90 S16(i = 7,j = 5,k = 1) ;
91 S17(i = 7,j = 5,k = 1) ;
92 for (k=2;k<=4;k++) {
93 S12(i = 7,j = 5) ;
94 }
95 S21(i = 7,j = 6,k = 0) ;
96 S22(i = 7,j = 6,k = 0) ;
97 S23(i = 7,j = 6,k = 0) ;
98 for (j=7;j<=8;j++) {
99 S8(i = 7,k = 0) ;
100 S21(i = 7,k = 0) ;
101 S22(i = 7,k = 0) ;
102 S23(i = 7,k = 0) ;
103 }
104 S8(i = 7,j = 9,k = 0) ;
105 S22(i = 7,j = 9,k = 0) ;
106 for (j=10;j<=11;j++) {
107 S8(i = 7,k = 0) ;
108 }
109 for (j=-4;j<=-2;j++) {
110 S6(i = 8,k = 0) ;
111 }
112 S6(i = 8,j = -1,k = 0) ;
113 S7(i = 8,j = -1,k = 0) ;
114 S3(i = 8,j = 0,k = 0) ;
115 S7(i = 8,j = 0,k = 0) ;
116 S19(i = 8,j = 1,k = -2) ;
117 S4(i = 8,j = 1,k = -1) ;
118 S19(i = 8,j = 1,k = -1) ;
119 S19(i = 8,j = 1,k = 0) ;
120 S15(i = 8,j = 1,k = 4) ;
121 S18(i = 8,j = 1,k = 4) ;
122 for (k=-4;k<=-3;k++) {
123 S14(i = 8,j = 2) ;
124 S20(i = 8,j = 2) ;
125 }
126 S14(i = 8,j = 2,k = -2) ;
127 S19(i = 8,j = 2,k = -2) ;
128 S20(i = 8,j = 2,k = -2) ;
129 S4(i = 8,j = 2,k = -1) ;
130 S14(i = 8,j = 2,k = -1) ;
131 S19(i = 8,j = 2,k = -1) ;
132 S20(i = 8,j = 2,k = -1) ;
133 S14(i = 8,j = 2,k = 0) ;
134 S19(i = 8,j = 2,k = 0) ;
135 S20(i = 8,j = 2,k = 0) ;
136 S15(i = 8,j = 2,k = 4) ;
137 S18(i = 8,j = 2,k = 4) ;
138 for (k=-4;k<=-2;k++) {
139 S14(i = 8,j = 3) ;
140 S20(i = 8,j = 3) ;
141 }
142 S4(i = 8,j = 3,k = -1) ;
143 S14(i = 8,j = 3,k = -1) ;
144 S20(i = 8,j = 3,k = -1) ;
145 S14(i = 8,j = 3,k = 0) ;
146 S20(i = 8,j = 3,k = 0) ;
147 S15(i = 8,j = 3,k = 4) ;
148 S18(i = 8,j = 3,k = 4) ;
149 for (k=-4;k<=-2;k++) {
150 S14(i = 8,j = 4) ;
151 S20(i = 8,j = 4) ;
152 }
153 S4(i = 8,j = 4,k = -1) ;
154 S14(i = 8,j = 4,k = -1) ;
155 S20(i = 8,j = 4,k = -1) ;
156 S5(i = 8,j = 4,k = 0) ;
157 S9(i = 8,j = 4,k = 0) ;
158 S10(i = 8,j = 4,k = 0) ;
159 S14(i = 8,j = 4,k = 0) ;
160 S20(i = 8,j = 4,k = 0) ;
161 S23(i = 8,j = 4,k = 0) ;
162 S13(i = 8,j = 4,k = 1) ;
163 S21(i = 8,j = 4,k = 1) ;
164 S23(i = 8,j = 4,k = 1) ;
165 S24(i = 8,j = 4,k = 1) ;
166 S13(i = 8,j = 4,k = 2) ;
167 S16(i = 8,j = 4,k = 2) ;
168 S17(i = 8,j = 4,k = 2) ;
169 S24(i = 8,j = 4,k = 2) ;
170 S13(i = 8,j = 4,k = 3) ;
171 S24(i = 8,j = 4,k = 3) ;
172 S13(i = 8,j = 4,k = 4) ;
173 S15(i = 8,j = 4,k = 4) ;
174 S23(i = 8,j = 5,k = 0) ;
175 S11(i = 8,j = 5,k = 1) ;
176 S21(i = 8,j = 5,k = 1) ;
177 S22(i = 8,j = 5,k = 1) ;
178 S23(i = 8,j = 5,k = 1) ;
179 S24(i = 8,j = 5,k = 1) ;
180 S11(i = 8,j = 5,k = 2) ;
181 S16(i = 8,j = 5,k = 2) ;
182 S17(i = 8,j = 5,k = 2) ;
183 S24(i = 8,j = 5,k = 2) ;
184 S11(i = 8,j = 5,k = 3) ;
185 S24(i = 8,j = 5,k = 3) ;
186 S11(i = 8,j = 5,k = 4) ;
187 S15(i = 8,j = 5,k = 4) ;
188 S23(i = 8,j = 6,k = 0) ;
189 S12(i = 8,j = 6,k = 1) ;
190 S21(i = 8,j = 6,k = 1) ;
191 S22(i = 8,j = 6,k = 1) ;
192 S23(i = 8,j = 6,k = 1) ;
193 S24(i = 8,j = 6,k = 1) ;
194 S12(i = 8,j = 6,k = 2) ;
195 S16(i = 8,j = 6,k = 2) ;
196 S17(i = 8,j = 6,k = 2) ;
197 S24(i = 8,j = 6,k = 2) ;
198 S12(i = 8,j = 6,k = 3) ;
199 S24(i = 8,j = 6,k = 3) ;
200 S12(i = 8,j = 6,k = 4) ;
201 for (j=7;j<=8;j++) {
202 S23(i = 8,k = 0) ;
203 S21(i = 8,k = 1) ;
204 S22(i = 8,k = 1) ;
205 S23(i = 8,k = 1) ;
206 S24(i = 8,k = 1) ;
207 for (k=2;k<=3;k++) {
208 S24(i = 8) ;
209 }
210 }
211 S22(i = 8,j = 9,k = 1) ;
212 S7(i = 9,j = 0,k = 0) ;
213 for (j=1;j<=2;j++) {
214 for (k=-1;k<=0;k++) {
215 S19(i = 9) ;
216 }
217 for (k=4;k<=5;k++) {
218 S15(i = 9) ;
219 S18(i = 9) ;
220 }
221 }
222 S20(i = 9,j = 3,k = -4) ;
223 for (k=-3;k<=-2;k++) {
224 S14(i = 9,j = 3) ;
225 S20(i = 9,j = 3) ;
226 }
227 for (k=-1;k<=0;k++) {
228 S14(i = 9,j = 3) ;
229 S19(i = 9,j = 3) ;
230 S20(i = 9,j = 3) ;
231 }
232 for (k=4;k<=5;k++) {
233 S15(i = 9,j = 3) ;
234 S18(i = 9,j = 3) ;
235 }
236 S20(i = 9,j = 4,k = -4) ;
237 for (k=-3;k<=-1;k++) {
238 S14(i = 9,j = 4) ;
239 S20(i = 9,j = 4) ;
240 }
241 S9(i = 9,j = 4,k = 0) ;
242 S10(i = 9,j = 4,k = 0) ;
243 S14(i = 9,j = 4,k = 0) ;
244 S20(i = 9,j = 4,k = 0) ;
245 S23(i = 9,j = 4,k = 0) ;
246 S23(i = 9,j = 4,k = 1) ;
247 S13(i = 9,j = 4,k = 2) ;
248 S21(i = 9,j = 4,k = 2) ;
249 S23(i = 9,j = 4,k = 2) ;
250 S24(i = 9,j = 4,k = 2) ;
251 S13(i = 9,j = 4,k = 3) ;
252 S16(i = 9,j = 4,k = 3) ;
253 S17(i = 9,j = 4,k = 3) ;
254 S24(i = 9,j = 4,k = 3) ;
255 S13(i = 9,j = 4,k = 4) ;
256 S15(i = 9,j = 4,k = 4) ;
257 S18(i = 9,j = 4,k = 4) ;
258 S15(i = 9,j = 4,k = 5) ;
259 S18(i = 9,j = 4,k = 5) ;
260 for (k=0;k<=1;k++) {
261 S23(i = 9,j = 5) ;
262 }
263 S13(i = 9,j = 5,k = 2) ;
264 S21(i = 9,j = 5,k = 2) ;
265 S22(i = 9,j = 5,k = 2) ;
266 S23(i = 9,j = 5,k = 2) ;
267 S24(i = 9,j = 5,k = 2) ;
268 S13(i = 9,j = 5,k = 3) ;
269 S16(i = 9,j = 5,k = 3) ;
270 S17(i = 9,j = 5,k = 3) ;
271 S24(i = 9,j = 5,k = 3) ;
272 S13(i = 9,j = 5,k = 4) ;
273 S15(i = 9,j = 5,k = 4) ;
274 S15(i = 9,j = 5,k = 5) ;
275 for (k=0;k<=1;k++) {
276 S23(i = 9,j = 6) ;
277 }
278 S11(i = 9,j = 6,k = 2) ;
279 S21(i = 9,j = 6,k = 2) ;
280 S22(i = 9,j = 6,k = 2) ;
281 S23(i = 9,j = 6,k = 2) ;
282 S24(i = 9,j = 6,k = 2) ;
283 S11(i = 9,j = 6,k = 3) ;
284 S16(i = 9,j = 6,k = 3) ;
285 S17(i = 9,j = 6,k = 3) ;
286 S24(i = 9,j = 6,k = 3) ;
287 S11(i = 9,j = 6,k = 4) ;
288 for (k=0;k<=1;k++) {
289 S23(i = 9,j = 7) ;
290 }
291 S12(i = 9,j = 7,k = 2) ;
292 S21(i = 9,j = 7,k = 2) ;
293 S22(i = 9,j = 7,k = 2) ;
294 S23(i = 9,j = 7,k = 2) ;
295 S24(i = 9,j = 7,k = 2) ;
296 S12(i = 9,j = 7,k = 3) ;
297 S16(i = 9,j = 7,k = 3) ;
298 S17(i = 9,j = 7,k = 3) ;
299 S24(i = 9,j = 7,k = 3) ;
300 S12(i = 9,j = 7,k = 4) ;
301 for (k=0;k<=1;k++) {
302 S23(i = 9,j = 8) ;
303 }
304 S21(i = 9,j = 8,k = 2) ;
305 S22(i = 9,j = 8,k = 2) ;
306 S23(i = 9,j = 8,k = 2) ;
307 S24(i = 9,j = 8,k = 2) ;
308 S24(i = 9,j = 8,k = 3) ;
309 S22(i = 9,j = 9,k = 2) ;
310 for (j=1;j<=3;j++) {
311 S19(i = 10,k = 0) ;
312 S26(i = 10,k = 3) ;
313 S15(i = 10,k = 4) ;
314 S18(i = 10,k = 4) ;
315 S25(i = 10,k = 4) ;
316 for (k=5;k<=6;k++) {
317 S15(i = 10) ;
318 S18(i = 10) ;
319 }
320 }
321 for (k=-4;k<=-3;k++) {
322 S20(i = 10,j = 4) ;
323 }
324 for (k=-2;k<=-1;k++) {
325 S14(i = 10,j = 4) ;
326 S20(i = 10,j = 4) ;
327 }
328 S9(i = 10,j = 4,k = 0) ;
329 S10(i = 10,j = 4,k = 0) ;
330 S14(i = 10,j = 4,k = 0) ;
331 S19(i = 10,j = 4,k = 0) ;
332 S20(i = 10,j = 4,k = 0) ;
333 S13(i = 10,j = 4,k = 3) ;
334 S21(i = 10,j = 4,k = 3) ;
335 S24(i = 10,j = 4,k = 3) ;
336 S26(i = 10,j = 4,k = 3) ;
337 S13(i = 10,j = 4,k = 4) ;
338 S15(i = 10,j = 4,k = 4) ;
339 S16(i = 10,j = 4,k = 4) ;
340 S17(i = 10,j = 4,k = 4) ;
341 S18(i = 10,j = 4,k = 4) ;
342 S25(i = 10,j = 4,k = 4) ;
343 for (k=5;k<=6;k++) {
344 S15(i = 10,j = 4) ;
345 S18(i = 10,j = 4) ;
346 }
347 S13(i = 10,j = 5,k = 3) ;
348 S21(i = 10,j = 5,k = 3) ;
349 S22(i = 10,j = 5,k = 3) ;
350 S24(i = 10,j = 5,k = 3) ;
351 S26(i = 10,j = 5,k = 3) ;
352 S13(i = 10,j = 5,k = 4) ;
353 S15(i = 10,j = 5,k = 4) ;
354 S16(i = 10,j = 5,k = 4) ;
355 S17(i = 10,j = 5,k = 4) ;
356 S18(i = 10,j = 5,k = 4) ;
357 S25(i = 10,j = 5,k = 4) ;
358 for (k=5;k<=6;k++) {
359 S15(i = 10,j = 5) ;
360 S18(i = 10,j = 5) ;
361 }
362 S13(i = 10,j = 6,k = 3) ;
363 S21(i = 10,j = 6,k = 3) ;
364 S22(i = 10,j = 6,k = 3) ;
365 S24(i = 10,j = 6,k = 3) ;
366 S13(i = 10,j = 6,k = 4) ;
367 S16(i = 10,j = 6,k = 4) ;
368 S17(i = 10,j = 6,k = 4) ;
369 S11(i = 10,j = 7,k = 3) ;
370 S21(i = 10,j = 7,k = 3) ;
371 S22(i = 10,j = 7,k = 3) ;
372 S24(i = 10,j = 7,k = 3) ;
373 S11(i = 10,j = 7,k = 4) ;
374 S16(i = 10,j = 7,k = 4) ;
375 S17(i = 10,j = 7,k = 4) ;
376 S12(i = 10,j = 8,k = 3) ;
377 S21(i = 10,j = 8,k = 3) ;
378 S22(i = 10,j = 8,k = 3) ;
379 S24(i = 10,j = 8,k = 3) ;
380 S12(i = 10,j = 8,k = 4) ;
381 S16(i = 10,j = 8,k = 4) ;
382 S17(i = 10,j = 8,k = 4) ;
383 S22(i = 10,j = 9,k = 3) ;
384 for (i=11;i<=14;i++) {
385 for (j=1;j<=5;j++) {
386 S26(k = 3) ;
387 S25(k = 4) ;
388 }
389 }