debug output
[libfirm] / testprograms / ref-results / PRIMA_c-pure-wtypes.vcg
1 graph: { title: "ir graph of PRIMA_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: "Data"
8 classname 2: "Block"
9 classname 13:"Control Flow"
10 classname 14:"Memory"
11 classname 15:"Dominators"
12 classname 3: "Entity type"
13 classname 4: "Entity owner"
14 classname 5: "Method Param"
15 classname 6: "Method Res"
16 classname 7: "Super"
17 classname 8: "Union"
18 classname 9: "Points-to"
19 classname 10: "Array Element Type"
20 classname 11: "Overwrites"
21 classname 12: "Member"
22 infoname 1: "Attribute"
23 infoname 2: "Verification errors"
24
25 node: {title: "n151" label: "Block  151"  info1: "visited: 10
26 irg:     PRIMA_c
27 arity: 1 backedges:
28 " info2: "((get_irn_irg(n) && get_irn_irg(n) == irg)) && Block node has wrong irg attribute"color: lightyellow}
29 edge: {sourcename: "n151" targetname: "n150" label: "0" class:13 color:red}
30 node: {title: "n152" label: "Start  152"  info1: "visited: 10
31 irg:     PRIMA_c
32 arity: 0
33 start of method of type c
34   param 0 type: class_prima_ptr
35   param 1 type: int
36 " info2: "mymode == mode_T && Start node"color: blue}
37 edge: { sourcename: "n152" targetname: "n151" class:2 priority:2 linestyle:dotted}
38 node: {title: "n150" label: "ProjX 0 150"  info1: "visited: 10
39 irg:     PRIMA_c
40 arity: 1
41 "color: yellow}
42 edge: {sourcename: "n150" targetname: "n152" label: "0" class:13 color:red}
43 edge: { sourcename: "n150" targetname: "n151" class:2 priority:2 linestyle:dotted}
44 node: {title: "n149" label: "Block  149"  info1: "visited: 10
45 irg:     PRIMA_c
46 arity: 1 backedges:
47 " info2: "((get_irn_irg(n) && get_irn_irg(n) == irg)) && Block node has wrong irg attribute"color: lightyellow}
48 edge: {sourcename: "n149" targetname: "n150" label: "0" class:13 color:red}
49 node: {title: "n158" label: "ProjT 4 158"  info1: "visited: 10
50 irg:     PRIMA_c
51 arity: 1
52 "color: yellow}
53 edge: {sourcename: "n158" targetname: "n152" label: "0" }
54 edge: { sourcename: "n158" targetname: "n151" class:2 priority:2 linestyle:dotted}
55 node: {title: "n157" label: "ProjP 0 157"  info1: "visited: 10
56 irg:     PRIMA_c
57 arity: 1
58 " info2: "(mode == get_type_mode(get_method_param_type(mt, proj))) && Mode of Proj from Start doesn't match mode of param type."color: yellow}
59 edge: {sourcename: "n157" targetname: "n158" label: "0" }
60 edge: { sourcename: "n157" targetname: "n149" class:2 priority:2 linestyle:dotted}
61 node: {title: "n159" label: "ProjM 1 159"  info1: "visited: 10
62 irg:     PRIMA_c
63 arity: 1
64 "color: yellow}
65 edge: {sourcename: "n159" targetname: "n152" label: "0" class:14 color:blue}
66 edge: { sourcename: "n159" targetname: "n151" class:2 priority:2 linestyle:dotted}
67 node: {title: "n156" label: "Sel a 156"  info1: "visited: 10
68 irg:     PRIMA_c
69 arity: 2
70 Selecting entity of type int
71   from entity of type PRIMA
72 "}
73 edge: {sourcename: "n156" targetname: "n159" label: "0" class:14 color:blue}
74 edge: {sourcename: "n156" targetname: "n157" label: "1" }
75 edge: { sourcename: "n156" targetname: "n149" class:2 priority:2 linestyle:dotted}
76 node: {title: "n155" label: "Load  155"  info1: "visited: 10
77 irg:     PRIMA_c
78 arity: 2
79 " info2: "mymode == mode_T && Load node"}
80 edge: {sourcename: "n155" targetname: "n159" label: "0" class:14 color:blue}
81 edge: {sourcename: "n155" targetname: "n156" label: "1" }
82 edge: { sourcename: "n155" targetname: "n149" class:2 priority:2 linestyle:dotted}
83 node: {title: "n154" label: "ProjIs 2 154"  info1: "visited: 10
84 irg:     PRIMA_c
85 arity: 1
86 "color: yellow}
87 edge: {sourcename: "n154" targetname: "n155" label: "0" }
88 edge: { sourcename: "n154" targetname: "n149" class:2 priority:2 linestyle:dotted}
89 node: {title: "n160" label: "ProjIs 1 160"  info1: "visited: 10
90 irg:     PRIMA_c
91 arity: 1
92 " info2: "(mode == get_type_mode(get_method_param_type(mt, proj))) && Mode of Proj from Start doesn't match mode of param type."color: yellow}
93 edge: {sourcename: "n160" targetname: "n158" label: "0" }
94 edge: { sourcename: "n160" targetname: "n149" class:2 priority:2 linestyle:dotted}
95 node: {title: "n153" label: "AddIs  153"  info1: "visited: 10
96 irg:     PRIMA_c
97 arity: 2
98 "}
99 edge: {sourcename: "n153" targetname: "n160" label: "0" }
100 edge: {sourcename: "n153" targetname: "n154" label: "1" }
101 edge: { sourcename: "n153" targetname: "n149" class:2 priority:2 linestyle:dotted}
102 node: {title: "n161" label: "ProjM 0 161"  info1: "visited: 10
103 irg:     PRIMA_c
104 arity: 1
105 "color: yellow}
106 edge: {sourcename: "n161" targetname: "n155" label: "0" class:14 color:blue}
107 edge: { sourcename: "n161" targetname: "n149" class:2 priority:2 linestyle:dotted}
108 node: {title: "n148" label: "Return  148"  info1: "visited: 10
109 irg:     PRIMA_c
110 arity: 2
111 return in method of type c
112   res 0 type: int
113 " info2: "mymode == mode_X && Result X"}
114 edge: {sourcename: "n148" targetname: "n161" label: "0" class:14 color:blue}
115 edge: {sourcename: "n148" targetname: "n153" label: "1" }
116 edge: { sourcename: "n148" targetname: "n149" class:2 priority:2 linestyle:dotted}
117 node: {title: "n147" label: "Block  147"  info1: "visited: 10
118 irg:     PRIMA_c
119 arity: 1 backedges:
120 " info2: "((get_irn_irg(n) && get_irn_irg(n) == irg)) && Block node has wrong irg attribute"color: lightyellow}
121 edge: {sourcename: "n147" targetname: "n148" label: "0" class:13 color:red}
122 node: {title: "n146" label: "End  146"  info1: "visited: 10
123 irg:     PRIMA_c
124 arity: 0
125 "color: blue}
126 edge: { sourcename: "n146" targetname: "n147" class:2 priority:2 linestyle:dotted}
127 node: {title: "e14" label: "ent a" color: yellow
128  info1: "
129 id: e14
130 allocation:  allocation_automatic
131 visibility:  visibility_local
132 variability: variability_uninitialized
133 volatility:  volatility_non_volatile
134 peculiarity: peculiarity_existent
135 name:    a
136 ld_name: no yet set
137 offset:  -1"
138 }
139 edge: { sourcename: "e14" targetname: "t11"class: 3 label: "type" color: red}
140 node: {title: "t12" label: "class PRIMA" info1: "state: layout_undefined
141 size: -1B,
142 peculiarity: peculiarity_existent
143 " color: green}
144 edge: { sourcename: "t12" targetname: "e14"class: 12 label: "member" color:blue}
145 edge: { sourcename: "t12" targetname: "e17"class: 12 label: "member" color:blue}
146 edge: { sourcename: "t12" targetname: "e20"class: 12 label: "member" color:blue}
147 node: {title: "e17" label: "ent PRIMA_set_a" color: yellow
148  info1: "
149 id: e17
150 allocation:  allocation_static
151 visibility:  visibility_local
152 variability: variability_constant
153 volatility:  volatility_non_volatile
154 peculiarity: peculiarity_existent
155 name:    set_a
156 ld_name: PRIMA_set_a
157 offset:  -1
158 irg = g68"
159 }
160 edge: { sourcename: "e17" targetname: "t15"class: 3 label: "type" color: red}
161 edge: { sourcename: "e17" targetname: "n16"label: "value 0"}
162 node: {title: "n16" label: "&(PRIMA_set_a)P  16"  info1: "visited: 3
163 arity: 0
164 Const of type type_unknown
165 " info2: "(mode_is_data (mymode) || mymode == mode_b) && Const node"color: yellow}
166 node: {title: "t15" label: "method set_a" info1: "state: layout_fixed,
167 mode: P,
168 size: 4B,
169 variadicity: variadicity_non_variadic
170 params: 2
171 results: 0
172 "}
173 edge: { sourcename: "t15" targetname: "t13"class: 5 label: "param 0" color: green}
174 edge: { sourcename: "t15" targetname: "t11"class: 5 label: "param 1" color: green}
175 node: {title: "t13" label: "pointer class_prima_ptr" info1: "state: layout_fixed,
176 mode: P,
177 size: 4B,
178 "}
179 edge: { sourcename: "t13" targetname: "t12"class: 9 label: "points to" color:green}
180 node: {title: "t11" label: "primitive int" info1: "state: layout_fixed,
181 mode: Is,
182 size: 4B,
183 "}
184 node: {title: "e20" label: "ent PRIMA_c" color: yellow
185  info1: "
186 id: e20
187 allocation:  allocation_static
188 visibility:  visibility_local
189 variability: variability_constant
190 volatility:  volatility_non_volatile
191 peculiarity: peculiarity_existent
192 name:    c
193 ld_name: PRIMA_c
194 offset:  -1
195 irg = g90"
196 }
197 edge: { sourcename: "e20" targetname: "t18"class: 3 label: "type" color: red}
198 edge: { sourcename: "e20" targetname: "n19"label: "value 0"}
199 node: {title: "n19" label: "&(PRIMA_c)P  19"  info1: "visited: 3
200 arity: 0
201 Const of type type_unknown
202 " info2: "(mode_is_data (mymode) || mymode == mode_b) && Const node"color: yellow}
203 node: {title: "t18" label: "method c" info1: "state: layout_fixed,
204 mode: P,
205 size: 4B,
206 variadicity: variadicity_non_variadic
207 params: 2
208 results: 1
209 "}
210 edge: { sourcename: "t18" targetname: "t13"class: 5 label: "param 0" color: green}
211 edge: { sourcename: "t18" targetname: "t11"class: 5 label: "param 1" color: green}
212 edge: { sourcename: "t18" targetname: "t11"class: 6 label: "res 0" color: green}
213 node: {title: "t79" label: "class cframe_tp" info1: "state: layout_undefined
214 size: -1B,
215 peculiarity: peculiarity_existent
216 " color: green}
217 edge: { sourcename: "n156" targetname: "e14"class:2 priority:2 linestyle:dotted}
218 }