ported domain_difference

[cloog-ppl.git] / test / reservoir / tang-xue1.c

/* Generated from ./reservoir/tang-xue1.cloog by CLooG v0.14.0 gmp bits in 0.03s. */
/* CLooG asked for 152 KBytes. */
for (c2=0;c2<=9;c2++) {
  for (c4=max(-1,c2-9);c4<=min(4,c2+3);c4++) {
    for (c6=max(max(c2,1),c2-c4);c6<=min(min(c2+1,9),c2-c4+4);c6++) {
      for (c8=max(1,-c2+c4+c6);c8<=min(4,-c2+c4+c6+1);c8++) {
        if (c2%2 == 0) {
          if ((c2+c4)%2 == 0) {
            j = (-c2+c4)/2 ;
            k = -c2+c6 ;
            l = -c4+c8 ;
            S1(i = c2/2) ;
          }
        }
      }
    }
  }
}