summaryrefslogtreecommitdiff
path: root/cloog-0.16.3/test/darte.good.c
diff options
context:
space:
mode:
Diffstat (limited to 'cloog-0.16.3/test/darte.good.c')
-rw-r--r--cloog-0.16.3/test/darte.good.c449
1 files changed, 0 insertions, 449 deletions
diff --git a/cloog-0.16.3/test/darte.good.c b/cloog-0.16.3/test/darte.good.c
deleted file mode 100644
index 298c24f..0000000
--- a/cloog-0.16.3/test/darte.good.c
+++ /dev/null
@@ -1,449 +0,0 @@
-/* Generated from ../../../git/cloog/test/darte.cloog by CLooG 0.14.0-72-gefe2fc2 gmp bits in 0.27s. */
-extern void hash(int);
-
-/* Useful macros. */
-#define floord(n,d) (((n)<0) ? -((-(n)+(d)-1)/(d)) : (n)/(d))
-#define ceild(n,d) (((n)<0) ? -((-(n))/(d)) : ((n)+(d)-1)/(d))
-#define max(x,y) ((x) > (y) ? (x) : (y))
-#define min(x,y) ((x) < (y) ? (x) : (y))
-
-#define S1(i,j,k) { hash(1); hash(i); hash(j); hash(k); }
-#define S2(i,j,k) { hash(2); hash(i); hash(j); hash(k); }
-
-void test(int n)
-{
- /* Scattering iterators. */
- int t1, t2, t3;
- /* Original iterators. */
- int i, j, k;
- if (n >= 1) {
- t1 = -n+1 ;
- t2 = n+1 ;
- for (t3=n+3;t3<=3*n+1;t3++) {
- if ((t3+n+1)%2 == 0) {
- k = (t3-n-1)/2 ;
- S1(1,n,(t3-n-1)/2) ;
- }
- }
- }
- if ((n >= 2) && (n <= 2)) {
- t1 = -n+2 ;
- for (t2=-n+4;t2<=3*n-2;t2++) {
- for (t3=t2+2;t3<=t2+2*n;t3++) {
- if ((t2+n)%2 == 0) {
- i = (t2-n+2)/2 ;
- j = (t2+n-2)/2 ;
- if ((t3+n)%2 == 0) {
- k = (-t2+t3)/2 ;
- S1((t2-n+2)/2,(t2+n-2)/2,(-t2+t3)/2) ;
- }
- }
- }
- }
- t2 = n+3 ;
- for (t3=1;t3<=n;t3++) {
- S2(1,n,t3) ;
- }
- }
- if (n >= 3) {
- t1 = -n+2 ;
- for (t2=n;t2<=n+2;t2++) {
- for (t3=t2+2;t3<=t2+2*n;t3++) {
- if ((t2+n)%2 == 0) {
- i = (t2-n+2)/2 ;
- j = (t2+n-2)/2 ;
- if ((t3+n)%2 == 0) {
- k = (-t2+t3)/2 ;
- S1((t2-n+2)/2,(t2+n-2)/2,(-t2+t3)/2) ;
- }
- }
- }
- }
- t2 = n+3 ;
- for (t3=1;t3<=n;t3++) {
- S2(1,n,t3) ;
- }
- }
- for (t1=ceild(-2*n+5,2);t1<=min(-n+6,-1);t1++) {
- for (t2=-t1+2;t2<=-t1+4;t2++) {
- for (t3=t2+2;t3<=t2+2*n;t3++) {
- if ((t1+t2)%2 == 0) {
- i = (t1+t2)/2 ;
- j = (-t1+t2)/2 ;
- if ((t1+t3)%2 == 0) {
- k = (-t2+t3)/2 ;
- S1((t1+t2)/2,(-t1+t2)/2,(-t2+t3)/2) ;
- }
- }
- }
- }
- for (t2=-t1+5;t2<=t1+2*n;t2++) {
- for (t3=1;t3<=n;t3++) {
- if ((t1+t2+1)%2 == 0) {
- i = (t1+t2-3)/2 ;
- j = (-t1+t2-1)/2 ;
- S2((t1+t2-3)/2,(-t1+t2-1)/2,t3) ;
- }
- }
- for (t3=t2+2;t3<=t2+2*n;t3++) {
- if ((t1+t2)%2 == 0) {
- i = (t1+t2)/2 ;
- j = (-t1+t2)/2 ;
- if ((t1+t3)%2 == 0) {
- k = (-t2+t3)/2 ;
- S1((t1+t2)/2,(-t1+t2)/2,(-t2+t3)/2) ;
- }
- }
- }
- }
- t2 = t1+2*n+1 ;
- for (t3=1;t3<=n;t3++) {
- i = t1+n-1 ;
- S2(t1+n-1,n,t3) ;
- }
- }
- if (n == 2) {
- for (t3=5;t3<=7;t3++) {
- if ((t3+1)%2 == 0) {
- k = (t3-3)/2 ;
- S1(2,1,(t3-3)/2) ;
- }
- }
- for (t2=4;t2<=6;t2++) {
- for (t3=1;t3<=2;t3++) {
- if (t2%2 == 0) {
- i = (t2-2)/2 ;
- j = (t2-2)/2 ;
- S2((t2-2)/2,(t2-2)/2,t3) ;
- }
- }
- }
- }
- for (t1=-n+7;t1<=-1;t1++) {
- for (t2=-t1+2;t2<=-t1+4;t2++) {
- for (t3=t2+2;t3<=t2+2*n;t3++) {
- if ((t1+t2)%2 == 0) {
- i = (t1+t2)/2 ;
- j = (-t1+t2)/2 ;
- if ((t1+t3)%2 == 0) {
- k = (-t2+t3)/2 ;
- S1((t1+t2)/2,(-t1+t2)/2,(-t2+t3)/2) ;
- }
- }
- }
- }
- for (t2=-t1+5;t2<=n-2;t2++) {
- for (t3=1;t3<=t2+1;t3++) {
- if ((t1+t2+1)%2 == 0) {
- i = (t1+t2-3)/2 ;
- j = (-t1+t2-1)/2 ;
- S2((t1+t2-3)/2,(-t1+t2-1)/2,t3) ;
- }
- }
- for (t3=t2+2;t3<=n;t3++) {
- if ((t1+t2+1)%2 == 0) {
- i = (t1+t2-3)/2 ;
- j = (-t1+t2-1)/2 ;
- S2((t1+t2-3)/2,(-t1+t2-1)/2,t3) ;
- }
- if ((t1+t2)%2 == 0) {
- i = (t1+t2)/2 ;
- j = (-t1+t2)/2 ;
- if ((t1+t3)%2 == 0) {
- k = (-t2+t3)/2 ;
- S1((t1+t2)/2,(-t1+t2)/2,(-t2+t3)/2) ;
- }
- }
- }
- for (t3=n+1;t3<=t2+2*n;t3++) {
- if ((t1+t2)%2 == 0) {
- i = (t1+t2)/2 ;
- j = (-t1+t2)/2 ;
- if ((t1+t3)%2 == 0) {
- k = (-t2+t3)/2 ;
- S1((t1+t2)/2,(-t1+t2)/2,(-t2+t3)/2) ;
- }
- }
- }
- }
- for (t2=n-1;t2<=t1+2*n;t2++) {
- for (t3=1;t3<=n;t3++) {
- if ((t1+t2+1)%2 == 0) {
- i = (t1+t2-3)/2 ;
- j = (-t1+t2-1)/2 ;
- S2((t1+t2-3)/2,(-t1+t2-1)/2,t3) ;
- }
- }
- for (t3=t2+2;t3<=t2+2*n;t3++) {
- if ((t1+t2)%2 == 0) {
- i = (t1+t2)/2 ;
- j = (-t1+t2)/2 ;
- if ((t1+t3)%2 == 0) {
- k = (-t2+t3)/2 ;
- S1((t1+t2)/2,(-t1+t2)/2,(-t2+t3)/2) ;
- }
- }
- }
- }
- t2 = t1+2*n+1 ;
- for (t3=1;t3<=n;t3++) {
- i = t1+n-1 ;
- S2(t1+n-1,n,t3) ;
- }
- }
- if (n >= 3) {
- for (t1=0;t1<=min(1,-n+6);t1++) {
- for (t2=t1+2;t2<=-t1+4;t2++) {
- for (t3=t2+2;t3<=t2+2*n;t3++) {
- if ((t1+t2)%2 == 0) {
- i = (t1+t2)/2 ;
- j = (-t1+t2)/2 ;
- if ((t1+t3)%2 == 0) {
- k = (-t2+t3)/2 ;
- S1((t1+t2)/2,(-t1+t2)/2,(-t2+t3)/2) ;
- }
- }
- }
- }
- for (t2=-t1+5;t2<=-t1+2*n;t2++) {
- for (t3=1;t3<=n;t3++) {
- if ((t1+t2+1)%2 == 0) {
- i = (t1+t2-3)/2 ;
- j = (-t1+t2-1)/2 ;
- S2((t1+t2-3)/2,(-t1+t2-1)/2,t3) ;
- }
- }
- for (t3=t2+2;t3<=t2+2*n;t3++) {
- if ((t1+t2)%2 == 0) {
- i = (t1+t2)/2 ;
- j = (-t1+t2)/2 ;
- if ((t1+t3)%2 == 0) {
- k = (-t2+t3)/2 ;
- S1((t1+t2)/2,(-t1+t2)/2,(-t2+t3)/2) ;
- }
- }
- }
- }
- for (t2=-t1+2*n+1;t2<=t1+2*n+1;t2++) {
- for (t3=1;t3<=n;t3++) {
- if ((t1+t2+1)%2 == 0) {
- i = (t1+t2-3)/2 ;
- j = (-t1+t2-1)/2 ;
- S2((t1+t2-3)/2,(-t1+t2-1)/2,t3) ;
- }
- }
- }
- }
- }
- for (t1=max(-n+7,0);t1<=1;t1++) {
- for (t2=t1+2;t2<=-t1+4;t2++) {
- for (t3=t2+2;t3<=t2+2*n;t3++) {
- if ((t1+t2)%2 == 0) {
- i = (t1+t2)/2 ;
- j = (-t1+t2)/2 ;
- if ((t1+t3)%2 == 0) {
- k = (-t2+t3)/2 ;
- S1((t1+t2)/2,(-t1+t2)/2,(-t2+t3)/2) ;
- }
- }
- }
- }
- for (t2=-t1+5;t2<=n-2;t2++) {
- for (t3=1;t3<=t2+1;t3++) {
- if ((t1+t2+1)%2 == 0) {
- i = (t1+t2-3)/2 ;
- j = (-t1+t2-1)/2 ;
- S2((t1+t2-3)/2,(-t1+t2-1)/2,t3) ;
- }
- }
- for (t3=t2+2;t3<=n;t3++) {
- if ((t1+t2+1)%2 == 0) {
- i = (t1+t2-3)/2 ;
- j = (-t1+t2-1)/2 ;
- S2((t1+t2-3)/2,(-t1+t2-1)/2,t3) ;
- }
- if ((t1+t2)%2 == 0) {
- i = (t1+t2)/2 ;
- j = (-t1+t2)/2 ;
- if ((t1+t3)%2 == 0) {
- k = (-t2+t3)/2 ;
- S1((t1+t2)/2,(-t1+t2)/2,(-t2+t3)/2) ;
- }
- }
- }
- for (t3=n+1;t3<=t2+2*n;t3++) {
- if ((t1+t2)%2 == 0) {
- i = (t1+t2)/2 ;
- j = (-t1+t2)/2 ;
- if ((t1+t3)%2 == 0) {
- k = (-t2+t3)/2 ;
- S1((t1+t2)/2,(-t1+t2)/2,(-t2+t3)/2) ;
- }
- }
- }
- }
- for (t2=n-1;t2<=-t1+2*n;t2++) {
- for (t3=1;t3<=n;t3++) {
- if ((t1+t2+1)%2 == 0) {
- i = (t1+t2-3)/2 ;
- j = (-t1+t2-1)/2 ;
- S2((t1+t2-3)/2,(-t1+t2-1)/2,t3) ;
- }
- }
- for (t3=t2+2;t3<=t2+2*n;t3++) {
- if ((t1+t2)%2 == 0) {
- i = (t1+t2)/2 ;
- j = (-t1+t2)/2 ;
- if ((t1+t3)%2 == 0) {
- k = (-t2+t3)/2 ;
- S1((t1+t2)/2,(-t1+t2)/2,(-t2+t3)/2) ;
- }
- }
- }
- }
- for (t2=-t1+2*n+1;t2<=t1+2*n+1;t2++) {
- for (t3=1;t3<=n;t3++) {
- if ((t1+t2+1)%2 == 0) {
- i = (t1+t2-3)/2 ;
- j = (-t1+t2-1)/2 ;
- S2((t1+t2-3)/2,(-t1+t2-1)/2,t3) ;
- }
- }
- }
- }
- for (t1=2;t1<=n-5;t1++) {
- t2 = t1+2 ;
- for (t3=t1+4;t3<=t1+2*n+2;t3++) {
- i = t1+1 ;
- if ((t1+t3)%2 == 0) {
- k = (-t1+t3-2)/2 ;
- S1(t1+1,1,(-t1+t3-2)/2) ;
- }
- }
- for (t2=t1+3;t2<=n-2;t2++) {
- for (t3=1;t3<=t2+1;t3++) {
- if ((t1+t2+1)%2 == 0) {
- i = (t1+t2-3)/2 ;
- j = (-t1+t2-1)/2 ;
- S2((t1+t2-3)/2,(-t1+t2-1)/2,t3) ;
- }
- }
- for (t3=t2+2;t3<=n;t3++) {
- if ((t1+t2+1)%2 == 0) {
- i = (t1+t2-3)/2 ;
- j = (-t1+t2-1)/2 ;
- S2((t1+t2-3)/2,(-t1+t2-1)/2,t3) ;
- }
- if ((t1+t2)%2 == 0) {
- i = (t1+t2)/2 ;
- j = (-t1+t2)/2 ;
- if ((t1+t3)%2 == 0) {
- k = (-t2+t3)/2 ;
- S1((t1+t2)/2,(-t1+t2)/2,(-t2+t3)/2) ;
- }
- }
- }
- for (t3=n+1;t3<=t2+2*n;t3++) {
- if ((t1+t2)%2 == 0) {
- i = (t1+t2)/2 ;
- j = (-t1+t2)/2 ;
- if ((t1+t3)%2 == 0) {
- k = (-t2+t3)/2 ;
- S1((t1+t2)/2,(-t1+t2)/2,(-t2+t3)/2) ;
- }
- }
- }
- }
- for (t2=n-1;t2<=-t1+2*n;t2++) {
- for (t3=1;t3<=n;t3++) {
- if ((t1+t2+1)%2 == 0) {
- i = (t1+t2-3)/2 ;
- j = (-t1+t2-1)/2 ;
- S2((t1+t2-3)/2,(-t1+t2-1)/2,t3) ;
- }
- }
- for (t3=t2+2;t3<=t2+2*n;t3++) {
- if ((t1+t2)%2 == 0) {
- i = (t1+t2)/2 ;
- j = (-t1+t2)/2 ;
- if ((t1+t3)%2 == 0) {
- k = (-t2+t3)/2 ;
- S1((t1+t2)/2,(-t1+t2)/2,(-t2+t3)/2) ;
- }
- }
- }
- }
- for (t2=-t1+2*n+1;t2<=-t1+2*n+3;t2++) {
- for (t3=1;t3<=n;t3++) {
- if ((t1+t2+1)%2 == 0) {
- i = (t1+t2-3)/2 ;
- j = (-t1+t2-1)/2 ;
- S2((t1+t2-3)/2,(-t1+t2-1)/2,t3) ;
- }
- }
- }
- }
- for (t1=max(2,n-4);t1<=floord(2*n-3,2);t1++) {
- t2 = t1+2 ;
- for (t3=t1+4;t3<=t1+2*n+2;t3++) {
- i = t1+1 ;
- if ((t1+t3)%2 == 0) {
- k = (-t1+t3-2)/2 ;
- S1(t1+1,1,(-t1+t3-2)/2) ;
- }
- }
- for (t2=t1+3;t2<=-t1+2*n;t2++) {
- for (t3=1;t3<=n;t3++) {
- if ((t1+t2+1)%2 == 0) {
- i = (t1+t2-3)/2 ;
- j = (-t1+t2-1)/2 ;
- S2((t1+t2-3)/2,(-t1+t2-1)/2,t3) ;
- }
- }
- for (t3=t2+2;t3<=t2+2*n;t3++) {
- if ((t1+t2)%2 == 0) {
- i = (t1+t2)/2 ;
- j = (-t1+t2)/2 ;
- if ((t1+t3)%2 == 0) {
- k = (-t2+t3)/2 ;
- S1((t1+t2)/2,(-t1+t2)/2,(-t2+t3)/2) ;
- }
- }
- }
- }
- for (t2=-t1+2*n+1;t2<=-t1+2*n+3;t2++) {
- for (t3=1;t3<=n;t3++) {
- if ((t1+t2+1)%2 == 0) {
- i = (t1+t2-3)/2 ;
- j = (-t1+t2-1)/2 ;
- S2((t1+t2-3)/2,(-t1+t2-1)/2,t3) ;
- }
- }
- }
- }
- if (n >= 3) {
- t1 = n-1 ;
- t2 = n+1 ;
- for (t3=n+3;t3<=3*n+1;t3++) {
- if ((t3+n+1)%2 == 0) {
- k = (t3-n-1)/2 ;
- S1(n,1,(t3-n-1)/2) ;
- }
- }
- for (t2=n+2;t2<=n+4;t2++) {
- for (t3=1;t3<=n;t3++) {
- if ((t2+n)%2 == 0) {
- i = (t2+n-4)/2 ;
- j = (t2-n)/2 ;
- S2((t2+n-4)/2,(t2-n)/2,t3) ;
- }
- }
- }
- }
- if (n >= 1) {
- t2 = n+3 ;
- for (t3=1;t3<=n;t3++) {
- S2(n,1,t3) ;
- }
- }
-}
generated by cgit v1.2.3 (git 2.25.1) at 2024-06-09 11:14:20 +0000