test/reservoir/liu-zhuge1.c.ppl

   1 /* Generated from ././reservoir/liu-zhuge1.cloog by CLooG 0.15 64 bits in 0.08s. */
   2 if ((M >= 0) && (N >= 0)) {
   3   for (c2=-4;c2<=min(3*M+N-4,-1);c2++) {
   4     for (c4=max(c2-3*M+4,0);c4<=min(c2+4,N);c4++) {
   5       if ((c2+2*c4+1)%3 == 0) {
   6         i = (c2-c4+4)/3 ;
   7         S1(j = c4) ;
   8       }
   9     }
  10   }
  11 }
  12 if ((M >= 0) && (M <= 1)) {
  13   for (c2=0;c2<=3*M+N-4;c2++) {
  14     for (c4=max(c2-3*M,0);c4<=c2;c4++) {
  15       if ((c2+2*c4)%3 == 0) {
  16         i = (c2-c4)/3 ;
  17         S2(j = c4) ;
  18       }
  19     }
  20     for (c4=c2-3*M+4;c4<=min(c2+4,N);c4++) {
  21       if ((c2+2*c4+1)%3 == 0) {
  22         i = (c2-c4+4)/3 ;
  23         S1(j = c4) ;
  24       }
  25     }
  26     for (c4=max(c2-3*M,0);c4<=c2;c4++) {
  27       if ((c2+2*c4)%3 == 0) {
  28         i = (c2-c4)/3 ;
  29         S3(j = c4) ;
  30       }
  31     }
  32   }
  33 }
  34 for (c2=0;c2<=min(3*M-4,N-1);c2++) {
  35   for (c4=0;c4<=c2;c4++) {
  36     if ((c2+2*c4)%3 == 0) {
  37       i = (c2-c4)/3 ;
  38       S2(j = c4) ;
  39     }
  40     if ((c2+2*c4+1)%3 == 0) {
  41       i = (c2-c4+4)/3 ;
  42       S1(j = c4) ;
  43     }
  44   }
  45   for (c4=c2+1;c4<=min(c2+4,N);c4++) {
  46     if ((c2+2*c4+1)%3 == 0) {
  47       i = (c2-c4+4)/3 ;
  48       S1(j = c4) ;
  49     }
  50   }
  51   for (c4=0;c4<=c2;c4++) {
  52     if ((c2+2*c4)%3 == 0) {
  53       i = (c2-c4)/3 ;
  54       S3(j = c4) ;
  55     }
  56   }
  57 }
  58 if (N >= 0) {
  59   for (c2=N;c2<=3*M-4;c2++) {
  60     for (c4=0;c4<=N;c4++) {
  61       if ((c2+2*c4)%3 == 0) {
  62         i = (c2-c4)/3 ;
  63         S2(j = c4) ;
  64       }
  65       if ((c2+2*c4+1)%3 == 0) {
  66         i = (c2-c4+4)/3 ;
  67         S1(j = c4) ;
  68       }
  69     }
  70     for (c4=0;c4<=N;c4++) {
  71       if ((c2+2*c4)%3 == 0) {
  72         i = (c2-c4)/3 ;
  73         S3(j = c4) ;
  74       }
  75     }
  76   }
  77 }
  78 if (M >= 2) {
  79   for (c2=3*M-3;c2<=N-1;c2++) {
  80     for (c4=max(c2-3*M,0);c4<=c2-3*M+3;c4++) {
  81       if ((c2+2*c4)%3 == 0) {
  82         i = (c2-c4)/3 ;
  83         S2(j = c4) ;
  84       }
  85     }
  86     for (c4=c2-3*M+4;c4<=c2;c4++) {
  87       if ((c2+2*c4)%3 == 0) {
  88         i = (c2-c4)/3 ;
  89         S2(j = c4) ;
  90       }
  91       if ((c2+2*c4+1)%3 == 0) {
  92         i = (c2-c4+4)/3 ;
  93         S1(j = c4) ;
  94       }
  95     }
  96     for (c4=c2+1;c4<=min(c2+4,N);c4++) {
  97       if ((c2+2*c4+1)%3 == 0) {
  98         i = (c2-c4+4)/3 ;
  99         S1(j = c4) ;
 100       }
 101     }
 102     for (c4=max(c2-3*M,0);c4<=c2;c4++) {
 103       if ((c2+2*c4)%3 == 0) {
 104         i = (c2-c4)/3 ;
 105         S3(j = c4) ;
 106       }
 107     }
 108   }
 109 }
 110 for (c2=max(3*M-3,N);c2<=3*M+N-4;c2++) {
 111   for (c4=max(c2-3*M,0);c4<=c2-3*M+3;c4++) {
 112     if ((c2+2*c4)%3 == 0) {
 113       i = (c2-c4)/3 ;
 114       S2(j = c4) ;
 115     }
 116   }
 117   for (c4=c2-3*M+4;c4<=N;c4++) {
 118     if ((c2+2*c4)%3 == 0) {
 119       i = (c2-c4)/3 ;
 120       S2(j = c4) ;
 121     }
 122     if ((c2+2*c4+1)%3 == 0) {
 123       i = (c2-c4+4)/3 ;
 124       S1(j = c4) ;
 125     }
 126   }
 127   for (c4=max(c2-3*M,0);c4<=N;c4++) {
 128     if ((c2+2*c4)%3 == 0) {
 129       i = (c2-c4)/3 ;
 130       S3(j = c4) ;
 131     }
 132   }
 133 }
 134 if ((M >= 0) && (N >= 0)) {
 135   for (c2=max(3*M+N-3,0);c2<=3*M+N;c2++) {
 136     for (c4=max(c2-3*M,0);c4<=min(c2,N);c4++) {
 137       if ((c2+2*c4)%3 == 0) {
 138         i = (c2-c4)/3 ;
 139         S2(j = c4) ;
 140       }
 141     }
 142     for (c4=max(c2-3*M,0);c4<=min(c2,N);c4++) {
 143       if ((c2+2*c4)%3 == 0) {
 144         i = (c2-c4)/3 ;
 145         S3(j = c4) ;
 146       }
 147     }
 148   }
 149 }