e18141683eb55767e23d647152882e788cba8f38
[libfirm] / testprograms / ref-results / OO_PROGRAM_EXAMPLE_main-pure.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: "mode:    BB
56 visited: 18
57 irg:     OO_PROGRAM_EXAMPLE_main
58 arity: 1 backedges:
59 "color: lightyellow}
60 edge: {sourcename: "n30" targetname: "n34" label: "0" class:13 priority:60 color:red}
61 node: {title: "n31" label: "Start  31"  info1: "mode:    T
62 visited: 18
63 irg:     OO_PROGRAM_EXAMPLE_main
64 arity: 0
65 start of method of type OO_PROGRAM_EXAMPLE_main
66 "color: blue}
67 edge: { sourcename: "n31" targetname: "n30" class:2  priority:50 linestyle:dotted}
68 node: {title: "n34" label: "ProjX 0 34"  info1: "mode:    X
69 visited: 18
70 irg:     OO_PROGRAM_EXAMPLE_main
71 arity: 1
72 "color: yellow}
73 edge: {sourcename: "n34" targetname: "n31" label: "0" class:13 priority:60 color:red}
74 edge: { sourcename: "n34" targetname: "n30" class:2  priority:50 linestyle:dotted}
75 node: {title: "n40" label: "Block  40"  info1: "mode:    BB
76 visited: 18
77 irg:     OO_PROGRAM_EXAMPLE_main
78 arity: 1 backedges:
79 "color: lightyellow}
80 edge: {sourcename: "n40" targetname: "n34" label: "0" class:13 priority:60 color:red}
81 node: {title: "n37" label: "ProjM 1 37"  info1: "mode:    M
82 visited: 18
83 irg:     OO_PROGRAM_EXAMPLE_main
84 arity: 1
85 "color: yellow}
86 edge: {sourcename: "n37" targetname: "n31" label: "0" class:17 priority:10 color:blue}
87 edge: { sourcename: "n37" targetname: "n30" class:2  priority:50 linestyle:dotted}
88 node: {title: "n45" label: "Alloc  45"  info1: "mode:    T
89 visited: 18
90 irg:     OO_PROGRAM_EXAMPLE_main
91 arity: 2
92 allocating entity of type PRIMA
93 "}
94 node: {title: "n45n43" label: "SymC PRIMA size  43"  info1: "mode:    Iu
95 visited: 18
96 irg:     OO_PROGRAM_EXAMPLE_main
97 arity: 0
98 kind size
99 SymConst of type type_unknown
100 "}
101 edge: {sourcename: "n45" targetname: "n37" label: "0" class:17 priority:10 color:blue}
102 edge: {sourcename: "n45" targetname: "n45n43" label: "1" class:16 priority:10}
103 edge: { sourcename: "n45" targetname: "n40" class:2  priority:50 linestyle:dotted}
104 node: {title: "n48" label: "ProjP 2 48"  info1: "mode:    P
105 visited: 18
106 irg:     OO_PROGRAM_EXAMPLE_main
107 arity: 1
108 "color: yellow}
109 edge: {sourcename: "n48" targetname: "n45" label: "0" class:1  priority:50}
110 edge: { sourcename: "n48" targetname: "n40" class:2  priority:50 linestyle:dotted}
111 node: {title: "n47" label: "ProjM 0 47"  info1: "mode:    M
112 visited: 18
113 irg:     OO_PROGRAM_EXAMPLE_main
114 arity: 1
115 "color: yellow}
116 edge: {sourcename: "n47" targetname: "n45" label: "0" class:17 priority:10 color:blue}
117 edge: { sourcename: "n47" targetname: "n40" class:2  priority:50 linestyle:dotted}
118 node: {title: "n49" label: "Sel PRIMA_set_a 49"  info1: "mode:    P
119 visited: 18
120 irg:     OO_PROGRAM_EXAMPLE_main
121 arity: 2
122 Selecting entity of type set_a
123   from entity of type PRIMA
124 "}
125 edge: {sourcename: "n49" targetname: "n47" label: "0" class:14 priority:50 color:blue}
126 edge: {sourcename: "n49" targetname: "n48" label: "1" class:1  priority:50}
127 edge: { sourcename: "n49" targetname: "n40" class:2  priority:50 linestyle:dotted}
128 node: {title: "n50" label: "Call  50"  info1: "mode:    T
129 visited: 18
130 irg:     OO_PROGRAM_EXAMPLE_main
131 arity: 4
132 calling method of type set_a
133   param 0 type: class_prima_ptr
134   param 1 type: int
135 "}
136 node: {title: "n50n41" label: "0x2Is  41"  info1: "mode:    Is
137 visited: 18
138 irg:     OO_PROGRAM_EXAMPLE_main
139 arity: 0
140 Const of type type_unknown
141 "color: yellow}
142 edge: {sourcename: "n50" targetname: "n47" label: "0" class:14 priority:50 color:blue}
143 edge: {sourcename: "n50" targetname: "n49" label: "1" class:1  priority:50}
144 edge: {sourcename: "n50" targetname: "n48" label: "2" class:1  priority:50}
145 edge: {sourcename: "n50" targetname: "n50n41" label: "3" class:16 priority:10}
146 edge: { sourcename: "n50" targetname: "n40" class:2  priority:50 linestyle:dotted}
147 node: {title: "n52" label: "ProjM 0 52"  info1: "mode:    M
148 visited: 18
149 irg:     OO_PROGRAM_EXAMPLE_main
150 arity: 1
151 "color: yellow}
152 edge: {sourcename: "n52" targetname: "n50" label: "0" class:17 priority:10 color:blue}
153 edge: { sourcename: "n52" targetname: "n40" class:2  priority:50 linestyle:dotted}
154 node: {title: "n53" label: "Sel PRIMA_c 53"  info1: "mode:    P
155 visited: 18
156 irg:     OO_PROGRAM_EXAMPLE_main
157 arity: 2
158 Selecting entity of type c
159   from entity of type PRIMA
160 "}
161 edge: {sourcename: "n53" targetname: "n52" label: "0" class:14 priority:50 color:blue}
162 edge: {sourcename: "n53" targetname: "n48" label: "1" class:1  priority:50}
163 edge: { sourcename: "n53" targetname: "n40" class:2  priority:50 linestyle:dotted}
164 node: {title: "n54" label: "Call  54"  info1: "mode:    T
165 visited: 18
166 irg:     OO_PROGRAM_EXAMPLE_main
167 arity: 4
168 calling method of type c
169   param 0 type: class_prima_ptr
170   param 1 type: int
171   resul 0 type: int
172 "}
173 node: {title: "n54n42" label: "0x5Is  42"  info1: "mode:    Is
174 visited: 18
175 irg:     OO_PROGRAM_EXAMPLE_main
176 arity: 0
177 Const of type type_unknown
178 "color: yellow}
179 edge: {sourcename: "n54" targetname: "n52" label: "0" class:14 priority:50 color:blue}
180 edge: {sourcename: "n54" targetname: "n53" label: "1" class:1  priority:50}
181 edge: {sourcename: "n54" targetname: "n48" label: "2" class:1  priority:50}
182 edge: {sourcename: "n54" targetname: "n54n42" label: "3" class:16 priority:10}
183 edge: { sourcename: "n54" targetname: "n40" class:2  priority:50 linestyle:dotted}
184 node: {title: "n57" label: "ProjT 2 57"  info1: "mode:    T
185 visited: 18
186 irg:     OO_PROGRAM_EXAMPLE_main
187 arity: 1
188 "color: yellow}
189 edge: {sourcename: "n57" targetname: "n54" label: "0" class:1  priority:50}
190 edge: { sourcename: "n57" targetname: "n40" class:2  priority:50 linestyle:dotted}
191 node: {title: "n58" label: "ProjIs 0 58"  info1: "mode:    Is
192 visited: 18
193 irg:     OO_PROGRAM_EXAMPLE_main
194 arity: 1
195 "color: yellow}
196 edge: {sourcename: "n58" targetname: "n57" label: "0" class:1  priority:50}
197 edge: { sourcename: "n58" targetname: "n40" class:2  priority:50 linestyle:dotted}
198 node: {title: "n56" label: "ProjM 0 56"  info1: "mode:    M
199 visited: 18
200 irg:     OO_PROGRAM_EXAMPLE_main
201 arity: 1
202 "color: yellow}
203 edge: {sourcename: "n56" targetname: "n54" label: "0" class:17 priority:10 color:blue}
204 edge: { sourcename: "n56" targetname: "n40" class:2  priority:50 linestyle:dotted}
205 node: {title: "n59" label: "Return  59"  info1: "mode:    X
206 visited: 18
207 irg:     OO_PROGRAM_EXAMPLE_main
208 arity: 2
209 return in method of type OO_PROGRAM_EXAMPLE_main
210   res 0 type: int
211 "}
212 edge: {sourcename: "n59" targetname: "n56" label: "0" class:14 priority:50 color:blue}
213 edge: {sourcename: "n59" targetname: "n58" label: "1" class:1  priority:50}
214 edge: { sourcename: "n59" targetname: "n40" class:2  priority:50 linestyle:dotted}
215 node: {title: "n28" label: "Block  28"  info1: "mode:    BB
216 visited: 18
217 irg:     OO_PROGRAM_EXAMPLE_main
218 arity: 1 backedges:
219 "color: lightyellow}
220 edge: {sourcename: "n28" targetname: "n59" label: "0" class:13 priority:60 color:red}
221 node: {title: "n109" label: "End  109"  info1: "mode:    X
222 visited: 18
223 irg:     OO_PROGRAM_EXAMPLE_main
224 arity: 0
225 "color: blue}
226 edge: { sourcename: "n109" targetname: "n28" class:2  priority:50 linestyle:dotted}
227 }