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