test/vivien2.c

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