test/non_optimal/usvd_e_t.c

   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 }