1 /* Generated from mg-interp.cloog by CLooG v0.14.0 64 bits in 0.26s. */
2 /* CLooG asked for 808 KBytes. */
3 if ((M
>= 2) && (N
>= 4)) {
4 for (c2
=1;c2
<=O
-1;c2
++) {
5 for (c6
=1;c6
<=M
;c6
++) {
6 S1(i
= c2
,j
= 1,k
= c6
) ;
8 for (c6
=1;c6
<=M
-1;c6
++) {
9 S6(i
= c2
,j
= 1,k
= c6
) ;
10 S7(i
= c2
,j
= 1,k
= c6
) ;
12 for (c6
=1;c6
<=M
;c6
++) {
13 S3(i
= c2
,j
= 1,k
= c6
) ;
15 for (c6
=1;c6
<=M
-1;c6
++) {
16 S1(i
= c2
,j
= 2,k
= c6
) ;
18 S1(i
= c2
,j
= 2,k
= M
) ;
19 for (c6
=1;c6
<=M
-1;c6
++) {
20 S6(i
= c2
,j
= 2,k
= c6
) ;
21 S7(i
= c2
,j
= 2,k
= c6
) ;
23 for (c6
=1;c6
<=M
-1;c6
++) {
24 S11(i
= c2
,j
= 1,k
= c6
) ;
26 for (c4
=3;c4
<=2*N
-5;c4
++) {
27 for (c6
=1;c6
<=M
-1;c6
++) {
33 for (c6
=1;c6
<=M
;c6
++) {
39 for (c6
=1;c6
<=M
-1;c6
++) {
54 for (c6
=1;c6
<=M
-1;c6
++) {
56 S11(i
= c2
,j
= c4
/2,k
= c6
) ;
61 for (c6
=1;c6
<=M
-1;c6
++) {
66 for (c6
=1;c6
<=M
-1;c6
++) {
71 for (c6
=1;c6
<=M
-1;c6
++) {
75 for (c6
=1;c6
<=M
;c6
++) {
80 for (c6
=1;c6
<=M
-1;c6
++) {
85 for (c6
=1;c6
<=M
-1;c6
++) {
91 if ((M
>= 2) && (N
== 3)) {
92 for (c2
=1;c2
<=O
-1;c2
++) {
93 for (c6
=1;c6
<=M
;c6
++) {
94 S1(i
= c2
,j
= 1,k
= c6
) ;
96 for (c6
=1;c6
<=M
-1;c6
++) {
97 S6(i
= c2
,j
= 1,k
= c6
) ;
98 S7(i
= c2
,j
= 1,k
= c6
) ;
100 for (c6
=1;c6
<=M
;c6
++) {
101 S3(i
= c2
,j
= 1,k
= c6
) ;
103 for (c6
=1;c6
<=M
-1;c6
++) {
104 S1(i
= c2
,j
= 2,k
= c6
) ;
106 S1(i
= c2
,j
= 2,k
= M
) ;
107 for (c6
=1;c6
<=M
-1;c6
++) {
108 S6(i
= c2
,j
= 2,k
= c6
) ;
109 S7(i
= c2
,j
= 2,k
= c6
) ;
111 for (c6
=1;c6
<=M
-1;c6
++) {
112 S11(i
= c2
,j
= 1,k
= c6
) ;
114 for (c6
=1;c6
<=M
-1;c6
++) {
118 for (c6
=1;c6
<=M
;c6
++) {
122 for (c6
=1;c6
<=M
-1;c6
++) {
126 for (c6
=1;c6
<=M
-1;c6
++) {
132 if ((M
>= 2) && (N
== 2)) {
133 for (c2
=1;c2
<=O
-1;c2
++) {
134 for (c6
=1;c6
<=M
;c6
++) {
135 S1(i
= c2
,j
= 1,k
= c6
) ;
137 for (c6
=1;c6
<=M
-1;c6
++) {
138 S6(i
= c2
,j
= 1,k
= c6
) ;
139 S7(i
= c2
,j
= 1,k
= c6
) ;
141 for (c6
=1;c6
<=M
;c6
++) {
142 S3(i
= c2
,j
= 1,k
= c6
) ;
144 for (c6
=1;c6
<=M
-1;c6
++) {
145 S11(i
= c2
,j
= 1,k
= c6
) ;
147 for (c6
=1;c6
<=M
-1;c6
++) {
153 if ((M
== 1) && (N
>= 3)) {
154 for (c2
=1;c2
<=O
-1;c2
++) {
155 for (c4
=-1;c4
<=0;c4
++) {
161 for (c4
=1;c4
<=2*N
-5;c4
++) {
171 for (c4
=2*N
-4;c4
<=2*N
-3;c4
++) {
179 if ((M
== 1) && (N
== 2)) {
180 for (c2
=1;c2
<=O
-1;c2
++) {
181 S1(i
= c2
,j
= 1,k
= 1) ;
182 S3(i
= c2
,j
= 1,k
= 1) ;
185 if ((M
>= 2) && (N
>= 3)) {
186 for (c2
=1;c2
<=O
-1;c2
++) {
187 for (c6
=1;c6
<=M
;c6
++) {
188 S2(i
= c2
,j
= 1,k
= c6
) ;
190 for (c6
=1;c6
<=M
-1;c6
++) {
191 S8(i
= c2
,j
= 1,k
= c6
) ;
193 for (c4
=3;c4
<=2*N
-2;c4
++) {
194 for (c6
=1;c6
<=M
;c6
++) {
196 S2(i
= c2
,j
= c4
/2,k
= c6
) ;
199 for (c6
=1;c6
<=M
-1;c6
++) {
201 S8(i
= c2
,j
= c4
/2,k
= c6
) ;
204 for (c6
=1;c6
<=M
-1;c6
++) {
212 for (c6
=1;c6
<=M
-1;c6
++) {
218 if ((M
>= 2) && (N
== 2)) {
219 for (c2
=1;c2
<=O
-1;c2
++) {
220 for (c6
=1;c6
<=M
;c6
++) {
221 S2(i
= c2
,j
= 1,k
= c6
) ;
223 for (c6
=1;c6
<=M
-1;c6
++) {
224 S8(i
= c2
,j
= 1,k
= c6
) ;
226 for (c6
=1;c6
<=M
-1;c6
++) {
232 if ((M
== 1) && (N
>= 2)) {
233 for (c2
=1;c2
<=O
-1;c2
++) {
234 for (c4
=2;c4
<=2*N
-2;c4
++) {
236 S2(i
= c2
,j
= c4
/2,k
= 1) ;
241 if ((M
>= 2) && (N
>= 2)) {
242 for (c2
=1;c2
<=O
-1;c2
++) {
243 for (c4
=1;c4
<=N
-1;c4
++) {
244 for (c6
=1;c6
<=M
-1;c6
++) {
245 S4(i
= c2
,j
= c4
,k
= c6
) ;
250 if ((M
>= 2) && (N
>= 2)) {
251 for (c2
=1;c2
<=O
-1;c2
++) {
252 for (c4
=1;c4
<=N
-1;c4
++) {
253 for (c6
=1;c6
<=M
-1;c6
++) {
254 S5(i
= c2
,j
= c4
,k
= c6
) ;
259 if ((M
>= P
+1) && (N
>= Q
+1)) {
260 for (c2
=R
;c2
<=O
-1;c2
++) {
261 for (c4
=Q
;c4
<=N
-1;c4
++) {
262 for (c6
=P
;c6
<=M
-1;c6
++) {
263 S12(i
= c2
,j
= c4
,k
= c6
) ;
268 if ((M
>= 2) && (N
>= Q
+1)) {
269 for (c2
=R
;c2
<=O
-1;c2
++) {
270 for (c4
=Q
;c4
<=N
-1;c4
++) {
271 for (c6
=1;c6
<=M
-1;c6
++) {
272 S13(i
= c2
,j
= c4
,k
= c6
) ;
277 if ((M
>= P
+1) && (N
>= 2)) {
278 for (c2
=R
;c2
<=O
-1;c2
++) {
279 for (c4
=1;c4
<=N
-1;c4
++) {
280 for (c6
=P
;c6
<=M
-1;c6
++) {
281 S14(i
= c2
,j
= c4
,k
= c6
) ;
286 if ((M
>= 2) && (N
>= 2)) {
287 for (c2
=R
;c2
<=O
-1;c2
++) {
288 for (c4
=1;c4
<=N
-1;c4
++) {
289 for (c6
=1;c6
<=M
-1;c6
++) {
290 S15(i
= c2
,j
= c4
,k
= c6
) ;