test/darte.c

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