test/thomasset.c

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