update isl for new version of isl_basic_map_gist
[cloog/uuh.git] / test / isl / reservoir / cholesky2.c
blobfdc5f82a168126eeef66646c8c897d7a916b5cbc
1 /* Generated from ../../../git/cloog/test/reservoir/cholesky2.cloog by CLooG 0.14.0-162-gaf9e78f gmp bits in 0.02s. */
2 if (M >= 1) {
3 for (c2=2;c2<=min(3,3*M-4);c2++) {
4 if ((c2+1)%3 == 0) {
5 S1((c2+1)/3);
7 if ((c2 >= 2) && (c2 <= M)) {
8 S2(1,c2);
11 if (M == 1) {
12 S1(1);
14 for (c2=4;c2<=3*M-4;c2++) {
15 if ((c2+1)%3 == 0) {
16 S1((c2+1)/3);
18 for (c4=ceild(c2+2,3);c4<=min(M,c2-2);c4++) {
19 for (c6=ceild(c2-c4+2,2);c6<=min(c4,c2-c4);c6++) {
20 S3(c2-c4-c6+1,c4,c6);
23 for (c4=ceild(c2+4,3);c4<=min(M,c2);c4++) {
24 if ((c2+c4)%2 == 0) {
25 S2((c2-c4+2)/2,c4);
29 for (c2=max(M+2,3*M-3);c2<=3*M-2;c2++) {
30 S3(c2-2*M+1,M,M);
32 if (M >= 2) {
33 S1(M);