test/vivien.c

   1 /* Generated from ./vivien.cloog by CLooG 0.18.1-2-g43fc508 gmp bits in 0.07s. */
   2 if (n >= 0) {
   3   for (p1=-54*n+4;p1<=4;p1++) {
   4     if (p1%2 == 0) {
   5       S1(((p1-2)/2));
   6     }
   7   }
   8   if (n >= 1) {
   9     S3(1);
  10   }
  11   if (n <= 1) {
  12     S1(2);
  13   }
  14   if (n >= 2) {
  15     S4(1,2);
  16     S1(2);
  17     S6(1,2);
  18   }
  19   for (p1=7;p1<=min(9,4*n-2);p1++) {
  20     if (p1 == 8) {
  21       S4(1,3);
  22     }
  23     if (p1 == 8) {
  24       S1(3);
  25     }
  26     if (p1 == 8) {
  27       S6(1,3);
  28     }
  29     if (p1 == 9) {
  30       S3(2);
  31     }
  32     if ((p1+1)%2 == 0) {
  33       S2(((p1-3)/2),1);
  34     }
  35   }
  36   for (p1=10;p1<=min(2*n+58,4*n-2);p1++) {
  37     p2 = ceild(-p1+2,4);
  38     if (p2 <= min(floord(-p1+2*n,2),floord(-p1+5,4))) {
  39       if (p1%2 == 0) {
  40         S4(-p2,((p1+2*p2)/2));
  41       }
  42     }
  43     if (p1 >= 4*n-4) {
  44       if (p1%2 == 0) {
  45         for (p3=1;p3<=floord(p1-2*n-2,2);p3++) {
  46           S5(((p1-2*n)/2),n,p3);
  47         }
  48       }
  49     }
  50     p2 = ceild(-p1+6,4);
  51     if (p2 <= min(floord(-p1+2*n,2),floord(-p1+9,4))) {
  52       if (p1%2 == 0) {
  53         S4(-p2,((p1+2*p2)/2));
  54       }
  55       for (p3=1;p3<=-p2;p3++) {
  56         if (p1%2 == 0) {
  57           S5((-p2+1),((p1+2*p2-2)/2),p3);
  58         }
  59       }
  60     }
  61     for (p2=ceild(-p1+10,4);p2<=min(-1,floord(-p1+2*n,2));p2++) {
  62       if (p1%2 == 0) {
  63         S4(-p2,((p1+2*p2)/2));
  64       }
  65       if (p1%2 == 0) {
  66         S6((-p2+2),((p1+2*p2-4)/2));
  67       }
  68       for (p3=1;p3<=-p2;p3++) {
  69         if (p1%2 == 0) {
  70           S5((-p2+1),((p1+2*p2-2)/2),p3);
  71         }
  72       }
  73     }
  74     if ((p1 >= 2*n+4) && (p1 <= 4*n-6)) {
  75       if (p1%2 == 0) {
  76         S6(((p1-2*n+2)/2),(n-1));
  77         for (p3=1;p3<=floord(p1-2*n-2,2);p3++) {
  78           S5(((p1-2*n)/2),n,p3);
  79         }
  80       }
  81     }
  82     if (p1 >= 2*n+6) {
  83       if (p1%2 == 0) {
  84         S6(((p1-2*n)/2),n);
  85       }
  86     }
  87     if (p1 <= 2*n+4) {
  88       if (p1%2 == 0) {
  89         S6(2,((p1-4)/2));
  90       }
  91       if ((p1+3)%4 == 0) {
  92         S3(((p1-1)/4));
  93       }
  94       if (p1%2 == 0) {
  95         S1(((p1-2)/2));
  96       }
  97     }
  98     if (p1 >= 2*n+5) {
  99       if ((p1+3)%4 == 0) {
 100         S3(((p1-1)/4));
 101       }
 102       if (p1%2 == 0) {
 103         S1(((p1-2)/2));
 104       }
 105     }
 106     if (p1 <= 2*n+2) {
 107       if (p1%2 == 0) {
 108         S6(1,((p1-2)/2));
 109       }
 110     }
 111     for (p2=max(1,ceild(p1-2*n-1,2));p2<=floord(p1-3,4);p2++) {
 112       if ((p1+1)%2 == 0) {
 113         S2(((p1-2*p2-1)/2),p2);
 114       }
 115     }
 116   }
 117   if ((n >= 2) && (n <= 29)) {
 118     S2(n,(n-1));
 119   }
 120   if ((n >= 2) && (n <= 29)) {
 121     S1((2*n-1));
 122   }
 123   if ((n >= 2) && (n <= 28)) {
 124     S3(n);
 125   }
 126   for (p1=max(7,4*n+2);p1<=2*n+58;p1++) {
 127     if (p1%2 == 0) {
 128       S1(((p1-2)/2));
 129     }
 130   }
 131   for (p1=2*n+59;p1<=4*n-2;p1++) {
 132     p2 = ceild(-p1+2,4);
 133     if (p2 <= min(floord(-p1+2*n,2),floord(-p1+5,4))) {
 134       if (p1%2 == 0) {
 135         S4(-p2,((p1+2*p2)/2));
 136       }
 137     }
 138     if (p1 >= 4*n-4) {
 139       if (p1%2 == 0) {
 140         for (p3=1;p3<=floord(p1-2*n-2,2);p3++) {
 141           S5(((p1-2*n)/2),n,p3);
 142         }
 143       }
 144     }
 145     p2 = ceild(-p1+6,4);
 146     if (p2 <= min(floord(-p1+2*n,2),floord(-p1+9,4))) {
 147       if (p1%2 == 0) {
 148         S4(-p2,((p1+2*p2)/2));
 149       }
 150       for (p3=1;p3<=-p2;p3++) {
 151         if (p1%2 == 0) {
 152           S5((-p2+1),((p1+2*p2-2)/2),p3);
 153         }
 154       }
 155     }
 156     for (p2=ceild(-p1+10,4);p2<=floord(-p1+2*n,2);p2++) {
 157       if (p1%2 == 0) {
 158         S4(-p2,((p1+2*p2)/2));
 159       }
 160       if (p1%2 == 0) {
 161         S6((-p2+2),((p1+2*p2-4)/2));
 162       }
 163       for (p3=1;p3<=-p2;p3++) {
 164         if (p1%2 == 0) {
 165           S5((-p2+1),((p1+2*p2-2)/2),p3);
 166         }
 167       }
 168     }
 169     if (p1 <= 4*n-6) {
 170       if (p1%2 == 0) {
 171         S6(((p1-2*n+2)/2),(n-1));
 172         for (p3=1;p3<=floord(p1-2*n-2,2);p3++) {
 173           S5(((p1-2*n)/2),n,p3);
 174         }
 175       }
 176     }
 177     if (p1%2 == 0) {
 178       S6(((p1-2*n)/2),n);
 179     }
 180     if ((p1+3)%4 == 0) {
 181       S3(((p1-1)/4));
 182     }
 183     for (p2=ceild(p1-2*n-1,2);p2<=floord(p1-3,4);p2++) {
 184       if ((p1+1)%2 == 0) {
 185         S2(((p1-2*p2-1)/2),p2);
 186       }
 187     }
 188   }
 189   if (n >= 30) {
 190     S2(n,(n-1));
 191   }
 192   if (n >= 29) {
 193     S3(n);
 194   }
 195 }