1 /* Generated from liu-zhuge1.cloog by CLooG v0.14.0 64 bits in 0.02s. */
2 /* CLooG asked for 160 KBytes. */
3 if ((M
>= 0) && (N
>= 0)) {
4 for (c2
=-4;c2
<=min(-1,3*M
+N
-4);c2
++) {
5 for (c4
=max(0,c2
-3*M
+4);c4
<=min(c2
+4,N
);c4
++) {
6 if ((c2
-c4
+4)%3 == 0) {
13 if ((M
<= 1) && (M
>= 0)) {
14 for (c2
=0;c2
<=3*M
+N
-4;c2
++) {
15 for (c4
=max(c2
-3*M
,0);c4
<=c2
;c4
++) {
21 for (c4
=c2
-3*M
+4;c4
<=min(c2
+4,N
);c4
++) {
22 if ((c2
-c4
+4)%3 == 0) {
27 for (c4
=max(0,c2
-3*M
);c4
<=c2
;c4
++) {
35 for (c2
=0;c2
<=min(3*M
-4,N
-1);c2
++) {
36 for (c4
=0;c4
<=c2
;c4
++) {
41 if ((c2
-c4
+4)%3 == 0) {
46 for (c4
=c2
+1;c4
<=min(c2
+4,N
);c4
++) {
47 if ((c2
-c4
+4)%3 == 0) {
52 for (c4
=0;c4
<=c2
;c4
++) {
60 for (c2
=3*M
-3;c2
<=N
-1;c2
++) {
61 for (c4
=max(c2
-3*M
,0);c4
<=c2
-3*M
+3;c4
++) {
67 for (c4
=c2
-3*M
+4;c4
<=c2
;c4
++) {
72 if ((c2
-c4
+4)%3 == 0) {
77 for (c4
=c2
+1;c4
<=min(c2
+4,N
);c4
++) {
78 if ((c2
-c4
+4)%3 == 0) {
83 for (c4
=max(0,c2
-3*M
);c4
<=c2
;c4
++) {
92 for (c2
=N
;c2
<=3*M
-4;c2
++) {
93 for (c4
=0;c4
<=N
;c4
++) {
98 if ((c2
-c4
+4)%3 == 0) {
103 for (c4
=0;c4
<=N
;c4
++) {
104 if ((c2
-c4
)%3 == 0) {
111 for (c2
=max(3*M
-3,N
);c2
<=3*M
+N
-4;c2
++) {
112 for (c4
=max(c2
-3*M
,0);c4
<=c2
-3*M
+3;c4
++) {
113 if ((c2
-c4
)%3 == 0) {
118 for (c4
=c2
-3*M
+4;c4
<=N
;c4
++) {
119 if ((c2
-c4
)%3 == 0) {
123 if ((c2
-c4
+4)%3 == 0) {
128 for (c4
=max(0,c2
-3*M
);c4
<=N
;c4
++) {
129 if ((c2
-c4
)%3 == 0) {
135 if ((M
>= 0) && (N
>= 0)) {
136 for (c2
=max(3*M
+N
-3,0);c2
<=3*M
+N
;c2
++) {
137 for (c4
=max(0,c2
-3*M
);c4
<=min(c2
,N
);c4
++) {
138 if ((c2
-c4
)%3 == 0) {
143 for (c4
=max(0,c2
-3*M
);c4
<=min(c2
,N
);c4
++) {
144 if ((c2
-c4
)%3 == 0) {