test_inputs/codegen/cloog/usvd_e_t.c

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