projects / libfirm / blob
? search:


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