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