test/reservoir/tang-xue1.c.ppl

   1 /* Generated from ././reservoir/tang-xue1.cloog by CLooG 0.15 64 bits in 0.05s. */
   2 for (c2=0;c2<=9;c2++) {
   3   for (c4=max(c2-9,-1);c4<=min(c2+3,4);c4++) {
   4     for (c6=max(max(c2-c4,c2),1);c6<=min(min(c2-c4+4,c2+1),9);c6++) {
   5       for (c8=max(-c2+c4+c6,1);c8<=min(-c2+c4+c6+1,4);c8++) {
   6         if (c2%2 == 0) {
   7           if ((c2+c4)%2 == 0) {
   8             j = (-c2+c4)/2 ;
   9             k = -c2+c6 ;
  10             l = -c4+c8 ;
  11             S1(i = c2/2) ;
  12           }
  13         }
  14       }
  15     }
  16   }
  17 }