test/isl/thomasset.c

   1 /* Generated from /home/skimo/git/cloog/test/thomasset.cloog by CLooG 0.14.0-225-g6e2d019 gmp bits in 0.02s. */
   2 if (n >= 1) {
   3   for (c1=0;c1<=floord(n-4,3);c1++) {
   4     for (i=3*c1+1;i<=3*c1+3;i++) {
   5       S1(i,c1);
   6     }
   7   }
   8   if (n == 2) {
   9     S1(1,0);
  10     for (j=1;j<=2;j++) {
  11       S2(1,j,0,0,0);
  12     }
  13     S1(2,0);
  14     for (j=1;j<=2;j++) {
  15       S2(2,j,0,0,0);
  16     }
  17   }
  18   if (n == 1) {
  19     S1(1,0);
  20     S2(1,1,0,0,0);
  21   }
  22   if (n%3 == 0) {
  23     for (i=n-2;i<=n;i++) {
  24       S1(i,(n-3)/3);
  25     }
  26   }
  27   for (c1=max(1,ceild(n-2,3));c1<=floord(n-1,3);c1++) {
  28     for (j=1;j<=2;j++) {
  29       S2(1,j,0,c1,0);
  30     }
  31     for (i=3*c1+1;i<=n;i++) {
  32       S1(i,c1);
  33     }
  34     for (c2=1;c2<=n-1;c2++) {
  35       for (j=1;j<=2;j++) {
  36         S2(c2+1,j,0,c1,0);
  37       }
  38     }
  39   }
  40   for (c1=ceild(n,3);c1<=floord(2*n,3);c1++) {
  41     for (c2=0;c2<=n-1;c2++) {
  42       for (j=max(1,3*c1-n);j<=min(n,3*c1-n+4);j++) {
  43         for (p=max(ceild(3*c1-j,3),ceild(n-2,3));p<=min(floord(n,3),floord(3*c1-j+2,3));p++) {
  44           S2(c2+1,j,0,p,c1-p);
  45         }
  46       }
  47     }
  48   }
  49 }