arch ops initialized
[libfirm] / testprograms / ref-results / ARRAY-STACK_EXAMPLE_main-wtypes.vcg
1 graph: { title: "ir graph of ARRAY-STACK_EXAMPLE_main"
2 display_edge_labels: yes
3 layoutalgorithm: mindepth
4 manhattan_edges: yes
5 port_sharing: no
6 orientation: bottom_to_top
7 classname 1:  "intrablock Data"
8 classname 16: "interblock Data"
9 classname 2:  "Block"
10 classname 13: "Control Flow"
11 classname 18: "Exception Control Flow for Interval Analysis"
12 classname 14: "intrablock Memory"
13 classname 17: "interblock Memory"
14 classname 15: "Dominators"
15 classname 3:  "Entity type"
16 classname 4:  "Entity owner"
17 classname 5:  "Method Param"
18 classname 6:  "Method Res"
19 classname 7:  "Super"
20 classname 8:  "Union"
21 classname 9:  "Points-to"
22 classname 10: "Array Element Type"
23 classname 11: "Overwrites"
24 classname 12: "Member"
25 infoname 1: "Attribute"
26 infoname 2: "Verification errors"
27 colorentry 100:    0   0    0
28 colorentry 101:   20   0    0
29 colorentry 102:   40   0    0
30 colorentry 103:   60   0    0
31 colorentry 104:   80   0    0
32 colorentry 105:  100   0    0
33 colorentry 106:  120   0    0
34 colorentry 107:  140   0    0
35 colorentry 108:  150   0    0
36 colorentry 109:  180   0    0
37 colorentry 110:  200   0    0
38 colorentry 111:  220   0    0
39 colorentry 112:  240   0    0
40 colorentry 113:  255   0    0
41 colorentry 113:  255  20   20
42 colorentry 114:  255  40   40
43 colorentry 115:  255  60   60
44 colorentry 116:  255  80   80
45 colorentry 117:  255 100  100
46 colorentry 118:  255 120  120
47 colorentry 119:  255 140  140
48 colorentry 120:  255 150  150
49 colorentry 121:  255 180  180
50 colorentry 122:  255 200  200
51 colorentry 123:  255 220  220
52 colorentry 124:  255 240  240
53 colorentry 125:  255 250  250
54
55 graph: { title: "g37" label: "ARRAY-STACK_EXAMPLE_main" status:clustered color:white
56 graph: { title: "n26"  label: "Block 26" status:clustered color:yellow
57 edge: {sourcename: "n26" targetname: "n48" label: "0" class:13 priority:60 color:red}
58 node: {title: "n50" label: "End 50"  info1: "End 50
59   mode:    X
60   visited: 13
61   irg:     ARRAY-STACK_EXAMPLE_main
62   arity:   0
63   pred nodes:
64     -1:    Block 26
65   Private Attributes:
66 "
67 color: blue}
68 }
69
70 graph: { title: "n38"  label: "Block 38" status:clustered color:yellow
71 edge: {sourcename: "n38" targetname: "n32" label: "0" class:13 priority:60 color:red}
72 node: {title: "n48" label: "Return 48"  info1: "Return 48
73   mode:    X
74   visited: 13
75   irg:     ARRAY-STACK_EXAMPLE_main
76   arity:   2
77   pred nodes:
78     -1:    Block 38
79      0:    Proj 46
80      1:    Proj 47
81   Private Attributes:
82   return in method of type main_tp
83     res 0 type: int
84 "
85 }
86 edge: {sourcename: "n48" targetname: "n46" label: "0" class:14 priority:50 color:blue}
87 edge: {sourcename: "n48" targetname: "n47" label: "1" class:1  priority:50}
88 node: {title: "n46" label: "ProjM 0 46"  info1: "Proj 46
89   mode:    M
90   visited: 13
91   irg:     ARRAY-STACK_EXAMPLE_main
92   arity:   1
93   pred nodes:
94     -1:    Block 38
95      0:    Load[Is] 44
96   Private Attributes:
97 "
98 color: yellow}
99 edge: {sourcename: "n46" targetname: "n44" label: "0" class:17 priority:10 color:blue}
100 node: {title: "n47" label: "ProjIs 2 47"  info1: "Proj 47
101   mode:    Is
102   visited: 13
103   irg:     ARRAY-STACK_EXAMPLE_main
104   arity:   1
105   pred nodes:
106     -1:    Block 38
107      0:    Load[Is] 44
108   Private Attributes:
109 "
110 color: yellow}
111 edge: {sourcename: "n47" targetname: "n44" label: "0" class:1  priority:50}
112 node: {title: "n44" label: "Load[Is] 44"  info1: "Load[Is] 44
113   mode:    T
114   visited: 13
115   irg:     ARRAY-STACK_EXAMPLE_main
116   arity:   2
117   pred nodes:
118     -1:    Block 38
119      0:    Proj 35
120      1:    Sel 43
121   Private Attributes:
122   pinned state: op_pin_state_pinned
123   mode of loaded value: Is
124   volatility: volatility_non_volatile
125 "
126 }
127 edge: {sourcename: "n44" targetname: "n35" label: "0" class:17 priority:10 color:blue}
128 edge: {sourcename: "n44" targetname: "n43" label: "1" class:1  priority:50}
129 node: {title: "n43" label: "Sel a_tp_elem_ent 43"  info1: "Sel 43
130   mode:    P
131   visited: 13
132   irg:     ARRAY-STACK_EXAMPLE_main
133   arity:   3
134   pred nodes:
135     -1:    Block 38
136      0:    Proj 35
137      1:    Sel 41
138      2:    0x3 42
139   Private Attributes:
140   Selecting entity of type int
141     from entity a_tp_elem_ent (22)
142     of type a_tp
143 "
144 }
145 edge: {sourcename: "n43" targetname: "n35" label: "0" class:17 priority:10 color:blue}
146 edge: {sourcename: "n43" targetname: "n41" label: "1" class:1  priority:50}
147 edge: {sourcename: "n43" targetname: "n42" label: "2" class:16 priority:10}
148 node: {title: "n41" label: "Sel a 41"  info1: "Sel 41
149   mode:    P
150   visited: 13
151   irg:     ARRAY-STACK_EXAMPLE_main
152   arity:   2
153   pred nodes:
154     -1:    Block 38
155      0:    Proj 35
156      1:    Proj 33
157   Private Attributes:
158   Selecting entity of type a_tp
159     from entity a (39)
160     of type mainframe_tp
161 "
162 }
163 edge: {sourcename: "n41" targetname: "n35" label: "0" class:17 priority:10 color:blue}
164 edge: {sourcename: "n41" targetname: "n33" label: "1" class:16 priority:10}
165 }
166
167 graph: { title: "n28"  label: "Block 28" status:clustered color:yellow
168 edge: {sourcename: "n28" targetname: "n32" label: "0" class:13 priority:60 color:red}
169 node: {title: "n35" label: "ProjM 1 35"  info1: "Proj 35
170   mode:    M
171   visited: 13
172   irg:     ARRAY-STACK_EXAMPLE_main
173   arity:   1
174   pred nodes:
175     -1:    Block 28
176      0:    Start 29
177   Private Attributes:
178 "
179 color: yellow}
180 edge: {sourcename: "n35" targetname: "n29" label: "0" class:17 priority:10 color:blue}
181 node: {title: "n33" label: "ProjP 2 33"  info1: "Proj 33
182   mode:    P
183   visited: 13
184   irg:     ARRAY-STACK_EXAMPLE_main
185   arity:   1
186   pred nodes:
187     -1:    Block 28
188      0:    Start 29
189   Private Attributes:
190 "
191 color: yellow}
192 edge: {sourcename: "n33" targetname: "n29" label: "0" class:1  priority:50}
193 node: {title: "n42" label: "0x3Iu 42"  info1: "0x3 42
194   mode:    Iu
195   visited: 13
196   irg:     ARRAY-STACK_EXAMPLE_main
197   arity:   0
198   pred nodes:
199     -1:    Block 28
200   Private Attributes:
201   Const of type type_unknown
202 "
203 color: yellow}
204 node: {title: "n32" label: "ProjX 0 32"  info1: "Proj 32
205   mode:    X
206   visited: 13
207   irg:     ARRAY-STACK_EXAMPLE_main
208   arity:   1
209   pred nodes:
210     -1:    Block 28
211      0:    Start 29
212   Private Attributes:
213 "
214 color: yellow}
215 edge: {sourcename: "n32" targetname: "n29" label: "0" class:13 priority:60 color:red}
216 node: {title: "n29" label: "Start 29"  info1: "Start 29
217   mode:    T
218   visited: 13
219   irg:     ARRAY-STACK_EXAMPLE_main
220   arity:   0
221   pred nodes:
222     -1:    Block 28
223   Private Attributes:
224   start of method of type main_tp
225 "
226 color: blue}
227 }
228
229 }
230
231 node: {title: "e22" label: "ent a_tp_elem_ent" color: yellow
232  info1: "entity a_tp_elem_ent (22)
233   type:  int (14)
234   owner: a_tp (19)
235   allocation:  allocation_automatic
236   visibility:  visibility_local
237   variability: variability_uninitialized
238   volatility:  volatility_non_volatile
239   peculiarity: peculiarity_existent
240   ld_name: no yet set
241   offset:  -1
242
243 "
244 }
245 edge: { sourcename: "e22" targetname: "t14"class: 3 label: "type" color: red}
246 node: {title: "t19" label: "array a_tp" info1: "state: layout_undefined
247 size: -1b,
248 "}
249 edge: { sourcename: "t19" targetname: "t14"class: 10 label: "arr elt tp" color:green}
250 edge: { sourcename: "t19" targetname: "e22"class: 10 label: "arr ent" color: green}
251 edge: { sourcename: "n23" targetname: "t19"label: "upper 0"}
252 edge: { sourcename: "n24" targetname: "t19"label: "lower 0"}
253 node: {title: "n23" label: "0x9Iu 23"  info1: "0x9 23
254   mode:    Iu
255   visited: 2
256   arity:   0
257   pred nodes:
258     -1:    Block 3
259   Private Attributes:
260   Const of type type_unknown
261 "
262 color: yellow}
263 node: {title: "n24" label: "0x0Iu 24"  info1: "0x0 24
264   mode:    Iu
265   visited: 2
266   arity:   0
267   pred nodes:
268     -1:    Block 3
269   Private Attributes:
270   Const of type type_unknown
271 "
272 color: yellow}
273 node: {title: "t14" label: "primitive int" info1: "state: layout_fixed,
274 mode: Is,
275 size: 32b,
276 "}
277 node: {title: "e39" label: "ent a" color: yellow
278  info1: "entity a (39)
279   type:  a_tp (19)
280   owner: mainframe_tp (25)
281   Does not overwrite other entities.
282   Is not overwritten by other entities.
283   allocation:  allocation_automatic
284   visibility:  visibility_local
285   variability: variability_uninitialized
286   volatility:  volatility_non_volatile
287   peculiarity: peculiarity_existent
288   ld_name: no yet set
289   offset:  -1
290
291 "
292 }
293 edge: { sourcename: "e39" targetname: "t19"class: 3 label: "type" color: red}
294 node: {title: "t25" label: "class mainframe_tp" info1: "state: layout_undefined
295 size: -1b,
296 peculiarity: peculiarity_existent
297 " color: green}
298 edge: { sourcename: "t25" targetname: "e39"class: 12 label: "member" color:blue}
299 node: {title: "e18" label: "ent ARRAY-STACK_EXAMPLE_main" color: yellow
300  info1: "entity main (18)
301   type:  main_tp (16)
302   owner: ARRAY-STACK_EXAMPLE (15)
303   Does not overwrite other entities.
304   Is not overwritten by other entities.
305   allocation:  allocation_static
306   visibility:  visibility_local
307   variability: variability_constant
308   atomic value: SymC &main
309   volatility:  volatility_non_volatile
310   peculiarity: peculiarity_existent
311   ld_name: ARRAY-STACK_EXAMPLE_main
312   offset:  -1
313   irg = 37
314
315 "
316 }
317 edge: { sourcename: "e18" targetname: "t16"class: 3 label: "type" color: red}
318 edge: { sourcename: "e18" targetname: "n17"label: "value 0"}
319 node: {title: "n17" label: "SymC &main 17"  info1: "SymC &main 17
320   mode:    P
321   visited: 2
322   arity:   0
323   pred nodes:
324     -1:    Block 3
325   Private Attributes:
326   kind:   addr_ent
327   entity: entity ARRAY-STACK_EXAMPLE.main (18)
328
329   type of value: type_unknown
330 "
331 }
332 node: {title: "t15" label: "class ARRAY-STACK_EXAMPLE" info1: "state: layout_undefined
333 size: -1b,
334 peculiarity: peculiarity_existent
335 " color: green}
336 edge: { sourcename: "t15" targetname: "e18"class: 12 label: "member" color:blue}
337 node: {title: "t16" label: "method main_tp" info1: "state: layout_fixed,
338 mode: P,
339 size: 32b,
340 variadicity: variadicity_non_variadic
341 params: 0
342 results: 1
343 "}
344 edge: { sourcename: "t16" targetname: "t14"class: 6 label: "res 0" color: green}
345 edge: { sourcename: "n43" targetname: "e22"class:2 priority:2 linestyle:dotted}
346 edge: { sourcename: "n41" targetname: "e39"class:2 priority:2 linestyle:dotted}
347 }