update cloog-core to version 0.16.3

[cloog-polylib.git] / test / equality2.c

/* Generated from /home/skimo/git/cloog/test/equality2.cloog by CLooG 0.14.0-277-g4be103b gmp bits. */
for (i0=1;i0<=10000;i0++) {
  for (i1=1000;i1<=1016;i1++) {
    for (i2=1;i2<=min(-2*i1+2033,2*i1-1999);i2++) {
      for (i3=ceild(2*i1-i2-1967,32);i3<=floord(-i2+33,16);i3++) {
        if ((i2 == 1) && (i3 == 2)) {
          if (i1%2 == 0) {
            S1(i0,i1,i2,i3,i0,(i1+2)/2,i1-999,i0,i1-999,(i1-998)/2,(i1-998)/2);
          }
        }
        if ((2*i1 == i2+1999) && (i3 == 1)) {
          S2(i0,i1,i2,i3,i0,2*i1-1000,1,2,i0,i1-499,2*i1-1999,i0,2*i1-1999,i1-999,i1-999);
        }
      }
    }
  }
}