1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
|
diff --git a/test/darte.c b/test/darte.c
index e185b7a..2a4a1b8 100644
--- a/test/darte.c
+++ b/test/darte.c
@@ -6,14 +6,14 @@ if (n >= 1) {
}
}
for (t1=-n+2;t1<=n-1;t1++) {
- if (t1 >= 2) {
+ if (t1 >= 0) {
for (t3=t1+4;t3<=t1+2*n+2;t3++) {
if ((t1+t3)%2 == 0) {
S1(t1+1,1,(-t1+t3-2)/2);
}
}
}
- for (t2=max(-t1+2,t1+2);t2<=-t1+4;t2++) {
+ for (t2=max(-t1+2,t1+3);t2<=-t1+4;t2++) {
for (t3=t2+2;t3<=t2+2*n;t3++) {
if ((t1+t2)%2 == 0) {
if ((t1+t3)%2 == 0) {
diff --git a/test/dartef.f b/test/dartef.f
index 50e1073..3b5e3e2 100644
--- a/test/dartef.f
+++ b/test/dartef.f
@@ -6,14 +6,14 @@ IF (n >= 1) THEN
END IF
END DO
DO t1=-n+2, n-1
- IF (t1 >= 2) THEN
+ IF (t1 >= 0) THEN
DO t3=t1+4, t1+2*n+2
IF (MOD(t1+t3, 2) == 0) THEN
S1(t1+1,1,(-t1+t3-2)/2)
END IF
END DO
END IF
- DO t2=MAX(-t1+2,t1+2), -t1+4
+ DO t2=MAX(-t1+2,t1+3), -t1+4
DO t3=t2+2, t2+2*n
IF (MOD(t1+t2, 2) == 0) THEN
IF (MOD(t1+t3, 2) == 0) THEN
diff --git a/test/dealII.c b/test/dealII.c
index 200b257..5d28c4a 100644
--- a/test/dealII.c
+++ b/test/dealII.c
@@ -3,10 +3,13 @@ for (scat_0=0;scat_0<=min(T_66,T_2-1);scat_0++) {
S1(scat_0);
S2(scat_0);
}
-if ((T_2 == 0) && (T_67 == 0)) {
+if ((T_2 == 0) && (T_66 >= 0) && (T_67 == 0)) {
S1(0);
}
-for (scat_0=max(0,T_66+1);scat_0<=T_2-1;scat_0++) {
+if ((T_66 <= -1) && (T_67 == 0)) {
+ S1(0);
+}
+for (scat_0=max(max(0,T_66+1),-T_67+1);scat_0<=T_2-1;scat_0++) {
S1(scat_0);
}
for (scat_0=T_2;scat_0<=min(T_66,T_67-1);scat_0++) {
diff --git a/test/isl/jacobi-shared.c b/test/isl/jacobi-shared.c
index e8e5ec7..9e345c6 100644
--- a/test/isl/jacobi-shared.c
+++ b/test/isl/jacobi-shared.c
@@ -1,6 +1,6 @@
/* Generated from ../../../git/cloog/test/isl/jacobi-shared.cloog by CLooG 0.16.3-2-g5511bef gmp bits in 1.82s. */
if ((h0+1)%2 == 0) {
- if ((16*floord(t0-1,16) >= -N+g1+t0+1) && (16*floord(N+15*g1+15*t0+15,16) >= 15*g1+15*t0+19) && (32*floord(t1-1,32) <= g2+t1-3) && (32*floord(t1-1,32) >= -N+g2+t1+1)) {
+ if ((16*floord(N+15*g1+15*t0+15,16) >= 15*g1+15*t0+19) && (16*floord(N+15*g1+15*t0+15,16) >= 16*g1+15*t0+17) && (32*floord(t1-1,32) <= g2+t1-3) && (32*floord(t1-1,32) >= -N+g2+t1+1)) {
for (c0=max(-16*floord(t0-1,16)+t0,-16*floord(g1+t0-3,16)+t0);c0<=min(32,N-g1-1);c0+=16) {
c1 = 32*floord(-t1,32)+t1+32;
if (c1 <= 32) {
diff --git a/test/vasilache.c b/test/vasilache.c
index 5a00a33..fdff031 100644
--- a/test/vasilache.c
+++ b/test/vasilache.c
@@ -15,12 +15,12 @@ for (p1=0;p1<=N-1;p1++) {
S6(p1,p3,p5,p7-1);
S7(p1,p3,p5,p7);
}
- if (p5 <= floord(N-33,32)) {
- S6(p1,p3,p5,32*p5+31);
- }
- if (p5 >= ceild(N-32,32)) {
+ if (p5 >= ceild(N-31,32)) {
S6(p1,p3,p5,N-1);
}
+ if (p5 <= floord(N-32,32)) {
+ S6(p1,p3,p5,32*p5+31);
+ }
}
}
}
|
