test/reservoir/liu-zhuge1.c

   1 /* Generated from ./reservoir/liu-zhuge1.cloog by CLooG 0.18.1-2-g43fc508 gmp bits in 0.02s. */
   2 if ((M >= 0) && (N >= 0)) {
   3   for (c2=-4;c2<=min(-1,3*M+N-4);c2++) {
   4     for (c4=max(0,c2-3*M+4);c4<=min(N,c2+4);c4++) {
   5       if ((c2+2*c4+1)%3 == 0) {
   6         S1(((c2-c4+4)/3),c4);
   7       }
   8     }
   9   }
  10   for (c2=0;c2<=3*M+N-4;c2++) {
  11     for (c4=max(0,c2-3*M);c4<=min(c2,c2-3*M+3);c4++) {
  12       if ((c2+2*c4)%3 == 0) {
  13         S2(((c2-c4)/3),c4);
  14       }
  15     }
  16     for (c4=max(0,c2-3*M+4);c4<=min(N,c2);c4++) {
  17       if ((c2+2*c4)%3 == 0) {
  18         S2(((c2-c4)/3),c4);
  19       }
  20       if ((c2+2*c4+1)%3 == 0) {
  21         S1(((c2-c4+4)/3),c4);
  22       }
  23     }
  24     for (c4=max(c2+1,c2-3*M+4);c4<=min(N,c2+4);c4++) {
  25       if ((c2+2*c4+1)%3 == 0) {
  26         S1(((c2-c4+4)/3),c4);
  27       }
  28     }
  29     for (c4=max(0,c2-3*M);c4<=min(N,c2);c4++) {
  30       if ((c2+2*c4)%3 == 0) {
  31         S3(((c2-c4)/3),c4);
  32       }
  33     }
  34   }
  35   for (c2=max(0,3*M+N-3);c2<=3*M+N;c2++) {
  36     for (c4=max(0,c2-3*M);c4<=min(N,c2);c4++) {
  37       if ((c2+2*c4)%3 == 0) {
  38         S2(((c2-c4)/3),c4);
  39       }
  40     }
  41     for (c4=max(0,c2-3*M);c4<=min(N,c2);c4++) {
  42       if ((c2+2*c4)%3 == 0) {
  43         S3(((c2-c4)/3),c4);
  44       }
  45     }
  46   }
  47 }