test/darte.c

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