1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
|
/* Generated from /home/skimo/git/cloog/test/./reservoir/liu-zhuge1.cloog by CLooG 0.14.0-284-ga90f184 gmp bits in 0.02s. */
if ((M >= 0) && (N >= 0)) {
for (c2=-4;c2<=min(-1,3*M+N-4);c2++) {
for (c4=max(0,c2-3*M+4);c4<=min(N,c2+4);c4++) {
if ((c2+2*c4+1)%3 == 0) {
S1((c2-c4+4)/3,c4);
}
}
}
for (c2=0;c2<=3*M+N-4;c2++) {
for (c4=max(0,c2-3*M);c4<=min(c2,c2-3*M+3);c4++) {
if ((c2+2*c4)%3 == 0) {
S2((c2-c4)/3,c4);
}
}
for (c4=max(0,c2-3*M+4);c4<=min(N,c2);c4++) {
if ((c2+2*c4)%3 == 0) {
S2((c2-c4)/3,c4);
}
if ((c2+2*c4+1)%3 == 0) {
S1((c2-c4+4)/3,c4);
}
}
for (c4=max(c2+1,c2-3*M+4);c4<=min(N,c2+4);c4++) {
if ((c2+2*c4+1)%3 == 0) {
S1((c2-c4+4)/3,c4);
}
}
for (c4=max(0,c2-3*M);c4<=min(N,c2);c4++) {
if ((c2+2*c4)%3 == 0) {
S3((c2-c4)/3,c4);
}
}
}
for (c2=max(0,3*M+N-3);c2<=3*M+N;c2++) {
for (c4=max(0,c2-3*M);c4<=min(N,c2);c4++) {
if ((c2+2*c4)%3 == 0) {
S2((c2-c4)/3,c4);
}
}
for (c4=max(0,c2-3*M);c4<=min(N,c2);c4++) {
if ((c2+2*c4)%3 == 0) {
S3((c2-c4)/3,c4);
}
}
}
}
|
