projects / libfirm / blob
? search:


237d4963a1b5c083135270e16d08d3e6624fcd0f
[libfirm] / testprograms / ref-results / ENDLESS_LOOP_EXAMPLE_main.vcg
1 graph: { title: "ir graph of ENDLESS_LOOP_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: "g31" label: "ENDLESS_LOOP_EXAMPLE_main" status:clustered color:white
56 graph: { title: "n36"  label: "Block 36" status:clustered color:yellow
57 edge: {sourcename: "n36" targetname: "n35" label: "0" class:13 priority:60 color:red}
58 edge: {sourcename: "n36" targetname: "n47" label: "1" class:13 priority:60 color:red}
59 node: {title: "n66" label: "PhiM  66"  info1: "mode:    M
60 visited: 22
61 irg:     ENDLESS_LOOP_EXAMPLE_main
62 arity: 2 backedges:
63 "color: green}
64 edge: {sourcename: "n66" targetname: "n29" label: "0" class:17 priority:10 color:blue}
65 edge: {sourcename: "n66" targetname: "n55" label: "1" class:17 priority:10 color:blue}
66 node: {title: "n55" label: "ProjM 0 55"  info1: "mode:    M
67 visited: 22
68 irg:     ENDLESS_LOOP_EXAMPLE_main
69 arity: 1
70 "color: yellow}
71 edge: {sourcename: "n55" targetname: "n53" label: "0" class:17 priority:10 color:blue}
72 node: {title: "n53" label: "Store  53"  info1: "mode:    T
73 visited: 22
74 irg:     ENDLESS_LOOP_EXAMPLE_main
75 arity: 3
76 volatility: volatility_non_volatile
77 "}
78 edge: {sourcename: "n53" targetname: "n66" label: "0" class:14 priority:50 color:blue}
79 edge: {sourcename: "n53" targetname: "n52" label: "1" class:1  priority:50}
80 edge: {sourcename: "n53" targetname: "n62" label: "2" class:1  priority:50}
81 node: {title: "n52" label: "Sel VAR_A 52"  info1: "mode:    P
82 visited: 22
83 irg:     ENDLESS_LOOP_EXAMPLE_main
84 arity: 2
85 Selecting entity of type int
86   from entity of type GlobalType
87 "}
88 edge: {sourcename: "n52" targetname: "n66" label: "0" class:14 priority:50 color:blue}
89 edge: {sourcename: "n52" targetname: "n28" label: "1" class:16 priority:10}
90 node: {title: "n62" label: "PhiIs  62"  info1: "mode:    Is
91 visited: 22
92 irg:     ENDLESS_LOOP_EXAMPLE_main
93 arity: 2 backedges:
94 "color: green}
95 edge: {sourcename: "n62" targetname: "n33" label: "0" class:16 priority:10}
96 edge: {sourcename: "n62" targetname: "n63" label: "1" class:1  priority:50}
97 node: {title: "n63" label: "PhiIs  63"  info1: "mode:    Is
98 visited: 22
99 irg:     ENDLESS_LOOP_EXAMPLE_main
100 arity: 2 backedges:
101 "color: green}
102 edge: {sourcename: "n63" targetname: "n34" label: "0" class:16 priority:10}
103 edge: {sourcename: "n63" targetname: "n62" label: "1" class:1  priority:50}
104 node: {title: "n47" label: "Jmp  47"  info1: "mode:    X
105 visited: 22
106 irg:     ENDLESS_LOOP_EXAMPLE_main
107 arity: 0
108 "}
109 }
110
111 graph: { title: "n32"  label: "Block 32" status:clustered color:yellow
112 edge: {sourcename: "n32" targetname: "n26" label: "0" class:13 priority:60 color:red}
113 node: {title: "n33" label: "ProjIs 0 33"  info1: "mode:    Is
114 visited: 22
115 irg:     ENDLESS_LOOP_EXAMPLE_main
116 arity: 1
117 "color: yellow}
118 edge: {sourcename: "n33" targetname: "n30" label: "0" class:16 priority:10}
119 node: {title: "n35" label: "Jmp  35"  info1: "mode:    X
120 visited: 22
121 irg:     ENDLESS_LOOP_EXAMPLE_main
122 arity: 0
123 "}
124 }
125
126 graph: { title: "n22"  label: "Block 22" status:clustered color:yellow
127 edge: {sourcename: "n22" targetname: "n26" label: "0" class:13 priority:60 color:red}
128 node: {title: "n29" label: "ProjM 1 29"  info1: "mode:    M
129 visited: 22
130 irg:     ENDLESS_LOOP_EXAMPLE_main
131 arity: 1
132 "color: yellow}
133 edge: {sourcename: "n29" targetname: "n23" label: "0" class:17 priority:10 color:blue}
134 node: {title: "n28" label: "ProjP 3 28"  info1: "mode:    P
135 visited: 22
136 irg:     ENDLESS_LOOP_EXAMPLE_main
137 arity: 1
138 "color: yellow}
139 edge: {sourcename: "n28" targetname: "n23" label: "0" class:1  priority:50}
140 node: {title: "n30" label: "ProjT 4 30"  info1: "mode:    T
141 visited: 22
142 irg:     ENDLESS_LOOP_EXAMPLE_main
143 arity: 1
144 "color: yellow}
145 edge: {sourcename: "n30" targetname: "n23" label: "0" class:1  priority:50}
146 node: {title: "n34" label: "0x1Is  34"  info1: "mode:    Is
147 visited: 22
148 irg:     ENDLESS_LOOP_EXAMPLE_main
149 arity: 0
150 Const of type type_unknown
151 "color: yellow}
152 node: {title: "n26" label: "ProjX 0 26"  info1: "mode:    X
153 visited: 22
154 irg:     ENDLESS_LOOP_EXAMPLE_main
155 arity: 1
156 "color: yellow}
157 edge: {sourcename: "n26" targetname: "n23" label: "0" class:13 priority:60 color:red}
158 node: {title: "n23" label: "Start  23"  info1: "mode:    T
159 visited: 22
160 irg:     ENDLESS_LOOP_EXAMPLE_main
161 arity: 0
162 start of method of type main_tp
163   param 0 type: int
164 "color: blue}
165 }
166
167 graph: { title: "n20"  label: "Block 20" status:clustered color:yellow
168 node: {title: "n76" label: "End  76"  info1: "mode:    X
169 visited: 22
170 irg:     ENDLESS_LOOP_EXAMPLE_main
171 arity: 2
172 "color: blue}
173 edge: {sourcename: "n76" targetname: "n36" label: "0" class:13 priority:60 color:red}
174 edge: {sourcename: "n76" targetname: "n66" label: "1" }
175 }
176
177 }
178
179 }
libfirm