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