| blob | 1f6eb471b15fc1b454cc295dcc379d7c928746d9 |
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 2
22 # =============================================== Statement 1
23 # Number of relations describing the statement:
24 3
26 # ---------------------------------------------- 1.1 Domain
27 DOMAIN
28 3 4 1 0 0 1
29 # e/i| i | n | 1
30 1 1 0 -1 ## i-1 >= 0
31 1 -1 1 0 ## -i+n >= 0
32 1 0 1 -1 ## n-1 >= 0
34 # ---------------------------------------------- 1.2 Scattering
35 SCATTERING
36 3 7 3 1 0 1
37 # e/i| c1 c2 c3 | i | n | 1
38 0 -1 0 0 0 0 0 ## c1 == 0
39 0 0 -1 0 1 0 0 ## c2 == i
40 0 0 0 -1 0 0 0 ## c3 == 0
42 # ---------------------------------------------- 1.3 Access
43 WRITE
44 2 6 2 1 0 1
45 # e/i| Arr [1]| i | n | 1
46 0 -1 0 0 0 3 ## Arr == c
47 0 0 -1 1 0 0 ## [1] == i
49 # ---------------------------------------------- 1.4 Statement Extensions
50 # Number of Statement Extensions
51 1
52 <body>
53 # Number of original iterators
54 1
55 # List of original iterators
56 i
57 # Statement body expression
58 c[i] = 0 ;
59 </body>
61 # =============================================== Statement 2
62 # Number of relations describing the statement:
63 6
65 # ---------------------------------------------- 2.1 Domain
66 DOMAIN
67 5 5 2 0 0 1
68 # e/i| i j | n | 1
69 1 1 0 0 -1 ## i-1 >= 0
70 1 -1 0 1 0 ## -i+n >= 0
71 1 0 0 1 -1 ## n-1 >= 0
72 1 0 1 0 -1 ## j-1 >= 0
73 1 0 -1 1 0 ## -j+n >= 0
75 # ---------------------------------------------- 2.2 Scattering
76 SCATTERING
77 5 10 5 2 0 1
78 # e/i| c1 c2 c3 c4 c5 | i j | n | 1
79 0 -1 0 0 0 0 0 0 0 1 ## c1 == 1
80 0 0 -1 0 0 0 1 0 0 0 ## c2 == i
81 0 0 0 -1 0 0 0 0 0 0 ## c3 == 0
82 0 0 0 0 -1 0 0 1 0 0 ## c4 == j
83 0 0 0 0 0 -1 0 0 0 0 ## c5 == 0
85 # ---------------------------------------------- 2.3 Access
86 READ
87 2 7 2 2 0 1
88 # e/i| Arr [1]| i j | n | 1
89 0 -1 0 0 0 0 3 ## Arr == c
90 0 0 -1 1 0 0 0 ## [1] == i
92 WRITE
93 2 7 2 2 0 1
94 # e/i| Arr [1]| i j | n | 1
95 0 -1 0 0 0 0 3 ## Arr == c
96 0 0 -1 1 0 0 0 ## [1] == i
98 READ
99 3 8 3 2 0 1
100 # e/i| Arr [1] [2]| i j | n | 1
101 0 -1 0 0 0 0 0 5 ## Arr == a
102 0 0 -1 0 1 0 0 0 ## [1] == i
103 0 0 0 -1 0 1 0 0 ## [2] == j
105 READ
106 2 7 2 2 0 1
107 # e/i| Arr [1]| i j | n | 1
108 0 -1 0 0 0 0 6 ## Arr == b
109 0 0 -1 0 1 0 0 ## [1] == j
111 # ---------------------------------------------- 2.4 Statement Extensions
112 # Number of Statement Extensions
113 1
114 <body>
115 # Number of original iterators
116 2
117 # List of original iterators
118 i j
119 # Statement body expression
120 c[i] += a[i][j] * b[j] ;
121 </body>
123 # =============================================== Extensions
124 <dependence>
125 # Number of dependences
126 5
127 # Description of dependence 1
128 # type
129 RAW #(flow)
130 # From source statement id
131 0
132 # To target statement id
133 1
134 # Depth
135 0
136 # From source access ref
137 0
138 # To target access ref
139 0
140 # Dependence domain
141 UNDEFINED
142 14 10 3 4 0 1
143 # e/i| c1 c2 c3 | i1 i2 i3 i4 | P1 | 1
144 1 1 0 0 0 0 0 0 0 -1 ## c1-1 >= 0
145 1 -1 0 0 0 0 0 0 1 0 ## -c1+P1 >= 0
146 1 0 0 0 0 0 0 0 1 -1 ## P1-1 >= 0
147 1 0 0 0 1 0 0 0 0 -1 ## i1-1 >= 0
148 1 0 0 0 -1 0 0 0 1 0 ## -i1+P1 >= 0
149 1 0 0 0 0 0 0 0 1 -1 ## P1-1 >= 0
150 1 0 0 0 0 1 0 0 0 -1 ## i2-1 >= 0
151 1 0 0 0 0 -1 0 0 1 0 ## -i2+P1 >= 0
152 0 0 -1 0 0 0 0 0 0 3 ## c2 == 3
153 0 1 0 -1 0 0 0 0 0 0 ## c1-c3 == 0
154 0 0 0 0 0 0 1 0 0 -3 ## i3-3 == 0
155 0 0 0 0 -1 0 0 1 0 0 ## -i1+i4 == 0
156 0 0 -1 0 0 0 1 0 0 0 ## c2 == i3
157 0 0 0 -1 0 0 0 1 0 0 ## c3 == i4
158 # Description of dependence 2
159 # type
160 WAW #(output)
161 # From source statement id
162 0
163 # To target statement id
164 1
165 # Depth
166 0
167 # From source access ref
168 0
169 # To target access ref
170 1
171 # Dependence domain
172 UNDEFINED
173 14 10 3 4 0 1
174 # e/i| c1 c2 c3 | i1 i2 i3 i4 | P1 | 1
175 1 1 0 0 0 0 0 0 0 -1 ## c1-1 >= 0
176 1 -1 0 0 0 0 0 0 1 0 ## -c1+P1 >= 0
177 1 0 0 0 0 0 0 0 1 -1 ## P1-1 >= 0
178 1 0 0 0 1 0 0 0 0 -1 ## i1-1 >= 0
179 1 0 0 0 -1 0 0 0 1 0 ## -i1+P1 >= 0
180 1 0 0 0 0 0 0 0 1 -1 ## P1-1 >= 0
181 1 0 0 0 0 1 0 0 0 -1 ## i2-1 >= 0
182 1 0 0 0 0 -1 0 0 1 0 ## -i2+P1 >= 0
183 0 0 -1 0 0 0 0 0 0 3 ## c2 == 3
184 0 1 0 -1 0 0 0 0 0 0 ## c1-c3 == 0
185 0 0 0 0 0 0 1 0 0 -3 ## i3-3 == 0
186 0 0 0 0 -1 0 0 1 0 0 ## -i1+i4 == 0
187 0 0 -1 0 0 0 1 0 0 0 ## c2 == i3
188 0 0 0 -1 0 0 0 1 0 0 ## c3 == i4
189 # Description of dependence 3
190 # type
191 WAR #(anti)
192 # From source statement id
193 1
194 # To target statement id
195 1
196 # Depth
197 2
198 # From source access ref
199 0
200 # To target access ref
201 1
202 # Dependence domain
203 UNDEFINED
204 18 11 4 4 0 1
205 # e/i| c1 c2 c3 c4 | i1 i2 i3 i4 | P1 | 1
206 1 1 0 0 0 0 0 0 0 0 -1 ## c1-1 >= 0
207 1 -1 0 0 0 0 0 0 0 1 0 ## -c1+P1 >= 0
208 1 0 0 0 0 0 0 0 0 1 -1 ## P1-1 >= 0
209 1 0 1 0 0 0 0 0 0 0 -1 ## c2-1 >= 0
210 1 0 -1 0 0 0 0 0 0 1 0 ## -c2+P1 >= 0
211 1 0 0 0 0 1 0 0 0 0 -1 ## i1-1 >= 0
212 1 0 0 0 0 -1 0 0 0 1 0 ## -i1+P1 >= 0
213 1 0 0 0 0 0 0 0 0 1 -1 ## P1-1 >= 0
214 1 0 0 0 0 0 1 0 0 0 -1 ## i2-1 >= 0
215 1 0 0 0 0 0 -1 0 0 1 0 ## -i2+P1 >= 0
216 0 0 0 -1 0 0 0 0 0 0 3 ## c3 == 3
217 0 1 0 0 -1 0 0 0 0 0 0 ## c1-c4 == 0
218 0 0 0 0 0 0 0 1 0 0 -3 ## i3-3 == 0
219 0 0 0 0 0 -1 0 0 1 0 0 ## -i1+i4 == 0
220 0 0 0 -1 0 0 0 1 0 0 0 ## c3 == i3
221 0 0 0 0 -1 0 0 0 1 0 0 ## c4 == i4
222 0 -1 0 0 0 1 0 0 0 0 0 ## c1 == i1
223 1 0 -1 0 0 0 1 0 0 0 -1 ## -c2+i2-1 >= 0
224 # Description of dependence 4
225 # type
226 RAW #(flow)
227 # From source statement id
228 1
229 # To target statement id
230 1
231 # Depth
232 2
233 # From source access ref
234 1
235 # To target access ref
236 0
237 # Dependence domain
238 UNDEFINED
239 18 11 4 4 0 1
240 # e/i| c1 c2 c3 c4 | i1 i2 i3 i4 | P1 | 1
241 1 1 0 0 0 0 0 0 0 0 -1 ## c1-1 >= 0
242 1 -1 0 0 0 0 0 0 0 1 0 ## -c1+P1 >= 0
243 1 0 0 0 0 0 0 0 0 1 -1 ## P1-1 >= 0
244 1 0 1 0 0 0 0 0 0 0 -1 ## c2-1 >= 0
245 1 0 -1 0 0 0 0 0 0 1 0 ## -c2+P1 >= 0
246 1 0 0 0 0 1 0 0 0 0 -1 ## i1-1 >= 0
247 1 0 0 0 0 -1 0 0 0 1 0 ## -i1+P1 >= 0
248 1 0 0 0 0 0 0 0 0 1 -1 ## P1-1 >= 0
249 1 0 0 0 0 0 1 0 0 0 -1 ## i2-1 >= 0
250 1 0 0 0 0 0 -1 0 0 1 0 ## -i2+P1 >= 0
251 0 0 0 -1 0 0 0 0 0 0 3 ## c3 == 3
252 0 1 0 0 -1 0 0 0 0 0 0 ## c1-c4 == 0
253 0 0 0 0 0 0 0 1 0 0 -3 ## i3-3 == 0
254 0 0 0 0 0 -1 0 0 1 0 0 ## -i1+i4 == 0
255 0 0 0 -1 0 0 0 1 0 0 0 ## c3 == i3
256 0 0 0 0 -1 0 0 0 1 0 0 ## c4 == i4
257 0 -1 0 0 0 1 0 0 0 0 0 ## c1 == i1
258 1 0 -1 0 0 0 1 0 0 0 -1 ## -c2+i2-1 >= 0
259 # Description of dependence 5
260 # type
261 WAW #(output)
262 # From source statement id
263 1
264 # To target statement id
265 1
266 # Depth
267 2
268 # From source access ref
269 1
270 # To target access ref
271 1
272 # Dependence domain
273 UNDEFINED
274 18 11 4 4 0 1
275 # e/i| c1 c2 c3 c4 | i1 i2 i3 i4 | P1 | 1
276 1 1 0 0 0 0 0 0 0 0 -1 ## c1-1 >= 0
277 1 -1 0 0 0 0 0 0 0 1 0 ## -c1+P1 >= 0
278 1 0 0 0 0 0 0 0 0 1 -1 ## P1-1 >= 0
279 1 0 1 0 0 0 0 0 0 0 -1 ## c2-1 >= 0
280 1 0 -1 0 0 0 0 0 0 1 0 ## -c2+P1 >= 0
281 1 0 0 0 0 1 0 0 0 0 -1 ## i1-1 >= 0
282 1 0 0 0 0 -1 0 0 0 1 0 ## -i1+P1 >= 0
283 1 0 0 0 0 0 0 0 0 1 -1 ## P1-1 >= 0
284 1 0 0 0 0 0 1 0 0 0 -1 ## i2-1 >= 0
285 1 0 0 0 0 0 -1 0 0 1 0 ## -i2+P1 >= 0
286 0 0 0 -1 0 0 0 0 0 0 3 ## c3 == 3
287 0 1 0 0 -1 0 0 0 0 0 0 ## c1-c4 == 0
288 0 0 0 0 0 0 0 1 0 0 -3 ## i3-3 == 0
289 0 0 0 0 0 -1 0 0 1 0 0 ## -i1+i4 == 0
290 0 0 0 -1 0 0 0 1 0 0 0 ## c3 == i3
291 0 0 0 0 -1 0 0 0 1 0 0 ## c4 == i4
292 0 -1 0 0 0 1 0 0 0 0 0 ## c1 == i1
293 1 0 -1 0 0 0 1 0 0 0 -1 ## -c2+i2-1 >= 0
294 </dependence>
296 <scatnames>
297 b0 i b1 j b2
298 </scatnames>
300 <arrays>
301 # Number of arrays
302 6
303 # Mapping array-identifiers/array-names
304 1 i
305 2 n
306 3 c
307 4 j
308 5 a
309 6 b
310 </arrays>
312 <coordinates>
313 # File name
314 ./unitary/ax-do.c
315 # Starting line and column
316 5 0
317 # Ending line and column
318 12 0
319 # Indentation
320 2
321 </coordinates>
323 </OpenScop>
327 digraph G {
328 # Data Dependence Graph
329 S0 -> S1 [label=" RAW depth 0, ref 0->0 "];
330 S0 -> S1 [label=" WAW depth 0, ref 0->1 "];
331 S1 -> S1 [label=" WAR depth 2, ref 0->1 "];
332 S1 -> S1 [label=" RAW depth 2, ref 1->0 "];
333 S1 -> S1 [label=" WAW depth 2, ref 1->1 "];
334 # Number of edges = 5
335 }