propagate updated lower bounds on strided loops to outer levels
[cloog/uuh.git] / test / reports / nicolas_vasilache_03-05-2005.eml
blob2e2631ffb9e0095bd715b56e031ab0e1326e6b97
1 X-UIDL: 39066.1115110713
2 X-Mozilla-Status: 0001
3 X-Mozilla-Status2: 00000000
4 Received: from soleil.uvsq.fr (soleil.uvsq.fr [193.51.24.1])
5         by relay-5m.club-internet.fr (Postfix) with ESMTP id BC73EE06B
6         for <netced@club-internet.fr>; Tue,  3 May 2005 10:58:32 +0200 (CEST)
7 Received: from torquenada.prism.uvsq.fr (torquenada.prism.uvsq.fr [193.51.25.9])
8           by soleil.uvsq.fr (8.12.11/jtpda-5.4) with ESMTP id j438wWHF077509
9           for <netced@club-internet.fr>; Tue, 3 May 2005 10:58:32 +0200 (CEST)
10 Received: from soleil.uvsq.fr (root@soleil.uvsq.fr [193.51.24.1])
11           by torquenada.prism.uvsq.fr (8.11.4/jtpda-5.3.2) with ESMTP id j438wVC14523
12           for <cedric.bastoul@prism.uvsq.fr>; Tue, 3 May 2005 10:58:31 +0200 (MEST)
13 Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78])
14           by soleil.uvsq.fr (8.12.11/jtpda-5.4) with ESMTP id j438wVeJ077472
15           for <cedric.bastoul@prism.uvsq.fr>; Tue, 3 May 2005 10:58:31 +0200 (CEST)
16 Received: from achille.futurs.inria.fr (achille.futurs.inria.fr [195.83.212.184])
17         by nez-perce.inria.fr (8.13.0/8.13.0) with ESMTP id j438wP9Z005161
18         (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=NO)
19         for <cedric.bastoul@prism.uvsq.fr>; Tue, 3 May 2005 10:58:26 +0200
20 Received: from [127.0.0.1] (localhost [127.0.0.1])
21         by achille.futurs.inria.fr (8.13.0/8.12.10) with ESMTP id j438wPL3027759
22         for <cedric.bastoul@prism.uvsq.fr>; Tue, 3 May 2005 10:58:25 +0200
23 Message-ID: <42773D31.4050400@inria.fr>
24 Date: Tue, 03 May 2005 10:58:25 +0200
25 From: Nicolas Vasilache <Nicolas.Vasilache@inria.fr>
26 User-Agent: Mozilla/5.0 (X11; U; Linux i686; en-US; rv:1.7.3) Gecko/20040916
27 X-Accept-Language: en-us, en
28 MIME-Version: 1.0
29 To: =?ISO-8859-1?Q?C=E9dric_Bastoul?= <cedric.bastoul@prism.uvsq.fr>
30 Subject: Test case matmul
31 Content-Type: multipart/mixed;
32  boundary="------------030606060102070406010005"
33 X-Miltered: at soleil.uvsq.fr with ID 42773D38.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)!
34 X-Miltered: at soleil.uvsq.fr with ID 42773D37.001 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)!
35 X-Miltered: at nez-perce with ID 42773D31.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)!
36 X-Greylist: Sender IP whitelisted, not delayed by milter-greylist-1.7.5 (soleil.uvsq.fr [193.51.24.1]); Tue, 03 May 2005 10:58:32 +0200 (CEST)
37 X-Greylist: IP, sender and recipient auto-whitelisted, not delayed by milter-greylist-1.7.5 (soleil.uvsq.fr [193.51.24.1]); Tue, 03 May 2005 10:58:31 +0200 (CEST)
38 X-j-chkmail-Score: MSGID : 42773D38.000 on soleil.uvsq.fr : j-chkmail score : XX : 10/50 0
39 X-j-chkmail-Score: MSGID : 42773D37.001 on soleil.uvsq.fr : j-chkmail score : XX : 10/50 0
40 X-Antivirus: scanned by sophie at soleil.uvsq.fr
41 X-Antivirus: scanned by sophie at soleil.uvsq.fr
42 Status:   
43 X-Mmail: \Recent                                 
44 X-M-Uid: 39066.1115110713
46 This is a multi-part message in MIME format.
47 --------------030606060102070406010005
48 Content-Type: text/plain; charset=ISO-8859-1; format=flowed
49 Content-Transfer-Encoding: 7bit
51 Options:
52 cloog -f 8 -l 9 matmul.B.main.scop1.cloog
54 Code correct:
55 S1;
56 S2;
57 for (p0=0;p0<=N-1;p0++) {
58   for (p1=0;p1<=N-1;p1++) {
59     S4(i = p0,j = p1);
60     S5(i = p0,j = p1);
61   }
63 for (p0=0;p0<=N-1;p0++) {
64   for (p1=0;p1<=N-1;p1++) {
65     for (p2=0;p2<=floord(N-1,32);p2++) {
66       S7(i = p0,j = p1,k = p2,l = 32*p2);
67       for (p3=32*p2+1;p3<=min(N-1,32*p2+31);p3++) {
68         S6(i = p0,j = p1,k = p2,l = p3-1);
69         S7(i = p0,j = p1,k = p2,l = p3);
70       }
71       if (p2 >= ceild(N-32,32)) {
72         S6(i = p0,j = p1,k = p2,l = N-1);
73       }
74       if (p2 <= floord(N-33,32)) {
75         S6(i = p0,j = p1,k = p2,l = 32*p2+31);
76       }
77     }
78   }
80 S8;
83 Code incorrect:
84 S1 ;
85 S2 ;
86 for (p1=0;p1<=N-1;p1++) {
87   for (p3=0;p3<=N-1;p3++) {
88     S4(i = p1,j = p3) ;
89     S5(i = p1,j = p3) ;
90   }
92 for (p1=0;p1<=N-1;p1++) {
93   for (p3=0;p3<=N-1;p3++) {
94     for (p5=0;p5<=floord(N-1,32);p5++) {
95       if (p5 <= 0) {
96         S7(i = p1,j = p3,k = p5,l = 0) ;
97       }
98       p7 = 32*p5 ;
99       l = 32*p5 ;
100       S7(i = p1,j = p3,k = p5) ;
101       for (p7=max(32*p5+1,1);p7<=min(32*p5+31,N-1);p7++) {
102         l = p7-1 ;
103         S6(i = p1,j = p3,k = p5) ;
104         S7(i = p1,j = p3,k = p5,l = p7) ;
105       }
106       if (p5 >= ceild(N-32,32)) {
107         l = N-1 ;
108         S6(i = p1,j = p3,k = p5) ;
109       }
110       p7 = 32*p5+32 ;
111       l = 32*p5+31 ;
112       S6(i = p1,j = p3,k = p5) ;
113     }
114   }
116 S8 ;
119 --------------030606060102070406010005
120 Content-Type: text/plain;
121  name="matmul.B.main.scop1.cloog"
122 Content-Transfer-Encoding: 7bit
123 Content-Disposition: inline;
124  filename="matmul.B.main.scop1.cloog"
126 c # language is C
127 # ---------- CONTEXT ----------
128 1 # Context (constraints on parameters)
129 2    4     # 1 lines, 4 columns
130 1    -1   0    3    
131 1    0    1    -100 
134 0 # Automatically find parameter names
136 # ---------- STATEMENTS ----------
137 8 # Number of statements
139 1 # Statement has a non resticted domain
140 1    4    
141 1    0    0    0    
142 0    0    0    
144 1 # Statement has a non resticted domain
145 1    4    
146 1    0    0    0    
147 0    0    0    
149 1 # Statement has 1 domain
150 1    4    
151 1    1    0    -79  
152 0    0    0    
154 1 # Statement has 1 domain
155 4    6    
156 1    1    0    0    0    0    
157 1    -1   0    0    1    -1   
158 1    0    1    0    0    0    
159 1    0    -1   0    1    -1   
160 0    0    0    
162 1 # Statement has 1 domain
163 4    6    
164 1    1    0    0    0    0    
165 1    -1   0    0    1    -1   
166 1    0    1    0    0    0    
167 1    0    -1   0    1    -1   
168 0    0    0    
170 1 # Statement has 1 domain
171 8    8    
172 1    1    0    0    0    0    0    0    
173 1    -1   0    0    0    0    1    -1   
174 1    0    1    0    0    0    0    0    
175 1    0    -1   0    0    0    1    -1   
176 1    0    0    0    1    0    0    0    
177 1    0    0    0    -1   0    1    -1   
178 1    0    0    -32  1    0    0    0    
179 1    0    0    32   -1   0    0    31   
180 0    0    0    
182 1 # Statement has 1 domain
183 8    8    
184 1    1    0    0    0    0    0    0    
185 1    -1   0    0    0    0    1    -1   
186 1    0    1    0    0    0    0    0    
187 1    0    -1   0    0    0    1    -1   
188 1    0    0    0    1    0    0    0    
189 1    0    0    0    -1   0    1    -1   
190 1    0    0    -32  1    0    0    0    
191 1    0    0    32   -1   0    0    31   
192 0    0    0    
194 1 # Statement has a non resticted domain
195 1    4    
196 1    0    0    0    
197 0    0    0    
199 0 # Automatically find iterator names.
201 # ---------- SCATTERING FUNCTIONS ----------
202 8 # Number of scattering functions
204 9    13   
205 #    p0   p1   p2   p3   p4   p5   p6   p7   p8   
206 0    1    0    0    0    0    0    0    0    0                   0    0    0     # Beta 0
207 0    0    1    0    0    0    0    0    0    0                   0    0    0     # Alpha & Gamma 1
208 0    0    0    1    0    0    0    0    0    0                   0    0    0     # Beta 1
209 0    0    0    0    1    0    0    0    0    0                   0    0    0     # Alpha & Gamma 2
210 0    0    0    0    0    1    0    0    0    0                   0    0    0     # Beta 2
211 0    0    0    0    0    0    1    0    0    0                   0    0    0     # Alpha & Gamma 3
212 0    0    0    0    0    0    0    1    0    0                   0    0    0     # Beta 3
213 0    0    0    0    0    0    0    0    1    0                   0    0    0     # Alpha & Gamma 4
214 0    0    0    0    0    0    0    0    0    1                   0    0    0     # Beta 4
216 9    13   
217 #    p0   p1   p2   p3   p4   p5   p6   p7   p8   
218 0    1    0    0    0    0    0    0    0    0                   0    0    -1    # Beta 0
219 0    0    1    0    0    0    0    0    0    0                   0    0    0     # Alpha & Gamma 1
220 0    0    0    1    0    0    0    0    0    0                   0    0    0     # Beta 1
221 0    0    0    0    1    0    0    0    0    0                   0    0    0     # Alpha & Gamma 2
222 0    0    0    0    0    1    0    0    0    0                   0    0    0     # Beta 2
223 0    0    0    0    0    0    1    0    0    0                   0    0    0     # Alpha & Gamma 3
224 0    0    0    0    0    0    0    1    0    0                   0    0    0     # Beta 3
225 0    0    0    0    0    0    0    0    1    0                   0    0    0     # Alpha & Gamma 4
226 0    0    0    0    0    0    0    0    0    1                   0    0    0     # Beta 4
228 9    13   
229 #    p0   p1   p2   p3   p4   p5   p6   p7   p8   
230 0    1    0    0    0    0    0    0    0    0                   0    0    -2    # Beta 0
231 0    0    1    0    0    0    0    0    0    0                   0    0    0     # Alpha & Gamma 1
232 0    0    0    1    0    0    0    0    0    0                   0    0    0     # Beta 1
233 0    0    0    0    1    0    0    0    0    0                   0    0    0     # Alpha & Gamma 2
234 0    0    0    0    0    1    0    0    0    0                   0    0    0     # Beta 2
235 0    0    0    0    0    0    1    0    0    0                   0    0    0     # Alpha & Gamma 3
236 0    0    0    0    0    0    0    1    0    0                   0    0    0     # Beta 3
237 0    0    0    0    0    0    0    0    1    0                   0    0    0     # Alpha & Gamma 4
238 0    0    0    0    0    0    0    0    0    1                   0    0    0     # Beta 4
240 9    15   
241 #    p0   p1   p2   p3   p4   p5   p6   p7   p8   
242 0    1    0    0    0    0    0    0    0    0         0    0              0    0    -3    # Beta 0
243 0    0    1    0    0    0    0    0    0    0         -1   0              0    0    0     # Alpha & Gamma 1
244 0    0    0    1    0    0    0    0    0    0         0    0              0    0    0     # Beta 1
245 0    0    0    0    1    0    0    0    0    0         0    -1             0    0    0     # Alpha & Gamma 2
246 0    0    0    0    0    1    0    0    0    0         0    0              0    0    0     # Beta 2
247 0    0    0    0    0    0    1    0    0    0         0    0              0    0    0     # Alpha & Gamma 3
248 0    0    0    0    0    0    0    1    0    0         0    0              0    0    0     # Beta 3
249 0    0    0    0    0    0    0    0    1    0         0    0              0    0    0     # Alpha & Gamma 4
250 0    0    0    0    0    0    0    0    0    1         0    0              0    0    0     # Beta 4
252 9    15   
253 #    p0   p1   p2   p3   p4   p5   p6   p7   p8   
254 0    1    0    0    0    0    0    0    0    0         0    0              0    0    -3    # Beta 0
255 0    0    1    0    0    0    0    0    0    0         -1   0              0    0    0     # Alpha & Gamma 1
256 0    0    0    1    0    0    0    0    0    0         0    0              0    0    0     # Beta 1
257 0    0    0    0    1    0    0    0    0    0         0    -1             0    0    0     # Alpha & Gamma 2
258 0    0    0    0    0    1    0    0    0    0         0    0              0    0    -1    # Beta 2
259 0    0    0    0    0    0    1    0    0    0         0    0              0    0    0     # Alpha & Gamma 3
260 0    0    0    0    0    0    0    1    0    0         0    0              0    0    0     # Beta 3
261 0    0    0    0    0    0    0    0    1    0         0    0              0    0    0     # Alpha & Gamma 4
262 0    0    0    0    0    0    0    0    0    1         0    0              0    0    0     # Beta 4
264 9    17   
265 #    p0   p1   p2   p3   p4   p5   p6   p7   p8   
266 0    1    0    0    0    0    0    0    0    0         0    0    0    0              0    0    -4    # Beta 0
267 0    0    1    0    0    0    0    0    0    0         -1   0    0    0              0    0    0     # Alpha & Gamma 1
268 0    0    0    1    0    0    0    0    0    0         0    0    0    0              0    0    0     # Beta 1
269 0    0    0    0    1    0    0    0    0    0         0    -1   0    0              0    0    0     # Alpha & Gamma 2
270 0    0    0    0    0    1    0    0    0    0         0    0    0    0              0    0    0     # Beta 2
271 0    0    0    0    0    0    1    0    0    0         0    0    -1   0              0    0    0     # Alpha & Gamma 3
272 0    0    0    0    0    0    0    1    0    0         0    0    0    0              0    0    0     # Beta 3
273 0    0    0    0    0    0    0    0    1    0         0    0    0    -1             0    0    -1    # Alpha & Gamma 4
274 0    0    0    0    0    0    0    0    0    1         0    0    0    0              0    0    0     # Beta 4
276 9    17   
277 #    p0   p1   p2   p3   p4   p5   p6   p7   p8   
278 0    1    0    0    0    0    0    0    0    0         0    0    0    0              0    0    -4    # Beta 0
279 0    0    1    0    0    0    0    0    0    0         -1   0    0    0              0    0    0     # Alpha & Gamma 1
280 0    0    0    1    0    0    0    0    0    0         0    0    0    0              0    0    0     # Beta 1
281 0    0    0    0    1    0    0    0    0    0         0    -1   0    0              0    0    0     # Alpha & Gamma 2
282 0    0    0    0    0    1    0    0    0    0         0    0    0    0              0    0    0     # Beta 2
283 0    0    0    0    0    0    1    0    0    0         0    0    -1   0              0    0    0     # Alpha & Gamma 3
284 0    0    0    0    0    0    0    1    0    0         0    0    0    0              0    0    0     # Beta 3
285 0    0    0    0    0    0    0    0    1    0         0    0    0    -1             0    0    0     # Alpha & Gamma 4
286 0    0    0    0    0    0    0    0    0    1         0    0    0    0              0    0    -1    # Beta 4
288 9    13   
289 #    p0   p1   p2   p3   p4   p5   p6   p7   p8   
290 0    1    0    0    0    0    0    0    0    0                   0    0    -5    # Beta 0
291 0    0    1    0    0    0    0    0    0    0                   0    0    0     # Alpha & Gamma 1
292 0    0    0    1    0    0    0    0    0    0                   0    0    0     # Beta 1
293 0    0    0    0    1    0    0    0    0    0                   0    0    0     # Alpha & Gamma 2
294 0    0    0    0    0    1    0    0    0    0                   0    0    0     # Beta 2
295 0    0    0    0    0    0    1    0    0    0                   0    0    0     # Alpha & Gamma 3
296 0    0    0    0    0    0    0    1    0    0                   0    0    0     # Beta 3
297 0    0    0    0    0    0    0    0    1    0                   0    0    0     # Alpha & Gamma 4
298 0    0    0    0    0    0    0    0    0    1                   0    0    0     # Beta 4
300 1 # Set the scattering parameter names.
301 p0 p1 p2 p3 p4 p5 p6 p7 p8 
304 --------------030606060102070406010005--