summaryrefslogtreecommitdiff
path: root/cloog-core/test/darte.good.c
diff options
context:
space:
mode:
Diffstat (limited to 'cloog-core/test/darte.good.c')
-rw-r--r--cloog-core/test/darte.good.c449
1 files changed, 449 insertions, 0 deletions
diff --git a/cloog-core/test/darte.good.c b/cloog-core/test/darte.good.c
new file mode 100644
index 0000000..298c24f
--- /dev/null
+++ b/cloog-core/test/darte.good.c
@@ -0,0 +1,449 @@
+/* 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-11-21 22:14:30 +0000