test/classen.c

   1 /* Generated from ./test/classen.cloog by CLooG v0.14.0 64 bits in 0.34s. */
   2 /* CLooG asked for 656 KBytes. */
   3 if (m >= 2) {
   4   S1(coordT1 = 0,coordP1 = 1,other1 = 1,other2 = 1) ;
   5   S2(coordT1 = 0,coordP1 = 1,other1 = 1,other2 = 1,other3 = 1,other4 = 1,other5 = 2,other6 = 1) ;
   6   S3(coordT1 = 0,coordP1 = 1,other1 = 1,other2 = 2,other3 = 1,other4 = 1,other5 = 1,other6 = 2) ;
   7   S4(coordT1 = 0,coordP1 = 1,other1 = 2,other2 = 2,other3 = 1,other4 = 1,other5 = 2,other6 = 2) ;
   8   S8(coordT1 = 0,coordP1 = 1) ;
   9 }
  10 if (m == 1) {
  11   S1(coordT1 = 0,coordP1 = 1,other1 = 1,other2 = 1) ;
  12   S8(coordT1 = 0,coordP1 = 1) ;
  13 }
  14 if (m >= 3) {
  15   S5(coordT1 = 0,coordP1 = 1,other1 = 1,other2 = 1,other3 = 1,other4 = 1,other5 = 2,other6 = 1) ;
  16   S1(coordT1 = 1,coordP1 = 1,other1 = 2,other2 = 1) ;
  17   S2(coordT1 = 1,coordP1 = 1,other1 = 2,other2 = 1,other3 = 2,other4 = 1,other5 = 3,other6 = 1) ;
  18   S3(coordT1 = 1,coordP1 = 1,other1 = 2,other2 = 2,other3 = 2,other4 = 1,other5 = 2,other6 = 2) ;
  19   S4(coordT1 = 1,coordP1 = 1,other1 = 3,other2 = 2,other3 = 2,other4 = 1,other5 = 3,other6 = 2) ;
  20   S6(coordT1 = 0,coordP1 = 1,other1 = 1,other2 = 2,other3 = 1,other4 = 1,other5 = 1,other6 = 2) ;
  21   S7(coordT1 = 0,coordP1 = 1,other1 = 2,other2 = 2,other3 = 1,other4 = 1,other5 = 2,other6 = 2) ;
  22   S1(coordT1 = 1,coordP1 = 2,other1 = 1,other2 = 2) ;
  23   S2(coordT1 = 1,coordP1 = 2,other1 = 2,other2 = 2,other3 = 1,other4 = 2,other5 = 2,other6 = 2) ;
  24   S3(coordT1 = 1,coordP1 = 2,other1 = 2,other2 = 3,other3 = 1,other4 = 2,other5 = 1,other6 = 3) ;
  25   S4(coordT1 = 1,coordP1 = 2,other1 = 3,other2 = 3,other3 = 1,other4 = 2,other5 = 2,other6 = 3) ;
  26   for (coordP1=max(-m+3,1);coordP1<=min(2,m);coordP1++) {
  27     S8(coordT1 = 1) ;
  28   }
  29 }
  30 for (glT1=2;glT1<=m-2;glT1++) {
  31   coordT1 = glT1-1 ;
  32   other5 = glT1+1 ;
  33   S5(coordP1 = 1,other1 = glT1,other2 = 1,other3 = glT1,other4 = 1,other6 = 1) ;
  34   other1 = glT1+1 ;
  35   S1(coordT1 = glT1,coordP1 = 1,other2 = 1) ;
  36   local1 = glT1+1 ;
  37   other1 = glT1+1 ;
  38   other3 = glT1+1 ;
  39   other5 = glT1+2 ;
  40   S2(coordT1 = glT1,coordP1 = 1,other2 = 1,other4 = 1,other6 = 1) ;
  41   other3 = glT1+1 ;
  42   other5 = glT1+1 ;
  43   S3(coordT1 = glT1,coordP1 = 1,other2 = 2,other4 = 1,other6 = 2) ;
  44   other1 = glT1+2 ;
  45   other3 = glT1+1 ;
  46   other5 = glT1+2 ;
  47   S4(coordT1 = glT1,coordP1 = 1,other2 = 2,other4 = 1,other6 = 2) ;
  48   for (rp1=2;rp1<=glT1;rp1++) {
  49     local1 = glT1-rp1+1 ;
  50     coordT1 = glT1-1 ;
  51     other3 = glT1-rp1+1 ;
  52     other5 = glT1-rp1+2 ;
  53     S5(coordP1 = rp1,other1 = glT1,other2 = rp1,other4 = rp1,other6 = rp1) ;
  54     local1 = glT1-rp1+2 ;
  55     local2 = rp1-1 ;
  56     coordT1 = glT1-1 ;
  57     coordP1 = rp1-1 ;
  58     other3 = glT1-rp1+2 ;
  59     other4 = rp1-1 ;
  60     other5 = glT1-rp1+2 ;
  61     S6(other1 = glT1,other2 = rp1,other6 = rp1) ;
  62     other1 = glT1+1 ;
  63     other3 = glT1-rp1+2 ;
  64     other4 = rp1-1 ;
  65     other5 = glT1-rp1+3 ;
  66     S7(other2 = rp1,other6 = rp1) ;
  67     other1 = glT1-rp1+2 ;
  68     S1(coordT1 = glT1,coordP1 = rp1,other2 = rp1) ;
  69     local1 = glT1-rp1+2 ;
  70     other1 = glT1+1 ;
  71     other3 = glT1-rp1+2 ;
  72     other5 = glT1-rp1+3 ;
  73     S2(coordT1 = glT1,coordP1 = rp1,other2 = rp1,other4 = rp1,other6 = rp1) ;
  74     other2 = rp1+1 ;
  75     other3 = glT1-rp1+2 ;
  76     other5 = glT1-rp1+2 ;
  77     other6 = rp1+1 ;
  78     S3(coordT1 = glT1,coordP1 = rp1,other4 = rp1) ;
  79     other1 = glT1+2 ;
  80     other2 = rp1+1 ;
  81     other3 = glT1-rp1+2 ;
  82     other5 = glT1-rp1+3 ;
  83     other6 = rp1+1 ;
  84     S4(coordT1 = glT1,coordP1 = rp1,other4 = rp1) ;
  85   }
  86   rp1 = glT1+1 ;
  87   coordT1 = glT1-1 ;
  88   other2 = glT1+1 ;
  89   other6 = glT1+1 ;
  90   S6(coordP1 = glT1,other1 = glT1,other3 = 1,other4 = glT1,other5 = 1) ;
  91   other1 = glT1+1 ;
  92   other2 = glT1+1 ;
  93   other6 = glT1+1 ;
  94   S7(coordP1 = glT1,other3 = 1,other4 = glT1,other5 = 2) ;
  95   coordP1 = glT1+1 ;
  96   other2 = glT1+1 ;
  97   S1(coordT1 = glT1,other1 = 1) ;
  98   local2 = glT1+1 ;
  99   coordP1 = glT1+1 ;
 100   other1 = glT1+1 ;
 101   other2 = glT1+1 ;
 102   other4 = glT1+1 ;
 103   other6 = glT1+1 ;
 104   S2(coordT1 = glT1,other3 = 1,other5 = 2) ;
 105   other2 = glT1+2 ;
 106   other4 = glT1+1 ;
 107   other6 = glT1+2 ;
 108   S3(coordT1 = glT1,other3 = 1,other5 = 1) ;
 109   other1 = glT1+2 ;
 110   other2 = glT1+2 ;
 111   other4 = glT1+1 ;
 112   other6 = glT1+2 ;
 113   S4(coordT1 = glT1,other3 = 1,other5 = 2) ;
 114   for (coordP1=max(glT1-m+2,1);coordP1<=min(glT1+1,m);coordP1++) {
 115     S8(coordT1 = glT1) ;
 116   }
 117 }
 118 if (m >= 3) {
 119   glT1 = m-1 ;
 120   local1 = m-1 ;
 121   coordT1 = m-2 ;
 122   other1 = m-1 ;
 123   other3 = m-1 ;
 124   S5(coordP1 = 1,other2 = 1,other4 = 1,other5 = m,other6 = 1) ;
 125   coordT1 = m-1 ;
 126   S1(coordP1 = 1,other1 = m,other2 = 1) ;
 127   coordT1 = m-1 ;
 128   S3(coordP1 = 1,other1 = m,other2 = 2,other3 = m,other4 = 1,other5 = m,other6 = 2) ;
 129   for (rp1=2;rp1<=m-1;rp1++) {
 130     local1 = -rp1+m ;
 131     coordT1 = m-2 ;
 132     other1 = m-1 ;
 133     other3 = -rp1+m ;
 134     other5 = -rp1+m+1 ;
 135     S5(coordP1 = rp1,other2 = rp1,other4 = rp1,other6 = rp1) ;
 136     local1 = -rp1+m+1 ;
 137     local2 = rp1-1 ;
 138     coordT1 = m-2 ;
 139     coordP1 = rp1-1 ;
 140     other1 = m-1 ;
 141     other3 = -rp1+m+1 ;
 142     other4 = rp1-1 ;
 143     other5 = -rp1+m+1 ;
 144     S6(other2 = rp1,other6 = rp1) ;
 145     other3 = -rp1+m+1 ;
 146     other4 = rp1-1 ;
 147     other5 = -rp1+m+2 ;
 148     S7(other1 = m,other2 = rp1,other6 = rp1) ;
 149     coordT1 = m-1 ;
 150     other1 = -rp1+m+1 ;
 151     S1(coordP1 = rp1,other2 = rp1) ;
 152     local1 = -rp1+m+1 ;
 153     coordT1 = m-1 ;
 154     other3 = -rp1+m+1 ;
 155     other5 = -rp1+m+2 ;
 156     S2(coordP1 = rp1,other1 = m,other2 = rp1,other4 = rp1,other6 = rp1) ;
 157     other2 = rp1+1 ;
 158     other3 = -rp1+m+1 ;
 159     other5 = -rp1+m+1 ;
 160     other6 = rp1+1 ;
 161     S3(coordP1 = rp1,other1 = m,other4 = rp1) ;
 162     other1 = m+1 ;
 163     other2 = rp1+1 ;
 164     other3 = -rp1+m+1 ;
 165     other5 = -rp1+m+2 ;
 166     other6 = rp1+1 ;
 167     S4(coordP1 = rp1,other4 = rp1) ;
 168   }
 169   local2 = m-1 ;
 170   coordT1 = m-2 ;
 171   coordP1 = m-1 ;
 172   other1 = m-1 ;
 173   other4 = m-1 ;
 174   S6(other2 = m,other3 = 1,other5 = 1,other6 = m) ;
 175   other4 = m-1 ;
 176   S7(other1 = m,other2 = m,other3 = 1,other5 = 2,other6 = m) ;
 177   coordT1 = m-1 ;
 178   S1(coordP1 = m,other1 = 1,other2 = m) ;
 179   coordT1 = m-1 ;
 180   S2(coordP1 = m,other1 = m,other2 = m,other3 = 1,other4 = m,other5 = 2,other6 = m) ;
 181   coordT1 = m-1 ;
 182   for (coordP1=1;coordP1<=m;coordP1++) {
 183     S8 ;
 184   }
 185 }
 186 for (glT1=m;glT1<=2*m-4;glT1++) {
 187   rp1 = glT1-m+2 ;
 188   local1 = m-1 ;
 189   local2 = glT1-m+2 ;
 190   coordT1 = glT1-1 ;
 191   coordP1 = glT1-m+2 ;
 192   other2 = glT1-m+2 ;
 193   other3 = m-1 ;
 194   other4 = glT1-m+2 ;
 195   other6 = glT1-m+2 ;
 196   S5(other1 = glT1,other5 = m) ;
 197   local2 = glT1-m+1 ;
 198   coordT1 = glT1-1 ;
 199   coordP1 = glT1-m+1 ;
 200   other2 = glT1-m+2 ;
 201   other4 = glT1-m+1 ;
 202   other6 = glT1-m+2 ;
 203   S6(other1 = glT1,other3 = m,other5 = m) ;
 204   coordP1 = glT1-m+2 ;
 205   other2 = glT1-m+2 ;
 206   S1(coordT1 = glT1,other1 = m) ;
 207   local2 = glT1-m+2 ;
 208   coordP1 = glT1-m+2 ;
 209   other1 = glT1+1 ;
 210   other2 = glT1-m+3 ;
 211   other4 = glT1-m+2 ;
 212   other6 = glT1-m+3 ;
 213   S3(coordT1 = glT1,other3 = m,other5 = m) ;
 214   for (rp1=glT1-m+3;rp1<=m-1;rp1++) {
 215     local1 = glT1-rp1+1 ;
 216     coordT1 = glT1-1 ;
 217     other3 = glT1-rp1+1 ;
 218     other5 = glT1-rp1+2 ;
 219     S5(coordP1 = rp1,other1 = glT1,other2 = rp1,other4 = rp1,other6 = rp1) ;
 220     local1 = glT1-rp1+2 ;
 221     local2 = rp1-1 ;
 222     coordT1 = glT1-1 ;
 223     coordP1 = rp1-1 ;
 224     other3 = glT1-rp1+2 ;
 225     other4 = rp1-1 ;
 226     other5 = glT1-rp1+2 ;
 227     S6(other1 = glT1,other2 = rp1,other6 = rp1) ;
 228     other1 = glT1+1 ;
 229     other3 = glT1-rp1+2 ;
 230     other4 = rp1-1 ;
 231     other5 = glT1-rp1+3 ;
 232     S7(other2 = rp1,other6 = rp1) ;
 233     other1 = glT1-rp1+2 ;
 234     S1(coordT1 = glT1,coordP1 = rp1,other2 = rp1) ;
 235     local1 = glT1-rp1+2 ;
 236     other1 = glT1+1 ;
 237     other3 = glT1-rp1+2 ;
 238     other5 = glT1-rp1+3 ;
 239     S2(coordT1 = glT1,coordP1 = rp1,other2 = rp1,other4 = rp1,other6 = rp1) ;
 240     other2 = rp1+1 ;
 241     other3 = glT1-rp1+2 ;
 242     other5 = glT1-rp1+2 ;
 243     other6 = rp1+1 ;
 244     S3(coordT1 = glT1,coordP1 = rp1,other4 = rp1) ;
 245     other1 = glT1+2 ;
 246     other2 = rp1+1 ;
 247     other3 = glT1-rp1+2 ;
 248     other5 = glT1-rp1+3 ;
 249     other6 = rp1+1 ;
 250     S4(coordT1 = glT1,coordP1 = rp1,other4 = rp1) ;
 251   }
 252   local1 = glT1-m+1 ;
 253   coordT1 = glT1-1 ;
 254   other3 = glT1-m+1 ;
 255   other5 = glT1-m+2 ;
 256   S5(coordP1 = m,other1 = glT1,other2 = m,other4 = m,other6 = m) ;
 257   local1 = glT1-m+2 ;
 258   local2 = m-1 ;
 259   coordT1 = glT1-1 ;
 260   coordP1 = m-1 ;
 261   other3 = glT1-m+2 ;
 262   other4 = m-1 ;
 263   other5 = glT1-m+2 ;
 264   S6(other1 = glT1,other2 = m,other6 = m) ;
 265   other1 = glT1+1 ;
 266   other3 = glT1-m+2 ;
 267   other4 = m-1 ;
 268   other5 = glT1-m+3 ;
 269   S7(other2 = m,other6 = m) ;
 270   other1 = glT1-m+2 ;
 271   S1(coordT1 = glT1,coordP1 = m,other2 = m) ;
 272   local1 = glT1-m+2 ;
 273   other1 = glT1+1 ;
 274   other3 = glT1-m+2 ;
 275   other5 = glT1-m+3 ;
 276   S2(coordT1 = glT1,coordP1 = m,other2 = m,other4 = m,other6 = m) ;
 277   for (coordP1=max(glT1-m+2,1);coordP1<=min(glT1+1,m);coordP1++) {
 278     S8(coordT1 = glT1) ;
 279   }
 280 }
 281 if (m >= 3) {
 282   glT1 = 2*m-3 ;
 283   rp1 = m-1 ;
 284   local1 = m-1 ;
 285   local2 = m-1 ;
 286   coordT1 = 2*m-4 ;
 287   coordP1 = m-1 ;
 288   other1 = 2*m-3 ;
 289   other2 = m-1 ;
 290   other3 = m-1 ;
 291   other4 = m-1 ;
 292   other6 = m-1 ;
 293   S5(other5 = m) ;
 294   local2 = m-2 ;
 295   coordT1 = 2*m-4 ;
 296   coordP1 = m-2 ;
 297   other1 = 2*m-3 ;
 298   other2 = m-1 ;
 299   other4 = m-2 ;
 300   other6 = m-1 ;
 301   S6(other3 = m,other5 = m) ;
 302   coordT1 = 2*m-3 ;
 303   coordP1 = m-1 ;
 304   other2 = m-1 ;
 305   S1(other1 = m) ;
 306   local2 = m-1 ;
 307   coordT1 = 2*m-3 ;
 308   coordP1 = m-1 ;
 309   other1 = 2*m-2 ;
 310   other4 = m-1 ;
 311   S3(other2 = m,other3 = m,other5 = m,other6 = m) ;
 312   local1 = m-2 ;
 313   coordT1 = 2*m-4 ;
 314   other1 = 2*m-3 ;
 315   other3 = m-2 ;
 316   other5 = m-1 ;
 317   S5(coordP1 = m,other2 = m,other4 = m,other6 = m) ;
 318   local1 = m-1 ;
 319   local2 = m-1 ;
 320   coordT1 = 2*m-4 ;
 321   coordP1 = m-1 ;
 322   other1 = 2*m-3 ;
 323   other3 = m-1 ;
 324   other4 = m-1 ;
 325   other5 = m-1 ;
 326   S6(other2 = m,other6 = m) ;
 327   other1 = 2*m-2 ;
 328   other3 = m-1 ;
 329   other4 = m-1 ;
 330   S7(other2 = m,other5 = m,other6 = m) ;
 331   coordT1 = 2*m-3 ;
 332   other1 = m-1 ;
 333   S1(coordP1 = m,other2 = m) ;
 334   local1 = m-1 ;
 335   coordT1 = 2*m-3 ;
 336   other1 = 2*m-2 ;
 337   other3 = m-1 ;
 338   S2(coordP1 = m,other2 = m,other4 = m,other5 = m,other6 = m) ;
 339   coordT1 = 2*m-3 ;
 340   for (coordP1=m-1;coordP1<=m;coordP1++) {
 341     S8 ;
 342   }
 343 }
 344 if (m == 2) {
 345   S5(coordT1 = 0,coordP1 = 1,other1 = 1,other2 = 1,other3 = 1,other4 = 1,other5 = 2,other6 = 1) ;
 346   S1(coordT1 = 1,coordP1 = 1,other1 = 2,other2 = 1) ;
 347   S3(coordT1 = 1,coordP1 = 1,other1 = 2,other2 = 2,other3 = 2,other4 = 1,other5 = 2,other6 = 2) ;
 348   S1(coordT1 = 1,coordP1 = 2,other1 = 1,other2 = 2) ;
 349   S2(coordT1 = 1,coordP1 = 2,other1 = 2,other2 = 2,other3 = 1,other4 = 2,other5 = 2,other6 = 2) ;
 350 }
 351 if (m >= 2) {
 352   glT1 = 2*m-2 ;
 353   local1 = m-1 ;
 354   coordT1 = 2*m-3 ;
 355   other1 = 2*m-2 ;
 356   other3 = m-1 ;
 357   S5(coordP1 = m,other2 = m,other4 = m,other5 = m,other6 = m) ;
 358   local2 = m-1 ;
 359   coordT1 = 2*m-3 ;
 360   coordP1 = m-1 ;
 361   other1 = 2*m-2 ;
 362   other4 = m-1 ;
 363   S6(other2 = m,other3 = m,other5 = m,other6 = m) ;
 364   coordT1 = 2*m-2 ;
 365   S1(coordP1 = m,other1 = m,other2 = m) ;
 366   coordT1 = 2*m-2 ;
 367   S8(coordP1 = m) ;
 368 }