source/clast.c: detect pairs of inequalities that uniquely define a variable
[cloog.git] / test / cholesky2.c
blob393219deca56bec4f8f5367db9580cf63518f8da
1 /* Generated from cholesky2.cloog by CLooG 0.14.0-63-gb31d016 gmp bits in 0.10s. */
2 if (M >= 2) {
3 for (c2=1;c2<=M-1;c2++) {
4 S1(i = c2) ;
5 for (c3=c2+1;c3<=M;c3++) {
6 S4(i = c2,j = c3) ;
9 S1(i = M) ;
11 if (M == 1) {
12 S1(i = 1) ;
14 if (M >= 2) {
15 S3(i = 1) ;
17 if (M >= 3) {
18 S6(i = 1,j = 2) ;
19 for (c2=3;c2<=M;c2++) {
20 S6(i = 1,j = c2) ;
21 for (i=2;i<=c2-1;i++) {
22 S5(j = c2,k = 1) ;
26 if (M == 2) {
27 S6(i = 1,j = 2) ;
29 for (c1=3;c1<=3*M-7;c1++) {
30 if ((c1+2)%3 == 0) {
31 i = (c1+2)/3 ;
32 S3 ;
34 if (c1%3 == 0) {
35 c2 = (c1+3)/3 ;
36 i = (c1+3)/3 ;
37 S2(j = c1/3) ;
39 c2 = floord(c1+6,3) ;
40 if ((c1+1)%3 == 0) {
41 i = (c1+1)/3 ;
42 S6(j = c2) ;
44 if (c1%3 == 0) {
45 S2(i = c2,j = c1/3) ;
47 for (c2=ceild(c1+7,3);c2<=M;c2++) {
48 if ((c1+1)%3 == 0) {
49 i = (c1+1)/3 ;
50 S6(j = c2) ;
52 if (c1%3 == 0) {
53 S2(i = c2,j = c1/3) ;
55 if ((c1+1)%3 == 0) {
56 c3 = (c1+1)/3 ;
57 for (i=ceild(c1+4,3);i<=c2-1;i++) {
58 k = (c1+1)/3 ;
59 S5(j = c2) ;
64 for (c1=max(3*M-6,3);c1<=3*M-4;c1++) {
65 if ((c1+2)%3 == 0) {
66 i = (c1+2)/3 ;
67 S3 ;
69 if (c1%3 == 0) {
70 c2 = (c1+3)/3 ;
71 i = (c1+3)/3 ;
72 S2(j = c1/3) ;
74 for (c2=ceild(c1+4,3);c2<=M;c2++) {
75 if ((c1+1)%3 == 0) {
76 i = (c1+1)/3 ;
77 S6(j = c2) ;
79 if (c1%3 == 0) {
80 S2(i = c2,j = c1/3) ;
84 if (M >= 2) {
85 c1 = 3*M-3 ;
86 j = M-1 ;
87 S2(i = M) ;
89 if (M >= 1) {
90 c1 = 3*M-2 ;
91 S3(i = M) ;