5872bcab2755d6a19f969cdcd7639f02db34aa77
[libfirm] / testprograms / ref-results / FLOAT_EXAMPLE_main.vcg
1 graph: { title: "ir graph of FLOAT_EXAMPLE_main"
2 display_edge_labels: yes
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: "g30" label: "FLOAT_EXAMPLE_main" status:clustered color:white
56 graph: { title: "n19"  label: "Block 19" status:clustered color:yellow
57 edge: {sourcename: "n19" targetname: "n34" label: "0" class:13 priority:60 color:red}
58 node: {title: "n20" label: "End  20"  info1: "mode:    X
59 visited: 4
60 irg:     FLOAT_EXAMPLE_main
61 arity: 0
62 "color: blue}
63 }
64
65 graph: { title: "n31"  label: "Block 31" status:clustered color:yellow
66 edge: {sourcename: "n31" targetname: "n25" label: "0" class:13 priority:60 color:red}
67 node: {title: "n34" label: "Return  34"  info1: "mode:    X
68 visited: 4
69 irg:     FLOAT_EXAMPLE_main
70 arity: 2
71 return in method of type FLOAT_EXAMPLE_main
72   res 0 type: dbl
73 "}
74 edge: {sourcename: "n34" targetname: "n28" label: "0" class:17 priority:10 color:blue}
75 edge: {sourcename: "n34" targetname: "n32" label: "1" class:16 priority:10}
76 }
77
78 graph: { title: "n21"  label: "Block 21" status:clustered color:yellow
79 edge: {sourcename: "n21" targetname: "n25" label: "0" class:13 priority:60 color:red}
80 node: {title: "n28" label: "ProjM 1 28"  info1: "mode:    M
81 visited: 4
82 irg:     FLOAT_EXAMPLE_main
83 arity: 1
84 "color: yellow}
85 edge: {sourcename: "n28" targetname: "n22" label: "0" class:17 priority:10 color:blue}
86 node: {title: "n32" label: "1.234567890123456716800000000000E+19D  32"  info1: "mode:    D
87 visited: 4
88 irg:     FLOAT_EXAMPLE_main
89 arity: 0
90 Const of type type_unknown
91 "color: yellow}
92 node: {title: "n25" label: "ProjX 0 25"  info1: "mode:    X
93 visited: 4
94 irg:     FLOAT_EXAMPLE_main
95 arity: 1
96 "color: yellow}
97 edge: {sourcename: "n25" targetname: "n22" label: "0" class:13 priority:60 color:red}
98 node: {title: "n22" label: "Start  22"  info1: "mode:    T
99 visited: 4
100 irg:     FLOAT_EXAMPLE_main
101 arity: 0
102 start of method of type FLOAT_EXAMPLE_main
103 "color: blue}
104 }
105
106 }
107
108 }