test/isl/vivien.c

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