summaryrefslogtreecommitdiff
path: root/test/cholesky2.c.polylib
diff options
context:
space:
mode:
authorHyungKyu Song <hk76.song@samsung.com>2013-02-16 00:43:14 +0900
committerHyungKyu Song <hk76.song@samsung.com>2013-02-16 00:43:14 +0900
commit428c6fc77d11887d9ee4b3d637f719cb96b9cfe7 (patch)
tree6ff26e952291853d4481820a510dbf5e8d370cd5 /test/cholesky2.c.polylib
parent29a00e8ce531e1686523d3cd7923d322375ec7e8 (diff)
downloadcloog-tizen_2.0.tar.gz
cloog-tizen_2.0.tar.bz2
cloog-tizen_2.0.zip
Diffstat (limited to 'test/cholesky2.c.polylib')
-rw-r--r--test/cholesky2.c.polylib94
1 files changed, 94 insertions, 0 deletions
diff --git a/test/cholesky2.c.polylib b/test/cholesky2.c.polylib
new file mode 100644
index 0000000..a5dbdc2
--- /dev/null
+++ b/test/cholesky2.c.polylib
@@ -0,0 +1,94 @@
+/* Generated from cholesky2.cloog by CLooG v0.14.0 gmp bits in 0.11s. */
+/* CLooG asked for 616 KBytes. */
+if (M >= 2) {
+ for (c2=1;c2<=M-1;c2++) {
+ S1(i = c2) ;
+ for (c3=c2+1;c3<=M;c3++) {
+ S4(i = c2,j = c3) ;
+ }
+ }
+ S1(i = M) ;
+}
+if (M == 1) {
+ S1(i = 1) ;
+}
+if (M >= 2) {
+ S3(i = 1) ;
+}
+if (M >= 3) {
+ S6(i = 1,j = 2) ;
+ for (c2=3;c2<=M;c2++) {
+ S6(i = 1,j = c2) ;
+ for (i=2;i<=c2-1;i++) {
+ S5(j = c2,k = 1) ;
+ }
+ }
+}
+if (M == 2) {
+ S6(i = 1,j = 2) ;
+}
+for (c1=3;c1<=3*M-7;c1++) {
+ if ((c1+2)%3 == 0) {
+ i = (c1+2)/3 ;
+ S3 ;
+ }
+ if (c1%3 == 0) {
+ c2 = (c1+3)/3 ;
+ i = (c1+3)/3 ;
+ S2(j = c1/3) ;
+ }
+ for (c2=ceild(c1+4,3);c2<=floord(c1+6,3);c2++) {
+ if ((c1+1)%3 == 0) {
+ i = (c1+1)/3 ;
+ S6(j = c2) ;
+ }
+ if (c1%3 == 0) {
+ S2(i = c2,j = c1/3) ;
+ }
+ }
+ for (c2=ceild(c1+7,3);c2<=M;c2++) {
+ if ((c1+1)%3 == 0) {
+ i = (c1+1)/3 ;
+ S6(j = c2) ;
+ }
+ if (c1%3 == 0) {
+ S2(i = c2,j = c1/3) ;
+ }
+ if ((c1+1)%3 == 0) {
+ c3 = (c1+1)/3 ;
+ for (i=ceild(c1+4,3);i<=c2-1;i++) {
+ k = (c1+1)/3 ;
+ S5(j = c2) ;
+ }
+ }
+ }
+}
+for (c1=max(3*M-6,3);c1<=3*M-4;c1++) {
+ if ((c1+2)%3 == 0) {
+ i = (c1+2)/3 ;
+ S3 ;
+ }
+ if (c1%3 == 0) {
+ c2 = (c1+3)/3 ;
+ i = (c1+3)/3 ;
+ S2(j = c1/3) ;
+ }
+ for (c2=ceild(c1+4,3);c2<=M;c2++) {
+ if ((c1+1)%3 == 0) {
+ i = (c1+1)/3 ;
+ S6(j = c2) ;
+ }
+ if (c1%3 == 0) {
+ S2(i = c2,j = c1/3) ;
+ }
+ }
+}
+if (M >= 2) {
+ c1 = 3*M-3 ;
+ j = M-1 ;
+ S2(i = M) ;
+}
+if (M >= 1) {
+ c1 = 3*M-2 ;
+ S3(i = M) ;
+}