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 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: "g39" label: "OO_INLINE_EXAMPLE_main" status:clustered color:white
  56 graph: { title: "n180"  label: "Block 180" status:clustered color:yellow
  57 edge: {sourcename: "n180" targetname: "n141" label: "0" class:13 priority:60 color:red}
  58 edge: {sourcename: "n180" targetname: "n181" label: "1" class:13 priority:60 color:red}
  59 node: {title: "n179" label: "PhiM 179"  info1: "Phi 179
  60   mode:    M
  61   visited: 26
  62   irg:     OO_INLINE_EXAMPLE_main
  63   arity:   2
  64   pred nodes:
  65     -1:    Block 180
  66      0:    Proj 151
  67      1:    Store 185
  68   Private Attributes:
  69   backedges:
  70 "
  71 color: green}
  72 edge: {sourcename: "n179" targetname: "n151" label: "0" class:17 priority:10 color:blue}
  73 edge: {sourcename: "n179" targetname: "n185" label: "1" class:17 priority:10 color:blue}
  74 node: {title: "n185" label: "Store 185"  info1: "Store 185
  75   mode:    T
  76   visited: 26
  77   irg:     OO_INLINE_EXAMPLE_main
  78   arity:   3
  79   pred nodes:
  80     -1:    Block 180
  81      0:    Phi 179
  82      1:    Sel 189
  83      2:    Phi 186
  84   Private Attributes:
  85   pinned state: op_pin_state_pinned
  86   volatility: volatility_non_volatile
  87 "
  88 }
  89 edge: {sourcename: "n185" targetname: "n179" label: "0" class:14 priority:50 color:blue}
  90 edge: {sourcename: "n185" targetname: "n189" label: "1" class:1  priority:50}
  91 edge: {sourcename: "n185" targetname: "n186" label: "2" class:1  priority:50}
  92 node: {title: "n189" label: "Sel a 189"  info1: "Sel 189
  93   mode:    P
  94   visited: 26
  95   irg:     OO_INLINE_EXAMPLE_main
  96   arity:   2
  97   pred nodes:
  98     -1:    Block 180
  99      0:    Phi 179
 100      1:    Proj 48
 101   Private Attributes:
 102   Selecting entity of type int
 103     from entity a (17)
 104     of type PRIMA_INLINE
 105 "
 106 }
 107 edge: {sourcename: "n189" targetname: "n179" label: "0" class:14 priority:50 color:blue}
 108 edge: {sourcename: "n189" targetname: "n48" label: "1" class:16 priority:10}
 109 node: {title: "n186" label: "PhiIs 186"  info1: "Phi 186
 110   mode:    Is
 111   visited: 26
 112   irg:     OO_INLINE_EXAMPLE_main
 113   arity:   2
 114   pred nodes:
 115     -1:    Block 180
 116      0:    0x5 42
 117      1:    Phi 187
 118   Private Attributes:
 119   backedges:
 120 "
 121 color: green}
 122 edge: {sourcename: "n186" targetname: "n42" label: "0" class:16 priority:10}
 123 edge: {sourcename: "n186" targetname: "n187" label: "1" class:1  priority:50}
 124 node: {title: "n187" label: "PhiIs 187"  info1: "Phi 187
 125   mode:    Is
 126   visited: 26
 127   irg:     OO_INLINE_EXAMPLE_main
 128   arity:   2
 129   pred nodes:
 130     -1:    Block 180
 131      0:    0x0 188
 132      1:    Phi 186
 133   Private Attributes:
 134   backedges:
 135 "
 136 color: green}
 137 edge: {sourcename: "n187" targetname: "n188" label: "0" class:16 priority:10}
 138 edge: {sourcename: "n187" targetname: "n186" label: "1" class:1  priority:50}
 139 node: {title: "n181" label: "Jmp 181"  info1: "Jmp 181
 140   mode:    X
 141   visited: 26
 142   irg:     OO_INLINE_EXAMPLE_main
 143   arity:   0
 144   pred nodes:
 145     -1:    Block 180
 146   Private Attributes:
 147 "
 148 }
 149 }
 150
 151 graph: { title: "n144"  label: "Block 144" status:clustered color:yellow
 152 edge: {sourcename: "n144" targetname: "n34" label: "0" class:13 priority:60 color:red}
 153 node: {title: "n151" label: "ProjM 0 151"  info1: "Proj 151
 154   mode:    M
 155   visited: 26
 156   irg:     OO_INLINE_EXAMPLE_main
 157   arity:   1
 158   pred nodes:
 159     -1:    Block 144
 160      0:    Store 152
 161   Private Attributes:
 162 "
 163 color: yellow}
 164 edge: {sourcename: "n151" targetname: "n152" label: "0" class:17 priority:10 color:blue}
 165 node: {title: "n152" label: "Store 152"  info1: "Store 152
 166   mode:    T
 167   visited: 26
 168   irg:     OO_INLINE_EXAMPLE_main
 169   arity:   3
 170   pred nodes:
 171     -1:    Block 144
 172      0:    Proj 47
 173      1:    Sel 155
 174      2:    0x2 41
 175   Private Attributes:
 176   pinned state: op_pin_state_pinned
 177   volatility: volatility_non_volatile
 178 "
 179 }
 180 edge: {sourcename: "n152" targetname: "n47" label: "0" class:14 priority:50 color:blue}
 181 edge: {sourcename: "n152" targetname: "n155" label: "1" class:1  priority:50}
 182 edge: {sourcename: "n152" targetname: "n41" label: "2" class:16 priority:10}
 183 node: {title: "n155" label: "Sel a 155"  info1: "Sel 155
 184   mode:    P
 185   visited: 26
 186   irg:     OO_INLINE_EXAMPLE_main
 187   arity:   2
 188   pred nodes:
 189     -1:    Block 144
 190      0:    Proj 47
 191      1:    Proj 48
 192   Private Attributes:
 193   Selecting entity of type int
 194     from entity a (17)
 195     of type PRIMA_INLINE
 196 "
 197 }
 198 edge: {sourcename: "n155" targetname: "n47" label: "0" class:14 priority:50 color:blue}
 199 edge: {sourcename: "n155" targetname: "n48" label: "1" class:1  priority:50}
 200 node: {title: "n47" label: "ProjM 0 47"  info1: "Proj 47
 201   mode:    M
 202   visited: 26
 203   irg:     OO_INLINE_EXAMPLE_main
 204   arity:   1
 205   pred nodes:
 206     -1:    Block 144
 207      0:    Alloc 45
 208   Private Attributes:
 209 "
 210 color: yellow}
 211 edge: {sourcename: "n47" targetname: "n45" label: "0" class:17 priority:10 color:blue}
 212 node: {title: "n48" label: "ProjP 2 48"  info1: "Proj 48
 213   mode:    P
 214   visited: 26
 215   irg:     OO_INLINE_EXAMPLE_main
 216   arity:   1
 217   pred nodes:
 218     -1:    Block 144
 219      0:    Alloc 45
 220   Private Attributes:
 221 "
 222 color: yellow}
 223 edge: {sourcename: "n48" targetname: "n45" label: "0" class:1  priority:50}
 224 node: {title: "n45" label: "Alloc 45"  info1: "Alloc 45
 225   mode:    T
 226   visited: 26
 227   irg:     OO_INLINE_EXAMPLE_main
 228   arity:   2
 229   pred nodes:
 230     -1:    Block 144
 231      0:    Proj 37
 232      1:    SymC PRIMA_INLINE size 43
 233   Private Attributes:
 234   pinned state: op_pin_state_pinned
 235   allocating entity of type: PRIMA_INLINE
 236   allocating on: the heap
 237 "
 238 }
 239 edge: {sourcename: "n45" targetname: "n37" label: "0" class:17 priority:10 color:blue}
 240 edge: {sourcename: "n45" targetname: "n43" label: "1" class:16 priority:10}
 241 node: {title: "n188" label: "0x0Is 188"  info1: "0x0 188
 242   mode:    Is
 243   visited: 26
 244   irg:     OO_INLINE_EXAMPLE_main
 245   arity:   0
 246   pred nodes:
 247     -1:    Block 144
 248   Private Attributes:
 249   Const of type type_unknown
 250 "
 251 color: yellow}
 252 node: {title: "n141" label: "Jmp 141"  info1: "Jmp 141
 253   mode:    X
 254   visited: 26
 255   irg:     OO_INLINE_EXAMPLE_main
 256   arity:   0
 257   pred nodes:
 258     -1:    Block 144
 259   Private Attributes:
 260 "
 261 }
 262 }
 263
 264 graph: { title: "n30"  label: "Block 30" status:clustered color:yellow
 265 edge: {sourcename: "n30" targetname: "n34" label: "0" class:13 priority:60 color:red}
 266 node: {title: "n41" label: "0x2Is 41"  info1: "0x2 41
 267   mode:    Is
 268   visited: 26
 269   irg:     OO_INLINE_EXAMPLE_main
 270   arity:   0
 271   pred nodes:
 272     -1:    Block 30
 273   Private Attributes:
 274   Const of type type_unknown
 275 "
 276 color: yellow}
 277 node: {title: "n37" label: "ProjM 1 37"  info1: "Proj 37
 278   mode:    M
 279   visited: 26
 280   irg:     OO_INLINE_EXAMPLE_main
 281   arity:   1
 282   pred nodes:
 283     -1:    Block 30
 284      0:    Start 31
 285   Private Attributes:
 286 "
 287 color: yellow}
 288 edge: {sourcename: "n37" targetname: "n31" label: "0" class:17 priority:10 color:blue}
 289 node: {title: "n43" label: "SymC PRIMA_INLINE size 43"  info1: "SymC PRIMA_INLINE size 43
 290   mode:    Iu
 291   visited: 26
 292   irg:     OO_INLINE_EXAMPLE_main
 293   arity:   0
 294   pred nodes:
 295     -1:    Block 30
 296   Private Attributes:
 297   kind: size
 298   type: class type PRIMA_INLINE (15)
 299   type of value: type_unknown
 300 "
 301 }
 302 node: {title: "n42" label: "0x5Is 42"  info1: "0x5 42
 303   mode:    Is
 304   visited: 26
 305   irg:     OO_INLINE_EXAMPLE_main
 306   arity:   0
 307   pred nodes:
 308     -1:    Block 30
 309   Private Attributes:
 310   Const of type type_unknown
 311 "
 312 color: yellow}
 313 node: {title: "n34" label: "ProjX 0 34"  info1: "Proj 34
 314   mode:    X
 315   visited: 26
 316   irg:     OO_INLINE_EXAMPLE_main
 317   arity:   1
 318   pred nodes:
 319     -1:    Block 30
 320      0:    Start 31
 321   Private Attributes:
 322 "
 323 color: yellow}
 324 edge: {sourcename: "n34" targetname: "n31" label: "0" class:13 priority:60 color:red}
 325 node: {title: "n31" label: "Start 31"  info1: "Start 31
 326   mode:    T
 327   visited: 26
 328   irg:     OO_INLINE_EXAMPLE_main
 329   arity:   0
 330   pred nodes:
 331     -1:    Block 30
 332   Private Attributes:
 333   start of method of type OO_INLINE_EXAMPLE_main
 334 "
 335 color: blue}
 336 }
 337
 338 graph: { title: "n28"  label: "Block 28" status:clustered color:yellow
 339 node: {title: "n195" label: "End 195"  info1: "End 195
 340   mode:    X
 341   visited: 26
 342   irg:     OO_INLINE_EXAMPLE_main
 343   arity:   2
 344   pred nodes:
 345     -1:    Block 28
 346      0:    Block 180
 347      1:    Phi 179
 348   Private Attributes:
 349 "
 350 color: blue}
 351 }
 352
 353 }
 354
 355 node: {title: "e17" label: "ent a" color: yellow
 356  info1: "entity a (17)
 357   type:  int (14)
 358   owner: PRIMA_INLINE (15)
 359   Does not overwrite other entities.
 360   Is not overwritten by other entities.
 361   allocation:  allocation_automatic
 362   visibility:  visibility_local
 363   variability: variability_uninitialized
 364   volatility:  volatility_non_volatile
 365   peculiarity: peculiarity_existent
 366   ld_name: no yet set
 367   offset:  -1
 368
 369 "
 370 }
 371 edge: { sourcename: "e17" targetname: "t14"class: 3 label: "type" color: red}
 372 node: {title: "t15" label: "class PRIMA_INLINE" info1: "state: layout_undefined
 373 size: -1b,
 374 peculiarity: peculiarity_existent
 375 " color: green}
 376 edge: { sourcename: "t15" targetname: "e17"class: 12 label: "member" color:blue}
 377 edge: { sourcename: "t15" targetname: "e20"class: 12 label: "member" color:blue}
 378 edge: { sourcename: "t15" targetname: "e23"class: 12 label: "member" color:blue}
 379 node: {title: "e20" label: "ent PRIMA_INLINE_set_a" color: yellow
 380  info1: "entity set_a (20)
 381   type:  set_a (18)
 382   owner: PRIMA_INLINE (15)
 383   Does not overwrite other entities.
 384   Is not overwritten by other entities.
 385   allocation:  allocation_static
 386   visibility:  visibility_local
 387   variability: variability_constant
 388   atomic value: SymC &set_a
 389   volatility:  volatility_non_volatile
 390   peculiarity: peculiarity_existent
 391   ld_name: PRIMA_INLINE_set_a
 392   offset:  -1
 393   irg = 73
 394
 395 "
 396 }
 397 edge: { sourcename: "e20" targetname: "t18"class: 3 label: "type" color: red}
 398 edge: { sourcename: "e20" targetname: "n19"label: "value 0"}
 399 node: {title: "n19" label: "SymC &set_a 19"  info1: "SymC &set_a 19
 400   mode:    P
 401   visited: 1
 402   arity:   0
 403   pred nodes:
 404     -1:    Block 3
 405   Private Attributes:
 406   kind:   addr_ent
 407   entity: entity PRIMA_INLINE.set_a (20)
 408
 409   type of value: type_unknown
 410 "
 411 }
 412 node: {title: "t18" label: "method set_a" info1: "state: layout_fixed,
 413 mode: P,
 414 size: 32b,
 415 variadicity: variadicity_non_variadic
 416 params: 2
 417 results: 0
 418 "}
 419 edge: { sourcename: "t18" targetname: "t16"class: 5 label: "param 0" color: green}
 420 edge: { sourcename: "t18" targetname: "t14"class: 5 label: "param 1" color: green}
 421 node: {title: "t16" label: "pointer class_prima_ptr" info1: "state: layout_fixed,
 422 mode: P,
 423 size: 32b,
 424 "}
 425 edge: { sourcename: "t16" targetname: "t15"class: 9 label: "points to" color:green}
 426 node: {title: "t14" label: "primitive int" info1: "state: layout_fixed,
 427 mode: Is,
 428 size: 32b,
 429 "}
 430 node: {title: "e23" label: "ent PRIMA_INLINE_c" color: yellow
 431  info1: "entity c (23)
 432   type:  c (21)
 433   owner: PRIMA_INLINE (15)
 434   Does not overwrite other entities.
 435   Is not overwritten by other entities.
 436   allocation:  allocation_static
 437   visibility:  visibility_local
 438   variability: variability_constant
 439   atomic value: SymC &c
 440   volatility:  volatility_non_volatile
 441   peculiarity: peculiarity_existent
 442   ld_name: PRIMA_INLINE_c
 443   offset:  -1
 444   irg = 96
 445
 446 "
 447 }
 448 edge: { sourcename: "e23" targetname: "t21"class: 3 label: "type" color: red}
 449 edge: { sourcename: "e23" targetname: "n22"label: "value 0"}
 450 node: {title: "n22" label: "SymC &c 22"  info1: "SymC &c 22
 451   mode:    P
 452   visited: 1
 453   arity:   0
 454   pred nodes:
 455     -1:    Block 3
 456   Private Attributes:
 457   kind:   addr_ent
 458   entity: entity PRIMA_INLINE.c (23)
 459
 460   type of value: type_unknown
 461 "
 462 }
 463 node: {title: "t21" label: "method c" info1: "state: layout_fixed,
 464 mode: P,
 465 size: 32b,
 466 variadicity: variadicity_non_variadic
 467 params: 2
 468 results: 1
 469 "}
 470 edge: { sourcename: "t21" targetname: "t16"class: 5 label: "param 0" color: green}
 471 edge: { sourcename: "t21" targetname: "t14"class: 5 label: "param 1" color: green}
 472 edge: { sourcename: "t21" targetname: "t14"class: 6 label: "res 0" color: green}
 473 node: {title: "e26" label: "ent OO_INLINE_EXAMPLE_main" color: yellow
 474  info1: "entity OO_INLINE_EXAMPLE_main (26)
 475   type:  OO_INLINE_EXAMPLE_main (24)
 476   owner: GlobalType (0)
 477   Does not overwrite other entities.
 478   Is not overwritten by other entities.
 479   allocation:  allocation_static
 480   visibility:  visibility_local
 481   variability: variability_constant
 482   atomic value: SymC &OO_INLINE_EXAMPLE_main
 483   volatility:  volatility_non_volatile
 484   peculiarity: peculiarity_existent
 485   ld_name: no yet set
 486   offset:  -1
 487   irg = 39
 488
 489 "
 490 }
 491 edge: { sourcename: "e26" targetname: "t24"class: 3 label: "type" color: red}
 492 edge: { sourcename: "e26" targetname: "n25"label: "value 0"}
 493 node: {title: "n25" label: "SymC &OO_INLINE_EXAMPLE_main 25"  info1: "SymC &OO_INLINE_EXAMPLE_main 25
 494   mode:    P
 495   visited: 1
 496   arity:   0
 497   pred nodes:
 498     -1:    Block 3
 499   Private Attributes:
 500   kind:   addr_ent
 501   entity: entity GlobalType.OO_INLINE_EXAMPLE_main (26)
 502
 503   type of value: type_unknown
 504 "
 505 }
 506 node: {title: "t0" label: "class GlobalType" info1: "state: layout_undefined
 507 size: -1b,
 508 peculiarity: peculiarity_existent
 509 " color: green}
 510 edge: { sourcename: "t0" targetname: "e26"class: 12 label: "member" color:blue}
 511 node: {title: "t24" label: "method OO_INLINE_EXAMPLE_main" info1: "state: layout_fixed,
 512 mode: P,
 513 size: 32b,
 514 variadicity: variadicity_non_variadic
 515 params: 0
 516 results: 1
 517 "}
 518 edge: { sourcename: "t24" targetname: "t14"class: 6 label: "res 0" color: green}
 519 node: {title: "t27" label: "class OO_INLINE_EXAMPLE_mainframe_tp" info1: "state: layout_undefined
 520 size: -1b,
 521 peculiarity: peculiarity_existent
 522 " color: green}
 523 edge: { sourcename: "n189" targetname: "e17"class:2 priority:2 linestyle:dotted}
 524 edge: { sourcename: "n45" targetname: "t15"class:2 priority:2 linestyle:dotted}
 525 edge: { sourcename: "n43" targetname: "t15"class:2 priority:2 linestyle:dotted}
 526 edge: { sourcename: "n155" targetname: "e17"class:2 priority:2 linestyle:dotted}
 527 }