test/classen.c

   1 /* Generated from /home/skimo/git/cloog/test/classen.cloog by CLooG 0.14.0-284-ga90f184 gmp bits in 0.45s. */
   2 if (m >= 1) {
   3   if (m >= 2) {
   4     S1(0,1,1,1);
   5     S2(0,1,1,1,1,1,2,1);
   6     S3(0,1,1,2,1,1,1,2);
   7     S4(0,1,2,2,1,1,2,2);
   8     S8(0,1);
   9   }
  10   if (m == 1) {
  11     S1(0,1,1,1);
  12     S8(0,1);
  13   }
  14   for (glT1=1;glT1<=2*m-4;glT1++) {
  15     if (glT1 <= m-2) {
  16       S5(glT1-1,1,glT1,1,glT1,1,glT1+1,1);
  17       S1(glT1,1,glT1+1,1);
  18       S2(glT1,1,glT1+1,1,glT1+1,1,glT1+2,1);
  19       S3(glT1,1,glT1+1,2,glT1+1,1,glT1+1,2);
  20       S4(glT1,1,glT1+2,2,glT1+1,1,glT1+2,2);
  21     }
  22     if (glT1 >= m) {
  23       S5(glT1-1,glT1-m+2,glT1,glT1-m+2,m-1,glT1-m+2,m,glT1-m+2);
  24       S6(glT1-1,glT1-m+1,glT1,glT1-m+2,m,glT1-m+1,m,glT1-m+2);
  25       S1(glT1,glT1-m+2,m,glT1-m+2);
  26       S3(glT1,glT1-m+2,glT1+1,glT1-m+3,m,glT1-m+2,m,glT1-m+3);
  27     }
  28     if (glT1 == m-1) {
  29       S5(m-2,1,m-1,1,m-1,1,m,1);
  30       S1(m-1,1,m,1);
  31       S3(m-1,1,m,2,m,1,m,2);
  32     }
  33     for (rp1=max(2,glT1-m+3);rp1<=min(glT1,m-1);rp1++) {
  34       S5(glT1-1,rp1,glT1,rp1,glT1-rp1+1,rp1,glT1-rp1+2,rp1);
  35       S6(glT1-1,rp1-1,glT1,rp1,glT1-rp1+2,rp1-1,glT1-rp1+2,rp1);
  36       S7(glT1-1,rp1-1,glT1+1,rp1,glT1-rp1+2,rp1-1,glT1-rp1+3,rp1);
  37       S1(glT1,rp1,glT1-rp1+2,rp1);
  38       S2(glT1,rp1,glT1+1,rp1,glT1-rp1+2,rp1,glT1-rp1+3,rp1);
  39       S3(glT1,rp1,glT1+1,rp1+1,glT1-rp1+2,rp1,glT1-rp1+2,rp1+1);
  40       S4(glT1,rp1,glT1+2,rp1+1,glT1-rp1+2,rp1,glT1-rp1+3,rp1+1);
  41     }
  42     if (glT1 <= m-2) {
  43       S6(glT1-1,glT1,glT1,glT1+1,1,glT1,1,glT1+1);
  44       S7(glT1-1,glT1,glT1+1,glT1+1,1,glT1,2,glT1+1);
  45       S1(glT1,glT1+1,1,glT1+1);
  46       S2(glT1,glT1+1,glT1+1,glT1+1,1,glT1+1,2,glT1+1);
  47       S3(glT1,glT1+1,glT1+1,glT1+2,1,glT1+1,1,glT1+2);
  48       S4(glT1,glT1+1,glT1+2,glT1+2,1,glT1+1,2,glT1+2);
  49     }
  50     if (glT1 >= m) {
  51       S5(glT1-1,m,glT1,m,glT1-m+1,m,glT1-m+2,m);
  52       S6(glT1-1,m-1,glT1,m,glT1-m+2,m-1,glT1-m+2,m);
  53       S7(glT1-1,m-1,glT1+1,m,glT1-m+2,m-1,glT1-m+3,m);
  54       S1(glT1,m,glT1-m+2,m);
  55       S2(glT1,m,glT1+1,m,glT1-m+2,m,glT1-m+3,m);
  56     }
  57     if (glT1 == m-1) {
  58       S6(m-2,m-1,m-1,m,1,m-1,1,m);
  59       S7(m-2,m-1,m,m,1,m-1,2,m);
  60       S1(m-1,m,1,m);
  61       S2(m-1,m,m,m,1,m,2,m);
  62     }
  63     for (coordP1=max(1,glT1-m+2);coordP1<=min(m,glT1+1);coordP1++) {
  64       S8(glT1,coordP1);
  65     }
  66   }
  67   if (m >= 2) {
  68     if (m >= 3) {
  69       S5(2*m-4,m-1,2*m-3,m-1,m-1,m-1,m,m-1);
  70       S6(2*m-4,m-2,2*m-3,m-1,m,m-2,m,m-1);
  71       S1(2*m-3,m-1,m,m-1);
  72       S3(2*m-3,m-1,2*m-2,m,m,m-1,m,m);
  73     }
  74     if (m == 2) {
  75       S5(0,1,1,1,1,1,2,1);
  76       S1(1,1,2,1);
  77       S3(1,1,2,2,2,1,2,2);
  78     }
  79     if (m >= 3) {
  80       S5(2*m-4,m,2*m-3,m,m-2,m,m-1,m);
  81       S6(2*m-4,m-1,2*m-3,m,m-1,m-1,m-1,m);
  82       S7(2*m-4,m-1,2*m-2,m,m-1,m-1,m,m);
  83       S1(2*m-3,m,m-1,m);
  84     }
  85     if (m == 2) {
  86       S6(0,1,1,2,1,1,1,2);
  87       S7(0,1,2,2,1,1,2,2);
  88       S1(1,2,1,2);
  89     }
  90     S2(2*m-3,m,2*m-2,m,m-1,m,m,m);
  91     for (coordP1=m-1;coordP1<=m;coordP1++) {
  92       S8(2*m-3,coordP1);
  93     }
  94   }
  95   if (m >= 2) {
  96     S5(2*m-3,m,2*m-2,m,m-1,m,m,m);
  97     S6(2*m-3,m-1,2*m-2,m,m,m-1,m,m);
  98     S1(2*m-2,m,m,m);
  99     S8(2*m-2,m);
 100   }
 101 }