adapted to output of type's visibility flag
[libfirm] / testprograms / ref-results / OO_INLINE_EXAMPLE_main-wtypes.vcg
1 graph: { title: "ir graph of OO_INLINE_EXAMPLE_main"
2 display_edge_labels: no
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: "g39" label: "OO_INLINE_EXAMPLE_main" status:clustered color:white
56 graph: { title: "n181"  label: "Block 181" status:clustered color:yellow
57 edge: {sourcename: "n181" targetname: "n142" label: "0" class:13 priority:60 color:red}
58 edge: {sourcename: "n181" targetname: "n182" label: "1" class:13 priority:60 color:red}
59 node: {title: "n180" label: "PhiM 180"  info1: "Phi 180
60   mode:    M
61   visited: 26
62   irg:     OO_INLINE_EXAMPLE_main
63   arity:   2
64   pred nodes:
65     -1:    Block 181
66      0:    Proj 152
67      1:    Proj 186
68   Private Attributes:
69   backedges:
70 "
71 color: green}
72 edge: {sourcename: "n180" targetname: "n152" label: "0" class:17 priority:10 color:blue}
73 edge: {sourcename: "n180" targetname: "n186" label: "1" class:17 priority:10 color:blue}
74 node: {title: "n186" label: "ProjM 0 186"  info1: "Proj 186
75   mode:    M
76   visited: 26
77   irg:     OO_INLINE_EXAMPLE_main
78   arity:   1
79   pred nodes:
80     -1:    Block 181
81      0:    Store 187
82   Private Attributes:
83 "
84 color: yellow}
85 edge: {sourcename: "n186" targetname: "n187" label: "0" class:17 priority:10 color:blue}
86 node: {title: "n187" label: "Store 187"  info1: "Store 187
87   mode:    T
88   visited: 26
89   irg:     OO_INLINE_EXAMPLE_main
90   arity:   3
91   pred nodes:
92     -1:    Block 181
93      0:    Phi 180
94      1:    Sel 191
95      2:    Phi 188
96   Private Attributes:
97   pinned state: op_pin_state_pinned
98   volatility: volatility_non_volatile
99 "
100 }
101 edge: {sourcename: "n187" targetname: "n180" label: "0" class:14 priority:50 color:blue}
102 edge: {sourcename: "n187" targetname: "n191" label: "1" class:1  priority:50}
103 edge: {sourcename: "n187" targetname: "n188" label: "2" class:1  priority:50}
104 node: {title: "n191" label: "Sel a 191"  info1: "Sel 191
105   mode:    P
106   visited: 26
107   irg:     OO_INLINE_EXAMPLE_main
108   arity:   2
109   pred nodes:
110     -1:    Block 181
111      0:    Phi 180
112      1:    Proj 48
113   Private Attributes:
114   Selecting entity of type int
115     from entity a (17)
116     of type PRIMA_INLINE
117 "
118 }
119 edge: {sourcename: "n191" targetname: "n180" label: "0" class:14 priority:50 color:blue}
120 edge: {sourcename: "n191" targetname: "n48" label: "1" class:16 priority:10}
121 node: {title: "n188" label: "PhiIs 188"  info1: "Phi 188
122   mode:    Is
123   visited: 26
124   irg:     OO_INLINE_EXAMPLE_main
125   arity:   2
126   pred nodes:
127     -1:    Block 181
128      0:    0x5 42
129      1:    Phi 189
130   Private Attributes:
131   backedges:
132 "
133 color: green}
134 edge: {sourcename: "n188" targetname: "n42" label: "0" class:16 priority:10}
135 edge: {sourcename: "n188" targetname: "n189" label: "1" class:1  priority:50}
136 node: {title: "n189" label: "PhiIs 189"  info1: "Phi 189
137   mode:    Is
138   visited: 26
139   irg:     OO_INLINE_EXAMPLE_main
140   arity:   2
141   pred nodes:
142     -1:    Block 181
143      0:    0x0 190
144      1:    Phi 188
145   Private Attributes:
146   backedges:
147 "
148 color: green}
149 edge: {sourcename: "n189" targetname: "n190" label: "0" class:16 priority:10}
150 edge: {sourcename: "n189" targetname: "n188" label: "1" class:1  priority:50}
151 node: {title: "n182" label: "Jmp 182"  info1: "Jmp 182
152   mode:    X
153   visited: 26
154   irg:     OO_INLINE_EXAMPLE_main
155   arity:   0
156   pred nodes:
157     -1:    Block 181
158   Private Attributes:
159 "
160 }
161 }
162
163 graph: { title: "n145"  label: "Block 145" status:clustered color:yellow
164 edge: {sourcename: "n145" targetname: "n34" label: "0" class:13 priority:60 color:red}
165 node: {title: "n152" label: "ProjM 0 152"  info1: "Proj 152
166   mode:    M
167   visited: 26
168   irg:     OO_INLINE_EXAMPLE_main
169   arity:   1
170   pred nodes:
171     -1:    Block 145
172      0:    Store 153
173   Private Attributes:
174 "
175 color: yellow}
176 edge: {sourcename: "n152" targetname: "n153" label: "0" class:17 priority:10 color:blue}
177 node: {title: "n153" label: "Store 153"  info1: "Store 153
178   mode:    T
179   visited: 26
180   irg:     OO_INLINE_EXAMPLE_main
181   arity:   3
182   pred nodes:
183     -1:    Block 145
184      0:    Proj 47
185      1:    Sel 156
186      2:    0x2 41
187   Private Attributes:
188   pinned state: op_pin_state_pinned
189   volatility: volatility_non_volatile
190 "
191 }
192 edge: {sourcename: "n153" targetname: "n47" label: "0" class:14 priority:50 color:blue}
193 edge: {sourcename: "n153" targetname: "n156" label: "1" class:1  priority:50}
194 edge: {sourcename: "n153" targetname: "n41" label: "2" class:16 priority:10}
195 node: {title: "n156" label: "Sel a 156"  info1: "Sel 156
196   mode:    P
197   visited: 26
198   irg:     OO_INLINE_EXAMPLE_main
199   arity:   2
200   pred nodes:
201     -1:    Block 145
202      0:    Proj 47
203      1:    Proj 48
204   Private Attributes:
205   Selecting entity of type int
206     from entity a (17)
207     of type PRIMA_INLINE
208 "
209 }
210 edge: {sourcename: "n156" targetname: "n47" label: "0" class:14 priority:50 color:blue}
211 edge: {sourcename: "n156" targetname: "n48" label: "1" class:1  priority:50}
212 node: {title: "n47" label: "ProjM 0 47"  info1: "Proj 47
213   mode:    M
214   visited: 26
215   irg:     OO_INLINE_EXAMPLE_main
216   arity:   1
217   pred nodes:
218     -1:    Block 145
219      0:    Alloc 45
220   Private Attributes:
221 "
222 color: yellow}
223 edge: {sourcename: "n47" targetname: "n45" label: "0" class:17 priority:10 color:blue}
224 node: {title: "n48" label: "ProjP 2 48"  info1: "Proj 48
225   mode:    P
226   visited: 26
227   irg:     OO_INLINE_EXAMPLE_main
228   arity:   1
229   pred nodes:
230     -1:    Block 145
231      0:    Alloc 45
232   Private Attributes:
233 "
234 color: yellow}
235 edge: {sourcename: "n48" targetname: "n45" label: "0" class:1  priority:50}
236 node: {title: "n45" label: "Alloc 45"  info1: "Alloc 45
237   mode:    T
238   visited: 26
239   irg:     OO_INLINE_EXAMPLE_main
240   arity:   2
241   pred nodes:
242     -1:    Block 145
243      0:    Proj 37
244      1:    SymC PRIMA_INLINE size 43
245   Private Attributes:
246   pinned state: op_pin_state_pinned
247   allocating entity of type: PRIMA_INLINE
248   allocating on: the heap
249 "
250 }
251 edge: {sourcename: "n45" targetname: "n37" label: "0" class:17 priority:10 color:blue}
252 edge: {sourcename: "n45" targetname: "n43" label: "1" class:16 priority:10}
253 node: {title: "n190" label: "0x0Is 190"  info1: "0x0 190
254   mode:    Is
255   visited: 26
256   irg:     OO_INLINE_EXAMPLE_main
257   arity:   0
258   pred nodes:
259     -1:    Block 145
260   Private Attributes:
261   Const of type type_unknown
262 "
263 color: yellow}
264 node: {title: "n142" label: "Jmp 142"  info1: "Jmp 142
265   mode:    X
266   visited: 26
267   irg:     OO_INLINE_EXAMPLE_main
268   arity:   0
269   pred nodes:
270     -1:    Block 145
271   Private Attributes:
272 "
273 }
274 }
275
276 graph: { title: "n30"  label: "Block 30" status:clustered color:yellow
277 edge: {sourcename: "n30" targetname: "n34" label: "0" class:13 priority:60 color:red}
278 node: {title: "n41" label: "0x2Is 41"  info1: "0x2 41
279   mode:    Is
280   visited: 26
281   irg:     OO_INLINE_EXAMPLE_main
282   arity:   0
283   pred nodes:
284     -1:    Block 30
285   Private Attributes:
286   Const of type type_unknown
287 "
288 color: yellow}
289 node: {title: "n37" label: "ProjM 1 37"  info1: "Proj 37
290   mode:    M
291   visited: 26
292   irg:     OO_INLINE_EXAMPLE_main
293   arity:   1
294   pred nodes:
295     -1:    Block 30
296      0:    Start 31
297   Private Attributes:
298 "
299 color: yellow}
300 edge: {sourcename: "n37" targetname: "n31" label: "0" class:17 priority:10 color:blue}
301 node: {title: "n43" label: "SymC PRIMA_INLINE size 43"  info1: "SymC PRIMA_INLINE size 43
302   mode:    Iu
303   visited: 26
304   irg:     OO_INLINE_EXAMPLE_main
305   arity:   0
306   pred nodes:
307     -1:    Block 30
308   Private Attributes:
309   kind: size
310   type: class type PRIMA_INLINE (15)
311   type of value: type_unknown
312 "
313 }
314 node: {title: "n42" label: "0x5Is 42"  info1: "0x5 42
315   mode:    Is
316   visited: 26
317   irg:     OO_INLINE_EXAMPLE_main
318   arity:   0
319   pred nodes:
320     -1:    Block 30
321   Private Attributes:
322   Const of type type_unknown
323 "
324 color: yellow}
325 node: {title: "n34" label: "ProjX 0 34"  info1: "Proj 34
326   mode:    X
327   visited: 26
328   irg:     OO_INLINE_EXAMPLE_main
329   arity:   1
330   pred nodes:
331     -1:    Block 30
332      0:    Start 31
333   Private Attributes:
334 "
335 color: yellow}
336 edge: {sourcename: "n34" targetname: "n31" label: "0" class:13 priority:60 color:red}
337 node: {title: "n31" label: "Start 31"  info1: "Start 31
338   mode:    T
339   visited: 26
340   irg:     OO_INLINE_EXAMPLE_main
341   arity:   0
342   pred nodes:
343     -1:    Block 30
344   Private Attributes:
345   start of method of type OO_INLINE_EXAMPLE_main
346 "
347 color: blue}
348 }
349
350 graph: { title: "n28"  label: "Block 28" status:clustered color:yellow
351 node: {title: "n197" label: "End 197"  info1: "End 197
352   mode:    X
353   visited: 26
354   irg:     OO_INLINE_EXAMPLE_main
355   arity:   2
356   pred nodes:
357     -1:    Block 28
358      0:    Block 181
359      1:    Phi 180
360   Private Attributes:
361 "
362 color: blue}
363 }
364
365 }
366
367 node: {title: "e17" label: "ent a" color: yellow
368  info1: "entity a (17)
369   type:  int (14)
370   owner: PRIMA_INLINE (15)
371   Does not overwrite other entities.
372   Is not overwritten by other entities.
373   allocation:  allocation_automatic
374   visibility:  visibility_local
375   variability: variability_uninitialized
376   volatility:  volatility_non_volatile
377   peculiarity: peculiarity_existent
378   ld_name: no yet set
379   offset:  -1
380
381 "
382 }
383 edge: { sourcename: "e17" targetname: "t14"class: 3 label: "type" color: red}
384 node: {title: "t15" label: "class PRIMA_INLINE" info1: "class type PRIMA_INLINE (15)
385   members:
386     entity a (17)
387       type:  int (14)
388       owner: PRIMA_INLINE (15)
389       Does not overwrite other entities.
390       Is not overwritten by other entities.
391       allocation:  allocation_automatic
392       visibility:  visibility_local
393       variability: variability_uninitialized
394       volatility:  volatility_non_volatile
395       peculiarity: peculiarity_existent
396       ld_name: no yet set
397       offset:  -1
398     entity set_a (20)
399       type:  set_a (18)
400       owner: PRIMA_INLINE (15)
401       Does not overwrite other entities.
402       Is not overwritten by other entities.
403       allocation:  allocation_static
404       visibility:  visibility_local
405       variability: variability_constant
406       atomic value: SymC &set_a
407       volatility:  volatility_non_volatile
408       peculiarity: peculiarity_existent
409       ld_name: PRIMA_INLINE_set_a
410       offset:  -1
411       irg = 73
412     entity c (23)
413       type:  c (21)
414       owner: PRIMA_INLINE (15)
415       Does not overwrite other entities.
416       Is not overwritten by other entities.
417       allocation:  allocation_static
418       visibility:  visibility_local
419       variability: variability_constant
420       atomic value: SymC &c
421       volatility:  volatility_non_volatile
422       peculiarity: peculiarity_existent
423       ld_name: PRIMA_INLINE_c
424       offset:  -1
425       irg = 96
426   supertypes:
427   subtypes:
428   peculiarity: peculiarity_existent
429   visibility: visibility_external_allocated,
430   state:      layout_undefined,
431   size:       -1 Bits,
432   alignment:  32 Bits,
433   dbg info:   (nil),
434
435
436 " color: green}
437 edge: { sourcename: "t15" targetname: "e17"class: 12 label: "member" color:blue}
438 edge: { sourcename: "t15" targetname: "e20"class: 12 label: "member" color:blue}
439 edge: { sourcename: "t15" targetname: "e23"class: 12 label: "member" color:blue}
440 node: {title: "e20" label: "ent PRIMA_INLINE_set_a" color: yellow
441  info1: "entity set_a (20)
442   type:  set_a (18)
443   owner: PRIMA_INLINE (15)
444   Does not overwrite other entities.
445   Is not overwritten by other entities.
446   allocation:  allocation_static
447   visibility:  visibility_local
448   variability: variability_constant
449   atomic value: SymC &set_a
450   volatility:  volatility_non_volatile
451   peculiarity: peculiarity_existent
452   ld_name: PRIMA_INLINE_set_a
453   offset:  -1
454   irg = 73
455
456 "
457 }
458 edge: { sourcename: "e20" targetname: "t18"class: 3 label: "type" color: red}
459 edge: { sourcename: "e20" targetname: "n19"label: "value 0"}
460 node: {title: "n19" label: "SymC &set_a 19"  info1: "SymC &set_a 19
461   mode:    P
462   visited: 1
463   arity:   0
464   pred nodes:
465     -1:    Block 3
466   Private Attributes:
467   kind:   addr_ent
468   entity: entity PRIMA_INLINE.set_a (20)
469
470   type of value: type_unknown
471 "
472 }
473 node: {title: "t18" label: "method set_a" info1: "method type set_a (18)
474   variadicity: variadicity_non_variadic
475   return types: 0
476   parameter types: 2
477     class_prima_ptr
478     int
479   visibility: visibility_external_allocated,
480   state:      layout_fixed,
481   size:       32 Bits,
482   alignment:  32 Bits,
483   mode:       P,
484   dbg info:   (nil),
485
486
487 "}
488 edge: { sourcename: "t18" targetname: "t16"class: 5 label: "param 0" color: green}
489 edge: { sourcename: "t18" targetname: "t14"class: 5 label: "param 1" color: green}
490 node: {title: "t16" label: "pointer class_prima_ptr" info1: "pointer type class_prima_ptr (16)
491   points to PRIMA_INLINE (15)
492   visibility: visibility_external_allocated,
493   state:      layout_fixed,
494   size:       32 Bits,
495   alignment:  32 Bits,
496   mode:       P,
497   dbg info:   (nil),
498
499
500 "}
501 edge: { sourcename: "t16" targetname: "t15"class: 9 label: "points to" color:green}
502 node: {title: "t14" label: "primitive int" info1: "primitive type int (14)
503   visibility: visibility_external_allocated,
504   state:      layout_fixed,
505   size:       32 Bits,
506   alignment:  32 Bits,
507   mode:       Is,
508   dbg info:   (nil),
509
510
511 "}
512 node: {title: "e23" label: "ent PRIMA_INLINE_c" color: yellow
513  info1: "entity c (23)
514   type:  c (21)
515   owner: PRIMA_INLINE (15)
516   Does not overwrite other entities.
517   Is not overwritten by other entities.
518   allocation:  allocation_static
519   visibility:  visibility_local
520   variability: variability_constant
521   atomic value: SymC &c
522   volatility:  volatility_non_volatile
523   peculiarity: peculiarity_existent
524   ld_name: PRIMA_INLINE_c
525   offset:  -1
526   irg = 96
527
528 "
529 }
530 edge: { sourcename: "e23" targetname: "t21"class: 3 label: "type" color: red}
531 edge: { sourcename: "e23" targetname: "n22"label: "value 0"}
532 node: {title: "n22" label: "SymC &c 22"  info1: "SymC &c 22
533   mode:    P
534   visited: 1
535   arity:   0
536   pred nodes:
537     -1:    Block 3
538   Private Attributes:
539   kind:   addr_ent
540   entity: entity PRIMA_INLINE.c (23)
541
542   type of value: type_unknown
543 "
544 }
545 node: {title: "t21" label: "method c" info1: "method type c (21)
546   variadicity: variadicity_non_variadic
547   return types: 1
548     int
549   parameter types: 2
550     class_prima_ptr
551     int
552   visibility: visibility_external_allocated,
553   state:      layout_fixed,
554   size:       32 Bits,
555   alignment:  32 Bits,
556   mode:       P,
557   dbg info:   (nil),
558
559
560 "}
561 edge: { sourcename: "t21" targetname: "t16"class: 5 label: "param 0" color: green}
562 edge: { sourcename: "t21" targetname: "t14"class: 5 label: "param 1" color: green}
563 edge: { sourcename: "t21" targetname: "t14"class: 6 label: "res 0" color: green}
564 node: {title: "e26" label: "ent OO_INLINE_EXAMPLE_main" color: yellow
565  info1: "entity OO_INLINE_EXAMPLE_main (26)
566   type:  OO_INLINE_EXAMPLE_main (24)
567   owner: GlobalType (0)
568   Does not overwrite other entities.
569   Is not overwritten by other entities.
570   allocation:  allocation_static
571   visibility:  visibility_local
572   variability: variability_constant
573   atomic value: SymC &OO_INLINE_EXAMPLE_main
574   volatility:  volatility_non_volatile
575   peculiarity: peculiarity_existent
576   ld_name: no yet set
577   offset:  -1
578   irg = 39
579
580 "
581 }
582 edge: { sourcename: "e26" targetname: "t24"class: 3 label: "type" color: red}
583 edge: { sourcename: "e26" targetname: "n25"label: "value 0"}
584 node: {title: "n25" label: "SymC &OO_INLINE_EXAMPLE_main 25"  info1: "SymC &OO_INLINE_EXAMPLE_main 25
585   mode:    P
586   visited: 1
587   arity:   0
588   pred nodes:
589     -1:    Block 3
590   Private Attributes:
591   kind:   addr_ent
592   entity: entity GlobalType.OO_INLINE_EXAMPLE_main (26)
593
594   type of value: type_unknown
595 "
596 }
597 node: {title: "t0" label: "class GlobalType" info1: "class type GlobalType (0)
598   members:
599     entity OO_INLINE_EXAMPLE_main (26)
600       type:  OO_INLINE_EXAMPLE_main (24)
601       owner: GlobalType (0)
602       Does not overwrite other entities.
603       Is not overwritten by other entities.
604       allocation:  allocation_static
605       visibility:  visibility_local
606       variability: variability_constant
607       atomic value: SymC &OO_INLINE_EXAMPLE_main
608       volatility:  volatility_non_volatile
609       peculiarity: peculiarity_existent
610       ld_name: no yet set
611       offset:  -1
612       irg = 39
613   supertypes:
614   subtypes:
615   peculiarity: peculiarity_existent
616   visibility: visibility_external_allocated,
617   state:      layout_undefined,
618   size:       -1 Bits,
619   alignment:  32 Bits,
620   dbg info:   (nil),
621
622
623 " color: green}
624 edge: { sourcename: "t0" targetname: "e26"class: 12 label: "member" color:blue}
625 node: {title: "t24" label: "method OO_INLINE_EXAMPLE_main" info1: "method type OO_INLINE_EXAMPLE_main (24)
626   variadicity: variadicity_non_variadic
627   return types: 1
628     int
629   parameter types: 0
630   visibility: visibility_external_allocated,
631   state:      layout_fixed,
632   size:       32 Bits,
633   alignment:  32 Bits,
634   mode:       P,
635   dbg info:   (nil),
636
637
638 "}
639 edge: { sourcename: "t24" targetname: "t14"class: 6 label: "res 0" color: green}
640 node: {title: "t27" label: "class OO_INLINE_EXAMPLE_mainframe_tp" info1: "class type OO_INLINE_EXAMPLE_mainframe_tp (27)
641   members:
642   supertypes:
643   subtypes:
644   peculiarity: peculiarity_existent
645   visibility: visibility_external_allocated,
646   state:      layout_undefined,
647   size:       -1 Bits,
648   alignment:   0 Bits,
649   dbg info:   (nil),
650
651
652 " color: green}
653 edge: { sourcename: "n191" targetname: "e17"class:2 priority:2 linestyle:dotted}
654 edge: { sourcename: "n45" targetname: "t15"class:2 priority:2 linestyle:dotted}
655 edge: { sourcename: "n43" targetname: "t15"class:2 priority:2 linestyle:dotted}
656 edge: { sourcename: "n156" targetname: "e17"class:2 priority:2 linestyle:dotted}
657 }