test/equality2.c

   1 /* Generated from ./equality2.cloog by CLooG 0.18.1-2-g43fc508 gmp bits in 0.01s. */
   2 for (i0=1;i0<=10000;i0++) {
   3   for (i1=1000;i1<=1016;i1++) {
   4     for (i2=1;i2<=min(-2*i1+2033,2*i1-1999);i2++) {
   5       if (2*i1 == i2+1999) {
   6         S2(i0,i1,i2,1,i0,(2*i1-1000),1,2,i0,(i1-499),(2*i1-1999),i0,(2*i1-1999),(i1-999),(i1-999));
   7       }
   8       if (i2 == 1) {
   9         if (i1%2 == 0) {
  10           S1(i0,i1,i2,2,i0,((i1+2)/2),(i1-999),i0,(i1-999),((i1-998)/2),((i1-998)/2));
  11         }
  12       }
  13     }
  14   }
  15 }