| blob | e060b9af92391a4342cfbe4c5806be2485a33faa |
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 3
26 # ---------------------------------------------- 1.1 Domain
27 DOMAIN
28 3 4 1 0 0 1
29 # e/i| i | N | 1
30 1 1 0 0 ## i >= 0
31 1 -1 1 0 ## -i+N >= 0
32 1 0 1 0 ## N >= 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 == t
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 t = 0;
59 </body>
61 # =============================================== Statement 2
62 # Number of relations describing the statement:
63 4
65 # ---------------------------------------------- 2.1 Domain
66 DOMAIN
67 3 4 1 0 0 1
68 # e/i| i | N | 1
69 1 1 0 0 ## i >= 0
70 1 -1 1 0 ## -i+N >= 0
71 1 0 1 0 ## N >= 0
73 # ---------------------------------------------- 2.2 Scattering
74 SCATTERING
75 3 7 3 1 0 1
76 # e/i| c1 c2 c3 | i | N | 1
77 0 -1 0 0 0 0 0 ## c1 == 0
78 0 0 -1 0 1 0 0 ## c2 == i
79 0 0 0 -1 0 0 1 ## c3 == 1
81 # ---------------------------------------------- 2.3 Access
82 WRITE
83 2 6 2 1 0 1
84 # e/i| Arr [1]| i | N | 1
85 0 -1 0 0 0 4 ## Arr == a
86 0 0 -1 1 0 0 ## [1] == i
88 READ
89 2 6 2 1 0 1
90 # e/i| Arr [1]| i | N | 1
91 0 -1 0 0 0 3 ## Arr == t
92 0 0 -1 1 0 0 ## [1] == i
94 # ---------------------------------------------- 2.4 Statement Extensions
95 # Number of Statement Extensions
96 1
97 <body>
98 # Number of original iterators
99 1
100 # List of original iterators
101 i
102 # Statement body expression
103 a[i] = t;
104 </body>
106 # =============================================== Statement 3
107 # Number of relations describing the statement:
108 3
110 # ---------------------------------------------- 3.1 Domain
111 DOMAIN
112 3 4 1 0 0 1
113 # e/i| i | N | 1
114 1 1 0 0 ## i >= 0
115 1 -1 1 0 ## -i+N >= 0
116 1 0 1 0 ## N >= 0
118 # ---------------------------------------------- 3.2 Scattering
119 SCATTERING
120 3 7 3 1 0 1
121 # e/i| c1 c2 c3 | i | N | 1
122 0 -1 0 0 0 0 1 ## c1 == 1
123 0 0 -1 0 1 0 0 ## c2 == i
124 0 0 0 -1 0 0 0 ## c3 == 0
126 # ---------------------------------------------- 3.3 Access
127 WRITE
128 2 6 2 1 0 1
129 # e/i| Arr [1]| i | N | 1
130 0 -1 0 0 0 3 ## Arr == t
131 0 0 -1 1 0 0 ## [1] == i
133 # ---------------------------------------------- 3.4 Statement Extensions
134 # Number of Statement Extensions
135 1
136 <body>
137 # Number of original iterators
138 1
139 # List of original iterators
140 i
141 # Statement body expression
142 t = 0;
143 </body>
145 # =============================================== Statement 4
146 # Number of relations describing the statement:
147 4
149 # ---------------------------------------------- 4.1 Domain
150 DOMAIN
151 3 4 1 0 0 1
152 # e/i| i | N | 1
153 1 1 0 0 ## i >= 0
154 1 -1 1 0 ## -i+N >= 0
155 1 0 1 0 ## N >= 0
157 # ---------------------------------------------- 4.2 Scattering
158 SCATTERING
159 3 7 3 1 0 1
160 # e/i| c1 c2 c3 | i | N | 1
161 0 -1 0 0 0 0 1 ## c1 == 1
162 0 0 -1 0 1 0 0 ## c2 == i
163 0 0 0 -1 0 0 1 ## c3 == 1
165 # ---------------------------------------------- 4.3 Access
166 WRITE
167 2 6 2 1 0 1
168 # e/i| Arr [1]| i | N | 1
169 0 -1 0 0 0 5 ## Arr == b
170 0 0 -1 1 0 0 ## [1] == i
172 READ
173 2 6 2 1 0 1
174 # e/i| Arr [1]| i | N | 1
175 0 -1 0 0 0 3 ## Arr == t
176 0 0 -1 1 0 0 ## [1] == i
178 # ---------------------------------------------- 4.4 Statement Extensions
179 # Number of Statement Extensions
180 1
181 <body>
182 # Number of original iterators
183 1
184 # List of original iterators
185 i
186 # Statement body expression
187 b[i] = t;
188 </body>
190 # =============================================== Extensions
191 <dependence>
192 # Number of dependences
193 5
194 # Description of dependence 1
195 # type
196 RAW #(flow)
197 # From source statement id
198 0
199 # To target statement id
200 1
201 # Depth
202 1
203 # From source access ref
204 0
205 # To target access ref
206 1
207 # Dependence domain
208 UNDEFINED
209 13 9 3 3 0 1
210 # e/i| c1 c2 c3 | i1 i2 i3 | P1 | 1
211 1 1 0 0 0 0 0 0 0 ## c1 >= 0
212 1 -1 0 0 0 0 0 1 0 ## -c1+P1 >= 0
213 1 0 0 0 0 0 0 1 0 ## P1 >= 0
214 1 0 0 0 1 0 0 0 0 ## i1 >= 0
215 1 0 0 0 -1 0 0 1 0 ## -i1+P1 >= 0
216 1 0 0 0 0 0 0 1 0 ## P1 >= 0
217 0 0 -1 0 0 0 0 0 3 ## c2 == 3
218 0 1 0 -1 0 0 0 0 0 ## c1-c3 == 0
219 0 0 0 0 0 1 0 0 -3 ## i2-3 == 0
220 0 0 0 0 -1 0 1 0 0 ## -i1+i3 == 0
221 0 0 -1 0 0 1 0 0 0 ## c2 == i2
222 0 0 0 -1 0 0 1 0 0 ## c3 == i3
223 1 -1 0 0 1 0 0 0 0 ## -c1+i1 >= 0
224 # Description of dependence 2
225 # type
226 WAW #(output)
227 # From source statement id
228 0
229 # To target statement id
230 2
231 # Depth
232 0
233 # From source access ref
234 0
235 # To target access ref
236 0
237 # Dependence domain
238 UNDEFINED
239 12 9 3 3 0 1
240 # e/i| c1 c2 c3 | i1 i2 i3 | P1 | 1
241 1 1 0 0 0 0 0 0 0 ## c1 >= 0
242 1 -1 0 0 0 0 0 1 0 ## -c1+P1 >= 0
243 1 0 0 0 0 0 0 1 0 ## P1 >= 0
244 1 0 0 0 1 0 0 0 0 ## i1 >= 0
245 1 0 0 0 -1 0 0 1 0 ## -i1+P1 >= 0
246 1 0 0 0 0 0 0 1 0 ## P1 >= 0
247 0 0 -1 0 0 0 0 0 3 ## c2 == 3
248 0 1 0 -1 0 0 0 0 0 ## c1-c3 == 0
249 0 0 0 0 0 1 0 0 -3 ## i2-3 == 0
250 0 0 0 0 -1 0 1 0 0 ## -i1+i3 == 0
251 0 0 -1 0 0 1 0 0 0 ## c2 == i2
252 0 0 0 -1 0 0 1 0 0 ## c3 == i3
253 # Description of dependence 3
254 # type
255 RAW #(flow)
256 # From source statement id
257 0
258 # To target statement id
259 3
260 # Depth
261 0
262 # From source access ref
263 0
264 # To target access ref
265 1
266 # Dependence domain
267 UNDEFINED
268 12 9 3 3 0 1
269 # e/i| c1 c2 c3 | i1 i2 i3 | P1 | 1
270 1 1 0 0 0 0 0 0 0 ## c1 >= 0
271 1 -1 0 0 0 0 0 1 0 ## -c1+P1 >= 0
272 1 0 0 0 0 0 0 1 0 ## P1 >= 0
273 1 0 0 0 1 0 0 0 0 ## i1 >= 0
274 1 0 0 0 -1 0 0 1 0 ## -i1+P1 >= 0
275 1 0 0 0 0 0 0 1 0 ## P1 >= 0
276 0 0 -1 0 0 0 0 0 3 ## c2 == 3
277 0 1 0 -1 0 0 0 0 0 ## c1-c3 == 0
278 0 0 0 0 0 1 0 0 -3 ## i2-3 == 0
279 0 0 0 0 -1 0 1 0 0 ## -i1+i3 == 0
280 0 0 -1 0 0 1 0 0 0 ## c2 == i2
281 0 0 0 -1 0 0 1 0 0 ## c3 == i3
282 # Description of dependence 4
283 # type
284 WAR #(anti)
285 # From source statement id
286 1
287 # To target statement id
288 2
289 # Depth
290 0
291 # From source access ref
292 1
293 # To target access ref
294 0
295 # Dependence domain
296 UNDEFINED
297 12 9 3 3 0 1
298 # e/i| c1 c2 c3 | i1 i2 i3 | P1 | 1
299 1 1 0 0 0 0 0 0 0 ## c1 >= 0
300 1 -1 0 0 0 0 0 1 0 ## -c1+P1 >= 0
301 1 0 0 0 0 0 0 1 0 ## P1 >= 0
302 1 0 0 0 1 0 0 0 0 ## i1 >= 0
303 1 0 0 0 -1 0 0 1 0 ## -i1+P1 >= 0
304 1 0 0 0 0 0 0 1 0 ## P1 >= 0
305 0 0 -1 0 0 0 0 0 3 ## c2 == 3
306 0 1 0 -1 0 0 0 0 0 ## c1-c3 == 0
307 0 0 0 0 0 1 0 0 -3 ## i2-3 == 0
308 0 0 0 0 -1 0 1 0 0 ## -i1+i3 == 0
309 0 0 -1 0 0 1 0 0 0 ## c2 == i2
310 0 0 0 -1 0 0 1 0 0 ## c3 == i3
311 # Description of dependence 5
312 # type
313 RAW #(flow)
314 # From source statement id
315 2
316 # To target statement id
317 3
318 # Depth
319 1
320 # From source access ref
321 0
322 # To target access ref
323 1
324 # Dependence domain
325 UNDEFINED
326 13 9 3 3 0 1
327 # e/i| c1 c2 c3 | i1 i2 i3 | P1 | 1
328 1 1 0 0 0 0 0 0 0 ## c1 >= 0
329 1 -1 0 0 0 0 0 1 0 ## -c1+P1 >= 0
330 1 0 0 0 0 0 0 1 0 ## P1 >= 0
331 1 0 0 0 1 0 0 0 0 ## i1 >= 0
332 1 0 0 0 -1 0 0 1 0 ## -i1+P1 >= 0
333 1 0 0 0 0 0 0 1 0 ## P1 >= 0
334 0 0 -1 0 0 0 0 0 3 ## c2 == 3
335 0 1 0 -1 0 0 0 0 0 ## c1-c3 == 0
336 0 0 0 0 0 1 0 0 -3 ## i2-3 == 0
337 0 0 0 0 -1 0 1 0 0 ## -i1+i3 == 0
338 0 0 -1 0 0 1 0 0 0 ## c2 == i2
339 0 0 0 -1 0 0 1 0 0 ## c3 == i3
340 1 -1 0 0 1 0 0 0 0 ## -c1+i1 >= 0
341 </dependence>
343 <scatnames>
344 b0 i b1
345 </scatnames>
347 <arrays>
348 # Number of arrays
349 5
350 # Mapping array-identifiers/array-names
351 1 i
352 2 N
353 3 t
354 4 a
355 5 b
356 </arrays>
358 <coordinates>
359 # File name
360 ./unitary/scalexp.c
361 # Starting line and column
362 4 0
363 # Ending line and column
364 12 0
365 # Indentation
366 0
367 </coordinates>
369 </OpenScop>
373 digraph G {
374 # Data Dependence Graph
375 S0 -> S1 [label=" RAW depth 1, ref 0->1 "];
376 S0 -> S2 [label=" WAW depth 0, ref 0->0 "];
377 S0 -> S3 [label=" RAW depth 0, ref 0->1 "];
378 S1 -> S2 [label=" WAR depth 0, ref 1->0 "];
379 S2 -> S3 [label=" RAW depth 1, ref 0->1 "];
380 # Number of edges = 5
381 }