test/polylib/vivien2.c

   1 /* Generated from ../../../git/cloog/test/vivien2.cloog by CLooG 0.14.0-136-gb91ef26 gmp bits in 0.48s. */
   2 for (p1=-54*n+4;p1<=4;p1++) {
   3   if (p1%2 == 0) {
   4     S1((p1-2)/2) ;
   5   }
   6 }
   7 S3(1) ;
   8 S4(1,2) ;
   9 S1(2) ;
  10 S6(1,2) ;
  11 for (p1=7;p1<=9;p1++) {
  12   for (p2=ceild(-p1+2,4);p2<=-1;p2++) {
  13     if (p1%2 == 0) {
  14       S4(-p2,(p1+2*p2)/2) ;
  15     }
  16   }
  17   if ((p1+3)%4 == 0) {
  18     S3((p1-1)/4) ;
  19   }
  20   if (p1%2 == 0) {
  21     S1((p1-2)/2) ;
  22   }
  23   if (p1%2 == 0) {
  24     S6(1,(p1-2)/2) ;
  25   }
  26   if ((p1+1)%2 == 0) {
  27     S2((p1-3)/2,1) ;
  28   }
  29 }
  30 S4(2,3) ;
  31 S4(1,4) ;
  32 S5(2,3,1) ;
  33 S6(2,3) ;
  34 S1(4) ;
  35 S6(1,4) ;
  36 for (p1=11;p1<=13;p1++) {
  37   p2 = floord(-p1+5,4) ;
  38   if (p1%2 == 0) {
  39     S4(-p2,(p1+2*p2)/2) ;
  40   }
  41   for (p2=ceild(-p1+6,4);p2<=-1;p2++) {
  42     if (p1%2 == 0) {
  43       S4(-p2,(p1+2*p2)/2) ;
  44     }
  45     for (p3=1;p3<=-p2;p3++) {
  46       if (p1%2 == 0) {
  47         S5(-p2+1,(p1+2*p2-2)/2,p3) ;
  48       }
  49     }
  50   }
  51   if (p1%2 == 0) {
  52     S6(2,(p1-4)/2) ;
  53   }
  54   if ((p1+3)%4 == 0) {
  55     S3((p1-1)/4) ;
  56   }
  57   if (p1%2 == 0) {
  58     S1((p1-2)/2) ;
  59   }
  60   if (p1%2 == 0) {
  61     S6(1,(p1-2)/2) ;
  62   }
  63   if ((p1+1)%2 == 0) {
  64     S2((p1-3)/2,1) ;
  65   }
  66   for (p2=2;p2<=floord(p1-3,4);p2++) {
  67     if ((p1+1)%2 == 0) {
  68       S2((p1-2*p2-1)/2,p2) ;
  69     }
  70   }
  71 }
  72 for (p1=14;p1<=2*n+2;p1++) {
  73   p2 = floord(-p1+5,4) ;
  74   if (p1%2 == 0) {
  75     S4(-p2,(p1+2*p2)/2) ;
  76   }
  77   p2 = floord(-p1+9,4) ;
  78   if (p1%2 == 0) {
  79     S4(-p2,(p1+2*p2)/2) ;
  80   }
  81   for (p3=1;p3<=-p2;p3++) {
  82     if (p1%2 == 0) {
  83       S5(-p2+1,(p1+2*p2-2)/2,p3) ;
  84     }
  85   }
  86   for (p2=ceild(-p1+10,4);p2<=-1;p2++) {
  87     if (p1%2 == 0) {
  88       S4(-p2,(p1+2*p2)/2) ;
  89     }
  90     if (p1%2 == 0) {
  91       S6(-p2+2,(p1+2*p2-4)/2) ;
  92     }
  93     for (p3=1;p3<=-p2;p3++) {
  94       if (p1%2 == 0) {
  95         S5(-p2+1,(p1+2*p2-2)/2,p3) ;
  96       }
  97     }
  98   }
  99   if (p1%2 == 0) {
 100     S6(2,(p1-4)/2) ;
 101   }
 102   if ((p1+3)%4 == 0) {
 103     S3((p1-1)/4) ;
 104   }
 105   if (p1%2 == 0) {
 106     S1((p1-2)/2) ;
 107   }
 108   if (p1%2 == 0) {
 109     S6(1,(p1-2)/2) ;
 110   }
 111   if ((p1+1)%2 == 0) {
 112     S2((p1-3)/2,1) ;
 113   }
 114   for (p2=2;p2<=floord(p1-3,4);p2++) {
 115     if ((p1+1)%2 == 0) {
 116       S2((p1-2*p2-1)/2,p2) ;
 117     }
 118   }
 119 }
 120 if ((n+1)%2 == 0) {
 121   S3((n+1)/2) ;
 122 }
 123 S2(n,1) ;
 124 for (p2=2;p2<=floord(n,2);p2++) {
 125   S2(-p2+n+1,p2) ;
 126 }
 127 for (p2=ceild(-n-1,2);p2<=floord(-2*n+1,4);p2++) {
 128   S4(-p2,p2+n+2) ;
 129 }
 130 for (p2=ceild(-n+1,2);p2<=floord(-2*n+5,4);p2++) {
 131   S4(-p2,p2+n+2) ;
 132   for (p3=1;p3<=-p2;p3++) {
 133     S5(-p2+1,p2+n+1,p3) ;
 134   }
 135 }
 136 for (p2=ceild(-n+3,2);p2<=-2;p2++) {
 137   S4(-p2,p2+n+2) ;
 138   S6(-p2+2,p2+n) ;
 139   for (p3=1;p3<=-p2;p3++) {
 140     S5(-p2+1,p2+n+1,p3) ;
 141   }
 142 }
 143 S6(3,n-1) ;
 144 S5(2,n,1) ;
 145 S6(2,n) ;
 146 S1(n+1) ;
 147 for (p1=2*n+5;p1<=min(2*n+58,4*n-10);p1++) {
 148   p2 = floord(-p1+5,4) ;
 149   if (p1%2 == 0) {
 150     S4(-p2,(p1+2*p2)/2) ;
 151   }
 152   p2 = floord(-p1+9,4) ;
 153   if (p1%2 == 0) {
 154     S4(-p2,(p1+2*p2)/2) ;
 155   }
 156   for (p3=1;p3<=-p2;p3++) {
 157     if (p1%2 == 0) {
 158       S5(-p2+1,(p1+2*p2-2)/2,p3) ;
 159     }
 160   }
 161   for (p2=ceild(-p1+10,4);p2<=floord(-p1+2*n,2);p2++) {
 162     if (p1%2 == 0) {
 163       S4(-p2,(p1+2*p2)/2) ;
 164     }
 165     if (p1%2 == 0) {
 166       S6(-p2+2,(p1+2*p2-4)/2) ;
 167     }
 168     for (p3=1;p3<=-p2;p3++) {
 169       if (p1%2 == 0) {
 170         S5(-p2+1,(p1+2*p2-2)/2,p3) ;
 171       }
 172     }
 173   }
 174   p2 = floord(-p1+2*n+2,2) ;
 175   if (p1%2 == 0) {
 176     S6(-p2+2,(p1+2*p2-4)/2) ;
 177   }
 178   for (p3=1;p3<=-p2;p3++) {
 179     if (p1%2 == 0) {
 180       S5(-p2+1,(p1+2*p2-2)/2,p3) ;
 181     }
 182   }
 183   for (p2=ceild(-p1+2*n+3,2);p2<=min(-1,floord(-p1+2*n+4,2));p2++) {
 184     if (p1%2 == 0) {
 185       S6(-p2+2,(p1+2*p2-4)/2) ;
 186     }
 187   }
 188   if ((p1+3)%4 == 0) {
 189     S3((p1-1)/4) ;
 190   }
 191   if (p1%2 == 0) {
 192     S1((p1-2)/2) ;
 193   }
 194   for (p2=ceild(p1-2*n-1,2);p2<=floord(p1-3,4);p2++) {
 195     if ((p1+1)%2 == 0) {
 196       S2((p1-2*p2-1)/2,p2) ;
 197     }
 198   }
 199 }
 200 for (p1=4*n-9;p1<=min(2*n+58,4*n-8);p1++) {
 201   p2 = floord(-p1+5,4) ;
 202   if (p1%2 == 0) {
 203     S4(-p2,(p1+2*p2)/2) ;
 204   }
 205   for (p2=ceild(-p1+6,4);p2<=floord(-p1+2*n,2);p2++) {
 206     if (p1%2 == 0) {
 207       S4(-p2,(p1+2*p2)/2) ;
 208     }
 209     for (p3=1;p3<=-p2;p3++) {
 210       if (p1%2 == 0) {
 211         S5(-p2+1,(p1+2*p2-2)/2,p3) ;
 212       }
 213     }
 214   }
 215   p2 = floord(-p1+2*n+2,2) ;
 216   if (p1%2 == 0) {
 217     S6(-p2+2,(p1+2*p2-4)/2) ;
 218   }
 219   for (p3=1;p3<=-p2;p3++) {
 220     if (p1%2 == 0) {
 221       S5(-p2+1,(p1+2*p2-2)/2,p3) ;
 222     }
 223   }
 224   p2 = floord(-p1+2*n+4,2) ;
 225   if (p1%2 == 0) {
 226     S6(-p2+2,(p1+2*p2-4)/2) ;
 227   }
 228   if ((p1+3)%4 == 0) {
 229     S3((p1-1)/4) ;
 230   }
 231   if (p1%2 == 0) {
 232     S1((p1-2)/2) ;
 233   }
 234   for (p2=ceild(p1-2*n-1,2);p2<=floord(p1-3,4);p2++) {
 235     if ((p1+1)%2 == 0) {
 236       S2((p1-2*p2-1)/2,p2) ;
 237     }
 238   }
 239 }
 240 for (p1=4*n-7;p1<=min(2*n+58,4*n-6);p1++) {
 241   p2 = floord(-p1+5,4) ;
 242   if (p1%2 == 0) {
 243     S4(-p2,(p1+2*p2)/2) ;
 244   }
 245   for (p2=ceild(-p1+6,4);p2<=floord(-p1+2*n,2);p2++) {
 246     if (p1%2 == 0) {
 247       S4(-p2,(p1+2*p2)/2) ;
 248     }
 249     for (p3=1;p3<=-p2;p3++) {
 250       if (p1%2 == 0) {
 251         S5(-p2+1,(p1+2*p2-2)/2,p3) ;
 252       }
 253     }
 254   }
 255   for (p2=ceild(-p1+2*n+1,2);p2<=floord(-p1+9,4);p2++) {
 256     for (p3=1;p3<=-p2;p3++) {
 257       if (p1%2 == 0) {
 258         S5(-p2+1,(p1+2*p2-2)/2,p3) ;
 259       }
 260     }
 261   }
 262   for (p2=ceild(-p1+10,4);p2<=floord(-p1+2*n+2,2);p2++) {
 263     if (p1%2 == 0) {
 264       S6(-p2+2,(p1+2*p2-4)/2) ;
 265     }
 266     for (p3=1;p3<=-p2;p3++) {
 267       if (p1%2 == 0) {
 268         S5(-p2+1,(p1+2*p2-2)/2,p3) ;
 269       }
 270     }
 271   }
 272   p2 = floord(-p1+2*n+4,2) ;
 273   if (p1%2 == 0) {
 274     S6(-p2+2,(p1+2*p2-4)/2) ;
 275   }
 276   if ((p1+3)%4 == 0) {
 277     S3((p1-1)/4) ;
 278   }
 279   if (p1%2 == 0) {
 280     S1((p1-2)/2) ;
 281   }
 282   for (p2=ceild(p1-2*n-1,2);p2<=floord(p1-3,4);p2++) {
 283     if ((p1+1)%2 == 0) {
 284       S2((p1-2*p2-1)/2,p2) ;
 285     }
 286   }
 287 }
 288 for (p1=4*n-5;p1<=2*n+58;p1++) {
 289   for (p2=ceild(-p1+2,4);p2<=floord(-p1+2*n,2);p2++) {
 290     if (p1%2 == 0) {
 291       S4(-p2,(p1+2*p2)/2) ;
 292     }
 293   }
 294   for (p2=max(ceild(-p1+2*n+1,2),ceild(-p1+6,4));p2<=floord(-p1+2*n+2,2);p2++) {
 295     for (p3=1;p3<=-p2;p3++) {
 296       if (p1%2 == 0) {
 297         S5(-p2+1,(p1+2*p2-2)/2,p3) ;
 298       }
 299     }
 300   }
 301   for (p2=max(ceild(-p1+2*n+3,2),ceild(-p1+10,4));p2<=floord(-p1+2*n+4,2);p2++) {
 302     if (p1%2 == 0) {
 303       S6(-p2+2,(p1+2*p2-4)/2) ;
 304     }
 305   }
 306   if ((p1+3)%4 == 0) {
 307     S3((p1-1)/4) ;
 308   }
 309   if (p1%2 == 0) {
 310     S1((p1-2)/2) ;
 311   }
 312   for (p2=ceild(p1-2*n-1,2);p2<=floord(p1-3,4);p2++) {
 313     if ((p1+1)%2 == 0) {
 314       S2((p1-2*p2-1)/2,p2) ;
 315     }
 316   }
 317 }
 318 for (p1=2*n+59;p1<=4*n-10;p1++) {
 319   p2 = floord(-p1+5,4) ;
 320   if (p1%2 == 0) {
 321     S4(-p2,(p1+2*p2)/2) ;
 322   }
 323   p2 = floord(-p1+9,4) ;
 324   if (p1%2 == 0) {
 325     S4(-p2,(p1+2*p2)/2) ;
 326   }
 327   for (p3=1;p3<=-p2;p3++) {
 328     if (p1%2 == 0) {
 329       S5(-p2+1,(p1+2*p2-2)/2,p3) ;
 330     }
 331   }
 332   for (p2=ceild(-p1+10,4);p2<=floord(-p1+2*n,2);p2++) {
 333     if (p1%2 == 0) {
 334       S4(-p2,(p1+2*p2)/2) ;
 335     }
 336     if (p1%2 == 0) {
 337       S6(-p2+2,(p1+2*p2-4)/2) ;
 338     }
 339     for (p3=1;p3<=-p2;p3++) {
 340       if (p1%2 == 0) {
 341         S5(-p2+1,(p1+2*p2-2)/2,p3) ;
 342       }
 343     }
 344   }
 345   p2 = floord(-p1+2*n+2,2) ;
 346   if (p1%2 == 0) {
 347     S6(-p2+2,(p1+2*p2-4)/2) ;
 348   }
 349   for (p3=1;p3<=-p2;p3++) {
 350     if (p1%2 == 0) {
 351       S5(-p2+1,(p1+2*p2-2)/2,p3) ;
 352     }
 353   }
 354   p2 = floord(-p1+2*n+4,2) ;
 355   if (p1%2 == 0) {
 356     S6(-p2+2,(p1+2*p2-4)/2) ;
 357   }
 358   if ((p1+3)%4 == 0) {
 359     S3((p1-1)/4) ;
 360   }
 361   for (p2=ceild(p1-2*n-1,2);p2<=floord(p1-3,4);p2++) {
 362     if ((p1+1)%2 == 0) {
 363       S2((p1-2*p2-1)/2,p2) ;
 364     }
 365   }
 366 }
 367 for (p1=max(2*n+59,4*n-9);p1<=4*n-8;p1++) {
 368   p2 = floord(-p1+5,4) ;
 369   if (p1%2 == 0) {
 370     S4(-p2,(p1+2*p2)/2) ;
 371   }
 372   for (p2=ceild(-p1+6,4);p2<=floord(-p1+2*n,2);p2++) {
 373     if (p1%2 == 0) {
 374       S4(-p2,(p1+2*p2)/2) ;
 375     }
 376     for (p3=1;p3<=-p2;p3++) {
 377       if (p1%2 == 0) {
 378         S5(-p2+1,(p1+2*p2-2)/2,p3) ;
 379       }
 380     }
 381   }
 382   p2 = floord(-p1+2*n+2,2) ;
 383   if (p1%2 == 0) {
 384     S6(-p2+2,(p1+2*p2-4)/2) ;
 385   }
 386   for (p3=1;p3<=-p2;p3++) {
 387     if (p1%2 == 0) {
 388       S5(-p2+1,(p1+2*p2-2)/2,p3) ;
 389     }
 390   }
 391   p2 = floord(-p1+2*n+4,2) ;
 392   if (p1%2 == 0) {
 393     S6(-p2+2,(p1+2*p2-4)/2) ;
 394   }
 395   if ((p1+3)%4 == 0) {
 396     S3((p1-1)/4) ;
 397   }
 398   for (p2=ceild(p1-2*n-1,2);p2<=floord(p1-3,4);p2++) {
 399     if ((p1+1)%2 == 0) {
 400       S2((p1-2*p2-1)/2,p2) ;
 401     }
 402   }
 403 }
 404 for (p1=max(2*n+59,4*n-7);p1<=4*n-6;p1++) {
 405   p2 = floord(-p1+5,4) ;
 406   if (p1%2 == 0) {
 407     S4(-p2,(p1+2*p2)/2) ;
 408   }
 409   for (p2=ceild(-p1+6,4);p2<=floord(-p1+2*n,2);p2++) {
 410     if (p1%2 == 0) {
 411       S4(-p2,(p1+2*p2)/2) ;
 412     }
 413     for (p3=1;p3<=-p2;p3++) {
 414       if (p1%2 == 0) {
 415         S5(-p2+1,(p1+2*p2-2)/2,p3) ;
 416       }
 417     }
 418   }
 419   for (p2=ceild(-p1+2*n+1,2);p2<=floord(-p1+9,4);p2++) {
 420     for (p3=1;p3<=-p2;p3++) {
 421       if (p1%2 == 0) {
 422         S5(-p2+1,(p1+2*p2-2)/2,p3) ;
 423       }
 424     }
 425   }
 426   for (p2=ceild(-p1+10,4);p2<=floord(-p1+2*n+2,2);p2++) {
 427     if (p1%2 == 0) {
 428       S6(-p2+2,(p1+2*p2-4)/2) ;
 429     }
 430     for (p3=1;p3<=-p2;p3++) {
 431       if (p1%2 == 0) {
 432         S5(-p2+1,(p1+2*p2-2)/2,p3) ;
 433       }
 434     }
 435   }
 436   p2 = floord(-p1+2*n+4,2) ;
 437   if (p1%2 == 0) {
 438     S6(-p2+2,(p1+2*p2-4)/2) ;
 439   }
 440   if ((p1+3)%4 == 0) {
 441     S3((p1-1)/4) ;
 442   }
 443   for (p2=ceild(p1-2*n-1,2);p2<=floord(p1-3,4);p2++) {
 444     if ((p1+1)%2 == 0) {
 445       S2((p1-2*p2-1)/2,p2) ;
 446     }
 447   }
 448 }
 449 for (p1=max(2*n+59,4*n-5);p1<=4*n-2;p1++) {
 450   for (p2=ceild(-p1+2,4);p2<=floord(-p1+2*n,2);p2++) {
 451     if (p1%2 == 0) {
 452       S4(-p2,(p1+2*p2)/2) ;
 453     }
 454   }
 455   for (p2=max(ceild(-p1+2*n+1,2),ceild(-p1+6,4));p2<=floord(-p1+2*n+2,2);p2++) {
 456     for (p3=1;p3<=-p2;p3++) {
 457       if (p1%2 == 0) {
 458         S5(-p2+1,(p1+2*p2-2)/2,p3) ;
 459       }
 460     }
 461   }
 462   for (p2=max(ceild(-p1+2*n+3,2),ceild(-p1+10,4));p2<=floord(-p1+2*n+4,2);p2++) {
 463     if (p1%2 == 0) {
 464       S6(-p2+2,(p1+2*p2-4)/2) ;
 465     }
 466   }
 467   if ((p1+3)%4 == 0) {
 468     S3((p1-1)/4) ;
 469   }
 470   for (p2=ceild(p1-2*n-1,2);p2<=floord(p1-3,4);p2++) {
 471     if ((p1+1)%2 == 0) {
 472       S2((p1-2*p2-1)/2,p2) ;
 473     }
 474   }
 475 }
 476 S2(n,n-1) ;
 477 for (p1=4*n;p1<=4*n+1;p1++) {
 478   if ((p1+3)%4 == 0) {
 479     S3((p1-1)/4) ;
 480   }
 481 }