summaryrefslogtreecommitdiff
path: root/test/non_optimal
diff options
context:
space:
mode:
Diffstat (limited to 'test/non_optimal')
-rw-r--r--test/non_optimal/deuxpts.cloog35
-rw-r--r--test/non_optimal/dreamupT1.cloog32
-rw-r--r--test/non_optimal/dreamupT3-delta-gamma.cloog58
-rw-r--r--test/non_optimal/dreamupT3.cloog58
-rw-r--r--test/non_optimal/dreamupT3.omega17
-rw-r--r--test/non_optimal/interpolation-duration.cloog74
-rw-r--r--test/non_optimal/nul_complex1.c10
-rw-r--r--test/non_optimal/nul_complex1.c.polylib11
-rw-r--r--test/non_optimal/nul_complex1.c.ppl10
-rw-r--r--test/non_optimal/nul_complex1.cloog37
-rw-r--r--test/non_optimal/usvd_e_t.c380
-rw-r--r--test/non_optimal/usvd_e_t.c.polylib389
-rw-r--r--test/non_optimal/usvd_e_t.c.ppl389
-rw-r--r--test/non_optimal/usvd_e_t.cloog241
-rw-r--r--test/non_optimal/youcef.c19
-rw-r--r--test/non_optimal/youcef.c.polylib17
-rw-r--r--test/non_optimal/youcef.c.ppl17
-rw-r--r--test/non_optimal/youcef.cloog46
18 files changed, 409 insertions, 1431 deletions
diff --git a/test/non_optimal/deuxpts.cloog b/test/non_optimal/deuxpts.cloog
deleted file mode 100644
index 4997940..0000000
--- a/test/non_optimal/deuxpts.cloog
+++ /dev/null
@@ -1,35 +0,0 @@
-
-
-#----------------------SCoP NO. 49
-
-#-------------------CONTEXT------------------------
- c # language is c
- 1 # Context (no constarints on parameters)
- 1 3 # 1 lines and 10 coloumns
- # NUM1 1
- 0 0 0
-
- 0
-
-#---------------------STATEMENTS--------------------
- 2 #Number of Statements
-
- 1 #STMT 1 at line no. 2063 has 1 domain
- # Domain 1
- 1 3
- # NUM1 1
- 0 0 0
- 0 0 0
-
- 1 #STMT 7 at line no. 2075 has 1 domain
- # Domain 1
- 1 3
- # NUM1 1
- 0 0 0
- 0 0 0
-
- 0
-
-#---------------------SCATTERING FUNCTIONS--------------------
- 0 #Scattering functions
-
diff --git a/test/non_optimal/dreamupT1.cloog b/test/non_optimal/dreamupT1.cloog
deleted file mode 100644
index 32747ff..0000000
--- a/test/non_optimal/dreamupT1.cloog
+++ /dev/null
@@ -1,32 +0,0 @@
-# language: C
-c
-
-# parameter: none
-1 2
-# 1
-1 0 # 0 >= 0
-
-0
-
-1 # Number of statements
-
-1 # One domain
-4 4 # 4 lines and 4 columns
-# c1 c2 1
-1 1 0 0 # c1 >= 0
-1 -1 0 31 # c1 <= 31
-1 0 1 0 # c2 >= 0
-1 0 -1 511 # c2 <= 511
-0 0 0 # for future options
-
-1 # set manually the iterator names
-c1 c2
-
-1 # Scattering functions
-
-1 5
-# d c1 c2 1
-0 1 -1536 -3 0 # d = 1536*c1 + 3*c2
-
-1 # set manually the scattering dimension names
-d
diff --git a/test/non_optimal/dreamupT3-delta-gamma.cloog b/test/non_optimal/dreamupT3-delta-gamma.cloog
deleted file mode 100644
index 1e14ab0..0000000
--- a/test/non_optimal/dreamupT3-delta-gamma.cloog
+++ /dev/null
@@ -1,58 +0,0 @@
-# language: C
-c
-
-# parameter: none
-1 2
-# 1
-1 0 # 0 >= 0
-
-0
-
-3 # Number of statements
-
-1 # S1 : One domain
-4 4 # 4 lines and 4 columns
-# c1 c2 1
-1 1 0 0 # c1 >= 0
-1 -1 0 31 # c1 <= 31
-1 0 1 0 # c2 >= 0
-1 0 -1 511 # c2 <= 511
-0 0 0 # for future options
-
-1 # S2 : One domain
-2 3 # 2 lines and 3 columns
-# c3 1
-1 1 0 # c3 >= 0
-1 -1 127 # c3 <= 127
-0 0 0 # for future options
-
-1 # S3 : One domain
-4 4 # 4 lines and 4 columns
-# c4 c5 1
-1 1 0 0 # c4 >= 0
-1 -1 0 126 # c4 <= 126
-1 0 1 0 # c5 >= 0
-1 0 -1 127 # c5 <= 127
-0 0 0 # for future options
-
-
-1 # set manually the iterator names
-c1 c2 c3 c4 c5
-
-3 # Scattering functions
-
-1 5
-# d c1 c2 1
-0 1 -512 -1 0 # d = 512*c1 + 1*c2
-
-1 4
-# d c3 1
-0 1 -128 -511 # d = 128*c3 + 511
-
-1 5
-# d c4 c5 1
-0 1 -128 -1 -639 # d = 128*c4 + c5 + 639
-
-
-1 # set manually the scattering dimension names
-d
diff --git a/test/non_optimal/dreamupT3.cloog b/test/non_optimal/dreamupT3.cloog
deleted file mode 100644
index 0c923bd..0000000
--- a/test/non_optimal/dreamupT3.cloog
+++ /dev/null
@@ -1,58 +0,0 @@
-# language: C
-c
-
-# parameter: none
-1 2
-# 1
-1 0 # 0 >= 0
-
-0
-
-3 # Number of statements
-
-1 # S1 : One domain
-4 4 # 4 lines and 4 columns
-# c1 c2 1
-1 1 0 0 # c1 >= 0
-1 -1 0 31 # c1 <= 31
-1 0 1 0 # c2 >= 0
-1 0 -1 511 # c2 <= 511
-0 0 0 # for future options
-
-1 # S2 : One domain
-2 3 # 2 lines and 3 columns
-# c3 1
-1 1 0 # c3 >= 0
-1 -1 127 # c3 <= 127
-0 0 0 # for future options
-
-1 # S3 : One domain
-4 4 # 4 lines and 4 columns
-# c4 c5 1
-1 1 0 0 # c4 >= 0
-1 -1 0 126 # c4 <= 126
-1 0 1 0 # c5 >= 0
-1 0 -1 127 # c5 <= 127
-0 0 0 # for future options
-
-
-1 # set manually the iterator names
-c1 c2 c3 c4 c5
-
-3 # Scattering functions
-
-1 5
-# d c1 c2 1
-0 1 -1536 -3 0 # d = 1536*c1 + 3*c2
-
-1 4
-# d c3 1
-0 1 -384 -1534 # d = 384*c3 + 1534
-
-1 5
-# d c4 c5 1
-0 1 -384 -3 -1919 # d = 384*c4 + 3*c5 + 1919
-
-
-1 # set manually the scattering dimension names
-d
diff --git a/test/non_optimal/dreamupT3.omega b/test/non_optimal/dreamupT3.omega
deleted file mode 100644
index 9046c09..0000000
--- a/test/non_optimal/dreamupT3.omega
+++ /dev/null
@@ -1,17 +0,0 @@
-# CLooG -> OMEGA
-# This is an automatic dump of an input file from a CloogProgram data
-# structure. It can be correct ONLY if dumped before loop generation.
-
-# Context (0 parameter(s)).
-# Iteration domains:
-IS10:={[c1,c2]: c1>=0 && -c1+31>=0 && c2>=0 && -c2+511>=0} ;
-IS20:={[c1]: c1>=0 && -c1+127>=0} ;
-IS30:={[c1,c2]: c1>=0 && -c1+126>=0 && c2>=0 && -c2+127>=0} ;
-
-# Schedules:
-T10:={[c1,c2] -> [1536c1+3c2,c1,c2]} ;
-T20:={[c1] -> [384c1+1534,c1,0]} ;
-T30:={[c1,c2] -> [384c1+3c2+1919,c1,c2]} ;
-
-# CodeGen call:
-codegen 3 T10:IS10, T20:IS20, T30:IS30 ;
diff --git a/test/non_optimal/interpolation-duration.cloog b/test/non_optimal/interpolation-duration.cloog
deleted file mode 100644
index ed35b85..0000000
--- a/test/non_optimal/interpolation-duration.cloog
+++ /dev/null
@@ -1,74 +0,0 @@
-#language : C
-c
-
-#parameter: none
-1 2
-# 1
-1 0 #0>=0
-
-0
-
-5 #number of statements
-
-1 #T0 : One domain
-4 4 # 4lines and 4 columns
-1 1 0 0 # c1 >= 0
-1 -1 0 0 # c1 <= 0
-1 0 1 0 #c2 >=0
-1 0 -1 12 #c2 <= 12
-0 0 0 #for future options
-
-1 #T1 : One domain
-4 4 # 4lines and 4 columns
-1 1 0 0 # c1 >= 0
-1 -1 0 7 # c1 <= 7
-1 0 1 0 #c2 >=0
-1 0 -1 0 #c2 <= 0
-0 0 0 #for future options
-
-1 #T2 : One domain
-4 4 # 4lines and 4 columns
-1 1 0 0 # c1 >= 0
-1 -1 0 3 # c1 <= 3
-1 0 1 0 #c2 >=0
-1 0 -1 0 #c2 <= 0
-0 0 0 #for future options
-
-1 #T3 : One domain
-4 4 # 4lines and 4 columns
-1 1 0 0 # c1 >= 0
-1 -1 0 3 # c1 <= 3
-1 0 1 0 #c2 >=0
-1 0 -1 0 #c2 <= 0
-0 0 0 #for future options
-
-1 #T4 : One domain
-4 4 # 4lines and 4 columns
-1 1 0 0 # c1 >= 0
-1 -1 0 3 # c1 <= 3
-1 0 1 0 #c2 >=0
-1 0 -1 0 #c2 <= 0
-0 0 0 #for future options
-
-1
-c1 c2 c3 c4 c5 c6 c7 c8 c9 c10
-
-5
-
-1 5
-0 1 -65 -5 0 #d = 65c1 + 5c2
-
-1 5
-0 1 -5 -5 -61 #d = 5c3 + 5c4 + 61
-
-1 5
-0 1 -10 -5 -67 #d = 10c5+5c6+67
-
-1 5
-0 1 -10 -5 -68 #d=10c7+5c8+68
-
-1 5
-0 1 -10 -5 -69 #d=10c9+5c10+69
-
-1
-d
diff --git a/test/non_optimal/nul_complex1.c b/test/non_optimal/nul_complex1.c
new file mode 100644
index 0000000..ff78145
--- /dev/null
+++ b/test/non_optimal/nul_complex1.c
@@ -0,0 +1,10 @@
+/* Generated from ../../../git/cloog/test/./non_optimal/nul_complex1.cloog by CLooG 0.14.0-136-gb91ef26 gmp bits in 0.00s. */
+if (n >= 0) {
+ for (c1=0;c1<=5*n;c1++) {
+ for (c2=max(ceild(2*c1,3),c1-n);c2<=min(floord(2*c1+2*n,3),c1);c2++) {
+ if (c2%2 == 0) {
+ S1((-2*c1+3*c2)/2,c1-c2) ;
+ }
+ }
+ }
+}
diff --git a/test/non_optimal/nul_complex1.c.polylib b/test/non_optimal/nul_complex1.c.polylib
deleted file mode 100644
index 2034696..0000000
--- a/test/non_optimal/nul_complex1.c.polylib
+++ /dev/null
@@ -1,11 +0,0 @@
-/* Generated from ./non_optimal/nul_complex1.cloog by CLooG v0.14.0 gmp bits in 0.01s. */
-/* CLooG asked for 80 KBytes. */
-for (c1=0;c1<=5*n;c1++) {
- for (c2=max(c1-n,ceild(2*c1,3));c2<=min(c1,floord(2*c1+2*n,3));c2++) {
- if (c2%2 == 0) {
- i = (-2*c1+3*c2)/2 ;
- j = c1-c2 ;
- S1 ;
- }
- }
-}
diff --git a/test/non_optimal/nul_complex1.c.ppl b/test/non_optimal/nul_complex1.c.ppl
deleted file mode 100644
index d9ba6b2..0000000
--- a/test/non_optimal/nul_complex1.c.ppl
+++ /dev/null
@@ -1,10 +0,0 @@
-/* Generated from ././non_optimal/nul_complex1.cloog by CLooG 0.15 64 bits in 0.01s. */
-for (c1=0;c1<=5*n;c1++) {
- for (c2=max(ceild(2*c1,3),c1-n);c2<=min(floord(2*c1+2*n,3),c1);c2++) {
- if (c2%2 == 0) {
- i = (-2*c1+3*c2)/2 ;
- j = c1-c2 ;
- S1 ;
- }
- }
-}
diff --git a/test/non_optimal/nul_complex1.cloog b/test/non_optimal/nul_complex1.cloog
deleted file mode 100644
index 4b4d45a..0000000
--- a/test/non_optimal/nul_complex1.cloog
+++ /dev/null
@@ -1,37 +0,0 @@
-# Optimal code is in fact :
-#
-# for (i=0;i<=M;i+=2) {
-# S1 ;
-# }
-
-# language: C
-c
-
-# parameter n
-1 3
-# n 1
-1 0 1
-1
-n
-
-1 # Number of statements
-
-1
-# {i | 0<=i<=n}
-4 5
-# i j n 1
-1 1 0 0 0
-1 -1 0 1 0
-1 0 1 0 0
-1 0 -1 1 0
-0 0 0
-0
-
-1 # Scattering functions
-
-2 7
-# c1 c2 i j n 1
-0 1 0 -2 -3 0 0
-0 0 1 -2 -2 0 0
-
-0
diff --git a/test/non_optimal/usvd_e_t.c b/test/non_optimal/usvd_e_t.c
new file mode 100644
index 0000000..6a09316
--- /dev/null
+++ b/test/non_optimal/usvd_e_t.c
@@ -0,0 +1,380 @@
+/* Generated from /home/skimo/git/cloog-parma/cloog-core/test/./non_optimal/usvd_e_t.cloog by CLooG 0.14.0-285-g341b1cd gmp bits. */
+for (i=0;i<=2;i++) {
+ S1(i,0,0);
+ S2(i,0,0);
+ for (j=1;j<=4;j++) {
+ S2(i,j,0);
+ }
+}
+S1(3,0,0);
+S2(3,0,0);
+for (j=1;j<=4;j++) {
+ S2(3,j,0);
+}
+for (j=7;j<=11;j++) {
+ S8(3,j,0);
+}
+S1(4,0,0);
+S2(4,0,0);
+S3(4,0,0);
+S5(4,0,0);
+for (j=1;j<=4;j++) {
+ S2(4,j,0);
+ S5(4,j,0);
+}
+for (j=7;j<=11;j++) {
+ S8(4,j,0);
+}
+for (i=5;i<=6;i++) {
+ if (i == 6) {
+ S6(i,-4,0);
+ }
+ S6(i,i-9,0);
+ S7(i,i-9,0);
+ for (j=i-8;j<=-1;j++) {
+ S7(i,j,0);
+ }
+ S3(i,0,0);
+ S7(i,0,0);
+ if (i == 6) {
+ S4(i,1,-1);
+ }
+ S4(i,i-4,-1);
+ S5(i,i-4,0);
+ for (j=i-3;j<=4;j++) {
+ S5(i,j,0);
+ }
+ for (j=7;j<=11;j++) {
+ S8(i,j,0);
+ }
+}
+for (j=-4;j<=-3;j++) {
+ S6(7,j,0);
+}
+S6(7,-2,0);
+S7(7,-2,0);
+S7(7,-1,0);
+S3(7,0,0);
+S7(7,0,0);
+for (j=1;j<=2;j++) {
+ S4(7,j,-1);
+}
+S4(7,3,-1);
+S5(7,3,0);
+S5(7,4,0);
+S9(7,4,0);
+S10(7,4,0);
+S11(7,4,0);
+S21(7,4,0);
+S23(7,4,0);
+S11(7,4,1);
+S16(7,4,1);
+S17(7,4,1);
+for (k=2;k<=4;k++) {
+ S11(7,4,k);
+}
+S12(7,5,0);
+S21(7,5,0);
+S22(7,5,0);
+S23(7,5,0);
+S12(7,5,1);
+S16(7,5,1);
+S17(7,5,1);
+for (k=2;k<=4;k++) {
+ S12(7,5,k);
+}
+S21(7,6,0);
+S22(7,6,0);
+S23(7,6,0);
+for (j=7;j<=8;j++) {
+ S8(7,j,0);
+ S21(7,j,0);
+ S22(7,j,0);
+ S23(7,j,0);
+}
+S8(7,9,0);
+S22(7,9,0);
+for (j=10;j<=11;j++) {
+ S8(7,j,0);
+}
+for (j=-4;j<=-2;j++) {
+ S6(8,j,0);
+}
+S6(8,-1,0);
+S7(8,-1,0);
+S3(8,0,0);
+S7(8,0,0);
+S19(8,1,-2);
+S4(8,1,-1);
+S19(8,1,-1);
+S19(8,1,0);
+S15(8,1,4);
+S18(8,1,4);
+for (k=-4;k<=-3;k++) {
+ S14(8,2,k);
+ S20(8,2,k);
+}
+S14(8,2,-2);
+S19(8,2,-2);
+S20(8,2,-2);
+S4(8,2,-1);
+S14(8,2,-1);
+S19(8,2,-1);
+S20(8,2,-1);
+S14(8,2,0);
+S19(8,2,0);
+S20(8,2,0);
+S15(8,2,4);
+S18(8,2,4);
+for (k=-4;k<=-2;k++) {
+ S14(8,3,k);
+ S20(8,3,k);
+}
+S4(8,3,-1);
+S14(8,3,-1);
+S20(8,3,-1);
+S14(8,3,0);
+S20(8,3,0);
+S15(8,3,4);
+S18(8,3,4);
+for (k=-4;k<=-2;k++) {
+ S14(8,4,k);
+ S20(8,4,k);
+}
+S4(8,4,-1);
+S14(8,4,-1);
+S20(8,4,-1);
+S5(8,4,0);
+S9(8,4,0);
+S10(8,4,0);
+S14(8,4,0);
+S20(8,4,0);
+S23(8,4,0);
+S13(8,4,1);
+S21(8,4,1);
+S23(8,4,1);
+S24(8,4,1);
+S13(8,4,2);
+S16(8,4,2);
+S17(8,4,2);
+S24(8,4,2);
+S13(8,4,3);
+S24(8,4,3);
+S13(8,4,4);
+S15(8,4,4);
+S23(8,5,0);
+S11(8,5,1);
+S21(8,5,1);
+S22(8,5,1);
+S23(8,5,1);
+S24(8,5,1);
+S11(8,5,2);
+S16(8,5,2);
+S17(8,5,2);
+S24(8,5,2);
+S11(8,5,3);
+S24(8,5,3);
+S11(8,5,4);
+S15(8,5,4);
+S23(8,6,0);
+S12(8,6,1);
+S21(8,6,1);
+S22(8,6,1);
+S23(8,6,1);
+S24(8,6,1);
+S12(8,6,2);
+S16(8,6,2);
+S17(8,6,2);
+S24(8,6,2);
+S12(8,6,3);
+S24(8,6,3);
+S12(8,6,4);
+for (j=7;j<=8;j++) {
+ S23(8,j,0);
+ S21(8,j,1);
+ S22(8,j,1);
+ S23(8,j,1);
+ S24(8,j,1);
+ for (k=2;k<=3;k++) {
+ S24(8,j,k);
+ }
+}
+S22(8,9,1);
+S7(9,0,0);
+for (j=1;j<=2;j++) {
+ for (k=-1;k<=0;k++) {
+ S19(9,j,k);
+ }
+ for (k=4;k<=5;k++) {
+ S15(9,j,k);
+ S18(9,j,k);
+ }
+}
+S20(9,3,-4);
+for (k=-3;k<=-2;k++) {
+ S14(9,3,k);
+ S20(9,3,k);
+}
+for (k=-1;k<=0;k++) {
+ S14(9,3,k);
+ S19(9,3,k);
+ S20(9,3,k);
+}
+for (k=4;k<=5;k++) {
+ S15(9,3,k);
+ S18(9,3,k);
+}
+S20(9,4,-4);
+for (k=-3;k<=-1;k++) {
+ S14(9,4,k);
+ S20(9,4,k);
+}
+S9(9,4,0);
+S10(9,4,0);
+S14(9,4,0);
+S20(9,4,0);
+S23(9,4,0);
+S23(9,4,1);
+S13(9,4,2);
+S21(9,4,2);
+S23(9,4,2);
+S24(9,4,2);
+S13(9,4,3);
+S16(9,4,3);
+S17(9,4,3);
+S24(9,4,3);
+S13(9,4,4);
+S15(9,4,4);
+S18(9,4,4);
+S15(9,4,5);
+S18(9,4,5);
+for (k=0;k<=1;k++) {
+ S23(9,5,k);
+}
+S13(9,5,2);
+S21(9,5,2);
+S22(9,5,2);
+S23(9,5,2);
+S24(9,5,2);
+S13(9,5,3);
+S16(9,5,3);
+S17(9,5,3);
+S24(9,5,3);
+S13(9,5,4);
+S15(9,5,4);
+S15(9,5,5);
+for (k=0;k<=1;k++) {
+ S23(9,6,k);
+}
+S11(9,6,2);
+S21(9,6,2);
+S22(9,6,2);
+S23(9,6,2);
+S24(9,6,2);
+S11(9,6,3);
+S16(9,6,3);
+S17(9,6,3);
+S24(9,6,3);
+S11(9,6,4);
+for (k=0;k<=1;k++) {
+ S23(9,7,k);
+}
+S12(9,7,2);
+S21(9,7,2);
+S22(9,7,2);
+S23(9,7,2);
+S24(9,7,2);
+S12(9,7,3);
+S16(9,7,3);
+S17(9,7,3);
+S24(9,7,3);
+S12(9,7,4);
+for (k=0;k<=1;k++) {
+ S23(9,8,k);
+}
+S21(9,8,2);
+S22(9,8,2);
+S23(9,8,2);
+S24(9,8,2);
+S24(9,8,3);
+S22(9,9,2);
+for (j=1;j<=3;j++) {
+ S19(10,j,0);
+ S26(10,j,3);
+ S15(10,j,4);
+ S18(10,j,4);
+ S25(10,j,4);
+ for (k=5;k<=6;k++) {
+ S15(10,j,k);
+ S18(10,j,k);
+ }
+}
+for (k=-4;k<=-3;k++) {
+ S20(10,4,k);
+}
+for (k=-2;k<=-1;k++) {
+ S14(10,4,k);
+ S20(10,4,k);
+}
+S9(10,4,0);
+S10(10,4,0);
+S14(10,4,0);
+S19(10,4,0);
+S20(10,4,0);
+S13(10,4,3);
+S21(10,4,3);
+S24(10,4,3);
+S26(10,4,3);
+S13(10,4,4);
+S15(10,4,4);
+S16(10,4,4);
+S17(10,4,4);
+S18(10,4,4);
+S25(10,4,4);
+for (k=5;k<=6;k++) {
+ S15(10,4,k);
+ S18(10,4,k);
+}
+S13(10,5,3);
+S21(10,5,3);
+S22(10,5,3);
+S24(10,5,3);
+S26(10,5,3);
+S13(10,5,4);
+S15(10,5,4);
+S16(10,5,4);
+S17(10,5,4);
+S18(10,5,4);
+S25(10,5,4);
+for (k=5;k<=6;k++) {
+ S15(10,5,k);
+ S18(10,5,k);
+}
+S13(10,6,3);
+S21(10,6,3);
+S22(10,6,3);
+S24(10,6,3);
+S13(10,6,4);
+S16(10,6,4);
+S17(10,6,4);
+S11(10,7,3);
+S21(10,7,3);
+S22(10,7,3);
+S24(10,7,3);
+S11(10,7,4);
+S16(10,7,4);
+S17(10,7,4);
+S12(10,8,3);
+S21(10,8,3);
+S22(10,8,3);
+S24(10,8,3);
+S12(10,8,4);
+S16(10,8,4);
+S17(10,8,4);
+S22(10,9,3);
+for (i=11;i<=14;i++) {
+ for (j=1;j<=5;j++) {
+ S26(i,j,3);
+ S25(i,j,4);
+ }
+}
diff --git a/test/non_optimal/usvd_e_t.c.polylib b/test/non_optimal/usvd_e_t.c.polylib
deleted file mode 100644
index 469a1f6..0000000
--- a/test/non_optimal/usvd_e_t.c.polylib
+++ /dev/null
@@ -1,389 +0,0 @@
-/* Generated by CLooG v0.10.7 */
-for (i=0;i<=2;i++) {
- S1(j = 0,k = 0) ;
- S2(j = 0,k = 0) ;
- for (j=1;j<=4;j++) {
- S2(k = 0) ;
- }
-}
-S1(i = 3,j = 0,k = 0) ;
-S2(i = 3,j = 0,k = 0) ;
-for (j=1;j<=4;j++) {
- S2(i = 3,k = 0) ;
-}
-for (j=7;j<=11;j++) {
- S8(i = 3,k = 0) ;
-}
-S1(i = 4,j = 0,k = 0) ;
-S2(i = 4,j = 0,k = 0) ;
-S3(i = 4,j = 0,k = 0) ;
-S5(i = 4,j = 0,k = 0) ;
-for (j=1;j<=4;j++) {
- S2(i = 4,k = 0) ;
- S5(i = 4,k = 0) ;
-}
-for (j=7;j<=11;j++) {
- S8(i = 4,k = 0) ;
-}
-S6(i = 5,j = -4,k = 0) ;
-S7(i = 5,j = -4,k = 0) ;
-for (j=-3;j<=-1;j++) {
- S7(i = 5,k = 0) ;
-}
-S3(i = 5,j = 0,k = 0) ;
-S7(i = 5,j = 0,k = 0) ;
-S4(i = 5,j = 1,k = -1) ;
-S5(i = 5,j = 1,k = 0) ;
-for (j=2;j<=4;j++) {
- S5(i = 5,k = 0) ;
-}
-for (j=7;j<=11;j++) {
- S8(i = 5,k = 0) ;
-}
-S6(i = 6,j = -4,k = 0) ;
-S6(i = 6,j = -3,k = 0) ;
-S7(i = 6,j = -3,k = 0) ;
-for (j=-2;j<=-1;j++) {
- S7(i = 6,k = 0) ;
-}
-S3(i = 6,j = 0,k = 0) ;
-S7(i = 6,j = 0,k = 0) ;
-S4(i = 6,j = 1,k = -1) ;
-S4(i = 6,j = 2,k = -1) ;
-S5(i = 6,j = 2,k = 0) ;
-for (j=3;j<=4;j++) {
- S5(i = 6,k = 0) ;
-}
-for (j=7;j<=11;j++) {
- S8(i = 6,k = 0) ;
-}
-for (j=-4;j<=-3;j++) {
- S6(i = 7,k = 0) ;
-}
-S6(i = 7,j = -2,k = 0) ;
-S7(i = 7,j = -2,k = 0) ;
-S7(i = 7,j = -1,k = 0) ;
-S3(i = 7,j = 0,k = 0) ;
-S7(i = 7,j = 0,k = 0) ;
-for (j=1;j<=2;j++) {
- S4(i = 7,k = -1) ;
-}
-S4(i = 7,j = 3,k = -1) ;
-S5(i = 7,j = 3,k = 0) ;
-S5(i = 7,j = 4,k = 0) ;
-S9(i = 7,j = 4,k = 0) ;
-S10(i = 7,j = 4,k = 0) ;
-S11(i = 7,j = 4,k = 0) ;
-S21(i = 7,j = 4,k = 0) ;
-S23(i = 7,j = 4,k = 0) ;
-S11(i = 7,j = 4,k = 1) ;
-S16(i = 7,j = 4,k = 1) ;
-S17(i = 7,j = 4,k = 1) ;
-for (k=2;k<=4;k++) {
- S11(i = 7,j = 4) ;
-}
-S12(i = 7,j = 5,k = 0) ;
-S21(i = 7,j = 5,k = 0) ;
-S22(i = 7,j = 5,k = 0) ;
-S23(i = 7,j = 5,k = 0) ;
-S12(i = 7,j = 5,k = 1) ;
-S16(i = 7,j = 5,k = 1) ;
-S17(i = 7,j = 5,k = 1) ;
-for (k=2;k<=4;k++) {
- S12(i = 7,j = 5) ;
-}
-S21(i = 7,j = 6,k = 0) ;
-S22(i = 7,j = 6,k = 0) ;
-S23(i = 7,j = 6,k = 0) ;
-for (j=7;j<=8;j++) {
- S8(i = 7,k = 0) ;
- S21(i = 7,k = 0) ;
- S22(i = 7,k = 0) ;
- S23(i = 7,k = 0) ;
-}
-S8(i = 7,j = 9,k = 0) ;
-S22(i = 7,j = 9,k = 0) ;
-for (j=10;j<=11;j++) {
- S8(i = 7,k = 0) ;
-}
-for (j=-4;j<=-2;j++) {
- S6(i = 8,k = 0) ;
-}
-S6(i = 8,j = -1,k = 0) ;
-S7(i = 8,j = -1,k = 0) ;
-S3(i = 8,j = 0,k = 0) ;
-S7(i = 8,j = 0,k = 0) ;
-S19(i = 8,j = 1,k = -2) ;
-S4(i = 8,j = 1,k = -1) ;
-S19(i = 8,j = 1,k = -1) ;
-S19(i = 8,j = 1,k = 0) ;
-S15(i = 8,j = 1,k = 4) ;
-S18(i = 8,j = 1,k = 4) ;
-for (k=-4;k<=-3;k++) {
- S14(i = 8,j = 2) ;
- S20(i = 8,j = 2) ;
-}
-S14(i = 8,j = 2,k = -2) ;
-S19(i = 8,j = 2,k = -2) ;
-S20(i = 8,j = 2,k = -2) ;
-S4(i = 8,j = 2,k = -1) ;
-S14(i = 8,j = 2,k = -1) ;
-S19(i = 8,j = 2,k = -1) ;
-S20(i = 8,j = 2,k = -1) ;
-S14(i = 8,j = 2,k = 0) ;
-S19(i = 8,j = 2,k = 0) ;
-S20(i = 8,j = 2,k = 0) ;
-S15(i = 8,j = 2,k = 4) ;
-S18(i = 8,j = 2,k = 4) ;
-for (k=-4;k<=-2;k++) {
- S14(i = 8,j = 3) ;
- S20(i = 8,j = 3) ;
-}
-S4(i = 8,j = 3,k = -1) ;
-S14(i = 8,j = 3,k = -1) ;
-S20(i = 8,j = 3,k = -1) ;
-S14(i = 8,j = 3,k = 0) ;
-S20(i = 8,j = 3,k = 0) ;
-S15(i = 8,j = 3,k = 4) ;
-S18(i = 8,j = 3,k = 4) ;
-for (k=-4;k<=-2;k++) {
- S14(i = 8,j = 4) ;
- S20(i = 8,j = 4) ;
-}
-S4(i = 8,j = 4,k = -1) ;
-S14(i = 8,j = 4,k = -1) ;
-S20(i = 8,j = 4,k = -1) ;
-S5(i = 8,j = 4,k = 0) ;
-S9(i = 8,j = 4,k = 0) ;
-S10(i = 8,j = 4,k = 0) ;
-S14(i = 8,j = 4,k = 0) ;
-S20(i = 8,j = 4,k = 0) ;
-S23(i = 8,j = 4,k = 0) ;
-S13(i = 8,j = 4,k = 1) ;
-S21(i = 8,j = 4,k = 1) ;
-S23(i = 8,j = 4,k = 1) ;
-S24(i = 8,j = 4,k = 1) ;
-S13(i = 8,j = 4,k = 2) ;
-S16(i = 8,j = 4,k = 2) ;
-S17(i = 8,j = 4,k = 2) ;
-S24(i = 8,j = 4,k = 2) ;
-S13(i = 8,j = 4,k = 3) ;
-S24(i = 8,j = 4,k = 3) ;
-S13(i = 8,j = 4,k = 4) ;
-S15(i = 8,j = 4,k = 4) ;
-S23(i = 8,j = 5,k = 0) ;
-S11(i = 8,j = 5,k = 1) ;
-S21(i = 8,j = 5,k = 1) ;
-S22(i = 8,j = 5,k = 1) ;
-S23(i = 8,j = 5,k = 1) ;
-S24(i = 8,j = 5,k = 1) ;
-S11(i = 8,j = 5,k = 2) ;
-S16(i = 8,j = 5,k = 2) ;
-S17(i = 8,j = 5,k = 2) ;
-S24(i = 8,j = 5,k = 2) ;
-S11(i = 8,j = 5,k = 3) ;
-S24(i = 8,j = 5,k = 3) ;
-S11(i = 8,j = 5,k = 4) ;
-S15(i = 8,j = 5,k = 4) ;
-S23(i = 8,j = 6,k = 0) ;
-S12(i = 8,j = 6,k = 1) ;
-S21(i = 8,j = 6,k = 1) ;
-S22(i = 8,j = 6,k = 1) ;
-S23(i = 8,j = 6,k = 1) ;
-S24(i = 8,j = 6,k = 1) ;
-S12(i = 8,j = 6,k = 2) ;
-S16(i = 8,j = 6,k = 2) ;
-S17(i = 8,j = 6,k = 2) ;
-S24(i = 8,j = 6,k = 2) ;
-S12(i = 8,j = 6,k = 3) ;
-S24(i = 8,j = 6,k = 3) ;
-S12(i = 8,j = 6,k = 4) ;
-for (j=7;j<=8;j++) {
- S23(i = 8,k = 0) ;
- S21(i = 8,k = 1) ;
- S22(i = 8,k = 1) ;
- S23(i = 8,k = 1) ;
- S24(i = 8,k = 1) ;
- for (k=2;k<=3;k++) {
- S24(i = 8) ;
- }
-}
-S22(i = 8,j = 9,k = 1) ;
-S7(i = 9,j = 0,k = 0) ;
-for (j=1;j<=2;j++) {
- for (k=-1;k<=0;k++) {
- S19(i = 9) ;
- }
- for (k=4;k<=5;k++) {
- S15(i = 9) ;
- S18(i = 9) ;
- }
-}
-S20(i = 9,j = 3,k = -4) ;
-for (k=-3;k<=-2;k++) {
- S14(i = 9,j = 3) ;
- S20(i = 9,j = 3) ;
-}
-for (k=-1;k<=0;k++) {
- S14(i = 9,j = 3) ;
- S19(i = 9,j = 3) ;
- S20(i = 9,j = 3) ;
-}
-for (k=4;k<=5;k++) {
- S15(i = 9,j = 3) ;
- S18(i = 9,j = 3) ;
-}
-S20(i = 9,j = 4,k = -4) ;
-for (k=-3;k<=-1;k++) {
- S14(i = 9,j = 4) ;
- S20(i = 9,j = 4) ;
-}
-S9(i = 9,j = 4,k = 0) ;
-S10(i = 9,j = 4,k = 0) ;
-S14(i = 9,j = 4,k = 0) ;
-S20(i = 9,j = 4,k = 0) ;
-S23(i = 9,j = 4,k = 0) ;
-S23(i = 9,j = 4,k = 1) ;
-S13(i = 9,j = 4,k = 2) ;
-S21(i = 9,j = 4,k = 2) ;
-S23(i = 9,j = 4,k = 2) ;
-S24(i = 9,j = 4,k = 2) ;
-S13(i = 9,j = 4,k = 3) ;
-S16(i = 9,j = 4,k = 3) ;
-S17(i = 9,j = 4,k = 3) ;
-S24(i = 9,j = 4,k = 3) ;
-S13(i = 9,j = 4,k = 4) ;
-S15(i = 9,j = 4,k = 4) ;
-S18(i = 9,j = 4,k = 4) ;
-S15(i = 9,j = 4,k = 5) ;
-S18(i = 9,j = 4,k = 5) ;
-for (k=0;k<=1;k++) {
- S23(i = 9,j = 5) ;
-}
-S13(i = 9,j = 5,k = 2) ;
-S21(i = 9,j = 5,k = 2) ;
-S22(i = 9,j = 5,k = 2) ;
-S23(i = 9,j = 5,k = 2) ;
-S24(i = 9,j = 5,k = 2) ;
-S13(i = 9,j = 5,k = 3) ;
-S16(i = 9,j = 5,k = 3) ;
-S17(i = 9,j = 5,k = 3) ;
-S24(i = 9,j = 5,k = 3) ;
-S13(i = 9,j = 5,k = 4) ;
-S15(i = 9,j = 5,k = 4) ;
-S15(i = 9,j = 5,k = 5) ;
-for (k=0;k<=1;k++) {
- S23(i = 9,j = 6) ;
-}
-S11(i = 9,j = 6,k = 2) ;
-S21(i = 9,j = 6,k = 2) ;
-S22(i = 9,j = 6,k = 2) ;
-S23(i = 9,j = 6,k = 2) ;
-S24(i = 9,j = 6,k = 2) ;
-S11(i = 9,j = 6,k = 3) ;
-S16(i = 9,j = 6,k = 3) ;
-S17(i = 9,j = 6,k = 3) ;
-S24(i = 9,j = 6,k = 3) ;
-S11(i = 9,j = 6,k = 4) ;
-for (k=0;k<=1;k++) {
- S23(i = 9,j = 7) ;
-}
-S12(i = 9,j = 7,k = 2) ;
-S21(i = 9,j = 7,k = 2) ;
-S22(i = 9,j = 7,k = 2) ;
-S23(i = 9,j = 7,k = 2) ;
-S24(i = 9,j = 7,k = 2) ;
-S12(i = 9,j = 7,k = 3) ;
-S16(i = 9,j = 7,k = 3) ;
-S17(i = 9,j = 7,k = 3) ;
-S24(i = 9,j = 7,k = 3) ;
-S12(i = 9,j = 7,k = 4) ;
-for (k=0;k<=1;k++) {
- S23(i = 9,j = 8) ;
-}
-S21(i = 9,j = 8,k = 2) ;
-S22(i = 9,j = 8,k = 2) ;
-S23(i = 9,j = 8,k = 2) ;
-S24(i = 9,j = 8,k = 2) ;
-S24(i = 9,j = 8,k = 3) ;
-S22(i = 9,j = 9,k = 2) ;
-for (j=1;j<=3;j++) {
- S19(i = 10,k = 0) ;
- S26(i = 10,k = 3) ;
- S15(i = 10,k = 4) ;
- S18(i = 10,k = 4) ;
- S25(i = 10,k = 4) ;
- for (k=5;k<=6;k++) {
- S15(i = 10) ;
- S18(i = 10) ;
- }
-}
-for (k=-4;k<=-3;k++) {
- S20(i = 10,j = 4) ;
-}
-for (k=-2;k<=-1;k++) {
- S14(i = 10,j = 4) ;
- S20(i = 10,j = 4) ;
-}
-S9(i = 10,j = 4,k = 0) ;
-S10(i = 10,j = 4,k = 0) ;
-S14(i = 10,j = 4,k = 0) ;
-S19(i = 10,j = 4,k = 0) ;
-S20(i = 10,j = 4,k = 0) ;
-S13(i = 10,j = 4,k = 3) ;
-S21(i = 10,j = 4,k = 3) ;
-S24(i = 10,j = 4,k = 3) ;
-S26(i = 10,j = 4,k = 3) ;
-S13(i = 10,j = 4,k = 4) ;
-S15(i = 10,j = 4,k = 4) ;
-S16(i = 10,j = 4,k = 4) ;
-S17(i = 10,j = 4,k = 4) ;
-S18(i = 10,j = 4,k = 4) ;
-S25(i = 10,j = 4,k = 4) ;
-for (k=5;k<=6;k++) {
- S15(i = 10,j = 4) ;
- S18(i = 10,j = 4) ;
-}
-S13(i = 10,j = 5,k = 3) ;
-S21(i = 10,j = 5,k = 3) ;
-S22(i = 10,j = 5,k = 3) ;
-S24(i = 10,j = 5,k = 3) ;
-S26(i = 10,j = 5,k = 3) ;
-S13(i = 10,j = 5,k = 4) ;
-S15(i = 10,j = 5,k = 4) ;
-S16(i = 10,j = 5,k = 4) ;
-S17(i = 10,j = 5,k = 4) ;
-S18(i = 10,j = 5,k = 4) ;
-S25(i = 10,j = 5,k = 4) ;
-for (k=5;k<=6;k++) {
- S15(i = 10,j = 5) ;
- S18(i = 10,j = 5) ;
-}
-S13(i = 10,j = 6,k = 3) ;
-S21(i = 10,j = 6,k = 3) ;
-S22(i = 10,j = 6,k = 3) ;
-S24(i = 10,j = 6,k = 3) ;
-S13(i = 10,j = 6,k = 4) ;
-S16(i = 10,j = 6,k = 4) ;
-S17(i = 10,j = 6,k = 4) ;
-S11(i = 10,j = 7,k = 3) ;
-S21(i = 10,j = 7,k = 3) ;
-S22(i = 10,j = 7,k = 3) ;
-S24(i = 10,j = 7,k = 3) ;
-S11(i = 10,j = 7,k = 4) ;
-S16(i = 10,j = 7,k = 4) ;
-S17(i = 10,j = 7,k = 4) ;
-S12(i = 10,j = 8,k = 3) ;
-S21(i = 10,j = 8,k = 3) ;
-S22(i = 10,j = 8,k = 3) ;
-S24(i = 10,j = 8,k = 3) ;
-S12(i = 10,j = 8,k = 4) ;
-S16(i = 10,j = 8,k = 4) ;
-S17(i = 10,j = 8,k = 4) ;
-S22(i = 10,j = 9,k = 3) ;
-for (i=11;i<=14;i++) {
- for (j=1;j<=5;j++) {
- S26(k = 3) ;
- S25(k = 4) ;
- }
-}
diff --git a/test/non_optimal/usvd_e_t.c.ppl b/test/non_optimal/usvd_e_t.c.ppl
deleted file mode 100644
index a33703e..0000000
--- a/test/non_optimal/usvd_e_t.c.ppl
+++ /dev/null
@@ -1,389 +0,0 @@
-/* Generated from ././non_optimal/usvd_e_t.cloog by CLooG 0.15 64 bits in 0.78s. */
-for (i=0;i<=2;i++) {
- S1(j = 0,k = 0) ;
- S2(j = 0,k = 0) ;
- for (j=1;j<=4;j++) {
- S2(k = 0) ;
- }
-}
-S1(i = 3,j = 0,k = 0) ;
-S2(i = 3,j = 0,k = 0) ;
-for (j=1;j<=4;j++) {
- S2(i = 3,k = 0) ;
-}
-for (j=7;j<=11;j++) {
- S8(i = 3,k = 0) ;
-}
-S1(i = 4,j = 0,k = 0) ;
-S2(i = 4,j = 0,k = 0) ;
-S3(i = 4,j = 0,k = 0) ;
-S5(i = 4,j = 0,k = 0) ;
-for (j=1;j<=4;j++) {
- S2(i = 4,k = 0) ;
- S5(i = 4,k = 0) ;
-}
-for (j=7;j<=11;j++) {
- S8(i = 4,k = 0) ;
-}
-S6(i = 5,j = -4,k = 0) ;
-S7(i = 5,j = -4,k = 0) ;
-for (j=-3;j<=-1;j++) {
- S7(i = 5,k = 0) ;
-}
-S3(i = 5,j = 0,k = 0) ;
-S7(i = 5,j = 0,k = 0) ;
-S4(i = 5,j = 1,k = -1) ;
-S5(i = 5,j = 1,k = 0) ;
-for (j=2;j<=4;j++) {
- S5(i = 5,k = 0) ;
-}
-for (j=7;j<=11;j++) {
- S8(i = 5,k = 0) ;
-}
-S6(i = 6,j = -4,k = 0) ;
-S6(i = 6,j = -3,k = 0) ;
-S7(i = 6,j = -3,k = 0) ;
-for (j=-2;j<=-1;j++) {
- S7(i = 6,k = 0) ;
-}
-S3(i = 6,j = 0,k = 0) ;
-S7(i = 6,j = 0,k = 0) ;
-S4(i = 6,j = 1,k = -1) ;
-S4(i = 6,j = 2,k = -1) ;
-S5(i = 6,j = 2,k = 0) ;
-for (j=3;j<=4;j++) {
- S5(i = 6,k = 0) ;
-}
-for (j=7;j<=11;j++) {
- S8(i = 6,k = 0) ;
-}
-for (j=-4;j<=-3;j++) {
- S6(i = 7,k = 0) ;
-}
-S6(i = 7,j = -2,k = 0) ;
-S7(i = 7,j = -2,k = 0) ;
-S7(i = 7,j = -1,k = 0) ;
-S3(i = 7,j = 0,k = 0) ;
-S7(i = 7,j = 0,k = 0) ;
-for (j=1;j<=2;j++) {
- S4(i = 7,k = -1) ;
-}
-S4(i = 7,j = 3,k = -1) ;
-S5(i = 7,j = 3,k = 0) ;
-S5(i = 7,j = 4,k = 0) ;
-S9(i = 7,j = 4,k = 0) ;
-S10(i = 7,j = 4,k = 0) ;
-S11(i = 7,j = 4,k = 0) ;
-S21(i = 7,j = 4,k = 0) ;
-S23(i = 7,j = 4,k = 0) ;
-S11(i = 7,j = 4,k = 1) ;
-S16(i = 7,j = 4,k = 1) ;
-S17(i = 7,j = 4,k = 1) ;
-for (k=2;k<=4;k++) {
- S11(i = 7,j = 4) ;
-}
-S12(i = 7,j = 5,k = 0) ;
-S21(i = 7,j = 5,k = 0) ;
-S22(i = 7,j = 5,k = 0) ;
-S23(i = 7,j = 5,k = 0) ;
-S12(i = 7,j = 5,k = 1) ;
-S16(i = 7,j = 5,k = 1) ;
-S17(i = 7,j = 5,k = 1) ;
-for (k=2;k<=4;k++) {
- S12(i = 7,j = 5) ;
-}
-S21(i = 7,j = 6,k = 0) ;
-S22(i = 7,j = 6,k = 0) ;
-S23(i = 7,j = 6,k = 0) ;
-for (j=7;j<=8;j++) {
- S8(i = 7,k = 0) ;
- S21(i = 7,k = 0) ;
- S22(i = 7,k = 0) ;
- S23(i = 7,k = 0) ;
-}
-S8(i = 7,j = 9,k = 0) ;
-S22(i = 7,j = 9,k = 0) ;
-for (j=10;j<=11;j++) {
- S8(i = 7,k = 0) ;
-}
-for (j=-4;j<=-2;j++) {
- S6(i = 8,k = 0) ;
-}
-S6(i = 8,j = -1,k = 0) ;
-S7(i = 8,j = -1,k = 0) ;
-S3(i = 8,j = 0,k = 0) ;
-S7(i = 8,j = 0,k = 0) ;
-S19(i = 8,j = 1,k = -2) ;
-S4(i = 8,j = 1,k = -1) ;
-S19(i = 8,j = 1,k = -1) ;
-S19(i = 8,j = 1,k = 0) ;
-S15(i = 8,j = 1,k = 4) ;
-S18(i = 8,j = 1,k = 4) ;
-for (k=-4;k<=-3;k++) {
- S14(i = 8,j = 2) ;
- S20(i = 8,j = 2) ;
-}
-S14(i = 8,j = 2,k = -2) ;
-S19(i = 8,j = 2,k = -2) ;
-S20(i = 8,j = 2,k = -2) ;
-S4(i = 8,j = 2,k = -1) ;
-S14(i = 8,j = 2,k = -1) ;
-S19(i = 8,j = 2,k = -1) ;
-S20(i = 8,j = 2,k = -1) ;
-S14(i = 8,j = 2,k = 0) ;
-S19(i = 8,j = 2,k = 0) ;
-S20(i = 8,j = 2,k = 0) ;
-S15(i = 8,j = 2,k = 4) ;
-S18(i = 8,j = 2,k = 4) ;
-for (k=-4;k<=-2;k++) {
- S14(i = 8,j = 3) ;
- S20(i = 8,j = 3) ;
-}
-S4(i = 8,j = 3,k = -1) ;
-S14(i = 8,j = 3,k = -1) ;
-S20(i = 8,j = 3,k = -1) ;
-S14(i = 8,j = 3,k = 0) ;
-S20(i = 8,j = 3,k = 0) ;
-S15(i = 8,j = 3,k = 4) ;
-S18(i = 8,j = 3,k = 4) ;
-for (k=-4;k<=-2;k++) {
- S14(i = 8,j = 4) ;
- S20(i = 8,j = 4) ;
-}
-S4(i = 8,j = 4,k = -1) ;
-S14(i = 8,j = 4,k = -1) ;
-S20(i = 8,j = 4,k = -1) ;
-S5(i = 8,j = 4,k = 0) ;
-S9(i = 8,j = 4,k = 0) ;
-S10(i = 8,j = 4,k = 0) ;
-S14(i = 8,j = 4,k = 0) ;
-S20(i = 8,j = 4,k = 0) ;
-S23(i = 8,j = 4,k = 0) ;
-S13(i = 8,j = 4,k = 1) ;
-S21(i = 8,j = 4,k = 1) ;
-S23(i = 8,j = 4,k = 1) ;
-S24(i = 8,j = 4,k = 1) ;
-S13(i = 8,j = 4,k = 2) ;
-S16(i = 8,j = 4,k = 2) ;
-S17(i = 8,j = 4,k = 2) ;
-S24(i = 8,j = 4,k = 2) ;
-S13(i = 8,j = 4,k = 3) ;
-S24(i = 8,j = 4,k = 3) ;
-S13(i = 8,j = 4,k = 4) ;
-S15(i = 8,j = 4,k = 4) ;
-S23(i = 8,j = 5,k = 0) ;
-S11(i = 8,j = 5,k = 1) ;
-S21(i = 8,j = 5,k = 1) ;
-S22(i = 8,j = 5,k = 1) ;
-S23(i = 8,j = 5,k = 1) ;
-S24(i = 8,j = 5,k = 1) ;
-S11(i = 8,j = 5,k = 2) ;
-S16(i = 8,j = 5,k = 2) ;
-S17(i = 8,j = 5,k = 2) ;
-S24(i = 8,j = 5,k = 2) ;
-S11(i = 8,j = 5,k = 3) ;
-S24(i = 8,j = 5,k = 3) ;
-S11(i = 8,j = 5,k = 4) ;
-S15(i = 8,j = 5,k = 4) ;
-S23(i = 8,j = 6,k = 0) ;
-S12(i = 8,j = 6,k = 1) ;
-S21(i = 8,j = 6,k = 1) ;
-S22(i = 8,j = 6,k = 1) ;
-S23(i = 8,j = 6,k = 1) ;
-S24(i = 8,j = 6,k = 1) ;
-S12(i = 8,j = 6,k = 2) ;
-S16(i = 8,j = 6,k = 2) ;
-S17(i = 8,j = 6,k = 2) ;
-S24(i = 8,j = 6,k = 2) ;
-S12(i = 8,j = 6,k = 3) ;
-S24(i = 8,j = 6,k = 3) ;
-S12(i = 8,j = 6,k = 4) ;
-for (j=7;j<=8;j++) {
- S23(i = 8,k = 0) ;
- S21(i = 8,k = 1) ;
- S22(i = 8,k = 1) ;
- S23(i = 8,k = 1) ;
- S24(i = 8,k = 1) ;
- for (k=2;k<=3;k++) {
- S24(i = 8) ;
- }
-}
-S22(i = 8,j = 9,k = 1) ;
-S7(i = 9,j = 0,k = 0) ;
-for (j=1;j<=2;j++) {
- for (k=-1;k<=0;k++) {
- S19(i = 9) ;
- }
- for (k=4;k<=5;k++) {
- S15(i = 9) ;
- S18(i = 9) ;
- }
-}
-S20(i = 9,j = 3,k = -4) ;
-for (k=-3;k<=-2;k++) {
- S14(i = 9,j = 3) ;
- S20(i = 9,j = 3) ;
-}
-for (k=-1;k<=0;k++) {
- S14(i = 9,j = 3) ;
- S19(i = 9,j = 3) ;
- S20(i = 9,j = 3) ;
-}
-for (k=4;k<=5;k++) {
- S15(i = 9,j = 3) ;
- S18(i = 9,j = 3) ;
-}
-S20(i = 9,j = 4,k = -4) ;
-for (k=-3;k<=-1;k++) {
- S14(i = 9,j = 4) ;
- S20(i = 9,j = 4) ;
-}
-S9(i = 9,j = 4,k = 0) ;
-S10(i = 9,j = 4,k = 0) ;
-S14(i = 9,j = 4,k = 0) ;
-S20(i = 9,j = 4,k = 0) ;
-S23(i = 9,j = 4,k = 0) ;
-S23(i = 9,j = 4,k = 1) ;
-S13(i = 9,j = 4,k = 2) ;
-S21(i = 9,j = 4,k = 2) ;
-S23(i = 9,j = 4,k = 2) ;
-S24(i = 9,j = 4,k = 2) ;
-S13(i = 9,j = 4,k = 3) ;
-S16(i = 9,j = 4,k = 3) ;
-S17(i = 9,j = 4,k = 3) ;
-S24(i = 9,j = 4,k = 3) ;
-S13(i = 9,j = 4,k = 4) ;
-S15(i = 9,j = 4,k = 4) ;
-S18(i = 9,j = 4,k = 4) ;
-S15(i = 9,j = 4,k = 5) ;
-S18(i = 9,j = 4,k = 5) ;
-for (k=0;k<=1;k++) {
- S23(i = 9,j = 5) ;
-}
-S13(i = 9,j = 5,k = 2) ;
-S21(i = 9,j = 5,k = 2) ;
-S22(i = 9,j = 5,k = 2) ;
-S23(i = 9,j = 5,k = 2) ;
-S24(i = 9,j = 5,k = 2) ;
-S13(i = 9,j = 5,k = 3) ;
-S16(i = 9,j = 5,k = 3) ;
-S17(i = 9,j = 5,k = 3) ;
-S24(i = 9,j = 5,k = 3) ;
-S13(i = 9,j = 5,k = 4) ;
-S15(i = 9,j = 5,k = 4) ;
-S15(i = 9,j = 5,k = 5) ;
-for (k=0;k<=1;k++) {
- S23(i = 9,j = 6) ;
-}
-S11(i = 9,j = 6,k = 2) ;
-S21(i = 9,j = 6,k = 2) ;
-S22(i = 9,j = 6,k = 2) ;
-S23(i = 9,j = 6,k = 2) ;
-S24(i = 9,j = 6,k = 2) ;
-S11(i = 9,j = 6,k = 3) ;
-S16(i = 9,j = 6,k = 3) ;
-S17(i = 9,j = 6,k = 3) ;
-S24(i = 9,j = 6,k = 3) ;
-S11(i = 9,j = 6,k = 4) ;
-for (k=0;k<=1;k++) {
- S23(i = 9,j = 7) ;
-}
-S12(i = 9,j = 7,k = 2) ;
-S21(i = 9,j = 7,k = 2) ;
-S22(i = 9,j = 7,k = 2) ;
-S23(i = 9,j = 7,k = 2) ;
-S24(i = 9,j = 7,k = 2) ;
-S12(i = 9,j = 7,k = 3) ;
-S16(i = 9,j = 7,k = 3) ;
-S17(i = 9,j = 7,k = 3) ;
-S24(i = 9,j = 7,k = 3) ;
-S12(i = 9,j = 7,k = 4) ;
-for (k=0;k<=1;k++) {
- S23(i = 9,j = 8) ;
-}
-S21(i = 9,j = 8,k = 2) ;
-S22(i = 9,j = 8,k = 2) ;
-S23(i = 9,j = 8,k = 2) ;
-S24(i = 9,j = 8,k = 2) ;
-S24(i = 9,j = 8,k = 3) ;
-S22(i = 9,j = 9,k = 2) ;
-for (j=1;j<=3;j++) {
- S19(i = 10,k = 0) ;
- S26(i = 10,k = 3) ;
- S15(i = 10,k = 4) ;
- S18(i = 10,k = 4) ;
- S25(i = 10,k = 4) ;
- for (k=5;k<=6;k++) {
- S15(i = 10) ;
- S18(i = 10) ;
- }
-}
-for (k=-4;k<=-3;k++) {
- S20(i = 10,j = 4) ;
-}
-for (k=-2;k<=-1;k++) {
- S14(i = 10,j = 4) ;
- S20(i = 10,j = 4) ;
-}
-S9(i = 10,j = 4,k = 0) ;
-S10(i = 10,j = 4,k = 0) ;
-S14(i = 10,j = 4,k = 0) ;
-S19(i = 10,j = 4,k = 0) ;
-S20(i = 10,j = 4,k = 0) ;
-S13(i = 10,j = 4,k = 3) ;
-S21(i = 10,j = 4,k = 3) ;
-S24(i = 10,j = 4,k = 3) ;
-S26(i = 10,j = 4,k = 3) ;
-S13(i = 10,j = 4,k = 4) ;
-S15(i = 10,j = 4,k = 4) ;
-S16(i = 10,j = 4,k = 4) ;
-S17(i = 10,j = 4,k = 4) ;
-S18(i = 10,j = 4,k = 4) ;
-S25(i = 10,j = 4,k = 4) ;
-for (k=5;k<=6;k++) {
- S15(i = 10,j = 4) ;
- S18(i = 10,j = 4) ;
-}
-S13(i = 10,j = 5,k = 3) ;
-S21(i = 10,j = 5,k = 3) ;
-S22(i = 10,j = 5,k = 3) ;
-S24(i = 10,j = 5,k = 3) ;
-S26(i = 10,j = 5,k = 3) ;
-S13(i = 10,j = 5,k = 4) ;
-S15(i = 10,j = 5,k = 4) ;
-S16(i = 10,j = 5,k = 4) ;
-S17(i = 10,j = 5,k = 4) ;
-S18(i = 10,j = 5,k = 4) ;
-S25(i = 10,j = 5,k = 4) ;
-for (k=5;k<=6;k++) {
- S15(i = 10,j = 5) ;
- S18(i = 10,j = 5) ;
-}
-S13(i = 10,j = 6,k = 3) ;
-S21(i = 10,j = 6,k = 3) ;
-S22(i = 10,j = 6,k = 3) ;
-S24(i = 10,j = 6,k = 3) ;
-S13(i = 10,j = 6,k = 4) ;
-S16(i = 10,j = 6,k = 4) ;
-S17(i = 10,j = 6,k = 4) ;
-S11(i = 10,j = 7,k = 3) ;
-S21(i = 10,j = 7,k = 3) ;
-S22(i = 10,j = 7,k = 3) ;
-S24(i = 10,j = 7,k = 3) ;
-S11(i = 10,j = 7,k = 4) ;
-S16(i = 10,j = 7,k = 4) ;
-S17(i = 10,j = 7,k = 4) ;
-S12(i = 10,j = 8,k = 3) ;
-S21(i = 10,j = 8,k = 3) ;
-S22(i = 10,j = 8,k = 3) ;
-S24(i = 10,j = 8,k = 3) ;
-S12(i = 10,j = 8,k = 4) ;
-S16(i = 10,j = 8,k = 4) ;
-S17(i = 10,j = 8,k = 4) ;
-S22(i = 10,j = 9,k = 3) ;
-for (i=11;i<=14;i++) {
- for (j=1;j<=5;j++) {
- S26(k = 3) ;
- S25(k = 4) ;
- }
-}
diff --git a/test/non_optimal/usvd_e_t.cloog b/test/non_optimal/usvd_e_t.cloog
deleted file mode 100644
index d7b7a5d..0000000
--- a/test/non_optimal/usvd_e_t.cloog
+++ /dev/null
@@ -1,241 +0,0 @@
-# language: C
-c
-
-# Context
-1
-0 2
-
-0 # parameter names
-
-26 # Number of statements
-
-1
-4 5
-# i j k 1
- 0 0 1 0 0
- 0 0 0 1 0
- 1 1 0 0 0
- 1 -1 0 0 4
-0 0 0
-1
-5 5
-# i j k 1
- 0 0 0 1 0
- 1 1 0 0 0
- 1 -1 0 0 4
- 1 0 1 0 0
- 1 0 -1 0 4
-0 0 0
-1
-4 5
-# i j k 1
- 0 0 1 0 0
- 0 0 0 1 0
- 1 1 0 0 -4
- 1 -1 0 0 8
-0 0 0
-1
-4 5
-# i j k 1
- 0 0 0 1 1
- 1 -1 0 0 8
- 1 0 1 0 -1
- 1 1 -1 0 -4
-0 0 0
-1
-4 5
-# i j k 1
- 0 0 0 1 0
- 1 1 0 0 -4
- 1 0 -1 0 4
- 1 -1 1 0 4
-0 0 0
-1
-4 5
-# i j k 1
- 0 0 0 1 0
- 1 -1 0 0 8
- 1 0 1 0 4
- 1 1 -1 0 -9
-0 0 0
-1
-4 5
-# i j k 1
- 0 0 0 1 0
- 1 1 0 0 -5
- 1 0 -1 0 0
- 1 -1 1 0 9
-0 0 0
-1
-5 5
-# i j k 1
- 0 0 0 1 0
- 1 1 0 0 -3
- 1 -1 0 0 7
- 1 0 1 0 -7
- 1 0 -1 0 11
-0 0 0
-1
-4 5
-# i j k 1
- 0 0 1 0 -4
- 0 0 0 1 0
- 1 1 0 0 -7
- 1 -1 0 0 10
-0 0 0
-1
-4 5
-# i j k 1
- 0 0 1 0 -4
- 0 0 0 1 0
- 1 1 0 0 -7
- 1 -1 0 0 10
-0 0 0
-1
-5 5
-# i j k 1
- 0 1 -1 0 -3
- 1 0 -1 0 7
- 1 0 1 0 -4
- 1 0 0 -1 4
- 1 0 -1 1 4
-0 0 0
-1
-5 5
-# i j k 1
- 0 1 -1 0 -2
- 1 0 1 0 -5
- 1 0 -1 0 8
- 1 0 0 -1 4
- 1 0 -1 1 5
-0 0 0
-1
-5 5
-# i j k 1
- 1 -1 0 0 10
- 1 0 1 0 -4
- 1 0 0 -1 4
- 1 -1 0 1 7
- 1 1 -1 0 -4
-0 0 0
-1
-5 5
-# i j k 1
- 1 1 0 0 -8
- 1 0 -1 0 4
- 1 0 0 -1 0
- 1 -1 0 1 12
- 1 -1 1 0 6
-0 0 0
-1
-5 5
-# i j k 1
- 1 -1 0 0 10
- 1 0 1 0 -1
- 1 0 -1 0 5
- 1 0 0 1 -4
- 1 1 0 -1 -4
-0 0 0
-1
-5 5
-# i j k 1
- 0 1 0 -1 -6
- 1 0 0 -1 4
- 1 0 1 0 -4
- 1 0 0 1 -1
- 1 0 -1 1 4
-0 0 0
-1
-5 5
-# i j k 1
- 0 1 0 -1 -6
- 1 0 0 1 -1
- 1 0 1 0 -4
- 1 0 0 -1 4
- 1 0 -1 1 4
-0 0 0
-1
-5 5
-# i j k 1
- 1 -1 0 0 10
- 1 0 1 0 -1
- 1 0 0 1 -4
- 1 1 0 -1 -4
- 1 1 -1 0 -5
-0 0 0
-1
-5 5
-# i j k 1
- 1 1 0 0 -8
- 1 0 1 0 -1
- 1 0 0 -1 0
- 1 -1 0 1 10
- 1 1 -1 0 -6
-0 0 0
-1
-5 5
-# i j k 1
- 1 1 0 0 -8
- 1 0 -1 0 4
- 1 0 0 1 4
- 1 0 0 -1 0
- 1 -1 1 0 6
-0 0 0
-1
-5 5
-# i j k 1
- 0 1 0 -1 -7
- 1 0 0 -1 3
- 1 0 1 0 -4
- 1 0 -1 0 8
- 1 0 0 1 0
-0 0 0
-1
-5 5
-# i j k 1
- 0 1 0 -1 -7
- 1 0 0 1 0
- 1 0 1 0 -5
- 1 0 -1 0 9
- 1 0 0 -1 3
-0 0 0
-1
-5 5
-# i j k 1
- 1 -1 0 0 9
- 1 0 1 0 -4
- 1 0 -1 0 8
- 1 0 0 1 0
- 1 1 0 -1 -7
-0 0 0
-1
-5 5
-# i j k 1
- 1 1 0 0 -8
- 1 0 1 0 -4
- 1 0 -1 0 8
- 1 0 0 -1 3
- 1 -1 0 1 7
-0 0 0
-1
-5 5
-# i j k 1
- 0 0 0 1 -4
- 1 1 0 0 -10
- 1 -1 0 0 14
- 1 0 1 0 -1
- 1 0 -1 0 5
-0 0 0
-1
-5 5
-# i j k 1
- 0 0 0 1 -3
- 1 1 0 0 -10
- 1 -1 0 0 14
- 1 0 1 0 -1
- 1 0 -1 0 5
-0 0 0
-0 # iterator names
-0 # scattering functions
-0 # scattering dimension names
-
diff --git a/test/non_optimal/youcef.c b/test/non_optimal/youcef.c
new file mode 100644
index 0000000..0dbc868
--- /dev/null
+++ b/test/non_optimal/youcef.c
@@ -0,0 +1,19 @@
+/* Generated from /home/skimo/git/cloog-parma/cloog-core/test/./non_optimal/youcef.cloog by CLooG 0.14.0-285-g341b1cd gmp bits. */
+for (i=0;i<=5;i++) {
+ if (i == 5) {
+ S1(i,5);
+ S2(i,5);
+ S3(i,5);
+ }
+ if (i <= 4) {
+ S1(i,i);
+ S2(i,i);
+ }
+ for (j=i+1;j<=4;j++) {
+ S2(i,j);
+ }
+ if (i <= 4) {
+ S2(i,5);
+ S3(i,5);
+ }
+}
diff --git a/test/non_optimal/youcef.c.polylib b/test/non_optimal/youcef.c.polylib
deleted file mode 100644
index 336d46e..0000000
--- a/test/non_optimal/youcef.c.polylib
+++ /dev/null
@@ -1,17 +0,0 @@
-/* Generated by CLooG v0.10.7 */
-for (i=0;i<=3;i++) {
- S1(j = i) ;
- S2(j = i) ;
- for (j=i+1;j<=4;j++) {
- S2 ;
- }
- S2(j = 5) ;
- S3(j = 5) ;
-}
-S1(i = 4,j = 4) ;
-S2(i = 4,j = 4) ;
-S2(i = 4,j = 5) ;
-S3(i = 4,j = 5) ;
-S1(i = 5,j = 5) ;
-S2(i = 5,j = 5) ;
-S3(i = 5,j = 5) ;
diff --git a/test/non_optimal/youcef.c.ppl b/test/non_optimal/youcef.c.ppl
deleted file mode 100644
index 1ab0e1d..0000000
--- a/test/non_optimal/youcef.c.ppl
+++ /dev/null
@@ -1,17 +0,0 @@
-/* Generated from ././non_optimal/youcef.cloog by CLooG 0.15 64 bits in 0.01s. */
-for (i=0;i<=3;i++) {
- S1(j = i) ;
- S2(j = i) ;
- for (j=i+1;j<=4;j++) {
- S2 ;
- }
- S2(j = 5) ;
- S3(j = 5) ;
-}
-S1(i = 4,j = 4) ;
-S2(i = 4,j = 4) ;
-S2(i = 4,j = 5) ;
-S3(i = 4,j = 5) ;
-S1(i = 5,j = 5) ;
-S2(i = 5,j = 5) ;
-S3(i = 5,j = 5) ;
diff --git a/test/non_optimal/youcef.cloog b/test/non_optimal/youcef.cloog
deleted file mode 100644
index 297bf79..0000000
--- a/test/non_optimal/youcef.cloog
+++ /dev/null
@@ -1,46 +0,0 @@
-# Optimal code is in fact :
-#
-# for (i=0;i<=M;i++) {
-# S1 ;
-# for (j=0;j<=N;j++) {
-# S2 ;
-# }
-# S3 ;
-# }
-
-# language: C
-c
-
-# parameters {M, N | M>=1 N >=1}
-0 2
-0
-
-3 # Number of statements
-
-1
-# {i | 0<=i<=5 i==j}
-3 4
-1 1 0 0
-1 -1 0 5
-0 1 -1 0
-0 0 0
-
-1
-# {i | 0<=i<=5 i<=j<=5}
-4 4
-1 1 0 0
-1 -1 0 5
-1 -1 1 0
-1 0 -1 5
-0 0 0
-
-1
-# {i | 0<=i<=5 j==5}
-3 4
-1 1 0 0
-1 -1 0 5
-0 0 1 -5
-0 0 0
-0
-
-0 # Scattering functions
generated by cgit v1.2.3 (git 2.25.1) at 2024-11-25 00:19:02 +0000