| /* Generated from stride.cloog by CLooG 0.17.0 gmp bits in 0.29s. */ |
| if (M >= 3) { |
| for (c1=-1;c1<=min(2,floord(M+2,4));c1++) { |
| for (c2=max(ceild(2*c1-M+1,4),ceild(4*c1-M-2,4));c2<=min(0,floord(c1,2));c2++) { |
| for (c3=max(max(-4*c2-2,4*c2+3),4*c1-4*c2+1);c3<=min(min(min(M+3,-4*c2+9),4*c2+2*M),4*c1-4*c2+4);c3++) { |
| for (c4=max(3*c3-4*floord(c3+M+1,2)+6,4*c2-c3-4*floord(-c3+1,4)+2);c4<=min(min(4*c2+4,-c3+10),c3-2);c4+=4) { |
| if ((c2 <= floord(c4-1,4)) && (c2 >= ceild(c4-4,4))) { |
| S1(c1-c2,c2,(c3+c4-2)/4,(c3-c4)/2); |
| } |
| } |
| } |
| } |
| } |
| } |
