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
48
49
50
51
52
53
|
/* Generated from ././reservoir/cholesky2.cloog by CLooG 0.15 64 bits in 0.04s. */
for (c2=2;c2<=min(3*M-4,3);c2++) {
if ((c2+1)%3 == 0) {
i = (c2+1)/3 ;
S1 ;
}
for (c4=ceild(c2+4,3);c4<=min(c2,M);c4++) {
if ((c2+c4)%2 == 0) {
i = (c2-c4+2)/2 ;
S2(j = c4) ;
}
}
}
for (c2=max(3*M-3,2);c2<=min(3*M-1,3);c2++) {
if ((c2+1)%3 == 0) {
i = (c2+1)/3 ;
S1 ;
}
}
for (c2=4;c2<=3*M-4;c2++) {
if ((c2+1)%3 == 0) {
i = (c2+1)/3 ;
S1 ;
}
for (c4=ceild(c2+2,3);c4<=min(c2-2,M);c4++) {
for (c6=ceild(c2-c4+2,2);c6<=min(c2-c4,c4);c6++) {
i = c2-c4-c6+1 ;
S3(j = c4,k = c6) ;
}
}
for (c4=ceild(c2+4,3);c4<=min(c2,M);c4++) {
if ((c2+c4)%2 == 0) {
i = (c2-c4+2)/2 ;
S2(j = c4) ;
}
}
}
for (c2=max(3*M-3,4);c2<=3*M-2;c2++) {
if ((c2+1)%3 == 0) {
i = (c2+1)/3 ;
S1 ;
}
for (c4=ceild(c2+2,3);c4<=min(c2-2,M);c4++) {
for (c6=ceild(c2-c4+2,2);c6<=min(c2-c4,c4);c6++) {
i = c2-c4-c6+1 ;
S3(j = c4,k = c6) ;
}
}
}
if (M >= 2) {
c2 = 3*M-1 ;
S1(i = M) ;
}
|
