projects / libfirm / blob
? search:


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