test/polylib/reservoir/liu-zhuge1.c

   1 /* Generated from ../../../git/cloog/test/./reservoir/liu-zhuge1.cloog by CLooG 0.14.0-136-gb91ef26 gmp bits in 0.06s. */
   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   if (M <= 1) {
  11     for (c2=0;c2<=3*M+N-4;c2++) {
  12       for (c4=max(0,c2-3*M);c4<=c2;c4++) {
  13         if ((c2+2*c4)%3 == 0) {
  14           S2((c2-c4)/3,c4) ;
  15         }
  16       }
  17       for (c4=c2-3*M+4;c4<=min(N,c2+4);c4++) {
  18         if ((c2+2*c4+1)%3 == 0) {
  19           S1((c2-c4+4)/3,c4) ;
  20         }
  21       }
  22       for (c4=max(0,c2-3*M);c4<=c2;c4++) {
  23         if ((c2+2*c4)%3 == 0) {
  24           S3((c2-c4)/3,c4) ;
  25         }
  26       }
  27     }
  28   }
  29   for (c2=0;c2<=min(3*M-4,N-1);c2++) {
  30     for (c4=0;c4<=c2;c4++) {
  31       if ((c2+2*c4)%3 == 0) {
  32         S2((c2-c4)/3,c4) ;
  33       }
  34       if ((c2+2*c4+1)%3 == 0) {
  35         S1((c2-c4+4)/3,c4) ;
  36       }
  37     }
  38     for (c4=c2+1;c4<=min(N,c2+4);c4++) {
  39       if ((c2+2*c4+1)%3 == 0) {
  40         S1((c2-c4+4)/3,c4) ;
  41       }
  42     }
  43     for (c4=0;c4<=c2;c4++) {
  44       if ((c2+2*c4)%3 == 0) {
  45         S3((c2-c4)/3,c4) ;
  46       }
  47     }
  48   }
  49   if (M >= 2) {
  50     for (c2=3*M-3;c2<=N-1;c2++) {
  51       for (c4=max(0,c2-3*M);c4<=c2-3*M+3;c4++) {
  52         if ((c2+2*c4)%3 == 0) {
  53           S2((c2-c4)/3,c4) ;
  54         }
  55       }
  56       for (c4=c2-3*M+4;c4<=c2;c4++) {
  57         if ((c2+2*c4)%3 == 0) {
  58           S2((c2-c4)/3,c4) ;
  59         }
  60         if ((c2+2*c4+1)%3 == 0) {
  61           S1((c2-c4+4)/3,c4) ;
  62         }
  63       }
  64       for (c4=c2+1;c4<=min(N,c2+4);c4++) {
  65         if ((c2+2*c4+1)%3 == 0) {
  66           S1((c2-c4+4)/3,c4) ;
  67         }
  68       }
  69       for (c4=max(0,c2-3*M);c4<=c2;c4++) {
  70         if ((c2+2*c4)%3 == 0) {
  71           S3((c2-c4)/3,c4) ;
  72         }
  73       }
  74     }
  75   }
  76   for (c2=N;c2<=3*M-4;c2++) {
  77     for (c4=0;c4<=N;c4++) {
  78       if ((c2+2*c4)%3 == 0) {
  79         S2((c2-c4)/3,c4) ;
  80       }
  81       if ((c2+2*c4+1)%3 == 0) {
  82         S1((c2-c4+4)/3,c4) ;
  83       }
  84     }
  85     for (c4=0;c4<=N;c4++) {
  86       if ((c2+2*c4)%3 == 0) {
  87         S3((c2-c4)/3,c4) ;
  88       }
  89     }
  90   }
  91   for (c2=max(N,3*M-3);c2<=3*M+N-4;c2++) {
  92     for (c4=max(0,c2-3*M);c4<=c2-3*M+3;c4++) {
  93       if ((c2+2*c4)%3 == 0) {
  94         S2((c2-c4)/3,c4) ;
  95       }
  96     }
  97     for (c4=c2-3*M+4;c4<=N;c4++) {
  98       if ((c2+2*c4)%3 == 0) {
  99         S2((c2-c4)/3,c4) ;
 100       }
 101       if ((c2+2*c4+1)%3 == 0) {
 102         S1((c2-c4+4)/3,c4) ;
 103       }
 104     }
 105     for (c4=max(0,c2-3*M);c4<=N;c4++) {
 106       if ((c2+2*c4)%3 == 0) {
 107         S3((c2-c4)/3,c4) ;
 108       }
 109     }
 110   }
 111   for (c2=max(0,3*M+N-3);c2<=3*M+N;c2++) {
 112     for (c4=max(0,c2-3*M);c4<=min(N,c2);c4++) {
 113       if ((c2+2*c4)%3 == 0) {
 114         S2((c2-c4)/3,c4) ;
 115       }
 116     }
 117     for (c4=max(0,c2-3*M);c4<=min(N,c2);c4++) {
 118       if ((c2+2*c4)%3 == 0) {
 119         S3((c2-c4)/3,c4) ;
 120       }
 121     }
 122   }
 123 }