test/reservoir/lim-lam4.c.ppl


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21

/* Generated from ././reservoir/lim-lam4.cloog by CLooG 0.15 64 bits in 0.03s. */
if (M >= 2) {
  S1(i = 1,j = 0,k = 0) ;
}
for (c2=2;c2<=2*M-2;c2++) {
  for (c4=max(-c2+1,-M+1);c4<=-1;c4++) {
    for (i=max(c2-M+1,1);i<=min(c2+c4,M-1);i++) {
      j = c2+c4-i ;
      S1(k = -c4) ;
    }
    for (c6=max(c2-M+1,-c4);c6<=min(c2-1,M-1);c6++) {
      i = c2-c6 ;
      j = c4+c6 ;
      S2(k = c6) ;
    }
  }
  for (i=max(c2-M+1,1);i<=min(c2,M-1);i++) {
    j = c2-i ;
    S1(k = 0) ;
  }
}