test/polylib/darte.c

   1 /* Generated from ../../../git/cloog/test/darte.cloog by CLooG 0.14.0-136-gb91ef26 gmp bits in 0.27s. */
   2 if (n >= 1) {
   3   for (t3=n+3;t3<=3*n+1;t3++) {
   4     if ((t3+n+1)%2 == 0) {
   5       S1(1,n,(t3-n-1)/2) ;
   6     }
   7   }
   8   if ((n <= 2) && (n >= 2)) {
   9     for (t2=-n+4;t2<=3*n-2;t2++) {
  10       for (t3=t2+2;t3<=t2+2*n;t3++) {
  11         if ((t2+n)%2 == 0) {
  12           if ((t3+n)%2 == 0) {
  13             S1((t2-n+2)/2,(t2+n-2)/2,(-t2+t3)/2) ;
  14           }
  15         }
  16       }
  17     }
  18     for (t3=1;t3<=n;t3++) {
  19       S2(1,n,t3) ;
  20     }
  21   }
  22   if (n >= 3) {
  23     for (t2=n;t2<=n+2;t2++) {
  24       for (t3=t2+2;t3<=t2+2*n;t3++) {
  25         if ((t2+n)%2 == 0) {
  26           if ((t3+n)%2 == 0) {
  27             S1((t2-n+2)/2,(t2+n-2)/2,(-t2+t3)/2) ;
  28           }
  29         }
  30       }
  31     }
  32     for (t3=1;t3<=n;t3++) {
  33       S2(1,n,t3) ;
  34     }
  35   }
  36   for (t1=ceild(-2*n+5,2);t1<=min(-1,-n+6);t1++) {
  37     for (t2=-t1+2;t2<=-t1+4;t2++) {
  38       for (t3=t2+2;t3<=t2+2*n;t3++) {
  39         if ((t1+t2)%2 == 0) {
  40           if ((t1+t3)%2 == 0) {
  41             S1((t1+t2)/2,(-t1+t2)/2,(-t2+t3)/2) ;
  42           }
  43         }
  44       }
  45     }
  46     for (t2=-t1+5;t2<=t1+2*n;t2++) {
  47       for (t3=1;t3<=n;t3++) {
  48         if ((t1+t2+1)%2 == 0) {
  49           S2((t1+t2-3)/2,(-t1+t2-1)/2,t3) ;
  50         }
  51       }
  52       for (t3=t2+2;t3<=t2+2*n;t3++) {
  53         if ((t1+t2)%2 == 0) {
  54           if ((t1+t3)%2 == 0) {
  55             S1((t1+t2)/2,(-t1+t2)/2,(-t2+t3)/2) ;
  56           }
  57         }
  58       }
  59     }
  60     for (t3=1;t3<=n;t3++) {
  61       S2(t1+n-1,n,t3) ;
  62     }
  63   }
  64   if (n == 2) {
  65     for (t3=5;t3<=7;t3++) {
  66       if ((t3+1)%2 == 0) {
  67         S1(2,1,(t3-3)/2) ;
  68       }
  69     }
  70     for (t2=4;t2<=6;t2++) {
  71       for (t3=1;t3<=2;t3++) {
  72         if (t2%2 == 0) {
  73           S2((t2-2)/2,(t2-2)/2,t3) ;
  74         }
  75       }
  76     }
  77   }
  78   for (t1=-n+7;t1<=-1;t1++) {
  79     for (t2=-t1+2;t2<=-t1+4;t2++) {
  80       for (t3=t2+2;t3<=t2+2*n;t3++) {
  81         if ((t1+t2)%2 == 0) {
  82           if ((t1+t3)%2 == 0) {
  83             S1((t1+t2)/2,(-t1+t2)/2,(-t2+t3)/2) ;
  84           }
  85         }
  86       }
  87     }
  88     for (t2=-t1+5;t2<=n-2;t2++) {
  89       for (t3=1;t3<=t2+1;t3++) {
  90         if ((t1+t2+1)%2 == 0) {
  91           S2((t1+t2-3)/2,(-t1+t2-1)/2,t3) ;
  92         }
  93       }
  94       for (t3=t2+2;t3<=n;t3++) {
  95         if ((t1+t2+1)%2 == 0) {
  96           S2((t1+t2-3)/2,(-t1+t2-1)/2,t3) ;
  97         }
  98         if ((t1+t2)%2 == 0) {
  99           if ((t1+t3)%2 == 0) {
 100             S1((t1+t2)/2,(-t1+t2)/2,(-t2+t3)/2) ;
 101           }
 102         }
 103       }
 104       for (t3=n+1;t3<=t2+2*n;t3++) {
 105         if ((t1+t2)%2 == 0) {
 106           if ((t1+t3)%2 == 0) {
 107             S1((t1+t2)/2,(-t1+t2)/2,(-t2+t3)/2) ;
 108           }
 109         }
 110       }
 111     }
 112     for (t2=n-1;t2<=t1+2*n;t2++) {
 113       for (t3=1;t3<=n;t3++) {
 114         if ((t1+t2+1)%2 == 0) {
 115           S2((t1+t2-3)/2,(-t1+t2-1)/2,t3) ;
 116         }
 117       }
 118       for (t3=t2+2;t3<=t2+2*n;t3++) {
 119         if ((t1+t2)%2 == 0) {
 120           if ((t1+t3)%2 == 0) {
 121             S1((t1+t2)/2,(-t1+t2)/2,(-t2+t3)/2) ;
 122           }
 123         }
 124       }
 125     }
 126     for (t3=1;t3<=n;t3++) {
 127       S2(t1+n-1,n,t3) ;
 128     }
 129   }
 130   if (n >= 3) {
 131     for (t1=0;t1<=min(1,-n+6);t1++) {
 132       for (t2=t1+2;t2<=-t1+4;t2++) {
 133         for (t3=t2+2;t3<=t2+2*n;t3++) {
 134           if ((t1+t2)%2 == 0) {
 135             if ((t1+t3)%2 == 0) {
 136               S1((t1+t2)/2,(-t1+t2)/2,(-t2+t3)/2) ;
 137             }
 138           }
 139         }
 140       }
 141       for (t2=-t1+5;t2<=-t1+2*n;t2++) {
 142         for (t3=1;t3<=n;t3++) {
 143           if ((t1+t2+1)%2 == 0) {
 144             S2((t1+t2-3)/2,(-t1+t2-1)/2,t3) ;
 145           }
 146         }
 147         for (t3=t2+2;t3<=t2+2*n;t3++) {
 148           if ((t1+t2)%2 == 0) {
 149             if ((t1+t3)%2 == 0) {
 150               S1((t1+t2)/2,(-t1+t2)/2,(-t2+t3)/2) ;
 151             }
 152           }
 153         }
 154       }
 155       for (t2=-t1+2*n+1;t2<=t1+2*n+1;t2++) {
 156         for (t3=1;t3<=n;t3++) {
 157           if ((t1+t2+1)%2 == 0) {
 158             S2((t1+t2-3)/2,(-t1+t2-1)/2,t3) ;
 159           }
 160         }
 161       }
 162     }
 163   }
 164   for (t1=max(0,-n+7);t1<=1;t1++) {
 165     for (t2=t1+2;t2<=-t1+4;t2++) {
 166       for (t3=t2+2;t3<=t2+2*n;t3++) {
 167         if ((t1+t2)%2 == 0) {
 168           if ((t1+t3)%2 == 0) {
 169             S1((t1+t2)/2,(-t1+t2)/2,(-t2+t3)/2) ;
 170           }
 171         }
 172       }
 173     }
 174     for (t2=-t1+5;t2<=n-2;t2++) {
 175       for (t3=1;t3<=t2+1;t3++) {
 176         if ((t1+t2+1)%2 == 0) {
 177           S2((t1+t2-3)/2,(-t1+t2-1)/2,t3) ;
 178         }
 179       }
 180       for (t3=t2+2;t3<=n;t3++) {
 181         if ((t1+t2+1)%2 == 0) {
 182           S2((t1+t2-3)/2,(-t1+t2-1)/2,t3) ;
 183         }
 184         if ((t1+t2)%2 == 0) {
 185           if ((t1+t3)%2 == 0) {
 186             S1((t1+t2)/2,(-t1+t2)/2,(-t2+t3)/2) ;
 187           }
 188         }
 189       }
 190       for (t3=n+1;t3<=t2+2*n;t3++) {
 191         if ((t1+t2)%2 == 0) {
 192           if ((t1+t3)%2 == 0) {
 193             S1((t1+t2)/2,(-t1+t2)/2,(-t2+t3)/2) ;
 194           }
 195         }
 196       }
 197     }
 198     for (t2=n-1;t2<=-t1+2*n;t2++) {
 199       for (t3=1;t3<=n;t3++) {
 200         if ((t1+t2+1)%2 == 0) {
 201           S2((t1+t2-3)/2,(-t1+t2-1)/2,t3) ;
 202         }
 203       }
 204       for (t3=t2+2;t3<=t2+2*n;t3++) {
 205         if ((t1+t2)%2 == 0) {
 206           if ((t1+t3)%2 == 0) {
 207             S1((t1+t2)/2,(-t1+t2)/2,(-t2+t3)/2) ;
 208           }
 209         }
 210       }
 211     }
 212     for (t2=-t1+2*n+1;t2<=t1+2*n+1;t2++) {
 213       for (t3=1;t3<=n;t3++) {
 214         if ((t1+t2+1)%2 == 0) {
 215           S2((t1+t2-3)/2,(-t1+t2-1)/2,t3) ;
 216         }
 217       }
 218     }
 219   }
 220   for (t1=2;t1<=n-5;t1++) {
 221     for (t3=t1+4;t3<=t1+2*n+2;t3++) {
 222       if ((t1+t3)%2 == 0) {
 223         S1(t1+1,1,(-t1+t3-2)/2) ;
 224       }
 225     }
 226     for (t2=t1+3;t2<=n-2;t2++) {
 227       for (t3=1;t3<=t2+1;t3++) {
 228         if ((t1+t2+1)%2 == 0) {
 229           S2((t1+t2-3)/2,(-t1+t2-1)/2,t3) ;
 230         }
 231       }
 232       for (t3=t2+2;t3<=n;t3++) {
 233         if ((t1+t2+1)%2 == 0) {
 234           S2((t1+t2-3)/2,(-t1+t2-1)/2,t3) ;
 235         }
 236         if ((t1+t2)%2 == 0) {
 237           if ((t1+t3)%2 == 0) {
 238             S1((t1+t2)/2,(-t1+t2)/2,(-t2+t3)/2) ;
 239           }
 240         }
 241       }
 242       for (t3=n+1;t3<=t2+2*n;t3++) {
 243         if ((t1+t2)%2 == 0) {
 244           if ((t1+t3)%2 == 0) {
 245             S1((t1+t2)/2,(-t1+t2)/2,(-t2+t3)/2) ;
 246           }
 247         }
 248       }
 249     }
 250     for (t2=n-1;t2<=-t1+2*n;t2++) {
 251       for (t3=1;t3<=n;t3++) {
 252         if ((t1+t2+1)%2 == 0) {
 253           S2((t1+t2-3)/2,(-t1+t2-1)/2,t3) ;
 254         }
 255       }
 256       for (t3=t2+2;t3<=t2+2*n;t3++) {
 257         if ((t1+t2)%2 == 0) {
 258           if ((t1+t3)%2 == 0) {
 259             S1((t1+t2)/2,(-t1+t2)/2,(-t2+t3)/2) ;
 260           }
 261         }
 262       }
 263     }
 264     for (t2=-t1+2*n+1;t2<=-t1+2*n+3;t2++) {
 265       for (t3=1;t3<=n;t3++) {
 266         if ((t1+t2+1)%2 == 0) {
 267           S2((t1+t2-3)/2,(-t1+t2-1)/2,t3) ;
 268         }
 269       }
 270     }
 271   }
 272   for (t1=max(2,n-4);t1<=floord(2*n-3,2);t1++) {
 273     for (t3=t1+4;t3<=t1+2*n+2;t3++) {
 274       if ((t1+t3)%2 == 0) {
 275         S1(t1+1,1,(-t1+t3-2)/2) ;
 276       }
 277     }
 278     for (t2=t1+3;t2<=-t1+2*n;t2++) {
 279       for (t3=1;t3<=n;t3++) {
 280         if ((t1+t2+1)%2 == 0) {
 281           S2((t1+t2-3)/2,(-t1+t2-1)/2,t3) ;
 282         }
 283       }
 284       for (t3=t2+2;t3<=t2+2*n;t3++) {
 285         if ((t1+t2)%2 == 0) {
 286           if ((t1+t3)%2 == 0) {
 287             S1((t1+t2)/2,(-t1+t2)/2,(-t2+t3)/2) ;
 288           }
 289         }
 290       }
 291     }
 292     for (t2=-t1+2*n+1;t2<=-t1+2*n+3;t2++) {
 293       for (t3=1;t3<=n;t3++) {
 294         if ((t1+t2+1)%2 == 0) {
 295           S2((t1+t2-3)/2,(-t1+t2-1)/2,t3) ;
 296         }
 297       }
 298     }
 299   }
 300   if (n >= 3) {
 301     for (t3=n+3;t3<=3*n+1;t3++) {
 302       if ((t3+n+1)%2 == 0) {
 303         S1(n,1,(t3-n-1)/2) ;
 304       }
 305     }
 306     for (t2=n+2;t2<=n+4;t2++) {
 307       for (t3=1;t3<=n;t3++) {
 308         if ((t2+n)%2 == 0) {
 309           S2((t2+n-4)/2,(t2-n)/2,t3) ;
 310         }
 311       }
 312     }
 313   }
 314   for (t3=1;t3<=n;t3++) {
 315     S2(n,1,t3) ;
 316   }
 317 }