| blob | df7820e766c4e8efd7b8a9520a935f75a0b2803e |
1 /* Generated from ./reservoir/mg-interp.cloog by CLooG v0.14.0 gmp bits in 0.96s. */
2 /* CLooG asked for 3476 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) ;
7 }
8 for (c6=1;c6<=M-1;c6++) {
9 S6(i = c2,j = 1,k = c6) ;
10 S7(i = c2,j = 1,k = c6) ;
11 }
12 for (c6=1;c6<=M;c6++) {
13 S3(i = c2,j = 1,k = c6) ;
14 }
15 for (c6=1;c6<=M-1;c6++) {
16 S1(i = c2,j = 2,k = c6) ;
17 }
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) ;
22 }
23 for (c6=1;c6<=M-1;c6++) {
24 S11(i = c2,j = 1,k = c6) ;
25 }
26 for (c4=3;c4<=2*N-5;c4++) {
27 for (c6=1;c6<=M-1;c6++) {
28 if ((c4+1)%2 == 0) {
29 j = (c4-1)/2 ;
30 S10(i = c2,k = c6) ;
31 }
32 }
33 for (c6=1;c6<=M;c6++) {
34 if ((c4+1)%2 == 0) {
35 j = (c4+1)/2 ;
36 S3(i = c2,k = c6) ;
37 }
38 }
39 for (c6=1;c6<=M-1;c6++) {
40 if (c4%2 == 0) {
41 j = (c4+2)/2 ;
42 S6(i = c2,k = c6) ;
43 S7(i = c2,k = c6) ;
44 }
45 if ((c4+1)%2 == 0) {
46 j = (c4+3)/2 ;
47 S1(i = c2,k = c6) ;
48 }
49 }
50 if ((c4+1)%2 == 0) {
51 j = (c4+3)/2 ;
52 S1(i = c2,k = M) ;
53 }
54 for (c6=1;c6<=M-1;c6++) {
55 if (c4%2 == 0) {
56 S11(i = c2,j = c4/2,k = c6) ;
57 }
58 }
59 }
60 c4 = 2*N-4 ;
61 for (c6=1;c6<=M-1;c6++) {
62 j = N-1 ;
63 S6(i = c2,k = c6) ;
64 S7(i = c2,k = c6) ;
65 }
66 for (c6=1;c6<=M-1;c6++) {
67 j = N-2 ;
68 S11(i = c2,k = c6) ;
69 }
70 c4 = 2*N-3 ;
71 for (c6=1;c6<=M-1;c6++) {
72 j = N-2 ;
73 S10(i = c2,k = c6) ;
74 }
75 for (c6=1;c6<=M;c6++) {
76 j = N-1 ;
77 S3(i = c2,k = c6) ;
78 }
79 c4 = 2*N-2 ;
80 for (c6=1;c6<=M-1;c6++) {
81 j = N-1 ;
82 S11(i = c2,k = c6) ;
83 }
84 c4 = 2*N-1 ;
85 for (c6=1;c6<=M-1;c6++) {
86 j = N-1 ;
87 S10(i = c2,k = c6) ;
88 }
89 }
90 }
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) ;
95 }
96 for (c6=1;c6<=M-1;c6++) {
97 S6(i = c2,j = 1,k = c6) ;
98 S7(i = c2,j = 1,k = c6) ;
99 }
100 for (c6=1;c6<=M;c6++) {
101 S3(i = c2,j = 1,k = c6) ;
102 }
103 for (c6=1;c6<=M-1;c6++) {
104 S1(i = c2,j = 2,k = c6) ;
105 }
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) ;
110 }
111 for (c6=1;c6<=M-1;c6++) {
112 S11(i = c2,j = 1,k = c6) ;
113 }
114 for (c6=1;c6<=M-1;c6++) {
115 S10(i = c2,j = 1,k = c6) ;
116 }
117 for (c6=1;c6<=M;c6++) {
118 S3(i = c2,j = 2,k = c6) ;
119 }
120 for (c6=1;c6<=M-1;c6++) {
121 S11(i = c2,j = 2,k = c6) ;
122 }
123 for (c6=1;c6<=M-1;c6++) {
124 S10(i = c2,j = 2,k = c6) ;
125 }
126 }
127 }
128 if ((M >= 2) && (N == 2)) {
129 for (c2=1;c2<=O-1;c2++) {
130 for (c6=1;c6<=M;c6++) {
131 S1(i = c2,j = 1,k = c6) ;
132 }
133 for (c6=1;c6<=M-1;c6++) {
134 S6(i = c2,j = 1,k = c6) ;
135 S7(i = c2,j = 1,k = c6) ;
136 }
137 for (c6=1;c6<=M;c6++) {
138 S3(i = c2,j = 1,k = c6) ;
139 }
140 for (c6=1;c6<=M-1;c6++) {
141 S11(i = c2,j = 1,k = c6) ;
142 }
143 for (c6=1;c6<=M-1;c6++) {
144 S10(i = c2,j = 1,k = c6) ;
145 }
146 }
147 }
148 if ((M == 1) && (N >= 3)) {
149 for (c2=1;c2<=O-1;c2++) {
150 for (c4=-1;c4<=0;c4++) {
151 if ((c4+1)%2 == 0) {
152 j = (c4+3)/2 ;
153 S1(i = c2,k = 1) ;
154 }
155 }
156 for (c4=1;c4<=2*N-5;c4++) {
157 if ((c4+1)%2 == 0) {
158 j = (c4+1)/2 ;
159 S3(i = c2,k = 1) ;
160 }
161 if ((c4+1)%2 == 0) {
162 j = (c4+3)/2 ;
163 S1(i = c2,k = 1) ;
164 }
165 }
166 for (c4=2*N-4;c4<=2*N-3;c4++) {
167 if ((c4+1)%2 == 0) {
168 j = (c4+1)/2 ;
169 S3(i = c2,k = 1) ;
170 }
171 }
172 }
173 }
174 if ((M == 1) && (N == 2)) {
175 for (c2=1;c2<=O-1;c2++) {
176 S1(i = c2,j = 1,k = 1) ;
177 S3(i = c2,j = 1,k = 1) ;
178 }
179 }
180 if ((M >= 2) && (N >= 3)) {
181 for (c2=1;c2<=O-1;c2++) {
182 for (c6=1;c6<=M;c6++) {
183 S2(i = c2,j = 1,k = c6) ;
184 }
185 for (c6=1;c6<=M-1;c6++) {
186 S8(i = c2,j = 1,k = c6) ;
187 }
188 for (c4=3;c4<=2*N-2;c4++) {
189 for (c6=1;c6<=M;c6++) {
190 if (c4%2 == 0) {
191 S2(i = c2,j = c4/2,k = c6) ;
192 }
193 }
194 for (c6=1;c6<=M-1;c6++) {
195 if (c4%2 == 0) {
196 S8(i = c2,j = c4/2,k = c6) ;
197 }
198 }
199 for (c6=1;c6<=M-1;c6++) {
200 if ((c4+1)%2 == 0) {
201 j = (c4-1)/2 ;
202 S9(i = c2,k = c6) ;
203 }
204 }
205 }
206 c4 = 2*N-1 ;
207 for (c6=1;c6<=M-1;c6++) {
208 j = N-1 ;
209 S9(i = c2,k = c6) ;
210 }
211 }
212 }
213 if ((M >= 2) && (N == 2)) {
214 for (c2=1;c2<=O-1;c2++) {
215 for (c6=1;c6<=M;c6++) {
216 S2(i = c2,j = 1,k = c6) ;
217 }
218 for (c6=1;c6<=M-1;c6++) {
219 S8(i = c2,j = 1,k = c6) ;
220 }
221 for (c6=1;c6<=M-1;c6++) {
222 S9(i = c2,j = 1,k = c6) ;
223 }
224 }
225 }
226 if ((M == 1) && (N >= 2)) {
227 for (c2=1;c2<=O-1;c2++) {
228 for (c4=2;c4<=2*N-2;c4++) {
229 if (c4%2 == 0) {
230 S2(i = c2,j = c4/2,k = 1) ;
231 }
232 }
233 }
234 }
235 if ((M >= 2) && (N >= 2)) {
236 for (c2=1;c2<=O-1;c2++) {
237 for (c4=1;c4<=N-1;c4++) {
238 for (c6=1;c6<=M-1;c6++) {
239 S4(i = c2,j = c4,k = c6) ;
240 }
241 }
242 }
243 }
244 if ((M >= 2) && (N >= 2)) {
245 for (c2=1;c2<=O-1;c2++) {
246 for (c4=1;c4<=N-1;c4++) {
247 for (c6=1;c6<=M-1;c6++) {
248 S5(i = c2,j = c4,k = c6) ;
249 }
250 }
251 }
252 }
253 if ((M >= P+1) && (N >= Q+1)) {
254 for (c2=R;c2<=O-1;c2++) {
255 for (c4=Q;c4<=N-1;c4++) {
256 for (c6=P;c6<=M-1;c6++) {
257 S12(i = c2,j = c4,k = c6) ;
258 }
259 }
260 }
261 }
262 if ((M >= 2) && (N >= Q+1)) {
263 for (c2=R;c2<=O-1;c2++) {
264 for (c4=Q;c4<=N-1;c4++) {
265 for (c6=1;c6<=M-1;c6++) {
266 S13(i = c2,j = c4,k = c6) ;
267 }
268 }
269 }
270 }
271 if ((M >= P+1) && (N >= 2)) {
272 for (c2=R;c2<=O-1;c2++) {
273 for (c4=1;c4<=N-1;c4++) {
274 for (c6=P;c6<=M-1;c6++) {
275 S14(i = c2,j = c4,k = c6) ;
276 }
277 }
278 }
279 }
280 if ((M >= 2) && (N >= 2)) {
281 for (c2=R;c2<=O-1;c2++) {
282 for (c4=1;c4<=N-1;c4++) {
283 for (c6=1;c6<=M-1;c6++) {
284 S15(i = c2,j = c4,k = c6) ;
285 }
286 }
287 }
288 }