Fix http://gcc.gnu.org/PR42181 correct cloog_domain_sort.
[cloog-ppl.git] / test / reservoir / lim-lam4.c.ppl
blobe15c7be71c9869abd76266b62fb0432b29e9699b
1 /* Generated from ././reservoir/lim-lam4.cloog by CLooG 0.15 64 bits in 0.03s. */
2 if (M >= 2) {
3   S1(i = 1,j = 0,k = 0) ;
5 for (c2=2;c2<=2*M-2;c2++) {
6   for (c4=max(-c2+1,-M+1);c4<=-1;c4++) {
7     for (i=max(c2-M+1,1);i<=min(c2+c4,M-1);i++) {
8       j = c2+c4-i ;
9       S1(k = -c4) ;
10     }
11     for (c6=max(c2-M+1,-c4);c6<=min(c2-1,M-1);c6++) {
12       i = c2-c6 ;
13       j = c4+c6 ;
14       S2(k = c6) ;
15     }
16   }
17   for (i=max(c2-M+1,1);i<=min(c2,M-1);i++) {
18     j = c2-i ;
19     S1(k = 0) ;
20   }