test_inputs/codegen/cloog/usvd_e_t.c

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