nsz Git - libfirm/blob - testprograms/ref-results/OO_INLINE_EXAMPLE_main-wtypes.vcg

   1 graph: { title: "ir graph of OO_INLINE_EXAMPLE_main"
   2 display_edge_labels: no
   3 layoutalgorithm: mindepth
   4 manhattan_edges: yes
   5 port_sharing: no
   6 orientation: bottom_to_top
   7 classname 1: "Data"
   8 classname 2: "Block"
   9 classname 13:"Control Flow"
  10 classname 14:"Memory"
  11 classname 15:"Dominators"
  12 classname 3: "Entity type"
  13 classname 4: "Entity owner"
  14 classname 5: "Method Param"
  15 classname 6: "Method Res"
  16 classname 7: "Super"
  17 classname 8: "Union"
  18 classname 9: "Points-to"
  19 classname 10: "Array Element Type"
  20 classname 11: "Overwrites"
  21 classname 12: "Member"
  22
  23 graph: { title: "g35" label: "OO_INLINE_EXAMPLE_main" status:clustered color:white
  24 graph: { title: "n196"  label: "Block 196" status:clustered color:yellow
  25 edge: {sourcename: "n196" targetname: "n198" label: "0" class:13 color:red}
  26 edge: {sourcename: "n196" targetname: "n197" label: "1" class:13 color:red}
  27 node: {title: "n200" label: "PhiM  200" color: green info1: "visited: 22
  28 irg:     OO_INLINE_EXAMPLE_main
  29 arity: 2 backedges:
  30 "}
  31 edge: {sourcename: "n200" targetname: "n211" label: "0" class:14 color:blue}
  32 edge: {sourcename: "n200" targetname: "n201" label: "1" class:14 color:blue}
  33 node: {title: "n201" label: "Store  201"  info1: "visited: 22
  34 irg:     OO_INLINE_EXAMPLE_main
  35 arity: 3
  36 "}
  37 edge: {sourcename: "n201" targetname: "n200" label: "0" class:14 color:blue}
  38 edge: {sourcename: "n201" targetname: "n206" label: "1" }
  39 edge: {sourcename: "n201" targetname: "n202" label: "2" }
  40 node: {title: "n206" label: "Sel a 206"  info1: "visited: 22
  41 irg:     OO_INLINE_EXAMPLE_main
  42 arity: 2
  43 Selecting entity of type int
  44   from entity of type PRIMA_INLINE
  45 "}
  46 edge: {sourcename: "n206" targetname: "n200" label: "0" class:14 color:blue}
  47 edge: {sourcename: "n206" targetname: "n207" label: "1" }
  48 node: {title: "n202" label: "PhiIs  202" color: green info1: "visited: 22
  49 irg:     OO_INLINE_EXAMPLE_main
  50 arity: 2 backedges:
  51 "}
  52 edge: {sourcename: "n202" targetname: "n205" label: "0" }
  53 edge: {sourcename: "n202" targetname: "n203" label: "1" }
  54 node: {title: "n203" label: "PhiIs  203" color: green info1: "visited: 22
  55 irg:     OO_INLINE_EXAMPLE_main
  56 arity: 2 backedges:
  57 "}
  58 edge: {sourcename: "n203" targetname: "n204" label: "0" }
  59 edge: {sourcename: "n203" targetname: "n202" label: "1" }
  60 node: {title: "n197" label: "Jmp  197"  info1: "visited: 22
  61 irg:     OO_INLINE_EXAMPLE_main
  62 arity: 0
  63 "}
  64 }
  65
  66 graph: { title: "n199"  label: "Block 199" status:clustered color:yellow
  67 edge: {sourcename: "n199" targetname: "n194" label: "0" class:13 color:red}
  68 node: {title: "n211" label: "ProjM 0 211" color: yellow info1: "visited: 22
  69 irg:     OO_INLINE_EXAMPLE_main
  70 arity: 1
  71 "}
  72 edge: {sourcename: "n211" targetname: "n212" label: "0" class:14 color:blue}
  73 node: {title: "n212" label: "Store  212"  info1: "visited: 22
  74 irg:     OO_INLINE_EXAMPLE_main
  75 arity: 3
  76 "}
  77 edge: {sourcename: "n212" targetname: "n215" label: "0" class:14 color:blue}
  78 edge: {sourcename: "n212" targetname: "n214" label: "1" }
  79 edge: {sourcename: "n212" targetname: "n213" label: "2" }
  80 node: {title: "n214" label: "Sel a 214"  info1: "visited: 22
  81 irg:     OO_INLINE_EXAMPLE_main
  82 arity: 2
  83 Selecting entity of type int
  84   from entity of type PRIMA_INLINE
  85 "}
  86 edge: {sourcename: "n214" targetname: "n215" label: "0" class:14 color:blue}
  87 edge: {sourcename: "n214" targetname: "n207" label: "1" }
  88 node: {title: "n215" label: "ProjM 0 215" color: yellow info1: "visited: 22
  89 irg:     OO_INLINE_EXAMPLE_main
  90 arity: 1
  91 "}
  92 edge: {sourcename: "n215" targetname: "n208" label: "0" class:14 color:blue}
  93 node: {title: "n207" label: "ProjP 2 207" color: yellow info1: "visited: 22
  94 irg:     OO_INLINE_EXAMPLE_main
  95 arity: 1
  96 "}
  97 edge: {sourcename: "n207" targetname: "n208" label: "0" }
  98 node: {title: "n208" label: "Alloc  208"  info1: "visited: 22
  99 irg:     OO_INLINE_EXAMPLE_main
 100 arity: 2
 101 allocating entity of type PRIMA_INLINE
 102 "}
 103 edge: {sourcename: "n208" targetname: "n210" label: "0" class:14 color:blue}
 104 edge: {sourcename: "n208" targetname: "n209" label: "1" }
 105 node: {title: "n204" label: "0x0Is  204" color: yellow info1: "visited: 22
 106 irg:     OO_INLINE_EXAMPLE_main
 107 arity: 0
 108 Const of type type_unknown
 109 "}
 110 node: {title: "n198" label: "Jmp  198"  info1: "visited: 22
 111 irg:     OO_INLINE_EXAMPLE_main
 112 arity: 0
 113 "}
 114 }
 115
 116 graph: { title: "n193"  label: "Block 193" status:clustered color:yellow
 117 edge: {sourcename: "n193" targetname: "n194" label: "0" class:13 color:red}
 118 node: {title: "n213" label: "0x2Is  213" color: yellow info1: "visited: 22
 119 irg:     OO_INLINE_EXAMPLE_main
 120 arity: 0
 121 Const of type type_unknown
 122 "}
 123 node: {title: "n210" label: "ProjM 1 210" color: yellow info1: "visited: 22
 124 irg:     OO_INLINE_EXAMPLE_main
 125 arity: 1
 126 "}
 127 edge: {sourcename: "n210" targetname: "n195" label: "0" class:14 color:blue}
 128 node: {title: "n209" label: "SymC PRIMA_INLINE size  209"  info1: "visited: 22
 129 irg:     OO_INLINE_EXAMPLE_main
 130 arity: 0
 131 "}
 132 node: {title: "n205" label: "0x5Is  205" color: yellow info1: "visited: 22
 133 irg:     OO_INLINE_EXAMPLE_main
 134 arity: 0
 135 Const of type type_unknown
 136 "}
 137 node: {title: "n194" label: "ProjX 0 194" color: yellow info1: "visited: 22
 138 irg:     OO_INLINE_EXAMPLE_main
 139 arity: 1
 140 "}
 141 edge: {sourcename: "n194" targetname: "n195" label: "0" class:13 color:red}
 142 node: {title: "n195" label: "Start  195" color: blue info1: "visited: 22
 143 irg:     OO_INLINE_EXAMPLE_main
 144 arity: 0
 145 start of method of type OO_INLINE_EXAMPLE_main
 146 "}
 147 }
 148
 149 graph: { title: "n191"  label: "Block 191" status:clustered color:yellow
 150 node: {title: "n190" label: "End  190" color: blue info1: "visited: 22
 151 irg:     OO_INLINE_EXAMPLE_main
 152 arity: 2
 153 "}
 154 }
 155
 156 }
 157
 158 node: {title: "e14" label: "ent a" color: yellow
 159  info1: "
 160 id: e14
 161 allocation:  allocation_automatic
 162 visibility:  visibility_local
 163 variability: variability_uninitialized
 164 volatility:  volatility_non_volatile
 165 peculiarity: peculiarity_existent
 166 name:    a
 167 ld_name: no yet set
 168 offset:  -1"
 169 }
 170 edge: { sourcename: "e14" targetname: "t11"class: 3 label: "type" color: red}
 171 node: {title: "t12" label: "class PRIMA_INLINE" info1: "state: layout_undefined
 172 size: -1B,
 173 peculiarity: peculiarity_existent
 174 " color: green}
 175 edge: { sourcename: "t12" targetname: "e14"class: 12 label: "member" color:blue}
 176 edge: { sourcename: "t12" targetname: "e17"class: 12 label: "member" color:blue}
 177 edge: { sourcename: "t12" targetname: "e20"class: 12 label: "member" color:blue}
 178 node: {title: "e17" label: "ent PRIMA_INLINE_set_a" color: yellow
 179  info1: "
 180 id: e17
 181 allocation:  allocation_static
 182 visibility:  visibility_local
 183 variability: variability_constant
 184 volatility:  volatility_non_volatile
 185 peculiarity: peculiarity_existent
 186 name:    PRIMA_INLINE_set_a
 187 ld_name: PRIMA_INLINE_set_a
 188 offset:  -1
 189 irg = g68"
 190 }
 191 edge: { sourcename: "e17" targetname: "t15"class: 3 label: "type" color: red}
 192 edge: { sourcename: "e17" targetname: "n16"label: "value 0"}
 193 node: {title: "n16" label: "&(PRIMA_INLINE_set_a)P  16" color: yellow info1: "visited: 1
 194 arity: 0
 195 Const of type type_unknown
 196 "}
 197 node: {title: "t15" label: "method set_a" info1: "state: layout_fixed,
 198 mode: P,
 199 size: 4B,
 200 "}
 201 edge: { sourcename: "t15" targetname: "t13"class: 5 label: "param 0" color: green}
 202 edge: { sourcename: "t15" targetname: "t11"class: 5 label: "param 1" color: green}
 203 node: {title: "t13" label: "pointer class_prima_ptr" info1: "state: layout_fixed,
 204 mode: P,
 205 size: 4B,
 206 "}
 207 edge: { sourcename: "t13" targetname: "t12"class: 9 label: "points to" color:green}
 208 node: {title: "t11" label: "primitive int" info1: "state: layout_fixed,
 209 mode: Is,
 210 size: 4B,
 211 "}
 212 node: {title: "e20" label: "ent PRIMA_INLINE_c" color: yellow
 213  info1: "
 214 id: e20
 215 allocation:  allocation_static
 216 visibility:  visibility_local
 217 variability: variability_constant
 218 volatility:  volatility_non_volatile
 219 peculiarity: peculiarity_existent
 220 name:    PRIMA_INLINE_c
 221 ld_name: PRIMA_INLINE_c
 222 offset:  -1
 223 irg = g90"
 224 }
 225 edge: { sourcename: "e20" targetname: "t18"class: 3 label: "type" color: red}
 226 edge: { sourcename: "e20" targetname: "n19"label: "value 0"}
 227 node: {title: "n19" label: "&(PRIMA_INLINE_c)P  19" color: yellow info1: "visited: 1
 228 arity: 0
 229 Const of type type_unknown
 230 "}
 231 node: {title: "t18" label: "method c" info1: "state: layout_fixed,
 232 mode: P,
 233 size: 4B,
 234 "}
 235 edge: { sourcename: "t18" targetname: "t13"class: 5 label: "param 0" color: green}
 236 edge: { sourcename: "t18" targetname: "t11"class: 5 label: "param 1" color: green}
 237 edge: { sourcename: "t18" targetname: "t11"class: 6 label: "res 0" color: green}
 238 node: {title: "e23" label: "ent OO_INLINE_EXAMPLE_main" color: yellow
 239  info1: "
 240 id: e23
 241 allocation:  allocation_static
 242 visibility:  visibility_local
 243 variability: variability_constant
 244 volatility:  volatility_non_volatile
 245 peculiarity: peculiarity_existent
 246 name:    OO_INLINE_EXAMPLE_main
 247 ld_name: no yet set
 248 offset:  -1
 249 irg = g35"
 250 }
 251 edge: { sourcename: "e23" targetname: "t21"class: 3 label: "type" color: red}
 252 edge: { sourcename: "e23" targetname: "n22"label: "value 0"}
 253 node: {title: "n22" label: "&(GlobalType_OO_INLINE_EXAMPLE_main)P  22" color: yellow info1: "visited: 1
 254 arity: 0
 255 Const of type type_unknown
 256 "}
 257 node: {title: "t0" label: "class GlobalType" info1: "state: layout_undefined
 258 size: -1B,
 259 peculiarity: peculiarity_existent
 260 " color: green}
 261 edge: { sourcename: "t0" targetname: "e23"class: 12 label: "member" color:blue}
 262 node: {title: "t21" label: "method OO_INLINE_EXAMPLE_main" info1: "state: layout_fixed,
 263 mode: P,
 264 size: 4B,
 265 "}
 266 edge: { sourcename: "t21" targetname: "t11"class: 6 label: "res 0" color: green}
 267 node: {title: "t24" label: "class OO_INLINE_EXAMPLE_mainframe_tp" info1: "state: layout_undefined
 268 size: -1B,
 269 peculiarity: peculiarity_existent
 270 " color: green}
 271 edge: { sourcename: "n206" targetname: "e14"class:2 priority:2 linestyle:dotted}
 272 edge: { sourcename: "n208" targetname: "t12"class:2 priority:2 linestyle:dotted}
 273 edge: { sourcename: "n209" targetname: "t12"class:2 priority:2 linestyle:dotted}
 274 edge: { sourcename: "n214" targetname: "e14"class:2 priority:2 linestyle:dotted}
 275 }