test/darte.c

   1 /* Generated from ./darte.cloog by CLooG 0.18.1-2-g43fc508 gmp bits in 0.02s. */
   2 if (n >= 1) {
   3   for (t3=n+3;t3<=3*n+1;t3++) {
   4     if ((t3+n+1)%2 == 0) {
   5       S1(1,n,((t3-n-1)/2));
   6     }
   7   }
   8   for (t1=-n+2;t1<=n-1;t1++) {
   9     if (t1 >= 0) {
  10       for (t3=t1+4;t3<=t1+2*n+2;t3++) {
  11         if ((t1+t3)%2 == 0) {
  12           S1((t1+1),1,((-t1+t3-2)/2));
  13         }
  14       }
  15     }
  16     for (t2=max(-t1+2,t1+3);t2<=-t1+4;t2++) {
  17       for (t3=t2+2;t3<=t2+2*n;t3++) {
  18         if ((t1+t2)%2 == 0) {
  19           if ((t1+t3)%2 == 0) {
  20             S1(((t1+t2)/2),((-t1+t2)/2),((-t2+t3)/2));
  21           }
  22         }
  23       }
  24     }
  25     for (t2=max(-t1+5,t1+3);t2<=min(-t1+2*n,t1+2*n);t2++) {
  26       for (t3=1;t3<=min(n,t2+1);t3++) {
  27         if ((t1+t2+1)%2 == 0) {
  28           S2(((t1+t2-3)/2),((-t1+t2-1)/2),t3);
  29         }
  30       }
  31       for (t3=t2+2;t3<=n;t3++) {
  32         if ((t1+t2+1)%2 == 0) {
  33           S2(((t1+t2-3)/2),((-t1+t2-1)/2),t3);
  34         }
  35         if ((t1+t2)%2 == 0) {
  36           if ((t1+t3)%2 == 0) {
  37             S1(((t1+t2)/2),((-t1+t2)/2),((-t2+t3)/2));
  38           }
  39         }
  40       }
  41       for (t3=max(n+1,t2+2);t3<=t2+2*n;t3++) {
  42         if ((t1+t2)%2 == 0) {
  43           if ((t1+t3)%2 == 0) {
  44             S1(((t1+t2)/2),((-t1+t2)/2),((-t2+t3)/2));
  45           }
  46         }
  47       }
  48     }
  49     if (t1 <= -1) {
  50       for (t3=1;t3<=n;t3++) {
  51         S2((t1+n-1),n,t3);
  52       }
  53     }
  54     for (t2=-t1+2*n+1;t2<=min(-t1+2*n+3,t1+2*n+1);t2++) {
  55       for (t3=1;t3<=n;t3++) {
  56         if ((t1+t2+1)%2 == 0) {
  57           S2(((t1+t2-3)/2),((-t1+t2-1)/2),t3);
  58         }
  59       }
  60     }
  61   }
  62   for (t3=1;t3<=n;t3++) {
  63     S2(n,1,t3);
  64   }
  65 }