test/polylib/thomasset.c

   1 /* Generated from ../../../git/cloog/test/thomasset.cloog by CLooG 0.14.0-136-gb91ef26 gmp bits in 0.11s. */
   2 if (n >= 1) {
   3   for (c1=0;c1<=floord(n-5,3);c1++) {
   4     for (i=max(1,3*c1+1);i<=3*c1+3;i++) {
   5       S1(i,c1) ;
   6     }
   7   }
   8   if (n == 1) {
   9     S1(1,0) ;
  10     for (k=0;k<=min(0,0);k++) {
  11       for (p=max(0,ceild(-3*k-1,3));p<=min(0,floord(-3*k+1,3));p++) {
  12         S2(1,1,k,p,-k-p) ;
  13       }
  14     }
  15   }
  16   if (n >= 2) {
  17     for (c1=max(0,ceild(n-4,3));c1<=0;c1++) {
  18       S1(1,c1) ;
  19       for (j=1;j<=min(n,3*c1-n+5);j++) {
  20         for (k=0;k<=floord(3*c1-j-n+4,3);k++) {
  21           for (p=ceild(n-2,3);p<=floord(3*c1-j-3*k+2,3);p++) {
  22             S2(1,j,k,p,c1-k-p) ;
  23           }
  24         }
  25       }
  26       for (i=2;i<=min(n,3*c1+3);i++) {
  27         S1(i,c1) ;
  28       }
  29       for (c2=1;c2<=n-1;c2++) {
  30         for (j=1;j<=min(n,3*c1-n+5);j++) {
  31           for (k=0;k<=floord(3*c1-j-n+4,3);k++) {
  32             for (p=ceild(n-2,3);p<=floord(3*c1-j-3*k+2,3);p++) {
  33               S2(c2+1,j,k,p,c1-k-p) ;
  34             }
  35           }
  36         }
  37       }
  38     }
  39   }
  40   for (c1=max(1,ceild(n-4,3));c1<=floord(n-1,3);c1++) {
  41     for (j=1;j<=3*c1-n+5;j++) {
  42       for (k=0;k<=min(0,floord(3*c1-j-n+4,3));k++) {
  43         for (p=max(ceild(n-2,3),ceild(3*c1-j-3*k,3));p<=min(floord(n,3),floord(3*c1-j-3*k+2,3));p++) {
  44           S2(1,j,k,p,c1-k-p) ;
  45         }
  46       }
  47     }
  48     for (i=3*c1+1;i<=min(n,3*c1+3);i++) {
  49       S1(i,c1) ;
  50     }
  51     for (c2=1;c2<=n-1;c2++) {
  52       for (j=1;j<=3*c1-n+5;j++) {
  53         for (k=0;k<=min(0,floord(3*c1-j-n+4,3));k++) {
  54           for (p=max(ceild(n-2,3),ceild(3*c1-j-3*k,3));p<=min(floord(n,3),floord(3*c1-j-3*k+2,3));p++) {
  55             S2(c2+1,j,k,p,c1-k-p) ;
  56           }
  57         }
  58       }
  59     }
  60   }
  61   for (c1=ceild(n,3);c1<=floord(2*n+1,3);c1++) {
  62     for (c2=0;c2<=n-1;c2++) {
  63       for (j=max(1,3*c1-n-1);j<=min(n,3*c1-n+5);j++) {
  64         for (k=max(0,ceild(3*c1-j-n,3));k<=min(0,floord(3*c1-j-n+4,3));k++) {
  65           for (p=max(ceild(n-2,3),ceild(3*c1-j-3*k,3));p<=min(floord(n,3),floord(3*c1-j-3*k+2,3));p++) {
  66             S2(c2+1,j,k,p,c1-k-p) ;
  67           }
  68         }
  69       }
  70     }
  71   }
  72 }