test/dartef.c

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