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