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
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
|
/* Generated from ../../../git/cloog/test/./reservoir/QR.cloog by CLooG 0.14.0-136-gb91ef26 gmp bits in 0.21s. */
if (N >= 1) {
S1(0) ;
if ((M >= 1) && (N == 1)) {
for (c4=0;c4<=M-1;c4++) {
S2(0,c4) ;
}
S3(0) ;
for (c4=0;c4<=M-1;c4++) {
S4(0,c4) ;
}
S10(0) ;
S5(0) ;
}
if ((M <= 0) && (N == 1)) {
S3(0) ;
S10(0) ;
S5(0) ;
}
if ((M >= 1) && (N >= 2)) {
for (c4=0;c4<=M-1;c4++) {
S2(0,c4) ;
}
S3(0) ;
for (c4=0;c4<=M-1;c4++) {
S4(0,c4) ;
}
S10(0) ;
S1(1) ;
S5(0) ;
}
if ((M <= 0) && (N >= 2)) {
S3(0) ;
S10(0) ;
S1(1) ;
S5(0) ;
}
for (c2=2;c2<=min(M,N-1);c2++) {
for (c4=c2-1;c4<=N-1;c4++) {
S6(c2-2,c4) ;
for (c6=c2-2;c6<=M-1;c6++) {
S7(c2-2,c4,c6) ;
}
S8(c2-2,c4) ;
for (c6=c2-2;c6<=M-1;c6++) {
S9(c2-2,c4,c6) ;
}
}
for (c4=c2-1;c4<=M-1;c4++) {
S2(c2-1,c4) ;
}
S3(c2-1) ;
for (c4=c2-1;c4<=M-1;c4++) {
S4(c2-1,c4) ;
}
S10(c2-1) ;
S1(c2) ;
S5(c2-1) ;
}
if ((M >= 1) && (M <= N-2)) {
for (c4=M;c4<=N-1;c4++) {
S6(M-1,c4) ;
S7(M-1,c4,M-1) ;
S8(M-1,c4) ;
S9(M-1,c4,M-1) ;
}
S3(M) ;
S10(M) ;
S1(M+1) ;
S5(M) ;
}
for (c2=max(2,M+2);c2<=N-1;c2++) {
for (c4=c2-1;c4<=N-1;c4++) {
S6(c2-2,c4) ;
S8(c2-2,c4) ;
}
S3(c2-1) ;
S10(c2-1) ;
S1(c2) ;
S5(c2-1) ;
}
if ((M >= N) && (N >= 2)) {
S6(N-2,N-1) ;
for (c6=N-2;c6<=M-1;c6++) {
S7(N-2,N-1,c6) ;
}
S8(N-2,N-1) ;
for (c6=N-2;c6<=M-1;c6++) {
S9(N-2,N-1,c6) ;
}
for (c4=N-1;c4<=M-1;c4++) {
S2(N-1,c4) ;
}
S3(N-1) ;
for (c4=N-1;c4<=M-1;c4++) {
S4(N-1,c4) ;
}
S10(N-1) ;
S5(N-1) ;
}
if ((M == N-1) && (M >= 1)) {
S6(M-1,M) ;
S7(M-1,M,M-1) ;
S8(M-1,M) ;
S9(M-1,M,M-1) ;
S3(M) ;
S10(M) ;
S5(M) ;
}
if ((M <= N-2) && (N >= 2)) {
S6(N-2,N-1) ;
S8(N-2,N-1) ;
S3(N-1) ;
S10(N-1) ;
S5(N-1) ;
}
}
|