Added support for out edges.
[libfirm] / testprograms / ref-results / LOOP_UNROLL_EXAMPLE_m5-loop-unrolling.vcg
1 graph: { title: "ir graph of LOOP_UNROLL_EXAMPLE_m5"
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: "g343" label: "LOOP_UNROLL_EXAMPLE_m5" status:clustered color:white
56 graph: { title: "n332"  label: "Block 332" status:clustered color:yellow
57 edge: {sourcename: "n332" targetname: "n382" label: "0" class:13 priority:60 color:red}
58 node: {title: "n333" label: "End  333"  info1: "End 333
59   mode:    X
60   visited: 27
61   irg:     LOOP_UNROLL_EXAMPLE_m5
62   arity:   1
63   pred nodes:
64     -1:    Block 332
65      0:    Phi 386
66   Private Attributes:
67   in loop 612 with depth 0
68 "
69 color: blue}
70 }
71
72 graph: { title: "n379"  label: "Block 379" status:clustered color:yellow
73 edge: {sourcename: "n379" targetname: "n354" label: "0" class:13 priority:60 color:red}
74 node: {title: "n382" label: "Return  382"  info1: "Return 382
75   mode:    X
76   visited: 27
77   irg:     LOOP_UNROLL_EXAMPLE_m5
78   arity:   2
79   pred nodes:
80     -1:    Block 379
81      0:    Phi 386
82      1:    0x4 358
83   Private Attributes:
84   in loop 612 with depth 0
85   return in method of type LOOP_UNROLL_EXAMPLE_meth_tp
86     res 0 type: int
87 "
88 }
89 node: {title: "n382n358" label: "0x4Is  358"  info1: "0x4 358
90   mode:    Is
91   visited: 27
92   irg:     LOOP_UNROLL_EXAMPLE_m5
93   arity:   0
94   pred nodes:
95     -1:    Block 334
96   Private Attributes:
97   in loop 612 with depth 0
98   Const of type type_unknown
99 "
100 color: yellow}
101 edge: {sourcename: "n382" targetname: "n386" label: "0" class:17 priority:10 color:blue}
102 edge: {sourcename: "n382" targetname: "n382n358" label: "1" class:16 priority:10}
103 }
104
105 graph: { title: "n348"  label: "Block 348" status:clustered color:yellow
106 edge: {sourcename: "n348" targetname: "n347" label: "0" class:13 priority:60 color:red}
107 backedge: {sourcename: "n348" targetname: "n626" label: "1" linestyle:dashed class:13 priority:60 color:red}
108 node: {title: "n386" label: "PhiM  386"  info1: "Phi 386
109   mode:    M
110   visited: 27
111   irg:     LOOP_UNROLL_EXAMPLE_m5
112   arity:   2
113   pred nodes:
114     -1:    Block 348
115      0:    Proj 341
116      1:    Proj 625
117   Private Attributes:
118   backedges:
119   in loop 615 with depth 1
120 "
121 color: green}
122 edge: {sourcename: "n386" targetname: "n341" label: "0" class:17 priority:10 color:blue}
123 edge: {sourcename: "n386" targetname: "n625" label: "1" class:17 priority:10 color:blue}
124 node: {title: "n354" label: "ProjX 0 354"  info1: "Proj 354
125   mode:    X
126   visited: 27
127   irg:     LOOP_UNROLL_EXAMPLE_m5
128   arity:   1
129   pred nodes:
130     -1:    Block 348
131      0:    Cond 353
132   Private Attributes:
133   in loop 612 with depth 0
134 "
135 color: yellow}
136 edge: {sourcename: "n354" targetname: "n353" label: "0" class:13 priority:60 color:red}
137 node: {title: "n355" label: "ProjX 1 355"  info1: "Proj 355
138   mode:    X
139   visited: 27
140   irg:     LOOP_UNROLL_EXAMPLE_m5
141   arity:   1
142   pred nodes:
143     -1:    Block 348
144      0:    Cond 353
145   Private Attributes:
146   in loop 614 with depth 2
147 "
148 color: yellow}
149 edge: {sourcename: "n355" targetname: "n353" label: "0" class:13 priority:60 color:red}
150 node: {title: "n353" label: "Cond  353"  info1: "Cond 353
151   mode:    T
152   visited: 27
153   irg:     LOOP_UNROLL_EXAMPLE_m5
154   arity:   1
155   pred nodes:
156     -1:    Block 348
157      0:    Proj 352
158   Private Attributes:
159   in loop 614 with depth 2
160   condition kind: dense
161   default ProjNr: 0
162 "
163 }
164 edge: {sourcename: "n353" targetname: "n352" label: "0" class:1  priority:50}
165 node: {title: "n352" label: "Projb Lt 352"  info1: "Proj 352
166   mode:    b
167   visited: 27
168   irg:     LOOP_UNROLL_EXAMPLE_m5
169   arity:   1
170   pred nodes:
171     -1:    Block 348
172      0:    Cmp 351
173   Private Attributes:
174   in loop 614 with depth 2
175 "
176 color: yellow}
177 edge: {sourcename: "n352" targetname: "n351" label: "0" class:1  priority:50}
178 node: {title: "n351" label: "Cmp  351"  info1: "Cmp 351
179   mode:    T
180   visited: 27
181   irg:     LOOP_UNROLL_EXAMPLE_m5
182   arity:   2
183   pred nodes:
184     -1:    Block 348
185      0:    0x0 350
186      1:    Phi 387
187   Private Attributes:
188   in loop 614 with depth 2
189 "
190 }
191 node: {title: "n351n350" label: "0x0Is  350"  info1: "0x0 350
192   mode:    Is
193   visited: 27
194   irg:     LOOP_UNROLL_EXAMPLE_m5
195   arity:   0
196   pred nodes:
197     -1:    Block 334
198   Private Attributes:
199   in loop 612 with depth 0
200   Const of type type_unknown
201 "
202 color: yellow}
203 edge: {sourcename: "n351" targetname: "n351n350" label: "0" class:16 priority:10}
204 edge: {sourcename: "n351" targetname: "n387" label: "1" class:1  priority:50}
205 node: {title: "n387" label: "PhiIs  387"  info1: "Phi 387
206   mode:    Is
207   visited: 27
208   irg:     LOOP_UNROLL_EXAMPLE_m5
209   arity:   2
210   pred nodes:
211     -1:    Block 348
212      0:    0xA 345
213      1:    Sub 619
214   Private Attributes:
215   backedges:
216   in loop 613 with depth 1
217 "
218 color: green}
219 node: {title: "n387n345" label: "0xAIs  345"  info1: "0xA 345
220   mode:    Is
221   visited: 27
222   irg:     LOOP_UNROLL_EXAMPLE_m5
223   arity:   0
224   pred nodes:
225     -1:    Block 334
226   Private Attributes:
227   in loop 612 with depth 0
228   Const of type type_unknown
229 "
230 color: yellow}
231 edge: {sourcename: "n387" targetname: "n387n345" label: "0" class:16 priority:10}
232 edge: {sourcename: "n387" targetname: "n619" label: "1" class:16 priority:10}
233 }
234
235 graph: { title: "n344"  label: "Block 344" status:clustered color:yellow
236 edge: {sourcename: "n344" targetname: "n338" label: "0" class:13 priority:60 color:red}
237 node: {title: "n347" label: "Jmp  347"  info1: "Jmp 347
238   mode:    X
239   visited: 27
240   irg:     LOOP_UNROLL_EXAMPLE_m5
241   arity:   0
242   pred nodes:
243     -1:    Block 344
244   Private Attributes:
245   in loop 612 with depth 0
246 "
247 }
248 }
249
250 graph: { title: "n618"  label: "Block 618" status:clustered color:yellow
251 edge: {sourcename: "n618" targetname: "n373" label: "0" class:13 priority:60 color:red}
252 node: {title: "n625" label: "ProjM 0 625"  info1: "Proj 625
253   mode:    M
254   visited: 27
255   irg:     LOOP_UNROLL_EXAMPLE_m5
256   arity:   1
257   pred nodes:
258     -1:    Block 618
259      0:    Store 624
260   Private Attributes:
261 "
262 color: yellow}
263 edge: {sourcename: "n625" targetname: "n624" label: "0" class:17 priority:10 color:blue}
264 node: {title: "n624" label: "Store  624"  info1: "Store 624
265   mode:    T
266   visited: 27
267   irg:     LOOP_UNROLL_EXAMPLE_m5
268   arity:   3
269   pred nodes:
270     -1:    Block 618
271      0:    Proj 372
272      1:    Add 623
273      2:    0x13 368
274   Private Attributes:
275   pinned state: op_pin_state_pinned
276   volatility: volatility_non_volatile
277 "
278 }
279 node: {title: "n624n368" label: "0x13Is  368"  info1: "0x13 368
280   mode:    Is
281   visited: 27
282   irg:     LOOP_UNROLL_EXAMPLE_m5
283   arity:   0
284   pred nodes:
285     -1:    Block 334
286   Private Attributes:
287   in loop 612 with depth 0
288   Const of type type_unknown
289 "
290 color: yellow}
291 edge: {sourcename: "n624" targetname: "n372" label: "0" class:17 priority:10 color:blue}
292 edge: {sourcename: "n624" targetname: "n623" label: "1" class:1  priority:50}
293 edge: {sourcename: "n624" targetname: "n624n368" label: "2" class:16 priority:10}
294 node: {title: "n623" label: "AddP  623"  info1: "Add 623
295   mode:    P
296   visited: 27
297   irg:     LOOP_UNROLL_EXAMPLE_m5
298   arity:   2
299   pred nodes:
300     -1:    Block 618
301      0:    0x5 362
302      1:    Add 622
303   Private Attributes:
304 "
305 }
306 node: {title: "n623n362" label: "0x5Is  362"  info1: "0x5 362
307   mode:    Is
308   visited: 27
309   irg:     LOOP_UNROLL_EXAMPLE_m5
310   arity:   0
311   pred nodes:
312     -1:    Block 334
313   Private Attributes:
314   in loop 612 with depth 0
315   Const of type type_unknown
316 "
317 color: yellow}
318 edge: {sourcename: "n623" targetname: "n623n362" label: "0" class:16 priority:10}
319 edge: {sourcename: "n623" targetname: "n622" label: "1" class:1  priority:50}
320 node: {title: "n622" label: "AddP  622"  info1: "Add 622
321   mode:    P
322   visited: 27
323   irg:     LOOP_UNROLL_EXAMPLE_m5
324   arity:   2
325   pred nodes:
326     -1:    Block 618
327      0:    0x4 358
328      1:    Add 621
329   Private Attributes:
330 "
331 }
332 node: {title: "n622n358" label: "0x4Is  358"  info1: "0x4 358
333   mode:    Is
334   visited: 27
335   irg:     LOOP_UNROLL_EXAMPLE_m5
336   arity:   0
337   pred nodes:
338     -1:    Block 334
339   Private Attributes:
340   in loop 612 with depth 0
341   Const of type type_unknown
342 "
343 color: yellow}
344 edge: {sourcename: "n622" targetname: "n622n358" label: "0" class:16 priority:10}
345 edge: {sourcename: "n622" targetname: "n621" label: "1" class:1  priority:50}
346 node: {title: "n621" label: "AddP  621"  info1: "Add 621
347   mode:    P
348   visited: 27
349   irg:     LOOP_UNROLL_EXAMPLE_m5
350   arity:   2
351   pred nodes:
352     -1:    Block 618
353      0:    Mul 620
354      1:    SymC &a 346
355   Private Attributes:
356 "
357 }
358 node: {title: "n621n346" label: "SymC &a  346"  info1: "SymC &a 346
359   mode:    P
360   visited: 27
361   irg:     LOOP_UNROLL_EXAMPLE_m5
362   arity:   0
363   pred nodes:
364     -1:    Block 334
365   Private Attributes:
366   in loop 612 with depth 0
367   kind:   addr_ent
368   entity: entity GlobalType.a (330)
369
370   type of value: type_unknown
371 "
372 }
373 edge: {sourcename: "n621" targetname: "n620" label: "0" class:1  priority:50}
374 edge: {sourcename: "n621" targetname: "n621n346" label: "1" class:16 priority:10}
375 node: {title: "n620" label: "MulIs  620"  info1: "Mul 620
376   mode:    Is
377   visited: 27
378   irg:     LOOP_UNROLL_EXAMPLE_m5
379   arity:   2
380   pred nodes:
381     -1:    Block 618
382      0:    0x4 358
383      1:    Sub 619
384   Private Attributes:
385 "
386 }
387 node: {title: "n620n358" label: "0x4Is  358"  info1: "0x4 358
388   mode:    Is
389   visited: 27
390   irg:     LOOP_UNROLL_EXAMPLE_m5
391   arity:   0
392   pred nodes:
393     -1:    Block 334
394   Private Attributes:
395   in loop 612 with depth 0
396   Const of type type_unknown
397 "
398 color: yellow}
399 edge: {sourcename: "n620" targetname: "n620n358" label: "0" class:16 priority:10}
400 edge: {sourcename: "n620" targetname: "n619" label: "1" class:1  priority:50}
401 node: {title: "n626" label: "Jmp  626"  info1: "Jmp 626
402   mode:    X
403   visited: 27
404   irg:     LOOP_UNROLL_EXAMPLE_m5
405   arity:   0
406   pred nodes:
407     -1:    Block 618
408   Private Attributes:
409 "
410 }
411 node: {title: "n619" label: "SubIs  619"  info1: "Sub 619
412   mode:    Is
413   visited: 27
414   irg:     LOOP_UNROLL_EXAMPLE_m5
415   arity:   2
416   pred nodes:
417     -1:    Block 618
418      0:    Sub 360
419      1:    0x1 357
420   Private Attributes:
421 "
422 }
423 node: {title: "n619n357" label: "0x1Is  357"  info1: "0x1 357
424   mode:    Is
425   visited: 27
426   irg:     LOOP_UNROLL_EXAMPLE_m5
427   arity:   0
428   pred nodes:
429     -1:    Block 334
430   Private Attributes:
431   in loop 612 with depth 0
432   Const of type type_unknown
433 "
434 color: yellow}
435 edge: {sourcename: "n619" targetname: "n360" label: "0" class:16 priority:10}
436 edge: {sourcename: "n619" targetname: "n619n357" label: "1" class:16 priority:10}
437 }
438
439 graph: { title: "n356"  label: "Block 356" status:clustered color:yellow
440 edge: {sourcename: "n356" targetname: "n355" label: "0" class:13 priority:60 color:red}
441 node: {title: "n372" label: "ProjM 0 372"  info1: "Proj 372
442   mode:    M
443   visited: 27
444   irg:     LOOP_UNROLL_EXAMPLE_m5
445   arity:   1
446   pred nodes:
447     -1:    Block 356
448      0:    Store 370
449   Private Attributes:
450   in loop 615 with depth 1
451 "
452 color: yellow}
453 edge: {sourcename: "n372" targetname: "n370" label: "0" class:17 priority:10 color:blue}
454 node: {title: "n370" label: "Store  370"  info1: "Store 370
455   mode:    T
456   visited: 27
457   irg:     LOOP_UNROLL_EXAMPLE_m5
458   arity:   3
459   pred nodes:
460     -1:    Block 356
461      0:    Phi 386
462      1:    Add 367
463      2:    0x13 368
464   Private Attributes:
465   pinned state: op_pin_state_pinned
466   in loop 615 with depth 1
467   volatility: volatility_non_volatile
468 "
469 }
470 node: {title: "n370n368" label: "0x13Is  368"  info1: "0x13 368
471   mode:    Is
472   visited: 27
473   irg:     LOOP_UNROLL_EXAMPLE_m5
474   arity:   0
475   pred nodes:
476     -1:    Block 334
477   Private Attributes:
478   in loop 612 with depth 0
479   Const of type type_unknown
480 "
481 color: yellow}
482 edge: {sourcename: "n370" targetname: "n386" label: "0" class:17 priority:10 color:blue}
483 edge: {sourcename: "n370" targetname: "n367" label: "1" class:1  priority:50}
484 edge: {sourcename: "n370" targetname: "n370n368" label: "2" class:16 priority:10}
485 node: {title: "n367" label: "AddP  367"  info1: "Add 367
486   mode:    P
487   visited: 27
488   irg:     LOOP_UNROLL_EXAMPLE_m5
489   arity:   2
490   pred nodes:
491     -1:    Block 356
492      0:    0x5 362
493      1:    Add 366
494   Private Attributes:
495   in loop 612 with depth 0
496 "
497 }
498 node: {title: "n367n362" label: "0x5Is  362"  info1: "0x5 362
499   mode:    Is
500   visited: 27
501   irg:     LOOP_UNROLL_EXAMPLE_m5
502   arity:   0
503   pred nodes:
504     -1:    Block 334
505   Private Attributes:
506   in loop 612 with depth 0
507   Const of type type_unknown
508 "
509 color: yellow}
510 edge: {sourcename: "n367" targetname: "n367n362" label: "0" class:16 priority:10}
511 edge: {sourcename: "n367" targetname: "n366" label: "1" class:1  priority:50}
512 node: {title: "n366" label: "AddP  366"  info1: "Add 366
513   mode:    P
514   visited: 27
515   irg:     LOOP_UNROLL_EXAMPLE_m5
516   arity:   2
517   pred nodes:
518     -1:    Block 356
519      0:    0x4 358
520      1:    Add 365
521   Private Attributes:
522   in loop 612 with depth 0
523 "
524 }
525 node: {title: "n366n358" label: "0x4Is  358"  info1: "0x4 358
526   mode:    Is
527   visited: 27
528   irg:     LOOP_UNROLL_EXAMPLE_m5
529   arity:   0
530   pred nodes:
531     -1:    Block 334
532   Private Attributes:
533   in loop 612 with depth 0
534   Const of type type_unknown
535 "
536 color: yellow}
537 edge: {sourcename: "n366" targetname: "n366n358" label: "0" class:16 priority:10}
538 edge: {sourcename: "n366" targetname: "n365" label: "1" class:1  priority:50}
539 node: {title: "n365" label: "AddP  365"  info1: "Add 365
540   mode:    P
541   visited: 27
542   irg:     LOOP_UNROLL_EXAMPLE_m5
543   arity:   2
544   pred nodes:
545     -1:    Block 356
546      0:    Mul 363
547      1:    SymC &a 346
548   Private Attributes:
549   in loop 612 with depth 0
550 "
551 }
552 node: {title: "n365n346" label: "SymC &a  346"  info1: "SymC &a 346
553   mode:    P
554   visited: 27
555   irg:     LOOP_UNROLL_EXAMPLE_m5
556   arity:   0
557   pred nodes:
558     -1:    Block 334
559   Private Attributes:
560   in loop 612 with depth 0
561   kind:   addr_ent
562   entity: entity GlobalType.a (330)
563
564   type of value: type_unknown
565 "
566 }
567 edge: {sourcename: "n365" targetname: "n363" label: "0" class:1  priority:50}
568 edge: {sourcename: "n365" targetname: "n365n346" label: "1" class:16 priority:10}
569 node: {title: "n363" label: "MulIs  363"  info1: "Mul 363
570   mode:    Is
571   visited: 27
572   irg:     LOOP_UNROLL_EXAMPLE_m5
573   arity:   2
574   pred nodes:
575     -1:    Block 356
576      0:    0x4 358
577      1:    Sub 360
578   Private Attributes:
579   in loop 612 with depth 0
580 "
581 }
582 node: {title: "n363n358" label: "0x4Is  358"  info1: "0x4 358
583   mode:    Is
584   visited: 27
585   irg:     LOOP_UNROLL_EXAMPLE_m5
586   arity:   0
587   pred nodes:
588     -1:    Block 334
589   Private Attributes:
590   in loop 612 with depth 0
591   Const of type type_unknown
592 "
593 color: yellow}
594 edge: {sourcename: "n363" targetname: "n363n358" label: "0" class:16 priority:10}
595 edge: {sourcename: "n363" targetname: "n360" label: "1" class:1  priority:50}
596 node: {title: "n373" label: "Jmp  373"  info1: "Jmp 373
597   mode:    X
598   visited: 27
599   irg:     LOOP_UNROLL_EXAMPLE_m5
600   arity:   0
601   pred nodes:
602     -1:    Block 356
603   Private Attributes:
604   in loop 614 with depth 2
605 "
606 }
607 node: {title: "n360" label: "SubIs  360"  info1: "Sub 360
608   mode:    Is
609   visited: 27
610   irg:     LOOP_UNROLL_EXAMPLE_m5
611   arity:   2
612   pred nodes:
613     -1:    Block 356
614      0:    Phi 387
615      1:    0x1 357
616   Private Attributes:
617   in loop 613 with depth 1
618 "
619 }
620 node: {title: "n360n357" label: "0x1Is  357"  info1: "0x1 357
621   mode:    Is
622   visited: 27
623   irg:     LOOP_UNROLL_EXAMPLE_m5
624   arity:   0
625   pred nodes:
626     -1:    Block 334
627   Private Attributes:
628   in loop 612 with depth 0
629   Const of type type_unknown
630 "
631 color: yellow}
632 edge: {sourcename: "n360" targetname: "n387" label: "0" class:16 priority:10}
633 edge: {sourcename: "n360" targetname: "n360n357" label: "1" class:16 priority:10}
634 }
635
636 graph: { title: "n334"  label: "Block 334" status:clustered color:yellow
637 edge: {sourcename: "n334" targetname: "n338" label: "0" class:13 priority:60 color:red}
638 node: {title: "n341" label: "ProjM 1 341"  info1: "Proj 341
639   mode:    M
640   visited: 27
641   irg:     LOOP_UNROLL_EXAMPLE_m5
642   arity:   1
643   pred nodes:
644     -1:    Block 334
645      0:    Start 335
646   Private Attributes:
647   in loop 612 with depth 0
648 "
649 color: yellow}
650 edge: {sourcename: "n341" targetname: "n335" label: "0" class:17 priority:10 color:blue}
651 node: {title: "n338" label: "ProjX 0 338"  info1: "Proj 338
652   mode:    X
653   visited: 27
654   irg:     LOOP_UNROLL_EXAMPLE_m5
655   arity:   1
656   pred nodes:
657     -1:    Block 334
658      0:    Start 335
659   Private Attributes:
660   in loop 612 with depth 0
661 "
662 color: yellow}
663 edge: {sourcename: "n338" targetname: "n335" label: "0" class:13 priority:60 color:red}
664 node: {title: "n335" label: "Start  335"  info1: "Start 335
665   mode:    T
666   visited: 27
667   irg:     LOOP_UNROLL_EXAMPLE_m5
668   arity:   0
669   pred nodes:
670     -1:    Block 334
671   Private Attributes:
672   in loop 612 with depth 0
673   start of method of type LOOP_UNROLL_EXAMPLE_meth_tp
674     param 0 type: int
675 "
676 color: blue}
677 }
678
679 }
680
681 }