node numbers conserved in dead node elimination
[libfirm] / testprograms / ref-results / GLOBAL_VAR_main.vcg
1 graph: { title: "ir graph of GLOBAL_VAR_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 14: "intrablock Memory"
12 classname 17: "interblock Memory"
13 classname 15: "Dominators"
14 classname 3:  "Entity type"
15 classname 4:  "Entity owner"
16 classname 5:  "Method Param"
17 classname 6:  "Method Res"
18 classname 7:  "Super"
19 classname 8:  "Union"
20 classname 9:  "Points-to"
21 classname 10: "Array Element Type"
22 classname 11: "Overwrites"
23 classname 12: "Member"
24 infoname 1: "Attribute"
25 infoname 2: "Verification errors"
26 colorentry 100:    0   0    0
27 colorentry 101:   20   0    0
28 colorentry 102:   40   0    0
29 colorentry 103:   60   0    0
30 colorentry 104:   80   0    0
31 colorentry 105:  100   0    0
32 colorentry 106:  120   0    0
33 colorentry 107:  140   0    0
34 colorentry 108:  150   0    0
35 colorentry 109:  180   0    0
36 colorentry 110:  200   0    0
37 colorentry 111:  220   0    0
38 colorentry 112:  240   0    0
39 colorentry 113:  255   0    0
40 colorentry 113:  255  20   20
41 colorentry 114:  255  40   40
42 colorentry 115:  255  60   60
43 colorentry 116:  255  80   80
44 colorentry 117:  255 100  100
45 colorentry 118:  255 120  120
46 colorentry 119:  255 140  140
47 colorentry 120:  255 150  150
48 colorentry 121:  255 180  180
49 colorentry 122:  255 200  200
50 colorentry 123:  255 220  220
51 colorentry 124:  255 240  240
52 colorentry 125:  255 250  250
53
54 graph: { title: "g27" label: "GLOBAL_VAR_main" status:clustered color:white
55 graph: { title: "n17"  label: "Block 17" status:clustered color:yellow
56 edge: {sourcename: "n17" targetname: "n35" label: "0" class:13 priority:60 color:red}
57 node: {title: "n37" label: "End  37"  info1: "mode:    X
58 visited: 10
59 irg:     GLOBAL_VAR_main
60 arity: 0
61 "color: blue}
62 }
63
64 graph: { title: "n28"  label: "Block 28" status:clustered color:yellow
65 edge: {sourcename: "n28" targetname: "n22" label: "0" class:13 priority:60 color:red}
66 node: {title: "n35" label: "Return  35"  info1: "mode:    X
67 visited: 10
68 irg:     GLOBAL_VAR_main
69 arity: 1
70 return in method of type GLOBAL_VAR_main
71 "}
72 edge: {sourcename: "n35" targetname: "n34" label: "0" class:14 priority:50 color:blue}
73 node: {title: "n34" label: "ProjM 0 34"  info1: "mode:    M
74 visited: 10
75 irg:     GLOBAL_VAR_main
76 arity: 1
77 "color: yellow}
78 edge: {sourcename: "n34" targetname: "n32" label: "0" class:17 priority:10 color:blue}
79 node: {title: "n32" label: "Store  32"  info1: "mode:    T
80 visited: 10
81 irg:     GLOBAL_VAR_main
82 arity: 3
83 "}
84 edge: {sourcename: "n32" targetname: "n25" label: "0" class:17 priority:10 color:blue}
85 edge: {sourcename: "n32" targetname: "n30" label: "1" class:1  priority:50}
86 edge: {sourcename: "n32" targetname: "n31" label: "2" class:16 priority:10}
87 node: {title: "n30" label: "Sel i 30"  info1: "mode:    P
88 visited: 10
89 irg:     GLOBAL_VAR_main
90 arity: 2
91 Selecting entity of type int
92   from entity of type GlobalType
93 "}
94 edge: {sourcename: "n30" targetname: "n25" label: "0" class:17 priority:10 color:blue}
95 edge: {sourcename: "n30" targetname: "n24" label: "1" class:16 priority:10}
96 }
97
98 graph: { title: "n19"  label: "Block 19" status:clustered color:yellow
99 edge: {sourcename: "n19" targetname: "n22" label: "0" class:13 priority:60 color:red}
100 node: {title: "n25" label: "ProjM 1 25"  info1: "mode:    M
101 visited: 10
102 irg:     GLOBAL_VAR_main
103 arity: 1
104 "color: yellow}
105 edge: {sourcename: "n25" targetname: "n20" label: "0" class:17 priority:10 color:blue}
106 node: {title: "n24" label: "ProjP 3 24"  info1: "mode:    P
107 visited: 10
108 irg:     GLOBAL_VAR_main
109 arity: 1
110 "color: yellow}
111 edge: {sourcename: "n24" targetname: "n20" label: "0" class:1  priority:50}
112 node: {title: "n31" label: "0x2Is  31"  info1: "mode:    Is
113 visited: 10
114 irg:     GLOBAL_VAR_main
115 arity: 0
116 Const of type type_unknown
117 "color: yellow}
118 node: {title: "n22" label: "ProjX 0 22"  info1: "mode:    X
119 visited: 10
120 irg:     GLOBAL_VAR_main
121 arity: 1
122 "color: yellow}
123 edge: {sourcename: "n22" targetname: "n20" label: "0" class:13 priority:60 color:red}
124 node: {title: "n20" label: "Start  20"  info1: "mode:    T
125 visited: 10
126 irg:     GLOBAL_VAR_main
127 arity: 0
128 start of method of type GLOBAL_VAR_main
129 "color: blue}
130 }
131
132 }
133
134 }