projects / libfirm / blob
? search:


5b5d7945eb81d6c937903b3d6f4099234d1ae9f9
[libfirm] / testprograms / ref-results / STRENGTH_RED_EXAMPLE_m4-strength_reduced.vcg
1 graph: { title: "ir graph of STRENGTH_RED_EXAMPLE_m4"
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 graph: { title: "g279" label: "STRENGTH_RED_EXAMPLE_m4" status:clustered color:white
56 graph: { title: "n268"  label: "Block 268" status:clustered color:yellow
57 edge: {sourcename: "n268" targetname: "n319" label: "0" class:13 priority:60 color:red}
58 node: {title: "n269" label: "End  269"  info1: "mode:    X
59 visited: 32
60 irg:     STRENGTH_RED_EXAMPLE_m4
61 arity: 1
62 "color: blue}
63 }
64
65 graph: { title: "n316"  label: "Block 316" status:clustered color:yellow
66 edge: {sourcename: "n316" targetname: "n290" label: "0" class:13 priority:60 color:red}
67 node: {title: "n319" label: "Return  319"  info1: "mode:    X
68 visited: 32
69 irg:     STRENGTH_RED_EXAMPLE_m4
70 arity: 2
71 return in method of type STRENGTH_RED_EXAMPLE_meth_tp
72   res 0 type: int
73 "}
74 node: {title: "n319n294" label: "0x4Is  294"  info1: "mode:    Is
75 visited: 32
76 irg:     STRENGTH_RED_EXAMPLE_m4
77 arity: 0
78 Const of type type_unknown
79 "color: yellow}
80 edge: {sourcename: "n319" targetname: "n323" label: "0" class:17 priority:10 color:blue}
81 edge: {sourcename: "n319" targetname: "n319n294" label: "1" class:16 priority:10}
82 }
83
84 graph: { title: "n284"  label: "Block 284" status:clustered color:yellow
85 edge: {sourcename: "n284" targetname: "n283" label: "0" class:13 priority:60 color:red}
86 backedge: {sourcename: "n284" targetname: "n310" label: "1" linestyle:dashed class:13 priority:60 color:red}
87 node: {title: "n323" label: "PhiM  323"  info1: "mode:    M
88 visited: 32
89 irg:     STRENGTH_RED_EXAMPLE_m4
90 arity: 2 backedges:
91 "color: green}
92 edge: {sourcename: "n323" targetname: "n277" label: "0" class:17 priority:10 color:blue}
93 edge: {sourcename: "n323" targetname: "n309" label: "1" class:17 priority:10 color:blue}
94 node: {title: "n627" label: "PhiIs  627"  info1: "mode:    Is
95 visited: 32
96 irg:     STRENGTH_RED_EXAMPLE_m4
97 arity: 2 backedges:
98 "color: green}
99 node: {title: "n627n281" label: "0x0Is  281"  info1: "mode:    Is
100 visited: 32
101 irg:     STRENGTH_RED_EXAMPLE_m4
102 arity: 0
103 Const of type type_unknown
104 "color: yellow}
105 edge: {sourcename: "n627" targetname: "n627n281" label: "0" class:16 priority:10}
106 edge: {sourcename: "n627" targetname: "n628" label: "1" class:16 priority:10}
107 node: {title: "n634" label: "PhiIs  634"  info1: "mode:    Is
108 visited: 32
109 irg:     STRENGTH_RED_EXAMPLE_m4
110 arity: 2 backedges:
111 "color: green}
112 node: {title: "n634n281" label: "0x0Is  281"  info1: "mode:    Is
113 visited: 32
114 irg:     STRENGTH_RED_EXAMPLE_m4
115 arity: 0
116 Const of type type_unknown
117 "color: yellow}
118 edge: {sourcename: "n634" targetname: "n634n281" label: "0" class:16 priority:10}
119 edge: {sourcename: "n634" targetname: "n635" label: "1" class:16 priority:10}
120 node: {title: "n290" label: "ProjX 0 290"  info1: "mode:    X
121 visited: 32
122 irg:     STRENGTH_RED_EXAMPLE_m4
123 arity: 1
124 "color: yellow}
125 edge: {sourcename: "n290" targetname: "n289" label: "0" class:13 priority:60 color:red}
126 node: {title: "n291" label: "ProjX 1 291"  info1: "mode:    X
127 visited: 32
128 irg:     STRENGTH_RED_EXAMPLE_m4
129 arity: 1
130 "color: yellow}
131 edge: {sourcename: "n291" targetname: "n289" label: "0" class:13 priority:60 color:red}
132 node: {title: "n289" label: "Cond  289"  info1: "mode:    T
133 visited: 32
134 irg:     STRENGTH_RED_EXAMPLE_m4
135 arity: 1
136 "}
137 edge: {sourcename: "n289" targetname: "n288" label: "0" class:1  priority:50}
138 node: {title: "n288" label: "Projb Gt 288"  info1: "mode:    b
139 visited: 32
140 irg:     STRENGTH_RED_EXAMPLE_m4
141 arity: 1
142 "color: yellow}
143 edge: {sourcename: "n288" targetname: "n287" label: "0" class:1  priority:50}
144 node: {title: "n287" label: "Cmp  287"  info1: "mode:    T
145 visited: 32
146 irg:     STRENGTH_RED_EXAMPLE_m4
147 arity: 2
148 "}
149 node: {title: "n287n286" label: "0xAIs  286"  info1: "mode:    Is
150 visited: 32
151 irg:     STRENGTH_RED_EXAMPLE_m4
152 arity: 0
153 Const of type type_unknown
154 "color: yellow}
155 edge: {sourcename: "n287" targetname: "n287n286" label: "0" class:16 priority:10}
156 edge: {sourcename: "n287" targetname: "n324" label: "1" class:1  priority:50}
157 node: {title: "n324" label: "PhiIs  324"  info1: "mode:    Is
158 visited: 32
159 irg:     STRENGTH_RED_EXAMPLE_m4
160 arity: 2 backedges:
161 "color: green}
162 node: {title: "n324n281" label: "0x0Is  281"  info1: "mode:    Is
163 visited: 32
164 irg:     STRENGTH_RED_EXAMPLE_m4
165 arity: 0
166 Const of type type_unknown
167 "color: yellow}
168 edge: {sourcename: "n324" targetname: "n324n281" label: "0" class:16 priority:10}
169 edge: {sourcename: "n324" targetname: "n297" label: "1" class:16 priority:10}
170 }
171
172 graph: { title: "n280"  label: "Block 280" status:clustered color:yellow
173 edge: {sourcename: "n280" targetname: "n274" label: "0" class:13 priority:60 color:red}
174 node: {title: "n283" label: "Jmp  283"  info1: "mode:    X
175 visited: 32
176 irg:     STRENGTH_RED_EXAMPLE_m4
177 arity: 0
178 "}
179 }
180
181 graph: { title: "n292"  label: "Block 292" status:clustered color:yellow
182 edge: {sourcename: "n292" targetname: "n291" label: "0" class:13 priority:60 color:red}
183 node: {title: "n309" label: "ProjM 0 309"  info1: "mode:    M
184 visited: 32
185 irg:     STRENGTH_RED_EXAMPLE_m4
186 arity: 1
187 "color: yellow}
188 edge: {sourcename: "n309" targetname: "n307" label: "0" class:17 priority:10 color:blue}
189 node: {title: "n307" label: "Store  307"  info1: "mode:    T
190 visited: 32
191 irg:     STRENGTH_RED_EXAMPLE_m4
192 arity: 3
193 volatility: volatility_non_volatile
194 "}
195 edge: {sourcename: "n307" targetname: "n304" label: "0" class:14 priority:50 color:blue}
196 edge: {sourcename: "n307" targetname: "n613" label: "1" class:1  priority:50}
197 edge: {sourcename: "n307" targetname: "n297" label: "2" class:1  priority:50}
198 node: {title: "n304" label: "ProjM 0 304"  info1: "mode:    M
199 visited: 32
200 irg:     STRENGTH_RED_EXAMPLE_m4
201 arity: 1
202 "color: yellow}
203 edge: {sourcename: "n304" targetname: "n302" label: "0" class:17 priority:10 color:blue}
204 node: {title: "n302" label: "Store  302"  info1: "mode:    T
205 visited: 32
206 irg:     STRENGTH_RED_EXAMPLE_m4
207 arity: 3
208 volatility: volatility_non_volatile
209 "}
210 edge: {sourcename: "n302" targetname: "n323" label: "0" class:17 priority:10 color:blue}
211 edge: {sourcename: "n302" targetname: "n619" label: "1" class:1  priority:50}
212 edge: {sourcename: "n302" targetname: "n297" label: "2" class:1  priority:50}
213 node: {title: "n619" label: "AddP  619"  info1: "mode:    P
214 visited: 32
215 irg:     STRENGTH_RED_EXAMPLE_m4
216 arity: 2
217 "}
218 edge: {sourcename: "n619" targetname: "n627" label: "0" class:16 priority:10}
219 edge: {sourcename: "n619" targetname: "n618" label: "1" class:1  priority:50}
220 node: {title: "n628" label: "AddIs  628"  info1: "mode:    Is
221 visited: 32
222 irg:     STRENGTH_RED_EXAMPLE_m4
223 arity: 2
224 "}
225 node: {title: "n628n295" label: "0x8Is  295"  info1: "mode:    Is
226 visited: 32
227 irg:     STRENGTH_RED_EXAMPLE_m4
228 arity: 0
229 Const of type type_unknown
230 "color: yellow}
231 edge: {sourcename: "n628" targetname: "n628n295" label: "0" class:16 priority:10}
232 edge: {sourcename: "n628" targetname: "n627" label: "1" class:16 priority:10}
233 node: {title: "n618" label: "AddP  618"  info1: "mode:    P
234 visited: 32
235 irg:     STRENGTH_RED_EXAMPLE_m4
236 arity: 2
237 "}
238 node: {title: "n618n282" label: "SymC &a  282"  info1: "mode:    P
239 visited: 32
240 irg:     STRENGTH_RED_EXAMPLE_m4
241 arity: 0
242 kind addr_ent
243 entity GlobalType.a (266)
244
245 SymConst of type type_unknown
246 "}
247 node: {title: "n618n295" label: "0x8Is  295"  info1: "mode:    Is
248 visited: 32
249 irg:     STRENGTH_RED_EXAMPLE_m4
250 arity: 0
251 Const of type type_unknown
252 "color: yellow}
253 edge: {sourcename: "n618" targetname: "n618n282" label: "0" class:16 priority:10}
254 edge: {sourcename: "n618" targetname: "n618n295" label: "1" class:16 priority:10}
255 node: {title: "n613" label: "AddP  613"  info1: "mode:    P
256 visited: 32
257 irg:     STRENGTH_RED_EXAMPLE_m4
258 arity: 2
259 "}
260 edge: {sourcename: "n613" targetname: "n634" label: "0" class:16 priority:10}
261 edge: {sourcename: "n613" targetname: "n612" label: "1" class:1  priority:50}
262 node: {title: "n635" label: "AddIs  635"  info1: "mode:    Is
263 visited: 32
264 irg:     STRENGTH_RED_EXAMPLE_m4
265 arity: 2
266 "}
267 node: {title: "n635n294" label: "0x4Is  294"  info1: "mode:    Is
268 visited: 32
269 irg:     STRENGTH_RED_EXAMPLE_m4
270 arity: 0
271 Const of type type_unknown
272 "color: yellow}
273 edge: {sourcename: "n635" targetname: "n635n294" label: "0" class:16 priority:10}
274 edge: {sourcename: "n635" targetname: "n634" label: "1" class:16 priority:10}
275 node: {title: "n612" label: "AddP  612"  info1: "mode:    P
276 visited: 32
277 irg:     STRENGTH_RED_EXAMPLE_m4
278 arity: 2
279 "}
280 node: {title: "n612n282" label: "SymC &a  282"  info1: "mode:    P
281 visited: 32
282 irg:     STRENGTH_RED_EXAMPLE_m4
283 arity: 0
284 kind addr_ent
285 entity GlobalType.a (266)
286
287 SymConst of type type_unknown
288 "}
289 node: {title: "n612n294" label: "0x4Is  294"  info1: "mode:    Is
290 visited: 32
291 irg:     STRENGTH_RED_EXAMPLE_m4
292 arity: 0
293 Const of type type_unknown
294 "color: yellow}
295 edge: {sourcename: "n612" targetname: "n612n282" label: "0" class:16 priority:10}
296 edge: {sourcename: "n612" targetname: "n612n294" label: "1" class:16 priority:10}
297 node: {title: "n310" label: "Jmp  310"  info1: "mode:    X
298 visited: 32
299 irg:     STRENGTH_RED_EXAMPLE_m4
300 arity: 0
301 "}
302 node: {title: "n297" label: "AddIs  297"  info1: "mode:    Is
303 visited: 32
304 irg:     STRENGTH_RED_EXAMPLE_m4
305 arity: 2
306 "}
307 node: {title: "n297n293" label: "0x1Is  293"  info1: "mode:    Is
308 visited: 32
309 irg:     STRENGTH_RED_EXAMPLE_m4
310 arity: 0
311 Const of type type_unknown
312 "color: yellow}
313 edge: {sourcename: "n297" targetname: "n297n293" label: "0" class:16 priority:10}
314 edge: {sourcename: "n297" targetname: "n324" label: "1" class:16 priority:10}
315 }
316
317 graph: { title: "n270"  label: "Block 270" status:clustered color:yellow
318 edge: {sourcename: "n270" targetname: "n274" label: "0" class:13 priority:60 color:red}
319 node: {title: "n277" label: "ProjM 1 277"  info1: "mode:    M
320 visited: 32
321 irg:     STRENGTH_RED_EXAMPLE_m4
322 arity: 1
323 "color: yellow}
324 edge: {sourcename: "n277" targetname: "n271" label: "0" class:17 priority:10 color:blue}
325 node: {title: "n274" label: "ProjX 0 274"  info1: "mode:    X
326 visited: 32
327 irg:     STRENGTH_RED_EXAMPLE_m4
328 arity: 1
329 "color: yellow}
330 edge: {sourcename: "n274" targetname: "n271" label: "0" class:13 priority:60 color:red}
331 node: {title: "n271" label: "Start  271"  info1: "mode:    T
332 visited: 32
333 irg:     STRENGTH_RED_EXAMPLE_m4
334 arity: 0
335 start of method of type STRENGTH_RED_EXAMPLE_meth_tp
336   param 0 type: int
337 "color: blue}
338 }
339
340 }
341
342 }
libfirm