renamed old IrgVrfy() into new IrgVerify()
[libfirm] / testprograms / ref-results / PRIMA_INLINE_c.vcg
1 graph: { title: "ir graph of PRIMA_INLINE_c"
2 display_edge_labels: no
3 layoutalgorithm: mindepth
4 manhattan_edges: yes
5 port_sharing: no
6 orientation: bottom_to_top
7 classname 1:  "intrablock Data"
8 classname 16: "interblock Data"
9 classname 2:  "Block"
10 classname 13: "Control Flow"
11 classname 18: "Exception Control Flow for Interval Analysis"
12 classname 14: "intrablock Memory"
13 classname 17: "interblock Memory"
14 classname 15: "Dominators"
15 classname 3:  "Entity type"
16 classname 4:  "Entity owner"
17 classname 5:  "Method Param"
18 classname 6:  "Method Res"
19 classname 7:  "Super"
20 classname 8:  "Union"
21 classname 9:  "Points-to"
22 classname 10: "Array Element Type"
23 classname 11: "Overwrites"
24 classname 12: "Member"
25 infoname 1: "Attribute"
26 infoname 2: "Verification errors"
27 infoname 3: "Debug info"
28 colorentry 100:    0   0    0
29 colorentry 101:   20   0    0
30 colorentry 102:   40   0    0
31 colorentry 103:   60   0    0
32 colorentry 104:   80   0    0
33 colorentry 105:  100   0    0
34 colorentry 106:  120   0    0
35 colorentry 107:  140   0    0
36 colorentry 108:  150   0    0
37 colorentry 109:  180   0    0
38 colorentry 110:  200   0    0
39 colorentry 111:  220   0    0
40 colorentry 112:  240   0    0
41 colorentry 113:  255   0    0
42 colorentry 113:  255  20   20
43 colorentry 114:  255  40   40
44 colorentry 115:  255  60   60
45 colorentry 116:  255  80   80
46 colorentry 117:  255 100  100
47 colorentry 118:  255 120  120
48 colorentry 119:  255 140  140
49 colorentry 120:  255 150  150
50 colorentry 121:  255 180  180
51 colorentry 122:  255 200  200
52 colorentry 123:  255 220  220
53 colorentry 124:  255 240  240
54 colorentry 125:  255 250  250
55
56 graph: { title: "g96" label: "PRIMA_INLINE_c" status:clustered color:white
57 graph: { title: "n102"  label: "Block 102" status:clustered color:yellow
58 edge: {sourcename: "n102" targetname: "n101" label: "0" class:13 priority:60 color:red}
59 edge: {sourcename: "n102" targetname: "n109" label: "1" class:13 priority:60 color:red}
60 node: {title: "n131" label: "PhiM 131"  info1: "Phi 131
61   mode:    M
62   visited: 25
63   irg:     PRIMA_INLINE_c
64   arity:   2
65   pred nodes:
66     -1:    Block 102
67      0:    Proj 94
68      1:    Proj 119
69   Private Attributes:
70   backedges:
71 "
72 color: green}
73 edge: {sourcename: "n131" targetname: "n94" label: "0" class:17 priority:10 color:blue}
74 edge: {sourcename: "n131" targetname: "n119" label: "1" class:17 priority:10 color:blue}
75 node: {title: "n119" label: "ProjM M 119"  info1: "Proj 119
76   mode:    M
77   visited: 25
78   irg:     PRIMA_INLINE_c
79   arity:   1
80   pred nodes:
81     -1:    Block 102
82      0:    Store 117
83   Private Attributes:
84   proj nr: 0
85 "
86 color: yellow}
87 edge: {sourcename: "n119" targetname: "n117" label: "0" class:17 priority:10 color:blue}
88 node: {title: "n117" label: "Store 117"  info1: "Store 117
89   mode:    T
90   visited: 25
91   irg:     PRIMA_INLINE_c
92   arity:   3
93   pred nodes:
94     -1:    Block 102
95      0:    Phi 131
96      1:    Sel 116
97      2:    Phi 127
98   Private Attributes:
99   pinned state: op_pin_state_pinned
100   volatility: volatility_non_volatile
101 "
102 }
103 edge: {sourcename: "n117" targetname: "n131" label: "0" class:14 priority:50 color:blue}
104 edge: {sourcename: "n117" targetname: "n116" label: "1" class:1  priority:50}
105 edge: {sourcename: "n117" targetname: "n127" label: "2" class:1  priority:50}
106 node: {title: "n116" label: "Sel a 116"  info1: "Sel 116
107   mode:    P
108   visited: 25
109   irg:     PRIMA_INLINE_c
110   arity:   2
111   pred nodes:
112     -1:    Block 102
113      0:    Phi 131
114      1:    Proj 98
115   Private Attributes:
116   Selecting entity a (17)
117     of type    int
118     with owner PRIMA_INLINE.
119 "
120 }
121 edge: {sourcename: "n116" targetname: "n131" label: "0" class:14 priority:50 color:blue}
122 edge: {sourcename: "n116" targetname: "n98" label: "1" class:16 priority:10}
123 node: {title: "n127" label: "PhiIs 127"  info1: "Phi 127
124   mode:    Is
125   visited: 25
126   irg:     PRIMA_INLINE_c
127   arity:   2
128   pred nodes:
129     -1:    Block 102
130      0:    Proj 99
131      1:    Phi 128
132   Private Attributes:
133   backedges:
134 "
135 color: green}
136 edge: {sourcename: "n127" targetname: "n99" label: "0" class:16 priority:10}
137 edge: {sourcename: "n127" targetname: "n128" label: "1" class:1  priority:50}
138 node: {title: "n128" label: "PhiIs 128"  info1: "Phi 128
139   mode:    Is
140   visited: 25
141   irg:     PRIMA_INLINE_c
142   arity:   2
143   pred nodes:
144     -1:    Block 102
145      0:    0x0 100
146      1:    Phi 127
147   Private Attributes:
148   backedges:
149 "
150 color: green}
151 edge: {sourcename: "n128" targetname: "n100" label: "0" class:16 priority:10}
152 edge: {sourcename: "n128" targetname: "n127" label: "1" class:1  priority:50}
153 node: {title: "n109" label: "Jmp 109"  info1: "Jmp 109
154   mode:    X
155   visited: 25
156   irg:     PRIMA_INLINE_c
157   arity:   0
158   pred nodes:
159     -1:    Block 102
160   Private Attributes:
161 "
162 }
163 }
164
165 graph: { title: "n97"  label: "Block 97" status:clustered color:yellow
166 edge: {sourcename: "n97" targetname: "n91" label: "0" class:13 priority:60 color:red}
167 node: {title: "n98" label: "ProjP Arg 0 98"  info1: "Proj 98
168   mode:    P
169   visited: 25
170   irg:     PRIMA_INLINE_c
171   arity:   1
172   pred nodes:
173     -1:    Block 97
174      0:    Proj 95
175   Private Attributes:
176   proj nr: 0
177 "
178 color: yellow}
179 edge: {sourcename: "n98" targetname: "n95" label: "0" class:16 priority:10}
180 node: {title: "n99" label: "ProjIs Arg 1 99"  info1: "Proj 99
181   mode:    Is
182   visited: 25
183   irg:     PRIMA_INLINE_c
184   arity:   1
185   pred nodes:
186     -1:    Block 97
187      0:    Proj 95
188   Private Attributes:
189   proj nr: 1
190 "
191 color: yellow}
192 edge: {sourcename: "n99" targetname: "n95" label: "0" class:16 priority:10}
193 node: {title: "n101" label: "Jmp 101"  info1: "Jmp 101
194   mode:    X
195   visited: 25
196   irg:     PRIMA_INLINE_c
197   arity:   0
198   pred nodes:
199     -1:    Block 97
200   Private Attributes:
201 "
202 }
203 }
204
205 graph: { title: "n87"  label: "Block 87" status:clustered color:yellow
206 edge: {sourcename: "n87" targetname: "n91" label: "0" class:13 priority:60 color:red}
207 node: {title: "n94" label: "ProjM 1 94"  info1: "Proj 94
208   mode:    M
209   visited: 25
210   irg:     PRIMA_INLINE_c
211   arity:   1
212   pred nodes:
213     -1:    Block 87
214      0:    Start 88
215   Private Attributes:
216   proj nr: 1
217 "
218 color: yellow}
219 edge: {sourcename: "n94" targetname: "n88" label: "0" class:17 priority:10 color:blue}
220 node: {title: "n95" label: "ProjT T_args 95"  info1: "Proj 95
221   mode:    T
222   visited: 25
223   irg:     PRIMA_INLINE_c
224   arity:   1
225   pred nodes:
226     -1:    Block 87
227      0:    Start 88
228   Private Attributes:
229   proj nr: 4
230 "
231 color: yellow}
232 edge: {sourcename: "n95" targetname: "n88" label: "0" class:1  priority:50}
233 node: {title: "n100" label: "0x0Is 100"  info1: "0x0 100
234   mode:    Is
235   visited: 25
236   irg:     PRIMA_INLINE_c
237   arity:   0
238   pred nodes:
239     -1:    Block 87
240   Private Attributes:
241   Const of type type_unknown
242 "
243 color: yellow}
244 node: {title: "n91" label: "ProjX X_initial_exec 91"  info1: "Proj 91
245   mode:    X
246   visited: 25
247   irg:     PRIMA_INLINE_c
248   arity:   1
249   pred nodes:
250     -1:    Block 87
251      0:    Start 88
252   Private Attributes:
253   proj nr: 0
254 "
255 color: yellow}
256 edge: {sourcename: "n91" targetname: "n88" label: "0" class:13 priority:60 color:red}
257 node: {title: "n88" label: "Start 88"  info1: "Start 88
258   mode:    T
259   visited: 25
260   irg:     PRIMA_INLINE_c
261   arity:   0
262   pred nodes:
263     -1:    Block 87
264   Private Attributes:
265   start of method of type c
266     param 0 type: class_prima_ptr
267     param 1 type: int
268 "
269 color: blue}
270 }
271
272 graph: { title: "n85"  label: "Block 85" status:clustered color:yellow
273 node: {title: "n246" label: "End 246"  info1: "End 246
274   mode:    X
275   visited: 25
276   irg:     PRIMA_INLINE_c
277   arity:   2
278   pred nodes:
279     -1:    Block 85
280      0:    Block 102
281      1:    Phi 131
282   Private Attributes:
283 "
284 color: blue}
285 }
286
287 }
288
289 }