projects / libfirm / blob
? search:


03655dd89ba62b17b6d54e25ff3bbc8bd8184424
[libfirm] / testprograms / ref-results / OO_PROGRAM_EXAMPLE_main-pure-wtypes-ip.vcg
1 graph: { title: "ir graph of OO_PROGRAM_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 node: {title: "n30" label: "Block  30"  info1: "Block 30
56   mode:    BB
57   visited: 37
58   irg:     OO_PROGRAM_EXAMPLE_main
59   arity:   1
60   pred nodes:
61      0:    Proj 34
62   Private Attributes:
63   inter arity: 1  inter pred nodes:
64      0:    Proj 34
65   backedges:
66   block visited: 0  dominator info: not implemented
67 "
68 color: lightyellow}
69 edge: {sourcename: "n30" targetname: "n34" label: "0" class:13 priority:60 color:red}
70 node: {title: "n31" label: "Start OO_PROGRAM_EXAMPLE_main  31"  info1: "Start OO_PROGRAM_EXAMPLE_main 31
71   mode:    T
72   visited: 37
73   irg:     OO_PROGRAM_EXAMPLE_main
74   arity:   0
75   pred nodes:
76     -1:    Block 30
77   Private Attributes:
78   start of method of type OO_PROGRAM_EXAMPLE_main
79 "
80 color: blue}
81 edge: { sourcename: "n31" targetname: "n30" class:2  priority:50 linestyle:dotted}
82 node: {title: "n34" label: "ProjX 0 34"  info1: "Proj 34
83   mode:    X
84   visited: 37
85   irg:     OO_PROGRAM_EXAMPLE_main
86   arity:   1
87   pred nodes:
88     -1:    Block 30
89      0:    Start OO_PROGRAM_EXAMPLE_main 31
90   Private Attributes:
91 "
92 color: yellow}
93 edge: {sourcename: "n34" targetname: "n31" label: "0" class:13 priority:60 color:red}
94 edge: { sourcename: "n34" targetname: "n30" class:2  priority:50 linestyle:dotted}
95 node: {title: "n191" label: "Block  191"  info1: "Block 191
96   mode:    BB
97   visited: 37
98   irg:     OO_PROGRAM_EXAMPLE_main
99   arity:   1
100   pred nodes:
101      0:    Proj 34
102   Private Attributes:
103   inter arity: 1  inter pred nodes:
104      0:    Proj 34
105   backedges:
106   block visited: 0  dominator info: not implemented
107 "
108 color: lightyellow}
109 edge: {sourcename: "n191" targetname: "n34" label: "0" class:13 priority:60 color:red}
110 node: {title: "n193" label: "CallBegin set_a  193"  info1: "CallBegin set_a 193
111   mode:    T
112   visited: 37
113   irg:     OO_PROGRAM_EXAMPLE_main
114   arity:   1
115   pred nodes:
116     -1:    Block 191
117      0:    SymC &set_a 175
118   Private Attributes:
119   Call: 50
120   possible callees:
121     0: PRIMA_set_a
122 "
123 }
124 node: {title: "n193n175" label: "SymC &set_a  175"  info1: "SymC &set_a 175
125   mode:    P
126   visited: 37
127   irg:     OO_PROGRAM_EXAMPLE_main
128   arity:   0
129   pred nodes:
130     -1:    Block 30
131   Private Attributes:
132   kind:   addr_ent
133   entity: entity PRIMA.set_a (20)
134
135   type of value: type_unknown
136 "
137 }
138 edge: {sourcename: "n193" targetname: "n193n175" label: "0" class:16 priority:10}
139 edge: { sourcename: "n193" targetname: "n191" class:2  priority:50 linestyle:dotted}
140 node: {title: "n195" label: "ProjX 0 195"  info1: "Proj 195
141   mode:    X
142   visited: 37
143   irg:     OO_PROGRAM_EXAMPLE_main
144   arity:   1
145   pred nodes:
146     -1:    Block 191
147      0:    CallBegin set_a 193
148   Private Attributes:
149 "
150 color: yellow}
151 edge: {sourcename: "n195" targetname: "n193" label: "0" class:13 priority:60 color:red}
152 edge: { sourcename: "n195" targetname: "n191" class:2  priority:50 linestyle:dotted}
153 node: {title: "n64" label: "Block  64"  info1: "Block 64
154   mode:    BB
155   visited: 37
156   irg:     PRIMA_set_a
157   arity:   1
158   pred nodes:
159      0:    Proj 68
160   Private Attributes:
161   inter arity: 1  inter pred nodes:
162      0:    Proj 195
163   backedges:
164   block visited: 0  dominator info: not implemented
165 "
166 color: lightyellow}
167 edge: {sourcename: "n64" targetname: "n195" label: "0" class:13 priority:60 color:red}
168 node: {title: "n65" label: "Start PRIMA_set_a  65"  info1: "Start PRIMA_set_a 65
169   mode:    T
170   visited: 37
171   irg:     PRIMA_set_a
172   arity:   0
173   pred nodes:
174     -1:    Block 64
175   Private Attributes:
176   start of method of type set_a
177     param 0 type: class_prima_ptr
178     param 1 type: int
179 "
180 color: blue}
181 edge: { sourcename: "n65" targetname: "n64" class:2  priority:50 linestyle:dotted}
182 node: {title: "n68" label: "ProjX 0 68"  info1: "Proj 68
183   mode:    X
184   visited: 37
185   irg:     PRIMA_set_a
186   arity:   1
187   pred nodes:
188     -1:    Block 64
189      0:    Start PRIMA_set_a 65
190   Private Attributes:
191 "
192 color: yellow}
193 edge: {sourcename: "n68" targetname: "n65" label: "0" class:13 priority:60 color:red}
194 edge: { sourcename: "n68" targetname: "n64" class:2  priority:50 linestyle:dotted}
195 node: {title: "n74" label: "Block  74"  info1: "Block 74
196   mode:    BB
197   visited: 37
198   irg:     PRIMA_set_a
199   arity:   1
200   pred nodes:
201      0:    Proj 68
202   Private Attributes:
203   inter arity: 1  inter pred nodes:
204      0:    Proj 68
205   backedges:
206   block visited: 0  dominator info: not implemented
207 "
208 color: lightyellow}
209 edge: {sourcename: "n74" targetname: "n68" label: "0" class:13 priority:60 color:red}
210 node: {title: "n187" label: "Jmp  187"  info1: "Jmp 187
211   mode:    X
212   visited: 37
213   irg:     PRIMA_set_a
214   arity:   0
215   pred nodes:
216     -1:    Block 74
217   Private Attributes:
218 "
219 }
220 edge: { sourcename: "n187" targetname: "n74" class:2  priority:50 linestyle:dotted}
221 node: {title: "n188" label: "Block  188"  info1: "Block 188
222   mode:    BB
223   visited: 37
224   irg:     PRIMA_set_a
225   arity:   1
226   pred nodes:
227      0:    Jmp 187
228   Private Attributes:
229   inter arity: 1  inter pred nodes:
230      0:    Jmp 187
231   backedges:
232   block visited: 0  dominator info: not implemented
233 "
234 color: lightyellow}
235 edge: {sourcename: "n188" targetname: "n187" label: "0" class:13 priority:60 color:red}
236 node: {title: "n189" label: "EndReg PRIMA_set_a  189"  info1: "EndReg PRIMA_set_a 189
237   mode:    T
238   visited: 37
239   irg:     PRIMA_set_a
240   arity:   0
241   pred nodes:
242     -1:    Block 188
243   Private Attributes:
244 "
245 color: blue}
246 edge: { sourcename: "n189" targetname: "n188" class:2  priority:50 linestyle:dotted}
247 node: {title: "n194" label: "ProjX 0 194"  info1: "Proj 194
248   mode:    X
249   visited: 37
250   irg:     PRIMA_set_a
251   arity:   1
252   pred nodes:
253     -1:    Block 188
254      0:    EndReg PRIMA_set_a 189
255   Private Attributes:
256 "
257 color: yellow}
258 edge: {sourcename: "n194" targetname: "n189" label: "0" class:13 priority:60 color:red}
259 edge: { sourcename: "n194" targetname: "n188" class:2  priority:50 linestyle:dotted}
260 node: {title: "n197" label: "Block  197"  info1: "Block 197
261   mode:    BB
262   visited: 37
263   irg:     OO_PROGRAM_EXAMPLE_main
264   arity:   1
265   pred nodes:
266      0:    Break 192
267   Private Attributes:
268   inter arity: 1  inter pred nodes:
269      0:    Proj 194
270   backedges:
271   block visited: 0  dominator info: not implemented
272 "
273 color: lightyellow}
274 edge: {sourcename: "n197" targetname: "n194" label: "0" class:13 priority:60 color:red}
275 node: {title: "n199" label: "CallBegin c  199"  info1: "CallBegin c 199
276   mode:    T
277   visited: 37
278   irg:     OO_PROGRAM_EXAMPLE_main
279   arity:   1
280   pred nodes:
281     -1:    Block 197
282      0:    SymC &c 174
283   Private Attributes:
284   Call: 54
285   possible callees:
286     0: PRIMA_c
287 "
288 }
289 node: {title: "n199n174" label: "SymC &c  174"  info1: "SymC &c 174
290   mode:    P
291   visited: 37
292   irg:     OO_PROGRAM_EXAMPLE_main
293   arity:   0
294   pred nodes:
295     -1:    Block 30
296   Private Attributes:
297   kind:   addr_ent
298   entity: entity PRIMA.c (23)
299
300   type of value: type_unknown
301 "
302 }
303 edge: {sourcename: "n199" targetname: "n199n174" label: "0" class:16 priority:10}
304 edge: { sourcename: "n199" targetname: "n197" class:2  priority:50 linestyle:dotted}
305 node: {title: "n201" label: "ProjX 0 201"  info1: "Proj 201
306   mode:    X
307   visited: 37
308   irg:     OO_PROGRAM_EXAMPLE_main
309   arity:   1
310   pred nodes:
311     -1:    Block 197
312      0:    CallBegin c 199
313   Private Attributes:
314 "
315 color: yellow}
316 edge: {sourcename: "n201" targetname: "n199" label: "0" class:13 priority:60 color:red}
317 edge: { sourcename: "n201" targetname: "n197" class:2  priority:50 linestyle:dotted}
318 node: {title: "n87" label: "Block  87"  info1: "Block 87
319   mode:    BB
320   visited: 37
321   irg:     PRIMA_c
322   arity:   1
323   pred nodes:
324      0:    Proj 91
325   Private Attributes:
326   inter arity: 1  inter pred nodes:
327      0:    Proj 201
328   backedges:
329   block visited: 0  dominator info: not implemented
330 "
331 color: lightyellow}
332 edge: {sourcename: "n87" targetname: "n201" label: "0" class:13 priority:60 color:red}
333 node: {title: "n88" label: "Start PRIMA_c  88"  info1: "Start PRIMA_c 88
334   mode:    T
335   visited: 37
336   irg:     PRIMA_c
337   arity:   0
338   pred nodes:
339     -1:    Block 87
340   Private Attributes:
341   start of method of type c
342     param 0 type: class_prima_ptr
343     param 1 type: int
344 "
345 color: blue}
346 edge: { sourcename: "n88" targetname: "n87" class:2  priority:50 linestyle:dotted}
347 node: {title: "n91" label: "ProjX 0 91"  info1: "Proj 91
348   mode:    X
349   visited: 37
350   irg:     PRIMA_c
351   arity:   1
352   pred nodes:
353     -1:    Block 87
354      0:    Start PRIMA_c 88
355   Private Attributes:
356 "
357 color: yellow}
358 edge: {sourcename: "n91" targetname: "n88" label: "0" class:13 priority:60 color:red}
359 edge: { sourcename: "n91" targetname: "n87" class:2  priority:50 linestyle:dotted}
360 node: {title: "n97" label: "Block  97"  info1: "Block 97
361   mode:    BB
362   visited: 37
363   irg:     PRIMA_c
364   arity:   1
365   pred nodes:
366      0:    Proj 91
367   Private Attributes:
368   inter arity: 1  inter pred nodes:
369      0:    Proj 91
370   backedges:
371   block visited: 0  dominator info: not implemented
372 "
373 color: lightyellow}
374 edge: {sourcename: "n97" targetname: "n91" label: "0" class:13 priority:60 color:red}
375 node: {title: "n179" label: "Jmp  179"  info1: "Jmp 179
376   mode:    X
377   visited: 37
378   irg:     PRIMA_c
379   arity:   0
380   pred nodes:
381     -1:    Block 97
382   Private Attributes:
383 "
384 }
385 edge: { sourcename: "n179" targetname: "n97" class:2  priority:50 linestyle:dotted}
386 node: {title: "n180" label: "Block  180"  info1: "Block 180
387   mode:    BB
388   visited: 37
389   irg:     PRIMA_c
390   arity:   1
391   pred nodes:
392      0:    Jmp 179
393   Private Attributes:
394   inter arity: 1  inter pred nodes:
395      0:    Jmp 179
396   backedges:
397   block visited: 0  dominator info: not implemented
398 "
399 color: lightyellow}
400 edge: {sourcename: "n180" targetname: "n179" label: "0" class:13 priority:60 color:red}
401 node: {title: "n181" label: "EndReg PRIMA_c  181"  info1: "EndReg PRIMA_c 181
402   mode:    T
403   visited: 37
404   irg:     PRIMA_c
405   arity:   0
406   pred nodes:
407     -1:    Block 180
408   Private Attributes:
409 "
410 color: blue}
411 edge: { sourcename: "n181" targetname: "n180" class:2  priority:50 linestyle:dotted}
412 node: {title: "n200" label: "ProjX 0 200"  info1: "Proj 200
413   mode:    X
414   visited: 37
415   irg:     PRIMA_c
416   arity:   1
417   pred nodes:
418     -1:    Block 180
419      0:    EndReg PRIMA_c 181
420   Private Attributes:
421 "
422 color: yellow}
423 edge: {sourcename: "n200" targetname: "n181" label: "0" class:13 priority:60 color:red}
424 edge: { sourcename: "n200" targetname: "n180" class:2  priority:50 linestyle:dotted}
425 node: {title: "n40" label: "Block  40"  info1: "Block 40
426   mode:    BB
427   visited: 37
428   irg:     OO_PROGRAM_EXAMPLE_main
429   arity:   1
430   pred nodes:
431      0:    Break 198
432   Private Attributes:
433   inter arity: 1  inter pred nodes:
434      0:    Proj 200
435   backedges:
436   block visited: 0  dominator info: not implemented
437 "
438 color: lightyellow}
439 edge: {sourcename: "n40" targetname: "n200" label: "0" class:13 priority:60 color:red}
440 node: {title: "n178" label: "FilterIs 1 178"  info1: "Filter 178
441   mode:    Is
442   visited: 37
443   irg:     PRIMA_c
444   arity:   1
445   pred nodes:
446     -1:    Block 87
447      0:    Proj 95
448   Private Attributes:
449   inter arity: 1  inter pred nodes:
450      0:    0x5 42
451   backedges:
452 "
453 color: yellow}
454 node: {title: "n178n42" label: "0x5Is  42"  info1: "0x5 42
455   mode:    Is
456   visited: 37
457   irg:     OO_PROGRAM_EXAMPLE_main
458   arity:   0
459   pred nodes:
460     -1:    Block 30
461   Private Attributes:
462   Const of type type_unknown
463 "
464 color: yellow}
465 edge: {sourcename: "n178" targetname: "n178n42" label: "0" class:16 priority:10}
466 edge: { sourcename: "n178" targetname: "n87" class:2  priority:50 linestyle:dotted}
467 node: {title: "n37" label: "ProjM 1 37"  info1: "Proj 37
468   mode:    M
469   visited: 37
470   irg:     OO_PROGRAM_EXAMPLE_main
471   arity:   1
472   pred nodes:
473     -1:    Block 30
474      0:    Start OO_PROGRAM_EXAMPLE_main 31
475   Private Attributes:
476 "
477 color: yellow}
478 edge: {sourcename: "n37" targetname: "n31" label: "0" class:17 priority:10 color:blue}
479 edge: { sourcename: "n37" targetname: "n30" class:2  priority:50 linestyle:dotted}
480 node: {title: "n45" label: "Alloc  45"  info1: "Alloc 45
481   mode:    T
482   visited: 37
483   irg:     OO_PROGRAM_EXAMPLE_main
484   arity:   2
485   pred nodes:
486     -1:    Block 191
487      0:    Proj 37
488      1:    SymC PRIMA size 43
489   Private Attributes:
490   pinned state: op_pin_state_pinned
491   allocating entity of type: PRIMA
492   allocating on: the heap
493 "
494 }
495 node: {title: "n45n43" label: "SymC PRIMA size  43"  info1: "SymC PRIMA size 43
496   mode:    Iu
497   visited: 37
498   irg:     OO_PROGRAM_EXAMPLE_main
499   arity:   0
500   pred nodes:
501     -1:    Block 30
502   Private Attributes:
503   kind: size
504   type: class type PRIMA (15)
505   type of value: type_unknown
506 "
507 }
508 edge: {sourcename: "n45" targetname: "n37" label: "0" class:17 priority:10 color:blue}
509 edge: {sourcename: "n45" targetname: "n45n43" label: "1" class:16 priority:10}
510 edge: { sourcename: "n45" targetname: "n191" class:2  priority:50 linestyle:dotted}
511 node: {title: "n48" label: "ProjP 2 48"  info1: "Proj 48
512   mode:    P
513   visited: 37
514   irg:     OO_PROGRAM_EXAMPLE_main
515   arity:   1
516   pred nodes:
517     -1:    Block 191
518      0:    Alloc 45
519   Private Attributes:
520 "
521 color: yellow}
522 edge: {sourcename: "n48" targetname: "n45" label: "0" class:1  priority:50}
523 edge: { sourcename: "n48" targetname: "n191" class:2  priority:50 linestyle:dotted}
524 node: {title: "n177" label: "FilterP 0 177"  info1: "Filter 177
525   mode:    P
526   visited: 37
527   irg:     PRIMA_c
528   arity:   1
529   pred nodes:
530     -1:    Block 87
531      0:    Proj 95
532   Private Attributes:
533   inter arity: 1  inter pred nodes:
534      0:    Proj 48
535   backedges:
536 "
537 color: yellow}
538 edge: {sourcename: "n177" targetname: "n48" label: "0" class:16 priority:10}
539 edge: { sourcename: "n177" targetname: "n87" class:2  priority:50 linestyle:dotted}
540 node: {title: "n186" label: "FilterIs 1 186"  info1: "Filter 186
541   mode:    Is
542   visited: 37
543   irg:     PRIMA_set_a
544   arity:   1
545   pred nodes:
546     -1:    Block 64
547      0:    Proj 72
548   Private Attributes:
549   inter arity: 1  inter pred nodes:
550      0:    0x2 41
551   backedges:
552 "
553 color: yellow}
554 node: {title: "n186n41" label: "0x2Is  41"  info1: "0x2 41
555   mode:    Is
556   visited: 37
557   irg:     OO_PROGRAM_EXAMPLE_main
558   arity:   0
559   pred nodes:
560     -1:    Block 30
561   Private Attributes:
562   Const of type type_unknown
563 "
564 color: yellow}
565 edge: {sourcename: "n186" targetname: "n186n41" label: "0" class:16 priority:10}
566 edge: { sourcename: "n186" targetname: "n64" class:2  priority:50 linestyle:dotted}
567 node: {title: "n185" label: "FilterP 0 185"  info1: "Filter 185
568   mode:    P
569   visited: 37
570   irg:     PRIMA_set_a
571   arity:   1
572   pred nodes:
573     -1:    Block 64
574      0:    Proj 72
575   Private Attributes:
576   inter arity: 1  inter pred nodes:
577      0:    Proj 48
578   backedges:
579 "
580 color: yellow}
581 edge: {sourcename: "n185" targetname: "n48" label: "0" class:16 priority:10}
582 edge: { sourcename: "n185" targetname: "n64" class:2  priority:50 linestyle:dotted}
583 node: {title: "n47" label: "ProjM 0 47"  info1: "Proj 47
584   mode:    M
585   visited: 37
586   irg:     OO_PROGRAM_EXAMPLE_main
587   arity:   1
588   pred nodes:
589     -1:    Block 191
590      0:    Alloc 45
591   Private Attributes:
592 "
593 color: yellow}
594 edge: {sourcename: "n47" targetname: "n45" label: "0" class:17 priority:10 color:blue}
595 edge: { sourcename: "n47" targetname: "n191" class:2  priority:50 linestyle:dotted}
596 node: {title: "n184" label: "FilterM 1 184"  info1: "Filter 184
597   mode:    M
598   visited: 37
599   irg:     PRIMA_set_a
600   arity:   1
601   pred nodes:
602     -1:    Block 64
603      0:    Start PRIMA_set_a 65
604   Private Attributes:
605   inter arity: 1  inter pred nodes:
606      0:    Proj 47
607   backedges:
608 "
609 color: yellow}
610 edge: {sourcename: "n184" targetname: "n47" label: "0" class:17 priority:10 color:blue}
611 edge: { sourcename: "n184" targetname: "n64" class:2  priority:50 linestyle:dotted}
612 node: {title: "n78" label: "Sel a 78"  info1: "Sel 78
613   mode:    P
614   visited: 37
615   irg:     PRIMA_set_a
616   arity:   2
617   pred nodes:
618     -1:    Block 74
619      0:    Filter 184
620      1:    Filter 185
621   Private Attributes:
622   Selecting entity of type int
623     from entity of type PRIMA
624 "
625 }
626 edge: {sourcename: "n78" targetname: "n184" label: "0" class:17 priority:10 color:blue}
627 edge: {sourcename: "n78" targetname: "n185" label: "1" class:16 priority:10}
628 edge: { sourcename: "n78" targetname: "n74" class:2  priority:50 linestyle:dotted}
629 node: {title: "n79" label: "Store  79"  info1: "Store 79
630   mode:    T
631   visited: 37
632   irg:     PRIMA_set_a
633   arity:   3
634   pred nodes:
635     -1:    Block 74
636      0:    Filter 184
637      1:    Sel 78
638      2:    Filter 186
639   Private Attributes:
640   pinned state: op_pin_state_pinned
641   volatility: volatility_non_volatile
642 "
643 }
644 edge: {sourcename: "n79" targetname: "n184" label: "0" class:17 priority:10 color:blue}
645 edge: {sourcename: "n79" targetname: "n78" label: "1" class:1  priority:50}
646 edge: {sourcename: "n79" targetname: "n186" label: "2" class:16 priority:10}
647 edge: { sourcename: "n79" targetname: "n74" class:2  priority:50 linestyle:dotted}
648 node: {title: "n81" label: "ProjM 0 81"  info1: "Proj 81
649   mode:    M
650   visited: 37
651   irg:     PRIMA_set_a
652   arity:   1
653   pred nodes:
654     -1:    Block 74
655      0:    Store 79
656   Private Attributes:
657 "
658 color: yellow}
659 edge: {sourcename: "n81" targetname: "n79" label: "0" class:17 priority:10 color:blue}
660 edge: { sourcename: "n81" targetname: "n74" class:2  priority:50 linestyle:dotted}
661 node: {title: "n196" label: "FilterM 0 196"  info1: "Filter 196
662   mode:    M
663   visited: 37
664   irg:     OO_PROGRAM_EXAMPLE_main
665   arity:   1
666   pred nodes:
667     -1:    Block 197
668      0:    Call 50
669   Private Attributes:
670   inter arity: 1  inter pred nodes:
671      0:    Proj 81
672   backedges:
673 "
674 color: yellow}
675 edge: {sourcename: "n196" targetname: "n81" label: "0" class:17 priority:10 color:blue}
676 edge: { sourcename: "n196" targetname: "n197" class:2  priority:50 linestyle:dotted}
677 node: {title: "n176" label: "FilterM 1 176"  info1: "Filter 176
678   mode:    M
679   visited: 37
680   irg:     PRIMA_c
681   arity:   1
682   pred nodes:
683     -1:    Block 87
684      0:    Start PRIMA_c 88
685   Private Attributes:
686   inter arity: 1  inter pred nodes:
687      0:    Filter 196
688   backedges:
689 "
690 color: yellow}
691 edge: {sourcename: "n176" targetname: "n196" label: "0" class:17 priority:10 color:blue}
692 edge: { sourcename: "n176" targetname: "n87" class:2  priority:50 linestyle:dotted}
693 node: {title: "n101" label: "Sel a 101"  info1: "Sel 101
694   mode:    P
695   visited: 37
696   irg:     PRIMA_c
697   arity:   2
698   pred nodes:
699     -1:    Block 97
700      0:    Filter 176
701      1:    Filter 177
702   Private Attributes:
703   Selecting entity of type int
704     from entity of type PRIMA
705 "
706 }
707 edge: {sourcename: "n101" targetname: "n176" label: "0" class:17 priority:10 color:blue}
708 edge: {sourcename: "n101" targetname: "n177" label: "1" class:16 priority:10}
709 edge: { sourcename: "n101" targetname: "n97" class:2  priority:50 linestyle:dotted}
710 node: {title: "n102" label: "Load[Is]  102"  info1: "Load[Is] 102
711   mode:    T
712   visited: 37
713   irg:     PRIMA_c
714   arity:   2
715   pred nodes:
716     -1:    Block 97
717      0:    Filter 176
718      1:    Sel 101
719   Private Attributes:
720   pinned state: op_pin_state_pinned
721   mode of loaded value: Is
722   volatility: volatility_non_volatile
723 "
724 }
725 edge: {sourcename: "n102" targetname: "n176" label: "0" class:17 priority:10 color:blue}
726 edge: {sourcename: "n102" targetname: "n101" label: "1" class:1  priority:50}
727 edge: { sourcename: "n102" targetname: "n97" class:2  priority:50 linestyle:dotted}
728 node: {title: "n105" label: "ProjIs 2 105"  info1: "Proj 105
729   mode:    Is
730   visited: 37
731   irg:     PRIMA_c
732   arity:   1
733   pred nodes:
734     -1:    Block 97
735      0:    Load[Is] 102
736   Private Attributes:
737 "
738 color: yellow}
739 edge: {sourcename: "n105" targetname: "n102" label: "0" class:1  priority:50}
740 edge: { sourcename: "n105" targetname: "n97" class:2  priority:50 linestyle:dotted}
741 node: {title: "n106" label: "AddIs  106"  info1: "Add 106
742   mode:    Is
743   visited: 37
744   irg:     PRIMA_c
745   arity:   2
746   pred nodes:
747     -1:    Block 97
748      0:    Proj 105
749      1:    Filter 178
750   Private Attributes:
751 "
752 }
753 edge: {sourcename: "n106" targetname: "n105" label: "0" class:1  priority:50}
754 edge: {sourcename: "n106" targetname: "n178" label: "1" class:16 priority:10}
755 edge: { sourcename: "n106" targetname: "n97" class:2  priority:50 linestyle:dotted}
756 node: {title: "n203" label: "FilterIs 0 203"  info1: "Filter 203
757   mode:    Is
758   visited: 37
759   irg:     OO_PROGRAM_EXAMPLE_main
760   arity:   1
761   pred nodes:
762     -1:    Block 40
763      0:    Proj 57
764   Private Attributes:
765   inter arity: 1  inter pred nodes:
766      0:    Add 106
767   backedges:
768 "
769 color: yellow}
770 edge: {sourcename: "n203" targetname: "n106" label: "0" class:16 priority:10}
771 edge: { sourcename: "n203" targetname: "n40" class:2  priority:50 linestyle:dotted}
772 node: {title: "n104" label: "ProjM 0 104"  info1: "Proj 104
773   mode:    M
774   visited: 37
775   irg:     PRIMA_c
776   arity:   1
777   pred nodes:
778     -1:    Block 97
779      0:    Load[Is] 102
780   Private Attributes:
781 "
782 color: yellow}
783 edge: {sourcename: "n104" targetname: "n102" label: "0" class:17 priority:10 color:blue}
784 edge: { sourcename: "n104" targetname: "n97" class:2  priority:50 linestyle:dotted}
785 node: {title: "n202" label: "FilterM 0 202"  info1: "Filter 202
786   mode:    M
787   visited: 37
788   irg:     OO_PROGRAM_EXAMPLE_main
789   arity:   1
790   pred nodes:
791     -1:    Block 40
792      0:    Call 54
793   Private Attributes:
794   inter arity: 1  inter pred nodes:
795      0:    Proj 104
796   backedges:
797 "
798 color: yellow}
799 edge: {sourcename: "n202" targetname: "n104" label: "0" class:17 priority:10 color:blue}
800 edge: { sourcename: "n202" targetname: "n40" class:2  priority:50 linestyle:dotted}
801 node: {title: "n59" label: "Return  59"  info1: "Return 59
802   mode:    X
803   visited: 37
804   irg:     OO_PROGRAM_EXAMPLE_main
805   arity:   2
806   pred nodes:
807     -1:    Block 40
808      0:    Filter 202
809      1:    Filter 203
810   Private Attributes:
811 "
812 }
813 edge: {sourcename: "n59" targetname: "n202" label: "0" class:14 priority:50 color:blue}
814 edge: {sourcename: "n59" targetname: "n203" label: "1" class:1  priority:50}
815 edge: { sourcename: "n59" targetname: "n40" class:2  priority:50 linestyle:dotted}
816 node: {title: "n28" label: "Block  28"  info1: "Block 28
817   mode:    BB
818   visited: 37
819   irg:     OO_PROGRAM_EXAMPLE_main
820   arity:   1
821   pred nodes:
822      0:    Return 59
823   Private Attributes:
824   inter arity: 1  inter pred nodes:
825      0:    Return 59
826   backedges:
827   block visited: 0  dominator info: not implemented
828 "
829 color: lightyellow}
830 edge: {sourcename: "n28" targetname: "n59" label: "0" class:13 priority:60 color:red}
831 node: {title: "n109" label: "End OO_PROGRAM_EXAMPLE_main  109"  info1: "End OO_PROGRAM_EXAMPLE_main 109
832   mode:    X
833   visited: 37
834   irg:     OO_PROGRAM_EXAMPLE_main
835   arity:   2
836   pred nodes:
837     -1:    Block 28
838      0:    Block 191
839      1:    Block 197
840   Private Attributes:
841 "
842 color: blue}
843 edge: { sourcename: "n109" targetname: "n28" class:2  priority:50 linestyle:dotted}
844 node: {title: "e17" label: "ent a" color: yellow
845  info1: "entity a (17)
846   type:  int (14)
847   owner: PRIMA (15)
848   Does not overwrite other entities.
849   Is not overwritten by other entities.
850   allocation:  allocation_automatic
851   visibility:  visibility_local
852   variability: variability_uninitialized
853   volatility:  volatility_non_volatile
854   peculiarity: peculiarity_existent
855   ld_name: no yet set
856   offset:  -1
857
858 "
859 }
860 edge: { sourcename: "e17" targetname: "t14"class: 3 label: "type" color: red}
861 node: {title: "t15" label: "class PRIMA" info1: "state: layout_undefined
862 size: -1b,
863 peculiarity: peculiarity_existent
864 " color: green}
865 edge: { sourcename: "t15" targetname: "e17"class: 12 label: "member" color:blue}
866 edge: { sourcename: "t15" targetname: "e20"class: 12 label: "member" color:blue}
867 edge: { sourcename: "t15" targetname: "e23"class: 12 label: "member" color:blue}
868 node: {title: "e20" label: "ent PRIMA_set_a" color: yellow
869  info1: "entity set_a (20)
870   type:  set_a (18)
871   owner: PRIMA (15)
872   Does not overwrite other entities.
873   Is not overwritten by other entities.
874   allocation:  allocation_static
875   visibility:  visibility_local
876   variability: variability_constant
877   atomic value: SymC &set_a
878   volatility:  volatility_non_volatile
879   peculiarity: peculiarity_existent
880   ld_name: PRIMA_set_a
881   offset:  -1
882   irg = 73
883
884 "
885 }
886 edge: { sourcename: "e20" targetname: "t18"class: 3 label: "type" color: red}
887 edge: { sourcename: "e20" targetname: "n19"label: "value 0"}
888 node: {title: "n19" label: "SymC &set_a  19"  info1: "SymC &set_a 19
889   mode:    P
890   visited: 40
891   arity:   0
892   pred nodes:
893     -1:    Block 1
894   Private Attributes:
895   kind:   addr_ent
896   entity: entity PRIMA.set_a (20)
897
898   type of value: type_unknown
899 "
900 }
901 node: {title: "t18" label: "method set_a" info1: "state: layout_fixed,
902 mode: P,
903 size: 32b,
904 variadicity: variadicity_non_variadic
905 params: 2
906 results: 0
907 "}
908 edge: { sourcename: "t18" targetname: "t16"class: 5 label: "param 0" color: green}
909 edge: { sourcename: "t18" targetname: "t14"class: 5 label: "param 1" color: green}
910 node: {title: "t16" label: "pointer class_prima_ptr" info1: "state: layout_fixed,
911 mode: P,
912 size: 32b,
913 "}
914 edge: { sourcename: "t16" targetname: "t15"class: 9 label: "points to" color:green}
915 node: {title: "t14" label: "primitive int" info1: "state: layout_fixed,
916 mode: Is,
917 size: 32b,
918 "}
919 node: {title: "e23" label: "ent PRIMA_c" color: yellow
920  info1: "entity c (23)
921   type:  c (21)
922   owner: PRIMA (15)
923   Does not overwrite other entities.
924   Is not overwritten by other entities.
925   allocation:  allocation_static
926   visibility:  visibility_local
927   variability: variability_constant
928   atomic value: SymC &c
929   volatility:  volatility_non_volatile
930   peculiarity: peculiarity_existent
931   ld_name: PRIMA_c
932   offset:  -1
933   irg = 96
934
935 "
936 }
937 edge: { sourcename: "e23" targetname: "t21"class: 3 label: "type" color: red}
938 edge: { sourcename: "e23" targetname: "n22"label: "value 0"}
939 node: {title: "n22" label: "SymC &c  22"  info1: "SymC &c 22
940   mode:    P
941   visited: 41
942   arity:   0
943   pred nodes:
944     -1:    Block 1
945   Private Attributes:
946   kind:   addr_ent
947   entity: entity PRIMA.c (23)
948
949   type of value: type_unknown
950 "
951 }
952 node: {title: "t21" label: "method c" info1: "state: layout_fixed,
953 mode: P,
954 size: 32b,
955 variadicity: variadicity_non_variadic
956 params: 2
957 results: 1
958 "}
959 edge: { sourcename: "t21" targetname: "t16"class: 5 label: "param 0" color: green}
960 edge: { sourcename: "t21" targetname: "t14"class: 5 label: "param 1" color: green}
961 edge: { sourcename: "t21" targetname: "t14"class: 6 label: "res 0" color: green}
962 node: {title: "e26" label: "ent OO_PROGRAM_EXAMPLE_main" color: yellow
963  info1: "entity OO_PROGRAM_EXAMPLE_main (26)
964   type:  OO_PROGRAM_EXAMPLE_main (24)
965   owner: GlobalType (0)
966   Does not overwrite other entities.
967   Is not overwritten by other entities.
968   allocation:  allocation_static
969   visibility:  visibility_local
970   variability: variability_constant
971   atomic value: SymC &OO_PROGRAM_EXAMPLE_main
972   volatility:  volatility_non_volatile
973   peculiarity: peculiarity_existent
974   ld_name: no yet set
975   offset:  -1
976   irg = 39
977
978 "
979 }
980 edge: { sourcename: "e26" targetname: "t24"class: 3 label: "type" color: red}
981 edge: { sourcename: "e26" targetname: "n25"label: "value 0"}
982 node: {title: "n25" label: "SymC &OO_PROGRAM_EXAMPLE_main  25"  info1: "SymC &OO_PROGRAM_EXAMPLE_main 25
983   mode:    P
984   visited: 42
985   arity:   0
986   pred nodes:
987     -1:    Block 1
988   Private Attributes:
989   kind:   addr_ent
990   entity: entity GlobalType.OO_PROGRAM_EXAMPLE_main (26)
991
992   type of value: type_unknown
993 "
994 }
995 node: {title: "t0" label: "class GlobalType" info1: "state: layout_undefined
996 size: -1b,
997 peculiarity: peculiarity_existent
998 " color: green}
999 edge: { sourcename: "t0" targetname: "e26"class: 12 label: "member" color:blue}
1000 node: {title: "t24" label: "method OO_PROGRAM_EXAMPLE_main" info1: "state: layout_fixed,
1001 mode: P,
1002 size: 32b,
1003 variadicity: variadicity_non_variadic
1004 params: 0
1005 results: 1
1006 "}
1007 edge: { sourcename: "t24" targetname: "t14"class: 6 label: "res 0" color: green}
1008 node: {title: "t27" label: "class OO_PROGRAM_EXAMPLE_mainframe_tp" info1: "state: layout_undefined
1009 size: -1b,
1010 peculiarity: peculiarity_existent
1011 " color: green}
1012 edge: { sourcename: "n101" targetname: "e17"class:2 priority:2 linestyle:dotted}
1013 edge: { sourcename: "n45" targetname: "t15"class:2 priority:2 linestyle:dotted}
1014 edge: { sourcename: "n43" targetname: "t15"class:2 priority:2 linestyle:dotted}
1015 edge: { sourcename: "n78" targetname: "e17"class:2 priority:2 linestyle:dotted}
1016 }
libfirm