test/classen.c

   1 /* Generated from ./classen.cloog by CLooG 0.18.1-2-g43fc508 gmp bits in 0.25s. */
   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 }