| blob | 2e2631ffb9e0095bd715b56e031ab0e1326e6b97 |
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 }
62 }
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 }
79 }
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 }
91 }
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 }
115 }
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--