add isl_set_from_cloog_domain
[cloog.git] / test / cholesky2.c
blobcbc05e3637a4588d91d1ba9916cdc032a2fd6969
1 /* Generated from ../../../git/cloog/test/cholesky2.cloog by CLooG 0.14.0-313-g0d7f67f gmp bits in 0.04s. */
2 if (M >= 1) {
3 if (M >= 2) {
4 for (c2=1;c2<=M-1;c2++) {
5 S1(c2);
6 for (c3=c2+1;c3<=M;c3++) {
7 S4(c2,c3);
10 S1(M);
12 if (M == 1) {
13 S1(1);
15 if (M >= 3) {
16 S3(1);
18 if (M <= 2) {
19 S3(1);
21 if (M >= 3) {
22 S6(1,2);
23 for (c2=3;c2<=M;c2++) {
24 S6(1,c2);
25 for (i=2;i<=c2-1;i++) {
26 S5(i,c2,1);
30 if (M == 2) {
31 S6(1,2);
33 for (c1=3;c1<=3*M-7;c1++) {
34 if ((c1+2)%3 == 0) {
35 S3((c1+2)/3);
37 if (c1%3 == 0) {
38 S2((c1+3)/3,c1/3);
40 if ((c1+1)%3 == 0) {
41 S6((c1+1)/3,(c1+4)/3);
43 if (c1%3 == 0) {
44 S2((c1+6)/3,c1/3);
46 for (c2=ceild(c1+7,3);c2<=M;c2++) {
47 if ((c1+1)%3 == 0) {
48 S6((c1+1)/3,c2);
50 if (c1%3 == 0) {
51 S2(c2,c1/3);
53 if ((c1+1)%3 == 0) {
54 for (i=ceild(c1+4,3);i<=c2-1;i++) {
55 S5(i,c2,(c1+1)/3);
60 if (M >= 3) {
61 for (c2=M-1;c2<=M;c2++) {
62 S2(c2,M-2);
65 if (M >= 3) {
66 S3(M-1);
68 if (M >= 3) {
69 S6(M-1,M);
71 if (M >= 2) {
72 S2(M,M-1);
74 if (M >= 2) {
75 S3(M);