| blob | 5caa8b5d97e17d0925475c8c96bbb1c372ae08ef |
3 <OpenScop>
5 # =============================================== Global
6 # Language
7 C
9 # Context
10 CONTEXT
11 0 3 0 0 0 1
13 # Parameters are provided
14 1
15 <strings>
16 N
17 </strings>
19 # Number of statements
20 4
22 # =============================================== Statement 1
23 # Number of relations describing the statement:
24 8
26 # ---------------------------------------------- 1.1 Domain
27 DOMAIN
28 5 5 2 0 0 1
29 # e/i| i j | N | 1
30 1 1 0 0 0 ## i >= 0
31 1 -1 0 1 -1 ## -i+N-1 >= 0
32 1 0 0 1 -1 ## N-1 >= 0
33 1 0 1 0 0 ## j >= 0
34 1 0 -1 1 -1 ## -j+N-1 >= 0
36 # ---------------------------------------------- 1.2 Scattering
37 SCATTERING
38 5 10 5 2 0 1
39 # e/i| c1 c2 c3 c4 c5 | i j | N | 1
40 0 -1 0 0 0 0 0 0 0 0 ## c1 == 0
41 0 0 -1 0 0 0 1 0 0 0 ## c2 == i
42 0 0 0 -1 0 0 0 0 0 0 ## c3 == 0
43 0 0 0 0 -1 0 0 1 0 0 ## c4 == j
44 0 0 0 0 0 -1 0 0 0 0 ## c5 == 0
46 # ---------------------------------------------- 1.3 Access
47 WRITE
48 3 8 3 2 0 1
49 # e/i| Arr [1] [2]| i j | N | 1
50 0 -1 0 0 0 0 0 4 ## Arr == A
51 0 0 -1 0 1 0 0 0 ## [1] == i
52 0 0 0 -1 0 1 0 0 ## [2] == j
54 READ
55 3 8 3 2 0 1
56 # e/i| Arr [1] [2]| i j | N | 1
57 0 -1 0 0 0 0 0 4 ## Arr == A
58 0 0 -1 0 1 0 0 0 ## [1] == i
59 0 0 0 -1 0 1 0 0 ## [2] == j
61 READ
62 2 7 2 2 0 1
63 # e/i| Arr [1]| i j | N | 1
64 0 -1 0 0 0 0 5 ## Arr == u1
65 0 0 -1 1 0 0 0 ## [1] == i
67 READ
68 2 7 2 2 0 1
69 # e/i| Arr [1]| i j | N | 1
70 0 -1 0 0 0 0 6 ## Arr == v1
71 0 0 -1 0 1 0 0 ## [1] == j
73 READ
74 2 7 2 2 0 1
75 # e/i| Arr [1]| i j | N | 1
76 0 -1 0 0 0 0 7 ## Arr == u2
77 0 0 -1 1 0 0 0 ## [1] == i
79 READ
80 2 7 2 2 0 1
81 # e/i| Arr [1]| i j | N | 1
82 0 -1 0 0 0 0 8 ## Arr == v2
83 0 0 -1 0 1 0 0 ## [1] == j
85 # ---------------------------------------------- 1.4 Statement Extensions
86 # Number of Statement Extensions
87 1
88 <body>
89 # Number of original iterators
90 2
91 # List of original iterators
92 i j
93 # Statement body expression
94 A[i][j] = A[i][j] + u1[i]*v1[j] + u2[i]*v2[j];
95 </body>
97 # =============================================== Statement 2
98 # Number of relations describing the statement:
99 7
101 # ---------------------------------------------- 2.1 Domain
102 DOMAIN
103 5 5 2 0 0 1
104 # e/i| i j | N | 1
105 1 1 0 0 0 ## i >= 0
106 1 -1 0 1 -1 ## -i+N-1 >= 0
107 1 0 0 1 -1 ## N-1 >= 0
108 1 0 1 0 0 ## j >= 0
109 1 0 -1 1 -1 ## -j+N-1 >= 0
111 # ---------------------------------------------- 2.2 Scattering
112 SCATTERING
113 5 10 5 2 0 1
114 # e/i| c1 c2 c3 c4 c5 | i j | N | 1
115 0 -1 0 0 0 0 0 0 0 1 ## c1 == 1
116 0 0 -1 0 0 0 1 0 0 0 ## c2 == i
117 0 0 0 -1 0 0 0 0 0 0 ## c3 == 0
118 0 0 0 0 -1 0 0 1 0 0 ## c4 == j
119 0 0 0 0 0 -1 0 0 0 0 ## c5 == 0
121 # ---------------------------------------------- 2.3 Access
122 WRITE
123 2 7 2 2 0 1
124 # e/i| Arr [1]| i j | N | 1
125 0 -1 0 0 0 0 9 ## Arr == x
126 0 0 -1 1 0 0 0 ## [1] == i
128 READ
129 2 7 2 2 0 1
130 # e/i| Arr [1]| i j | N | 1
131 0 -1 0 0 0 0 9 ## Arr == x
132 0 0 -1 1 0 0 0 ## [1] == i
134 READ
135 1 6 1 2 0 1
136 # e/i| Arr| i j | N | 1
137 0 -1 0 0 0 10 ## Arr == beta
139 READ
140 3 8 3 2 0 1
141 # e/i| Arr [1] [2]| i j | N | 1
142 0 -1 0 0 0 0 0 4 ## Arr == A
143 0 0 -1 0 1 0 0 0 ## [1] == i
144 0 0 0 -1 0 1 0 0 ## [2] == j
146 READ
147 2 7 2 2 0 1
148 # e/i| Arr [1]| i j | N | 1
149 0 -1 0 0 0 0 11 ## Arr == y
150 0 0 -1 0 1 0 0 ## [1] == j
152 # ---------------------------------------------- 2.4 Statement Extensions
153 # Number of Statement Extensions
154 1
155 <body>
156 # Number of original iterators
157 2
158 # List of original iterators
159 i j
160 # Statement body expression
161 x[i] = x[i] + beta* A[i][j]*y[j];
162 </body>
164 # =============================================== Statement 3
165 # Number of relations describing the statement:
166 5
168 # ---------------------------------------------- 3.1 Domain
169 DOMAIN
170 3 4 1 0 0 1
171 # e/i| i | N | 1
172 1 1 0 0 ## i >= 0
173 1 -1 1 -1 ## -i+N-1 >= 0
174 1 0 1 -1 ## N-1 >= 0
176 # ---------------------------------------------- 3.2 Scattering
177 SCATTERING
178 3 7 3 1 0 1
179 # e/i| c1 c2 c3 | i | N | 1
180 0 -1 0 0 0 0 2 ## c1 == 2
181 0 0 -1 0 1 0 0 ## c2 == i
182 0 0 0 -1 0 0 0 ## c3 == 0
184 # ---------------------------------------------- 3.3 Access
185 WRITE
186 2 6 2 1 0 1
187 # e/i| Arr [1]| i | N | 1
188 0 -1 0 0 0 9 ## Arr == x
189 0 0 -1 1 0 0 ## [1] == i
191 READ
192 2 6 2 1 0 1
193 # e/i| Arr [1]| i | N | 1
194 0 -1 0 0 0 9 ## Arr == x
195 0 0 -1 1 0 0 ## [1] == i
197 READ
198 2 6 2 1 0 1
199 # e/i| Arr [1]| i | N | 1
200 0 -1 0 0 0 12 ## Arr == z
201 0 0 -1 1 0 0 ## [1] == i
203 # ---------------------------------------------- 3.4 Statement Extensions
204 # Number of Statement Extensions
205 1
206 <body>
207 # Number of original iterators
208 1
209 # List of original iterators
210 i
211 # Statement body expression
212 x[i] = x[i] + z[i];
213 </body>
215 # =============================================== Statement 4
216 # Number of relations describing the statement:
217 7
219 # ---------------------------------------------- 4.1 Domain
220 DOMAIN
221 5 5 2 0 0 1
222 # e/i| i j | N | 1
223 1 1 0 0 0 ## i >= 0
224 1 -1 0 1 -1 ## -i+N-1 >= 0
225 1 0 0 1 -1 ## N-1 >= 0
226 1 0 1 0 0 ## j >= 0
227 1 0 -1 1 -1 ## -j+N-1 >= 0
229 # ---------------------------------------------- 4.2 Scattering
230 SCATTERING
231 5 10 5 2 0 1
232 # e/i| c1 c2 c3 c4 c5 | i j | N | 1
233 0 -1 0 0 0 0 0 0 0 3 ## c1 == 3
234 0 0 -1 0 0 0 1 0 0 0 ## c2 == i
235 0 0 0 -1 0 0 0 0 0 0 ## c3 == 0
236 0 0 0 0 -1 0 0 1 0 0 ## c4 == j
237 0 0 0 0 0 -1 0 0 0 0 ## c5 == 0
239 # ---------------------------------------------- 4.3 Access
240 WRITE
241 2 7 2 2 0 1
242 # e/i| Arr [1]| i j | N | 1
243 0 -1 0 0 0 0 13 ## Arr == w
244 0 0 -1 1 0 0 0 ## [1] == i
246 READ
247 2 7 2 2 0 1
248 # e/i| Arr [1]| i j | N | 1
249 0 -1 0 0 0 0 13 ## Arr == w
250 0 0 -1 1 0 0 0 ## [1] == i
252 READ
253 1 6 1 2 0 1
254 # e/i| Arr| i j | N | 1
255 0 -1 0 0 0 14 ## Arr == alpha
257 READ
258 3 8 3 2 0 1
259 # e/i| Arr [1] [2]| i j | N | 1
260 0 -1 0 0 0 0 0 4 ## Arr == A
261 0 0 -1 0 1 0 0 0 ## [1] == i
262 0 0 0 -1 0 1 0 0 ## [2] == j
264 READ
265 2 7 2 2 0 1
266 # e/i| Arr [1]| i j | N | 1
267 0 -1 0 0 0 0 9 ## Arr == x
268 0 0 -1 0 1 0 0 ## [1] == j
270 # ---------------------------------------------- 4.4 Statement Extensions
271 # Number of Statement Extensions
272 1
273 <body>
274 # Number of original iterators
275 2
276 # List of original iterators
277 i j
278 # Statement body expression
279 w[i] = w[i] + alpha* A[i][j]*x[j];
280 </body>
282 # =============================================== Extensions
283 <dependence>
284 # Number of dependences
285 13
286 # Description of dependence 1
287 # type
288 RAW #(flow)
289 # From source statement id
290 0
291 # To target statement id
292 1
293 # Depth
294 0
295 # From source access ref
296 0
297 # To target access ref
298 3
299 # Dependence domain
300 UNDEFINED
301 19 13 5 5 0 1
302 # e/i| c1 c2 c3 c4 c5 | i1 i2 i3 i4 i5 | P1 | 1
303 1 1 0 0 0 0 0 0 0 0 0 0 0 ## c1 >= 0
304 1 -1 0 0 0 0 0 0 0 0 0 1 -1 ## -c1+P1-1 >= 0
305 1 0 0 0 0 0 0 0 0 0 0 1 -1 ## P1-1 >= 0
306 1 0 1 0 0 0 0 0 0 0 0 0 0 ## c2 >= 0
307 1 0 -1 0 0 0 0 0 0 0 0 1 -1 ## -c2+P1-1 >= 0
308 1 0 0 0 0 0 1 0 0 0 0 0 0 ## i1 >= 0
309 1 0 0 0 0 0 -1 0 0 0 0 1 -1 ## -i1+P1-1 >= 0
310 1 0 0 0 0 0 0 0 0 0 0 1 -1 ## P1-1 >= 0
311 1 0 0 0 0 0 0 1 0 0 0 0 0 ## i2 >= 0
312 1 0 0 0 0 0 0 -1 0 0 0 1 -1 ## -i2+P1-1 >= 0
313 0 0 0 -1 0 0 0 0 0 0 0 0 4 ## c3 == 4
314 0 1 0 0 -1 0 0 0 0 0 0 0 0 ## c1-c4 == 0
315 0 0 1 0 0 -1 0 0 0 0 0 0 0 ## c2-c5 == 0
316 0 0 0 0 0 0 0 0 1 0 0 0 -4 ## i3-4 == 0
317 0 0 0 0 0 0 -1 0 0 1 0 0 0 ## -i1+i4 == 0
318 0 0 0 0 0 0 0 -1 0 0 1 0 0 ## -i2+i5 == 0
319 0 0 0 -1 0 0 0 0 1 0 0 0 0 ## c3 == i3
320 0 0 0 0 -1 0 0 0 0 1 0 0 0 ## c4 == i4
321 0 0 0 0 0 -1 0 0 0 0 1 0 0 ## c5 == i5
322 # Description of dependence 2
323 # type
324 RAW #(flow)
325 # From source statement id
326 0
327 # To target statement id
328 3
329 # Depth
330 0
331 # From source access ref
332 0
333 # To target access ref
334 3
335 # Dependence domain
336 UNDEFINED
337 19 13 5 5 0 1
338 # e/i| c1 c2 c3 c4 c5 | i1 i2 i3 i4 i5 | P1 | 1
339 1 1 0 0 0 0 0 0 0 0 0 0 0 ## c1 >= 0
340 1 -1 0 0 0 0 0 0 0 0 0 1 -1 ## -c1+P1-1 >= 0
341 1 0 0 0 0 0 0 0 0 0 0 1 -1 ## P1-1 >= 0
342 1 0 1 0 0 0 0 0 0 0 0 0 0 ## c2 >= 0
343 1 0 -1 0 0 0 0 0 0 0 0 1 -1 ## -c2+P1-1 >= 0
344 1 0 0 0 0 0 1 0 0 0 0 0 0 ## i1 >= 0
345 1 0 0 0 0 0 -1 0 0 0 0 1 -1 ## -i1+P1-1 >= 0
346 1 0 0 0 0 0 0 0 0 0 0 1 -1 ## P1-1 >= 0
347 1 0 0 0 0 0 0 1 0 0 0 0 0 ## i2 >= 0
348 1 0 0 0 0 0 0 -1 0 0 0 1 -1 ## -i2+P1-1 >= 0
349 0 0 0 -1 0 0 0 0 0 0 0 0 4 ## c3 == 4
350 0 1 0 0 -1 0 0 0 0 0 0 0 0 ## c1-c4 == 0
351 0 0 1 0 0 -1 0 0 0 0 0 0 0 ## c2-c5 == 0
352 0 0 0 0 0 0 0 0 1 0 0 0 -4 ## i3-4 == 0
353 0 0 0 0 0 0 -1 0 0 1 0 0 0 ## -i1+i4 == 0
354 0 0 0 0 0 0 0 -1 0 0 1 0 0 ## -i2+i5 == 0
355 0 0 0 -1 0 0 0 0 1 0 0 0 0 ## c3 == i3
356 0 0 0 0 -1 0 0 0 0 1 0 0 0 ## c4 == i4
357 0 0 0 0 0 -1 0 0 0 0 1 0 0 ## c5 == i5
358 # Description of dependence 3
359 # type
360 WAW #(output)
361 # From source statement id
362 1
363 # To target statement id
364 1
365 # Depth
366 2
367 # From source access ref
368 0
369 # To target access ref
370 0
371 # Dependence domain
372 UNDEFINED
373 18 11 4 4 0 1
374 # e/i| c1 c2 c3 c4 | i1 i2 i3 i4 | P1 | 1
375 1 1 0 0 0 0 0 0 0 0 0 ## c1 >= 0
376 1 -1 0 0 0 0 0 0 0 1 -1 ## -c1+P1-1 >= 0
377 1 0 0 0 0 0 0 0 0 1 -1 ## P1-1 >= 0
378 1 0 1 0 0 0 0 0 0 0 0 ## c2 >= 0
379 1 0 -1 0 0 0 0 0 0 1 -1 ## -c2+P1-1 >= 0
380 1 0 0 0 0 1 0 0 0 0 0 ## i1 >= 0
381 1 0 0 0 0 -1 0 0 0 1 -1 ## -i1+P1-1 >= 0
382 1 0 0 0 0 0 0 0 0 1 -1 ## P1-1 >= 0
383 1 0 0 0 0 0 1 0 0 0 0 ## i2 >= 0
384 1 0 0 0 0 0 -1 0 0 1 -1 ## -i2+P1-1 >= 0
385 0 0 0 -1 0 0 0 0 0 0 9 ## c3 == 9
386 0 1 0 0 -1 0 0 0 0 0 0 ## c1-c4 == 0
387 0 0 0 0 0 0 0 1 0 0 -9 ## i3-9 == 0
388 0 0 0 0 0 -1 0 0 1 0 0 ## -i1+i4 == 0
389 0 0 0 -1 0 0 0 1 0 0 0 ## c3 == i3
390 0 0 0 0 -1 0 0 0 1 0 0 ## c4 == i4
391 0 -1 0 0 0 1 0 0 0 0 0 ## c1 == i1
392 1 0 -1 0 0 0 1 0 0 0 -1 ## -c2+i2-1 >= 0
393 # Description of dependence 4
394 # type
395 RAW #(flow)
396 # From source statement id
397 1
398 # To target statement id
399 1
400 # Depth
401 2
402 # From source access ref
403 0
404 # To target access ref
405 1
406 # Dependence domain
407 UNDEFINED
408 18 11 4 4 0 1
409 # e/i| c1 c2 c3 c4 | i1 i2 i3 i4 | P1 | 1
410 1 1 0 0 0 0 0 0 0 0 0 ## c1 >= 0
411 1 -1 0 0 0 0 0 0 0 1 -1 ## -c1+P1-1 >= 0
412 1 0 0 0 0 0 0 0 0 1 -1 ## P1-1 >= 0
413 1 0 1 0 0 0 0 0 0 0 0 ## c2 >= 0
414 1 0 -1 0 0 0 0 0 0 1 -1 ## -c2+P1-1 >= 0
415 1 0 0 0 0 1 0 0 0 0 0 ## i1 >= 0
416 1 0 0 0 0 -1 0 0 0 1 -1 ## -i1+P1-1 >= 0
417 1 0 0 0 0 0 0 0 0 1 -1 ## P1-1 >= 0
418 1 0 0 0 0 0 1 0 0 0 0 ## i2 >= 0
419 1 0 0 0 0 0 -1 0 0 1 -1 ## -i2+P1-1 >= 0
420 0 0 0 -1 0 0 0 0 0 0 9 ## c3 == 9
421 0 1 0 0 -1 0 0 0 0 0 0 ## c1-c4 == 0
422 0 0 0 0 0 0 0 1 0 0 -9 ## i3-9 == 0
423 0 0 0 0 0 -1 0 0 1 0 0 ## -i1+i4 == 0
424 0 0 0 -1 0 0 0 1 0 0 0 ## c3 == i3
425 0 0 0 0 -1 0 0 0 1 0 0 ## c4 == i4
426 0 -1 0 0 0 1 0 0 0 0 0 ## c1 == i1
427 1 0 -1 0 0 0 1 0 0 0 -1 ## -c2+i2-1 >= 0
428 # Description of dependence 5
429 # type
430 WAR #(anti)
431 # From source statement id
432 1
433 # To target statement id
434 1
435 # Depth
436 2
437 # From source access ref
438 1
439 # To target access ref
440 0
441 # Dependence domain
442 UNDEFINED
443 18 11 4 4 0 1
444 # e/i| c1 c2 c3 c4 | i1 i2 i3 i4 | P1 | 1
445 1 1 0 0 0 0 0 0 0 0 0 ## c1 >= 0
446 1 -1 0 0 0 0 0 0 0 1 -1 ## -c1+P1-1 >= 0
447 1 0 0 0 0 0 0 0 0 1 -1 ## P1-1 >= 0
448 1 0 1 0 0 0 0 0 0 0 0 ## c2 >= 0
449 1 0 -1 0 0 0 0 0 0 1 -1 ## -c2+P1-1 >= 0
450 1 0 0 0 0 1 0 0 0 0 0 ## i1 >= 0
451 1 0 0 0 0 -1 0 0 0 1 -1 ## -i1+P1-1 >= 0
452 1 0 0 0 0 0 0 0 0 1 -1 ## P1-1 >= 0
453 1 0 0 0 0 0 1 0 0 0 0 ## i2 >= 0
454 1 0 0 0 0 0 -1 0 0 1 -1 ## -i2+P1-1 >= 0
455 0 0 0 -1 0 0 0 0 0 0 9 ## c3 == 9
456 0 1 0 0 -1 0 0 0 0 0 0 ## c1-c4 == 0
457 0 0 0 0 0 0 0 1 0 0 -9 ## i3-9 == 0
458 0 0 0 0 0 -1 0 0 1 0 0 ## -i1+i4 == 0
459 0 0 0 -1 0 0 0 1 0 0 0 ## c3 == i3
460 0 0 0 0 -1 0 0 0 1 0 0 ## c4 == i4
461 0 -1 0 0 0 1 0 0 0 0 0 ## c1 == i1
462 1 0 -1 0 0 0 1 0 0 0 -1 ## -c2+i2-1 >= 0
463 # Description of dependence 6
464 # type
465 WAW #(output)
466 # From source statement id
467 1
468 # To target statement id
469 2
470 # Depth
471 0
472 # From source access ref
473 0
474 # To target access ref
475 0
476 # Dependence domain
477 UNDEFINED
478 14 10 4 3 0 1
479 # e/i| c1 c2 c3 c4 | i1 i2 i3 | P1 | 1
480 1 1 0 0 0 0 0 0 0 0 ## c1 >= 0
481 1 -1 0 0 0 0 0 0 1 -1 ## -c1+P1-1 >= 0
482 1 0 0 0 0 0 0 0 1 -1 ## P1-1 >= 0
483 1 0 1 0 0 0 0 0 0 0 ## c2 >= 0
484 1 0 -1 0 0 0 0 0 1 -1 ## -c2+P1-1 >= 0
485 1 0 0 0 0 1 0 0 0 0 ## i1 >= 0
486 1 0 0 0 0 -1 0 0 1 -1 ## -i1+P1-1 >= 0
487 1 0 0 0 0 0 0 0 1 -1 ## P1-1 >= 0
488 0 0 0 -1 0 0 0 0 0 9 ## c3 == 9
489 0 1 0 0 -1 0 0 0 0 0 ## c1-c4 == 0
490 0 0 0 0 0 0 1 0 0 -9 ## i2-9 == 0
491 0 0 0 0 0 -1 0 1 0 0 ## -i1+i3 == 0
492 0 0 0 -1 0 0 1 0 0 0 ## c3 == i2
493 0 0 0 0 -1 0 0 1 0 0 ## c4 == i3
494 # Description of dependence 7
495 # type
496 RAW #(flow)
497 # From source statement id
498 1
499 # To target statement id
500 2
501 # Depth
502 0
503 # From source access ref
504 0
505 # To target access ref
506 1
507 # Dependence domain
508 UNDEFINED
509 14 10 4 3 0 1
510 # e/i| c1 c2 c3 c4 | i1 i2 i3 | P1 | 1
511 1 1 0 0 0 0 0 0 0 0 ## c1 >= 0
512 1 -1 0 0 0 0 0 0 1 -1 ## -c1+P1-1 >= 0
513 1 0 0 0 0 0 0 0 1 -1 ## P1-1 >= 0
514 1 0 1 0 0 0 0 0 0 0 ## c2 >= 0
515 1 0 -1 0 0 0 0 0 1 -1 ## -c2+P1-1 >= 0
516 1 0 0 0 0 1 0 0 0 0 ## i1 >= 0
517 1 0 0 0 0 -1 0 0 1 -1 ## -i1+P1-1 >= 0
518 1 0 0 0 0 0 0 0 1 -1 ## P1-1 >= 0
519 0 0 0 -1 0 0 0 0 0 9 ## c3 == 9
520 0 1 0 0 -1 0 0 0 0 0 ## c1-c4 == 0
521 0 0 0 0 0 0 1 0 0 -9 ## i2-9 == 0
522 0 0 0 0 0 -1 0 1 0 0 ## -i1+i3 == 0
523 0 0 0 -1 0 0 1 0 0 0 ## c3 == i2
524 0 0 0 0 -1 0 0 1 0 0 ## c4 == i3
525 # Description of dependence 8
526 # type
527 WAR #(anti)
528 # From source statement id
529 1
530 # To target statement id
531 2
532 # Depth
533 0
534 # From source access ref
535 1
536 # To target access ref
537 0
538 # Dependence domain
539 UNDEFINED
540 14 10 4 3 0 1
541 # e/i| c1 c2 c3 c4 | i1 i2 i3 | P1 | 1
542 1 1 0 0 0 0 0 0 0 0 ## c1 >= 0
543 1 -1 0 0 0 0 0 0 1 -1 ## -c1+P1-1 >= 0
544 1 0 0 0 0 0 0 0 1 -1 ## P1-1 >= 0
545 1 0 1 0 0 0 0 0 0 0 ## c2 >= 0
546 1 0 -1 0 0 0 0 0 1 -1 ## -c2+P1-1 >= 0
547 1 0 0 0 0 1 0 0 0 0 ## i1 >= 0
548 1 0 0 0 0 -1 0 0 1 -1 ## -i1+P1-1 >= 0
549 1 0 0 0 0 0 0 0 1 -1 ## P1-1 >= 0
550 0 0 0 -1 0 0 0 0 0 9 ## c3 == 9
551 0 1 0 0 -1 0 0 0 0 0 ## c1-c4 == 0
552 0 0 0 0 0 0 1 0 0 -9 ## i2-9 == 0
553 0 0 0 0 0 -1 0 1 0 0 ## -i1+i3 == 0
554 0 0 0 -1 0 0 1 0 0 0 ## c3 == i2
555 0 0 0 0 -1 0 0 1 0 0 ## c4 == i3
556 # Description of dependence 9
557 # type
558 RAW #(flow)
559 # From source statement id
560 1
561 # To target statement id
562 3
563 # Depth
564 0
565 # From source access ref
566 0
567 # To target access ref
568 4
569 # Dependence domain
570 UNDEFINED
571 16 11 4 4 0 1
572 # e/i| c1 c2 c3 c4 | i1 i2 i3 i4 | P1 | 1
573 1 1 0 0 0 0 0 0 0 0 0 ## c1 >= 0
574 1 -1 0 0 0 0 0 0 0 1 -1 ## -c1+P1-1 >= 0
575 1 0 0 0 0 0 0 0 0 1 -1 ## P1-1 >= 0
576 1 0 1 0 0 0 0 0 0 0 0 ## c2 >= 0
577 1 0 -1 0 0 0 0 0 0 1 -1 ## -c2+P1-1 >= 0
578 1 0 0 0 0 1 0 0 0 0 0 ## i1 >= 0
579 1 0 0 0 0 -1 0 0 0 1 -1 ## -i1+P1-1 >= 0
580 1 0 0 0 0 0 0 0 0 1 -1 ## P1-1 >= 0
581 1 0 0 0 0 0 1 0 0 0 0 ## i2 >= 0
582 1 0 0 0 0 0 -1 0 0 1 -1 ## -i2+P1-1 >= 0
583 0 0 0 -1 0 0 0 0 0 0 9 ## c3 == 9
584 0 1 0 0 -1 0 0 0 0 0 0 ## c1-c4 == 0
585 0 0 0 0 0 0 0 1 0 0 -9 ## i3-9 == 0
586 0 0 0 0 0 0 -1 0 1 0 0 ## -i2+i4 == 0
587 0 0 0 -1 0 0 0 1 0 0 0 ## c3 == i3
588 0 0 0 0 -1 0 0 0 1 0 0 ## c4 == i4
589 # Description of dependence 10
590 # type
591 RAW #(flow)
592 # From source statement id
593 2
594 # To target statement id
595 3
596 # Depth
597 0
598 # From source access ref
599 0
600 # To target access ref
601 4
602 # Dependence domain
603 UNDEFINED
604 14 10 3 4 0 1
605 # e/i| c1 c2 c3 | i1 i2 i3 i4 | P1 | 1
606 1 1 0 0 0 0 0 0 0 0 ## c1 >= 0
607 1 -1 0 0 0 0 0 0 1 -1 ## -c1+P1-1 >= 0
608 1 0 0 0 0 0 0 0 1 -1 ## P1-1 >= 0
609 1 0 0 0 1 0 0 0 0 0 ## i1 >= 0
610 1 0 0 0 -1 0 0 0 1 -1 ## -i1+P1-1 >= 0
611 1 0 0 0 0 0 0 0 1 -1 ## P1-1 >= 0
612 1 0 0 0 0 1 0 0 0 0 ## i2 >= 0
613 1 0 0 0 0 -1 0 0 1 -1 ## -i2+P1-1 >= 0
614 0 0 -1 0 0 0 0 0 0 9 ## c2 == 9
615 0 1 0 -1 0 0 0 0 0 0 ## c1-c3 == 0
616 0 0 0 0 0 0 1 0 0 -9 ## i3-9 == 0
617 0 0 0 0 0 -1 0 1 0 0 ## -i2+i4 == 0
618 0 0 -1 0 0 0 1 0 0 0 ## c2 == i3
619 0 0 0 -1 0 0 0 1 0 0 ## c3 == i4
620 # Description of dependence 11
621 # type
622 WAW #(output)
623 # From source statement id
624 3
625 # To target statement id
626 3
627 # Depth
628 2
629 # From source access ref
630 0
631 # To target access ref
632 0
633 # Dependence domain
634 UNDEFINED
635 18 11 4 4 0 1
636 # e/i| c1 c2 c3 c4 | i1 i2 i3 i4 | P1 | 1
637 1 1 0 0 0 0 0 0 0 0 0 ## c1 >= 0
638 1 -1 0 0 0 0 0 0 0 1 -1 ## -c1+P1-1 >= 0
639 1 0 0 0 0 0 0 0 0 1 -1 ## P1-1 >= 0
640 1 0 1 0 0 0 0 0 0 0 0 ## c2 >= 0
641 1 0 -1 0 0 0 0 0 0 1 -1 ## -c2+P1-1 >= 0
642 1 0 0 0 0 1 0 0 0 0 0 ## i1 >= 0
643 1 0 0 0 0 -1 0 0 0 1 -1 ## -i1+P1-1 >= 0
644 1 0 0 0 0 0 0 0 0 1 -1 ## P1-1 >= 0
645 1 0 0 0 0 0 1 0 0 0 0 ## i2 >= 0
646 1 0 0 0 0 0 -1 0 0 1 -1 ## -i2+P1-1 >= 0
647 0 0 0 -1 0 0 0 0 0 0 13 ## c3 == 13
648 0 1 0 0 -1 0 0 0 0 0 0 ## c1-c4 == 0
649 0 0 0 0 0 0 0 1 0 0 -13 ## i3-13 == 0
650 0 0 0 0 0 -1 0 0 1 0 0 ## -i1+i4 == 0
651 0 0 0 -1 0 0 0 1 0 0 0 ## c3 == i3
652 0 0 0 0 -1 0 0 0 1 0 0 ## c4 == i4
653 0 -1 0 0 0 1 0 0 0 0 0 ## c1 == i1
654 1 0 -1 0 0 0 1 0 0 0 -1 ## -c2+i2-1 >= 0
655 # Description of dependence 12
656 # type
657 RAW #(flow)
658 # From source statement id
659 3
660 # To target statement id
661 3
662 # Depth
663 2
664 # From source access ref
665 0
666 # To target access ref
667 1
668 # Dependence domain
669 UNDEFINED
670 18 11 4 4 0 1
671 # e/i| c1 c2 c3 c4 | i1 i2 i3 i4 | P1 | 1
672 1 1 0 0 0 0 0 0 0 0 0 ## c1 >= 0
673 1 -1 0 0 0 0 0 0 0 1 -1 ## -c1+P1-1 >= 0
674 1 0 0 0 0 0 0 0 0 1 -1 ## P1-1 >= 0
675 1 0 1 0 0 0 0 0 0 0 0 ## c2 >= 0
676 1 0 -1 0 0 0 0 0 0 1 -1 ## -c2+P1-1 >= 0
677 1 0 0 0 0 1 0 0 0 0 0 ## i1 >= 0
678 1 0 0 0 0 -1 0 0 0 1 -1 ## -i1+P1-1 >= 0
679 1 0 0 0 0 0 0 0 0 1 -1 ## P1-1 >= 0
680 1 0 0 0 0 0 1 0 0 0 0 ## i2 >= 0
681 1 0 0 0 0 0 -1 0 0 1 -1 ## -i2+P1-1 >= 0
682 0 0 0 -1 0 0 0 0 0 0 13 ## c3 == 13
683 0 1 0 0 -1 0 0 0 0 0 0 ## c1-c4 == 0
684 0 0 0 0 0 0 0 1 0 0 -13 ## i3-13 == 0
685 0 0 0 0 0 -1 0 0 1 0 0 ## -i1+i4 == 0
686 0 0 0 -1 0 0 0 1 0 0 0 ## c3 == i3
687 0 0 0 0 -1 0 0 0 1 0 0 ## c4 == i4
688 0 -1 0 0 0 1 0 0 0 0 0 ## c1 == i1
689 1 0 -1 0 0 0 1 0 0 0 -1 ## -c2+i2-1 >= 0
690 # Description of dependence 13
691 # type
692 WAR #(anti)
693 # From source statement id
694 3
695 # To target statement id
696 3
697 # Depth
698 2
699 # From source access ref
700 1
701 # To target access ref
702 0
703 # Dependence domain
704 UNDEFINED
705 18 11 4 4 0 1
706 # e/i| c1 c2 c3 c4 | i1 i2 i3 i4 | P1 | 1
707 1 1 0 0 0 0 0 0 0 0 0 ## c1 >= 0
708 1 -1 0 0 0 0 0 0 0 1 -1 ## -c1+P1-1 >= 0
709 1 0 0 0 0 0 0 0 0 1 -1 ## P1-1 >= 0
710 1 0 1 0 0 0 0 0 0 0 0 ## c2 >= 0
711 1 0 -1 0 0 0 0 0 0 1 -1 ## -c2+P1-1 >= 0
712 1 0 0 0 0 1 0 0 0 0 0 ## i1 >= 0
713 1 0 0 0 0 -1 0 0 0 1 -1 ## -i1+P1-1 >= 0
714 1 0 0 0 0 0 0 0 0 1 -1 ## P1-1 >= 0
715 1 0 0 0 0 0 1 0 0 0 0 ## i2 >= 0
716 1 0 0 0 0 0 -1 0 0 1 -1 ## -i2+P1-1 >= 0
717 0 0 0 -1 0 0 0 0 0 0 13 ## c3 == 13
718 0 1 0 0 -1 0 0 0 0 0 0 ## c1-c4 == 0
719 0 0 0 0 0 0 0 1 0 0 -13 ## i3-13 == 0
720 0 0 0 0 0 -1 0 0 1 0 0 ## -i1+i4 == 0
721 0 0 0 -1 0 0 0 1 0 0 0 ## c3 == i3
722 0 0 0 0 -1 0 0 0 1 0 0 ## c4 == i4
723 0 -1 0 0 0 1 0 0 0 0 0 ## c1 == i1
724 1 0 -1 0 0 0 1 0 0 0 -1 ## -c2+i2-1 >= 0
725 </dependence>
727 <scatnames>
728 b0 i b1 j b2
729 </scatnames>
731 <arrays>
732 # Number of arrays
733 14
734 # Mapping array-identifiers/array-names
735 1 i
736 2 N
737 3 j
738 4 A
739 5 u1
740 6 v1
741 7 u2
742 8 v2
743 9 x
744 10 beta
745 11 y
746 12 z
747 13 w
748 14 alpha
749 </arrays>
751 <coordinates>
752 # File name
753 ./unitary/gemver.c
754 # Starting line and column
755 10 0
756 # Ending line and column
757 25 0
758 # Indentation
759 2
760 </coordinates>
762 </OpenScop>
766 digraph G {
767 # Data Dependence Graph
768 S0 -> S1 [label=" RAW depth 0, ref 0->3 "];
769 S0 -> S3 [label=" RAW depth 0, ref 0->3 "];
770 S1 -> S1 [label=" WAW depth 2, ref 0->0 "];
771 S1 -> S1 [label=" RAW depth 2, ref 0->1 "];
772 S1 -> S1 [label=" WAR depth 2, ref 1->0 "];
773 S1 -> S2 [label=" WAW depth 0, ref 0->0 "];
774 S1 -> S2 [label=" RAW depth 0, ref 0->1 "];
775 S1 -> S2 [label=" WAR depth 0, ref 1->0 "];
776 S1 -> S3 [label=" RAW depth 0, ref 0->4 "];
777 S2 -> S3 [label=" RAW depth 0, ref 0->4 "];
778 S3 -> S3 [label=" WAW depth 2, ref 0->0 "];
779 S3 -> S3 [label=" RAW depth 2, ref 0->1 "];
780 S3 -> S3 [label=" WAR depth 2, ref 1->0 "];
781 # Number of edges = 13
782 }