test/non_optimal/usvd_e_t.c.polylib

   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 }