| blob | 0be88665cbd15f5ae8433372ffbea5fd5fe27a24 |
3 <OpenScop>
5 # =============================================== Global
6 # Language
7 C
9 # Context
10 CONTEXT
11 0 4 0 0 0 2
13 # Parameters are provided
14 1
15 <strings>
16 T N
17 </strings>
19 # Number of statements
20 2
22 # =============================================== Statement 1
23 # Number of relations describing the statement:
24 6
26 # ---------------------------------------------- 1.1 Domain
27 DOMAIN
28 6 6 2 0 0 2
29 # e/i| t i | T N | 1
30 1 1 0 0 0 0 ## t >= 0
31 1 -1 0 1 0 -1 ## -t+T-1 >= 0
32 1 0 0 1 0 -1 ## T-1 >= 0
33 1 0 1 0 0 -2 ## i-2 >= 0
34 1 0 -1 0 1 2 ## -i+N+2 >= 0
35 1 0 0 0 1 0 ## N >= 0
37 # ---------------------------------------------- 1.2 Scattering
38 SCATTERING
39 5 11 5 2 0 2
40 # e/i| c1 c2 c3 c4 c5 | t i | T N | 1
41 0 -1 0 0 0 0 0 0 0 0 0 ## c1 == 0
42 0 0 -1 0 0 0 1 0 0 0 0 ## c2 == t
43 0 0 0 -1 0 0 0 0 0 0 0 ## c3 == 0
44 0 0 0 0 -1 0 0 1 0 0 0 ## c4 == i
45 0 0 0 0 0 -1 0 0 0 0 0 ## c5 == 0
47 # ---------------------------------------------- 1.3 Access
48 WRITE
49 2 8 2 2 0 2
50 # e/i| Arr [1]| t i | T N | 1
51 0 -1 0 0 0 0 0 5 ## Arr == b
52 0 0 -1 0 1 0 0 0 ## [1] == i
54 READ
55 2 8 2 2 0 2
56 # e/i| Arr [1]| t i | T N | 1
57 0 -1 0 0 0 0 0 6 ## Arr == a
58 0 0 -1 0 1 0 0 -1 ## [1] == i-1
60 READ
61 2 8 2 2 0 2
62 # e/i| Arr [1]| t i | T N | 1
63 0 -1 0 0 0 0 0 6 ## Arr == a
64 0 0 -1 0 1 0 0 0 ## [1] == i
66 READ
67 2 8 2 2 0 2
68 # e/i| Arr [1]| t i | T N | 1
69 0 -1 0 0 0 0 0 6 ## Arr == a
70 0 0 -1 0 1 0 0 1 ## [1] == i+1
72 # ---------------------------------------------- 1.4 Statement Extensions
73 # Number of Statement Extensions
74 1
75 <body>
76 # Number of original iterators
77 2
78 # List of original iterators
79 t i
80 # Statement body expression
81 b[i] = 0.33333 * (a[i-1] + a[i] + a[i+1]);
82 </body>
84 # =============================================== Statement 2
85 # Number of relations describing the statement:
86 4
88 # ---------------------------------------------- 2.1 Domain
89 DOMAIN
90 6 6 2 0 0 2
91 # e/i| t j | T N | 1
92 1 1 0 0 0 0 ## t >= 0
93 1 -1 0 1 0 -1 ## -t+T-1 >= 0
94 1 0 0 1 0 -1 ## T-1 >= 0
95 1 0 1 0 0 -2 ## j-2 >= 0
96 1 0 -1 0 1 2 ## -j+N+2 >= 0
97 1 0 0 0 1 0 ## N >= 0
99 # ---------------------------------------------- 2.2 Scattering
100 SCATTERING
101 5 11 5 2 0 2
102 # e/i| c1 c2 c3 c4 c5 | t j | T N | 1
103 0 -1 0 0 0 0 0 0 0 0 0 ## c1 == 0
104 0 0 -1 0 0 0 1 0 0 0 0 ## c2 == t
105 0 0 0 -1 0 0 0 0 0 0 1 ## c3 == 1
106 0 0 0 0 -1 0 0 1 0 0 0 ## c4 == j
107 0 0 0 0 0 -1 0 0 0 0 0 ## c5 == 0
109 # ---------------------------------------------- 2.3 Access
110 WRITE
111 2 8 2 2 0 2
112 # e/i| Arr [1]| t j | T N | 1
113 0 -1 0 0 0 0 0 6 ## Arr == a
114 0 0 -1 0 1 0 0 0 ## [1] == j
116 READ
117 2 8 2 2 0 2
118 # e/i| Arr [1]| t j | T N | 1
119 0 -1 0 0 0 0 0 5 ## Arr == b
120 0 0 -1 0 1 0 0 0 ## [1] == j
122 # ---------------------------------------------- 2.4 Statement Extensions
123 # Number of Statement Extensions
124 1
125 <body>
126 # Number of original iterators
127 2
128 # List of original iterators
129 t j
130 # Statement body expression
131 a[j] = b[j];
132 </body>
134 # =============================================== Extensions
135 <dependence>
136 # Number of dependences
137 10
138 # Description of dependence 1
139 # type
140 WAW #(output)
141 # From source statement id
142 0
143 # To target statement id
144 0
145 # Depth
146 1
147 # From source access ref
148 0
149 # To target access ref
150 0
151 # Dependence domain
152 UNDEFINED
153 19 12 4 4 0 2
154 # e/i| c1 c2 c3 c4 | i1 i2 i3 i4 | P1 P2 | 1
155 1 1 0 0 0 0 0 0 0 0 0 0 ## c1 >= 0
156 1 -1 0 0 0 0 0 0 0 1 0 -1 ## -c1+P1-1 >= 0
157 1 0 0 0 0 0 0 0 0 1 0 -1 ## P1-1 >= 0
158 1 0 1 0 0 0 0 0 0 0 0 -2 ## c2-2 >= 0
159 1 0 -1 0 0 0 0 0 0 0 1 2 ## -c2+P2+2 >= 0
160 1 0 0 0 0 0 0 0 0 0 1 0 ## P2 >= 0
161 1 0 0 0 0 1 0 0 0 0 0 0 ## i1 >= 0
162 1 0 0 0 0 -1 0 0 0 1 0 -1 ## -i1+P1-1 >= 0
163 1 0 0 0 0 0 0 0 0 1 0 -1 ## P1-1 >= 0
164 1 0 0 0 0 0 1 0 0 0 0 -2 ## i2-2 >= 0
165 1 0 0 0 0 0 -1 0 0 0 1 2 ## -i2+P2+2 >= 0
166 1 0 0 0 0 0 0 0 0 0 1 0 ## P2 >= 0
167 0 0 0 -1 0 0 0 0 0 0 0 5 ## c3 == 5
168 0 0 1 0 -1 0 0 0 0 0 0 0 ## c2-c4 == 0
169 0 0 0 0 0 0 0 1 0 0 0 -5 ## i3-5 == 0
170 0 0 0 0 0 0 -1 0 1 0 0 0 ## -i2+i4 == 0
171 0 0 0 -1 0 0 0 1 0 0 0 0 ## c3 == i3
172 0 0 0 0 -1 0 0 0 1 0 0 0 ## c4 == i4
173 1 -1 0 0 0 1 0 0 0 0 0 -1 ## -c1+i1-1 >= 0
174 # Description of dependence 2
175 # type
176 RAW #(flow)
177 # From source statement id
178 0
179 # To target statement id
180 1
181 # Depth
182 1
183 # From source access ref
184 0
185 # To target access ref
186 1
187 # Dependence domain
188 UNDEFINED
189 19 12 4 4 0 2
190 # e/i| c1 c2 c3 c4 | i1 i2 i3 i4 | P1 P2 | 1
191 1 1 0 0 0 0 0 0 0 0 0 0 ## c1 >= 0
192 1 -1 0 0 0 0 0 0 0 1 0 -1 ## -c1+P1-1 >= 0
193 1 0 0 0 0 0 0 0 0 1 0 -1 ## P1-1 >= 0
194 1 0 1 0 0 0 0 0 0 0 0 -2 ## c2-2 >= 0
195 1 0 -1 0 0 0 0 0 0 0 1 2 ## -c2+P2+2 >= 0
196 1 0 0 0 0 0 0 0 0 0 1 0 ## P2 >= 0
197 1 0 0 0 0 1 0 0 0 0 0 0 ## i1 >= 0
198 1 0 0 0 0 -1 0 0 0 1 0 -1 ## -i1+P1-1 >= 0
199 1 0 0 0 0 0 0 0 0 1 0 -1 ## P1-1 >= 0
200 1 0 0 0 0 0 1 0 0 0 0 -2 ## i2-2 >= 0
201 1 0 0 0 0 0 -1 0 0 0 1 2 ## -i2+P2+2 >= 0
202 1 0 0 0 0 0 0 0 0 0 1 0 ## P2 >= 0
203 0 0 0 -1 0 0 0 0 0 0 0 5 ## c3 == 5
204 0 0 1 0 -1 0 0 0 0 0 0 0 ## c2-c4 == 0
205 0 0 0 0 0 0 0 1 0 0 0 -5 ## i3-5 == 0
206 0 0 0 0 0 0 -1 0 1 0 0 0 ## -i2+i4 == 0
207 0 0 0 -1 0 0 0 1 0 0 0 0 ## c3 == i3
208 0 0 0 0 -1 0 0 0 1 0 0 0 ## c4 == i4
209 1 -1 0 0 0 1 0 0 0 0 0 0 ## -c1+i1 >= 0
210 # Description of dependence 3
211 # type
212 WAR #(anti)
213 # From source statement id
214 0
215 # To target statement id
216 1
217 # Depth
218 1
219 # From source access ref
220 1
221 # To target access ref
222 0
223 # Dependence domain
224 UNDEFINED
225 19 12 4 4 0 2
226 # e/i| c1 c2 c3 c4 | i1 i2 i3 i4 | P1 P2 | 1
227 1 1 0 0 0 0 0 0 0 0 0 0 ## c1 >= 0
228 1 -1 0 0 0 0 0 0 0 1 0 -1 ## -c1+P1-1 >= 0
229 1 0 0 0 0 0 0 0 0 1 0 -1 ## P1-1 >= 0
230 1 0 1 0 0 0 0 0 0 0 0 -2 ## c2-2 >= 0
231 1 0 -1 0 0 0 0 0 0 0 1 2 ## -c2+P2+2 >= 0
232 1 0 0 0 0 0 0 0 0 0 1 0 ## P2 >= 0
233 1 0 0 0 0 1 0 0 0 0 0 0 ## i1 >= 0
234 1 0 0 0 0 -1 0 0 0 1 0 -1 ## -i1+P1-1 >= 0
235 1 0 0 0 0 0 0 0 0 1 0 -1 ## P1-1 >= 0
236 1 0 0 0 0 0 1 0 0 0 0 -2 ## i2-2 >= 0
237 1 0 0 0 0 0 -1 0 0 0 1 2 ## -i2+P2+2 >= 0
238 1 0 0 0 0 0 0 0 0 0 1 0 ## P2 >= 0
239 0 0 0 -1 0 0 0 0 0 0 0 6 ## c3 == 6
240 0 0 1 0 -1 0 0 0 0 0 0 -1 ## c2-c4-1 == 0
241 0 0 0 0 0 0 0 1 0 0 0 -6 ## i3-6 == 0
242 0 0 0 0 0 0 -1 0 1 0 0 0 ## -i2+i4 == 0
243 0 0 0 -1 0 0 0 1 0 0 0 0 ## c3 == i3
244 0 0 0 0 -1 0 0 0 1 0 0 0 ## c4 == i4
245 1 -1 0 0 0 1 0 0 0 0 0 0 ## -c1+i1 >= 0
246 # Description of dependence 4
247 # type
248 WAR #(anti)
249 # From source statement id
250 0
251 # To target statement id
252 1
253 # Depth
254 1
255 # From source access ref
256 2
257 # To target access ref
258 0
259 # Dependence domain
260 UNDEFINED
261 19 12 4 4 0 2
262 # e/i| c1 c2 c3 c4 | i1 i2 i3 i4 | P1 P2 | 1
263 1 1 0 0 0 0 0 0 0 0 0 0 ## c1 >= 0
264 1 -1 0 0 0 0 0 0 0 1 0 -1 ## -c1+P1-1 >= 0
265 1 0 0 0 0 0 0 0 0 1 0 -1 ## P1-1 >= 0
266 1 0 1 0 0 0 0 0 0 0 0 -2 ## c2-2 >= 0
267 1 0 -1 0 0 0 0 0 0 0 1 2 ## -c2+P2+2 >= 0
268 1 0 0 0 0 0 0 0 0 0 1 0 ## P2 >= 0
269 1 0 0 0 0 1 0 0 0 0 0 0 ## i1 >= 0
270 1 0 0 0 0 -1 0 0 0 1 0 -1 ## -i1+P1-1 >= 0
271 1 0 0 0 0 0 0 0 0 1 0 -1 ## P1-1 >= 0
272 1 0 0 0 0 0 1 0 0 0 0 -2 ## i2-2 >= 0
273 1 0 0 0 0 0 -1 0 0 0 1 2 ## -i2+P2+2 >= 0
274 1 0 0 0 0 0 0 0 0 0 1 0 ## P2 >= 0
275 0 0 0 -1 0 0 0 0 0 0 0 6 ## c3 == 6
276 0 0 1 0 -1 0 0 0 0 0 0 0 ## c2-c4 == 0
277 0 0 0 0 0 0 0 1 0 0 0 -6 ## i3-6 == 0
278 0 0 0 0 0 0 -1 0 1 0 0 0 ## -i2+i4 == 0
279 0 0 0 -1 0 0 0 1 0 0 0 0 ## c3 == i3
280 0 0 0 0 -1 0 0 0 1 0 0 0 ## c4 == i4
281 1 -1 0 0 0 1 0 0 0 0 0 0 ## -c1+i1 >= 0
282 # Description of dependence 5
283 # type
284 WAR #(anti)
285 # From source statement id
286 0
287 # To target statement id
288 1
289 # Depth
290 1
291 # From source access ref
292 3
293 # To target access ref
294 0
295 # Dependence domain
296 UNDEFINED
297 19 12 4 4 0 2
298 # e/i| c1 c2 c3 c4 | i1 i2 i3 i4 | P1 P2 | 1
299 1 1 0 0 0 0 0 0 0 0 0 0 ## c1 >= 0
300 1 -1 0 0 0 0 0 0 0 1 0 -1 ## -c1+P1-1 >= 0
301 1 0 0 0 0 0 0 0 0 1 0 -1 ## P1-1 >= 0
302 1 0 1 0 0 0 0 0 0 0 0 -2 ## c2-2 >= 0
303 1 0 -1 0 0 0 0 0 0 0 1 2 ## -c2+P2+2 >= 0
304 1 0 0 0 0 0 0 0 0 0 1 0 ## P2 >= 0
305 1 0 0 0 0 1 0 0 0 0 0 0 ## i1 >= 0
306 1 0 0 0 0 -1 0 0 0 1 0 -1 ## -i1+P1-1 >= 0
307 1 0 0 0 0 0 0 0 0 1 0 -1 ## P1-1 >= 0
308 1 0 0 0 0 0 1 0 0 0 0 -2 ## i2-2 >= 0
309 1 0 0 0 0 0 -1 0 0 0 1 2 ## -i2+P2+2 >= 0
310 1 0 0 0 0 0 0 0 0 0 1 0 ## P2 >= 0
311 0 0 0 -1 0 0 0 0 0 0 0 6 ## c3 == 6
312 0 0 1 0 -1 0 0 0 0 0 0 1 ## c2-c4+1 == 0
313 0 0 0 0 0 0 0 1 0 0 0 -6 ## i3-6 == 0
314 0 0 0 0 0 0 -1 0 1 0 0 0 ## -i2+i4 == 0
315 0 0 0 -1 0 0 0 1 0 0 0 0 ## c3 == i3
316 0 0 0 0 -1 0 0 0 1 0 0 0 ## c4 == i4
317 1 -1 0 0 0 1 0 0 0 0 0 0 ## -c1+i1 >= 0
318 # Description of dependence 6
319 # type
320 RAW #(flow)
321 # From source statement id
322 1
323 # To target statement id
324 0
325 # Depth
326 1
327 # From source access ref
328 0
329 # To target access ref
330 1
331 # Dependence domain
332 UNDEFINED
333 19 12 4 4 0 2
334 # e/i| c1 c2 c3 c4 | i1 i2 i3 i4 | P1 P2 | 1
335 1 1 0 0 0 0 0 0 0 0 0 0 ## c1 >= 0
336 1 -1 0 0 0 0 0 0 0 1 0 -1 ## -c1+P1-1 >= 0
337 1 0 0 0 0 0 0 0 0 1 0 -1 ## P1-1 >= 0
338 1 0 1 0 0 0 0 0 0 0 0 -2 ## c2-2 >= 0
339 1 0 -1 0 0 0 0 0 0 0 1 2 ## -c2+P2+2 >= 0
340 1 0 0 0 0 0 0 0 0 0 1 0 ## P2 >= 0
341 1 0 0 0 0 1 0 0 0 0 0 0 ## i1 >= 0
342 1 0 0 0 0 -1 0 0 0 1 0 -1 ## -i1+P1-1 >= 0
343 1 0 0 0 0 0 0 0 0 1 0 -1 ## P1-1 >= 0
344 1 0 0 0 0 0 1 0 0 0 0 -2 ## i2-2 >= 0
345 1 0 0 0 0 0 -1 0 0 0 1 2 ## -i2+P2+2 >= 0
346 1 0 0 0 0 0 0 0 0 0 1 0 ## P2 >= 0
347 0 0 0 -1 0 0 0 0 0 0 0 6 ## c3 == 6
348 0 0 1 0 -1 0 0 0 0 0 0 0 ## c2-c4 == 0
349 0 0 0 0 0 0 0 1 0 0 0 -6 ## i3-6 == 0
350 0 0 0 0 0 0 -1 0 1 0 0 1 ## -i2+i4+1 == 0
351 0 0 0 -1 0 0 0 1 0 0 0 0 ## c3 == i3
352 0 0 0 0 -1 0 0 0 1 0 0 0 ## c4 == i4
353 1 -1 0 0 0 1 0 0 0 0 0 -1 ## -c1+i1-1 >= 0
354 # Description of dependence 7
355 # type
356 RAW #(flow)
357 # From source statement id
358 1
359 # To target statement id
360 0
361 # Depth
362 1
363 # From source access ref
364 0
365 # To target access ref
366 2
367 # Dependence domain
368 UNDEFINED
369 19 12 4 4 0 2
370 # e/i| c1 c2 c3 c4 | i1 i2 i3 i4 | P1 P2 | 1
371 1 1 0 0 0 0 0 0 0 0 0 0 ## c1 >= 0
372 1 -1 0 0 0 0 0 0 0 1 0 -1 ## -c1+P1-1 >= 0
373 1 0 0 0 0 0 0 0 0 1 0 -1 ## P1-1 >= 0
374 1 0 1 0 0 0 0 0 0 0 0 -2 ## c2-2 >= 0
375 1 0 -1 0 0 0 0 0 0 0 1 2 ## -c2+P2+2 >= 0
376 1 0 0 0 0 0 0 0 0 0 1 0 ## P2 >= 0
377 1 0 0 0 0 1 0 0 0 0 0 0 ## i1 >= 0
378 1 0 0 0 0 -1 0 0 0 1 0 -1 ## -i1+P1-1 >= 0
379 1 0 0 0 0 0 0 0 0 1 0 -1 ## P1-1 >= 0
380 1 0 0 0 0 0 1 0 0 0 0 -2 ## i2-2 >= 0
381 1 0 0 0 0 0 -1 0 0 0 1 2 ## -i2+P2+2 >= 0
382 1 0 0 0 0 0 0 0 0 0 1 0 ## P2 >= 0
383 0 0 0 -1 0 0 0 0 0 0 0 6 ## c3 == 6
384 0 0 1 0 -1 0 0 0 0 0 0 0 ## c2-c4 == 0
385 0 0 0 0 0 0 0 1 0 0 0 -6 ## i3-6 == 0
386 0 0 0 0 0 0 -1 0 1 0 0 0 ## -i2+i4 == 0
387 0 0 0 -1 0 0 0 1 0 0 0 0 ## c3 == i3
388 0 0 0 0 -1 0 0 0 1 0 0 0 ## c4 == i4
389 1 -1 0 0 0 1 0 0 0 0 0 -1 ## -c1+i1-1 >= 0
390 # Description of dependence 8
391 # type
392 RAW #(flow)
393 # From source statement id
394 1
395 # To target statement id
396 0
397 # Depth
398 1
399 # From source access ref
400 0
401 # To target access ref
402 3
403 # Dependence domain
404 UNDEFINED
405 19 12 4 4 0 2
406 # e/i| c1 c2 c3 c4 | i1 i2 i3 i4 | P1 P2 | 1
407 1 1 0 0 0 0 0 0 0 0 0 0 ## c1 >= 0
408 1 -1 0 0 0 0 0 0 0 1 0 -1 ## -c1+P1-1 >= 0
409 1 0 0 0 0 0 0 0 0 1 0 -1 ## P1-1 >= 0
410 1 0 1 0 0 0 0 0 0 0 0 -2 ## c2-2 >= 0
411 1 0 -1 0 0 0 0 0 0 0 1 2 ## -c2+P2+2 >= 0
412 1 0 0 0 0 0 0 0 0 0 1 0 ## P2 >= 0
413 1 0 0 0 0 1 0 0 0 0 0 0 ## i1 >= 0
414 1 0 0 0 0 -1 0 0 0 1 0 -1 ## -i1+P1-1 >= 0
415 1 0 0 0 0 0 0 0 0 1 0 -1 ## P1-1 >= 0
416 1 0 0 0 0 0 1 0 0 0 0 -2 ## i2-2 >= 0
417 1 0 0 0 0 0 -1 0 0 0 1 2 ## -i2+P2+2 >= 0
418 1 0 0 0 0 0 0 0 0 0 1 0 ## P2 >= 0
419 0 0 0 -1 0 0 0 0 0 0 0 6 ## c3 == 6
420 0 0 1 0 -1 0 0 0 0 0 0 0 ## c2-c4 == 0
421 0 0 0 0 0 0 0 1 0 0 0 -6 ## i3-6 == 0
422 0 0 0 0 0 0 -1 0 1 0 0 -1 ## -i2+i4-1 == 0
423 0 0 0 -1 0 0 0 1 0 0 0 0 ## c3 == i3
424 0 0 0 0 -1 0 0 0 1 0 0 0 ## c4 == i4
425 1 -1 0 0 0 1 0 0 0 0 0 -1 ## -c1+i1-1 >= 0
426 # Description of dependence 9
427 # type
428 WAR #(anti)
429 # From source statement id
430 1
431 # To target statement id
432 0
433 # Depth
434 1
435 # From source access ref
436 1
437 # To target access ref
438 0
439 # Dependence domain
440 UNDEFINED
441 19 12 4 4 0 2
442 # e/i| c1 c2 c3 c4 | i1 i2 i3 i4 | P1 P2 | 1
443 1 1 0 0 0 0 0 0 0 0 0 0 ## c1 >= 0
444 1 -1 0 0 0 0 0 0 0 1 0 -1 ## -c1+P1-1 >= 0
445 1 0 0 0 0 0 0 0 0 1 0 -1 ## P1-1 >= 0
446 1 0 1 0 0 0 0 0 0 0 0 -2 ## c2-2 >= 0
447 1 0 -1 0 0 0 0 0 0 0 1 2 ## -c2+P2+2 >= 0
448 1 0 0 0 0 0 0 0 0 0 1 0 ## P2 >= 0
449 1 0 0 0 0 1 0 0 0 0 0 0 ## i1 >= 0
450 1 0 0 0 0 -1 0 0 0 1 0 -1 ## -i1+P1-1 >= 0
451 1 0 0 0 0 0 0 0 0 1 0 -1 ## P1-1 >= 0
452 1 0 0 0 0 0 1 0 0 0 0 -2 ## i2-2 >= 0
453 1 0 0 0 0 0 -1 0 0 0 1 2 ## -i2+P2+2 >= 0
454 1 0 0 0 0 0 0 0 0 0 1 0 ## P2 >= 0
455 0 0 0 -1 0 0 0 0 0 0 0 5 ## c3 == 5
456 0 0 1 0 -1 0 0 0 0 0 0 0 ## c2-c4 == 0
457 0 0 0 0 0 0 0 1 0 0 0 -5 ## i3-5 == 0
458 0 0 0 0 0 0 -1 0 1 0 0 0 ## -i2+i4 == 0
459 0 0 0 -1 0 0 0 1 0 0 0 0 ## c3 == i3
460 0 0 0 0 -1 0 0 0 1 0 0 0 ## c4 == i4
461 1 -1 0 0 0 1 0 0 0 0 0 -1 ## -c1+i1-1 >= 0
462 # Description of dependence 10
463 # type
464 WAW #(output)
465 # From source statement id
466 1
467 # To target statement id
468 1
469 # Depth
470 1
471 # From source access ref
472 0
473 # To target access ref
474 0
475 # Dependence domain
476 UNDEFINED
477 19 12 4 4 0 2
478 # e/i| c1 c2 c3 c4 | i1 i2 i3 i4 | P1 P2 | 1
479 1 1 0 0 0 0 0 0 0 0 0 0 ## c1 >= 0
480 1 -1 0 0 0 0 0 0 0 1 0 -1 ## -c1+P1-1 >= 0
481 1 0 0 0 0 0 0 0 0 1 0 -1 ## P1-1 >= 0
482 1 0 1 0 0 0 0 0 0 0 0 -2 ## c2-2 >= 0
483 1 0 -1 0 0 0 0 0 0 0 1 2 ## -c2+P2+2 >= 0
484 1 0 0 0 0 0 0 0 0 0 1 0 ## P2 >= 0
485 1 0 0 0 0 1 0 0 0 0 0 0 ## i1 >= 0
486 1 0 0 0 0 -1 0 0 0 1 0 -1 ## -i1+P1-1 >= 0
487 1 0 0 0 0 0 0 0 0 1 0 -1 ## P1-1 >= 0
488 1 0 0 0 0 0 1 0 0 0 0 -2 ## i2-2 >= 0
489 1 0 0 0 0 0 -1 0 0 0 1 2 ## -i2+P2+2 >= 0
490 1 0 0 0 0 0 0 0 0 0 1 0 ## P2 >= 0
491 0 0 0 -1 0 0 0 0 0 0 0 6 ## c3 == 6
492 0 0 1 0 -1 0 0 0 0 0 0 0 ## c2-c4 == 0
493 0 0 0 0 0 0 0 1 0 0 0 -6 ## i3-6 == 0
494 0 0 0 0 0 0 -1 0 1 0 0 0 ## -i2+i4 == 0
495 0 0 0 -1 0 0 0 1 0 0 0 0 ## c3 == i3
496 0 0 0 0 -1 0 0 0 1 0 0 0 ## c4 == i4
497 1 -1 0 0 0 1 0 0 0 0 0 -1 ## -c1+i1-1 >= 0
498 </dependence>
500 <scatnames>
501 b0 t b1 i b2
502 </scatnames>
504 <arrays>
505 # Number of arrays
506 7
507 # Mapping array-identifiers/array-names
508 1 t
509 2 T
510 3 i
511 4 N
512 5 b
513 6 a
514 7 j
515 </arrays>
517 <coordinates>
518 # File name
519 ./unitary/jacobi1d.c
520 # Starting line and column
521 2 0
522 # Ending line and column
523 8 0
524 # Indentation
525 0
526 </coordinates>
528 </OpenScop>
532 digraph G {
533 # Data Dependence Graph
534 S0 -> S0 [label=" WAW depth 1, ref 0->0 "];
535 S0 -> S1 [label=" RAW depth 1, ref 0->1 "];
536 S0 -> S1 [label=" WAR depth 1, ref 1->0 "];
537 S0 -> S1 [label=" WAR depth 1, ref 2->0 "];
538 S0 -> S1 [label=" WAR depth 1, ref 3->0 "];
539 S1 -> S0 [label=" RAW depth 1, ref 0->1 "];
540 S1 -> S0 [label=" RAW depth 1, ref 0->2 "];
541 S1 -> S0 [label=" RAW depth 1, ref 0->3 "];
542 S1 -> S0 [label=" WAR depth 1, ref 1->0 "];
543 S1 -> S1 [label=" WAW depth 1, ref 0->0 "];
544 # Number of edges = 10
545 }