ported domain_difference
[cloog-ppl.git] / test / cholesky2.c
bloba5dbdc2793d06fe65ffc4bc5191963fb9a3efc51
1 /* Generated from cholesky2.cloog by CLooG v0.14.0 gmp bits in 0.11s. */
2 /* CLooG asked for 616 KBytes. */
3 if (M >= 2) {
4 for (c2=1;c2<=M-1;c2++) {
5 S1(i = c2) ;
6 for (c3=c2+1;c3<=M;c3++) {
7 S4(i = c2,j = c3) ;
10 S1(i = M) ;
12 if (M == 1) {
13 S1(i = 1) ;
15 if (M >= 2) {
16 S3(i = 1) ;
18 if (M >= 3) {
19 S6(i = 1,j = 2) ;
20 for (c2=3;c2<=M;c2++) {
21 S6(i = 1,j = c2) ;
22 for (i=2;i<=c2-1;i++) {
23 S5(j = c2,k = 1) ;
27 if (M == 2) {
28 S6(i = 1,j = 2) ;
30 for (c1=3;c1<=3*M-7;c1++) {
31 if ((c1+2)%3 == 0) {
32 i = (c1+2)/3 ;
33 S3 ;
35 if (c1%3 == 0) {
36 c2 = (c1+3)/3 ;
37 i = (c1+3)/3 ;
38 S2(j = c1/3) ;
40 for (c2=ceild(c1+4,3);c2<=floord(c1+6,3);c2++) {
41 if ((c1+1)%3 == 0) {
42 i = (c1+1)/3 ;
43 S6(j = c2) ;
45 if (c1%3 == 0) {
46 S2(i = c2,j = c1/3) ;
49 for (c2=ceild(c1+7,3);c2<=M;c2++) {
50 if ((c1+1)%3 == 0) {
51 i = (c1+1)/3 ;
52 S6(j = c2) ;
54 if (c1%3 == 0) {
55 S2(i = c2,j = c1/3) ;
57 if ((c1+1)%3 == 0) {
58 c3 = (c1+1)/3 ;
59 for (i=ceild(c1+4,3);i<=c2-1;i++) {
60 k = (c1+1)/3 ;
61 S5(j = c2) ;
66 for (c1=max(3*M-6,3);c1<=3*M-4;c1++) {
67 if ((c1+2)%3 == 0) {
68 i = (c1+2)/3 ;
69 S3 ;
71 if (c1%3 == 0) {
72 c2 = (c1+3)/3 ;
73 i = (c1+3)/3 ;
74 S2(j = c1/3) ;
76 for (c2=ceild(c1+4,3);c2<=M;c2++) {
77 if ((c1+1)%3 == 0) {
78 i = (c1+1)/3 ;
79 S6(j = c2) ;
81 if (c1%3 == 0) {
82 S2(i = c2,j = c1/3) ;
86 if (M >= 2) {
87 c1 = 3*M-3 ;
88 j = M-1 ;
89 S2(i = M) ;
91 if (M >= 1) {
92 c1 = 3*M-2 ;
93 S3(i = M) ;