test/isl/classen.c

   1 /* Generated from ../../../git/cloog/test/classen.cloog by CLooG 0.14.0-136-gb91ef26 gmp bits in 0.98s. */
   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   if (m >= 3) {
  15     S5(0,1,1,1,1,1,2,1) ;
  16     S1(1,1,2,1) ;
  17     S2(1,1,2,1,2,1,3,1) ;
  18     S3(1,1,2,2,2,1,2,2) ;
  19     S4(1,1,3,2,2,1,3,2) ;
  20     S6(0,1,1,2,1,1,1,2) ;
  21     S7(0,1,2,2,1,1,2,2) ;
  22     S1(1,2,1,2) ;
  23     S2(1,2,2,2,1,2,2,2) ;
  24     S3(1,2,2,3,1,2,1,3) ;
  25     S4(1,2,3,3,1,2,2,3) ;
  26     for (coordP1=1;coordP1<=2;coordP1++) {
  27       S8(1,coordP1) ;
  28     }
  29   }
  30   for (glT1=2;glT1<=m-2;glT1++) {
  31     S5(glT1-1,1,glT1,1,glT1,1,glT1+1,1) ;
  32     S1(glT1,1,glT1+1,1) ;
  33     S2(glT1,1,glT1+1,1,glT1+1,1,glT1+2,1) ;
  34     S3(glT1,1,glT1+1,2,glT1+1,1,glT1+1,2) ;
  35     S4(glT1,1,glT1+2,2,glT1+1,1,glT1+2,2) ;
  36     for (rp1=2;rp1<=glT1;rp1++) {
  37       S5(glT1-1,rp1,glT1,rp1,glT1-rp1+1,rp1,glT1-rp1+2,rp1) ;
  38       S6(glT1-1,rp1-1,glT1,rp1,glT1-rp1+2,rp1-1,glT1-rp1+2,rp1) ;
  39       S7(glT1-1,rp1-1,glT1+1,rp1,glT1-rp1+2,rp1-1,glT1-rp1+3,rp1) ;
  40       S1(glT1,rp1,glT1-rp1+2,rp1) ;
  41       S2(glT1,rp1,glT1+1,rp1,glT1-rp1+2,rp1,glT1-rp1+3,rp1) ;
  42       S3(glT1,rp1,glT1+1,rp1+1,glT1-rp1+2,rp1,glT1-rp1+2,rp1+1) ;
  43       S4(glT1,rp1,glT1+2,rp1+1,glT1-rp1+2,rp1,glT1-rp1+3,rp1+1) ;
  44     }
  45     S6(glT1-1,glT1,glT1,glT1+1,1,glT1,1,glT1+1) ;
  46     S7(glT1-1,glT1,glT1+1,glT1+1,1,glT1,2,glT1+1) ;
  47     S1(glT1,glT1+1,1,glT1+1) ;
  48     S2(glT1,glT1+1,glT1+1,glT1+1,1,glT1+1,2,glT1+1) ;
  49     S3(glT1,glT1+1,glT1+1,glT1+2,1,glT1+1,1,glT1+2) ;
  50     S4(glT1,glT1+1,glT1+2,glT1+2,1,glT1+1,2,glT1+2) ;
  51     for (coordP1=1;coordP1<=glT1+1;coordP1++) {
  52       S8(glT1,coordP1) ;
  53     }
  54   }
  55   if (m >= 3) {
  56     S5(m-2,1,m-1,1,m-1,1,m,1) ;
  57     S1(m-1,1,m,1) ;
  58     S3(m-1,1,m,2,m,1,m,2) ;
  59     for (rp1=2;rp1<=m-1;rp1++) {
  60       S5(m-2,rp1,m-1,rp1,-rp1+m,rp1,-rp1+m+1,rp1) ;
  61       S6(m-2,rp1-1,m-1,rp1,-rp1+m+1,rp1-1,-rp1+m+1,rp1) ;
  62       S7(m-2,rp1-1,m,rp1,-rp1+m+1,rp1-1,-rp1+m+2,rp1) ;
  63       S1(m-1,rp1,-rp1+m+1,rp1) ;
  64       S2(m-1,rp1,m,rp1,-rp1+m+1,rp1,-rp1+m+2,rp1) ;
  65       S3(m-1,rp1,m,rp1+1,-rp1+m+1,rp1,-rp1+m+1,rp1+1) ;
  66       S4(m-1,rp1,m+1,rp1+1,-rp1+m+1,rp1,-rp1+m+2,rp1+1) ;
  67     }
  68     S6(m-2,m-1,m-1,m,1,m-1,1,m) ;
  69     S7(m-2,m-1,m,m,1,m-1,2,m) ;
  70     S1(m-1,m,1,m) ;
  71     S2(m-1,m,m,m,1,m,2,m) ;
  72     for (coordP1=1;coordP1<=m;coordP1++) {
  73       S8(m-1,coordP1) ;
  74     }
  75   }
  76   for (glT1=m;glT1<=2*m-4;glT1++) {
  77     S5(glT1-1,glT1-m+2,glT1,glT1-m+2,m-1,glT1-m+2,m,glT1-m+2) ;
  78     S6(glT1-1,glT1-m+1,glT1,glT1-m+2,m,glT1-m+1,m,glT1-m+2) ;
  79     S1(glT1,glT1-m+2,m,glT1-m+2) ;
  80     S3(glT1,glT1-m+2,glT1+1,glT1-m+3,m,glT1-m+2,m,glT1-m+3) ;
  81     for (rp1=glT1-m+3;rp1<=m-1;rp1++) {
  82       S5(glT1-1,rp1,glT1,rp1,glT1-rp1+1,rp1,glT1-rp1+2,rp1) ;
  83       S6(glT1-1,rp1-1,glT1,rp1,glT1-rp1+2,rp1-1,glT1-rp1+2,rp1) ;
  84       S7(glT1-1,rp1-1,glT1+1,rp1,glT1-rp1+2,rp1-1,glT1-rp1+3,rp1) ;
  85       S1(glT1,rp1,glT1-rp1+2,rp1) ;
  86       S2(glT1,rp1,glT1+1,rp1,glT1-rp1+2,rp1,glT1-rp1+3,rp1) ;
  87       S3(glT1,rp1,glT1+1,rp1+1,glT1-rp1+2,rp1,glT1-rp1+2,rp1+1) ;
  88       S4(glT1,rp1,glT1+2,rp1+1,glT1-rp1+2,rp1,glT1-rp1+3,rp1+1) ;
  89     }
  90     S5(glT1-1,m,glT1,m,glT1-m+1,m,glT1-m+2,m) ;
  91     S6(glT1-1,m-1,glT1,m,glT1-m+2,m-1,glT1-m+2,m) ;
  92     S7(glT1-1,m-1,glT1+1,m,glT1-m+2,m-1,glT1-m+3,m) ;
  93     S1(glT1,m,glT1-m+2,m) ;
  94     S2(glT1,m,glT1+1,m,glT1-m+2,m,glT1-m+3,m) ;
  95     for (coordP1=glT1-m+2;coordP1<=m;coordP1++) {
  96       S8(glT1,coordP1) ;
  97     }
  98   }
  99   if (m >= 3) {
 100     S5(2*m-4,m-1,2*m-3,m-1,m-1,m-1,m,m-1) ;
 101     S6(2*m-4,m-2,2*m-3,m-1,m,m-2,m,m-1) ;
 102     S1(2*m-3,m-1,m,m-1) ;
 103     S3(2*m-3,m-1,2*m-2,m,m,m-1,m,m) ;
 104     S5(2*m-4,m,2*m-3,m,m-2,m,m-1,m) ;
 105     S6(2*m-4,m-1,2*m-3,m,m-1,m-1,m-1,m) ;
 106     S7(2*m-4,m-1,2*m-2,m,m-1,m-1,m,m) ;
 107     S1(2*m-3,m,m-1,m) ;
 108     S2(2*m-3,m,2*m-2,m,m-1,m,m,m) ;
 109     for (coordP1=m-1;coordP1<=m;coordP1++) {
 110       S8(2*m-3,coordP1) ;
 111     }
 112   }
 113   if (m == 2) {
 114     S5(0,1,1,1,1,1,2,1) ;
 115     S1(1,1,2,1) ;
 116     S3(1,1,2,2,2,1,2,2) ;
 117     S6(0,1,1,2,1,1,1,2) ;
 118     S7(0,1,2,2,1,1,2,2) ;
 119     S1(1,2,1,2) ;
 120     S2(1,2,2,2,1,2,2,2) ;
 121     for (coordP1=1;coordP1<=2;coordP1++) {
 122       S8(1,coordP1) ;
 123     }
 124   }
 125   if (m >= 2) {
 126     S5(2*m-3,m,2*m-2,m,m-1,m,m,m) ;
 127     S6(2*m-3,m-1,2*m-2,m,m,m-1,m,m) ;
 128     S1(2*m-2,m,m,m) ;
 129     S8(2*m-2,m) ;
 130   }
 131 }