nsz Git - libfirm/blob - testprograms/ref-results/OO_INLINE_EXAMPLE_main.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 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 classname 13: "Control Flow"
  20 classname 14: "intrablock Memory"
  21 classname 15: "Dominators"
  22 classname 16: "interblock Data"
  23 classname 17: "interblock Memory"
  24 classname 18: "Exception Control Flow for Interval Analysis"
  25 classname 19: "Postdominators"
  26 infoname 1: "Attribute"
  27 infoname 2: "Verification errors"
  28 infoname 3: "Debug info"
  29 colorentry 100:    0   0    0
  30 colorentry 101:   20   0    0
  31 colorentry 102:   40   0    0
  32 colorentry 103:   60   0    0
  33 colorentry 104:   80   0    0
  34 colorentry 105:  100   0    0
  35 colorentry 106:  120   0    0
  36 colorentry 107:  140   0    0
  37 colorentry 108:  150   0    0
  38 colorentry 109:  180   0    0
  39 colorentry 110:  200   0    0
  40 colorentry 111:  220   0    0
  41 colorentry 112:  240   0    0
  42 colorentry 113:  255   0    0
  43 colorentry 113:  255  20   20
  44 colorentry 114:  255  40   40
  45 colorentry 115:  255  60   60
  46 colorentry 116:  255  80   80
  47 colorentry 117:  255 100  100
  48 colorentry 118:  255 120  120
  49 colorentry 119:  255 140  140
  50 colorentry 120:  255 150  150
  51 colorentry 121:  255 180  180
  52 colorentry 122:  255 200  200
  53 colorentry 123:  255 220  220
  54 colorentry 124:  255 240  240
  55 colorentry 125:  255 250  250
  56
  57 graph: { title: "g39" label: "OO_INLINE_EXAMPLE_main" status:clustered color:white
  58 info1: "entity OO_INLINE_EXAMPLE_main (26)
  59   type:  OO_INLINE_EXAMPLE_main (24)
  60   owner: GlobalType (0)
  61   Does not overwrite other entities.
  62   Is not overwritten by other entities.
  63   allocation:  allocation_static
  64   visibility:  visibility_local
  65   variability: variability_constant
  66   calling convention: cdecl
  67   atomic value: SymC &OO_INLINE_EXAMPLE_main
  68   volatility:  volatility_non_volatile
  69   peculiarity: peculiarity_existent
  70   ld_name: no yet set
  71   offset:  -1 bits, -1 bytes
  72   irg = 39
  73
  74 "
  75 graph: { title: "n181"  label: "Block 181" status:clustered color:yellow
  76  info1: "Block 181
  77   mode:    BB
  78   visited: 25
  79   irg:     OO_INLINE_EXAMPLE_main
  80   arity:   2
  81   pred nodes:
  82      0:    Jmp 142
  83      1:    Jmp 182
  84   Private Attributes:
  85   backedges:
  86   block visited: 0
  87   Execution freqency statistics:
  88 "
  89 edge: {sourcename: "n181" targetname: "n142" label: "0" class:13 priority:60 color:red}
  90 edge: {sourcename: "n181" targetname: "n182" label: "1" class:13 priority:60 color:red}
  91 node: {title: "n180" label: "PhiM 180"  info1: "Phi 180
  92   mode:    M
  93   visited: 25
  94   irg:     OO_INLINE_EXAMPLE_main
  95   arity:   2
  96   pred nodes:
  97     -1:    Block 181
  98      0:    Proj 152
  99      1:    Proj 186
 100   Private Attributes:
 101   backedges:
 102 "
 103 color:green}
 104 edge: {sourcename: "n180" targetname: "n152" label: "0" class:17 priority:10 color:blue}
 105 edge: {sourcename: "n180" targetname: "n186" label: "1" class:17 priority:10 color:blue}
 106 node: {title: "n186" label: "ProjM M 186"  info1: "Proj 186
 107   mode:    M
 108   visited: 25
 109   irg:     OO_INLINE_EXAMPLE_main
 110   arity:   1
 111   pred nodes:
 112     -1:    Block 181
 113      0:    Store 187
 114   Private Attributes:
 115   proj nr: 0
 116 "
 117 color:yellow}
 118 edge: {sourcename: "n186" targetname: "n187" label: "0" class:17 priority:10 color:blue}
 119 node: {title: "n187" label: "Store 187"  info1: "Store 187
 120   mode:    T
 121   visited: 25
 122   irg:     OO_INLINE_EXAMPLE_main
 123   arity:   3
 124   pred nodes:
 125     -1:    Block 181
 126      0:    Phi 180
 127      1:    Sel 191
 128      2:    Phi 188
 129   Private Attributes:
 130   pinned state: op_pin_state_pinned
 131   volatility: volatility_non_volatile
 132 "
 133 }
 134 edge: {sourcename: "n187" targetname: "n180" label: "0" class:14 priority:50 color:blue}
 135 edge: {sourcename: "n187" targetname: "n191" label: "1" class:1  priority:50}
 136 edge: {sourcename: "n187" targetname: "n188" label: "2" class:1  priority:50}
 137 node: {title: "n191" label: "Sel a 191"  info1: "Sel 191
 138   mode:    P
 139   visited: 25
 140   irg:     OO_INLINE_EXAMPLE_main
 141   arity:   2
 142   pred nodes:
 143     -1:    Block 181
 144      0:    Phi 180
 145      1:    Proj 48
 146   Private Attributes:
 147   Selecting entity a (17)
 148     of type    int
 149     with owner PRIMA_INLINE.
 150 "
 151 }
 152 edge: {sourcename: "n191" targetname: "n180" label: "0" class:14 priority:50 color:blue}
 153 edge: {sourcename: "n191" targetname: "n48" label: "1" class:16 priority:10}
 154 node: {title: "n188" label: "PhiIs 188"  info1: "Phi 188
 155   mode:    Is
 156   visited: 25
 157   irg:     OO_INLINE_EXAMPLE_main
 158   arity:   2
 159   pred nodes:
 160     -1:    Block 181
 161      0:    0x5 42
 162      1:    Phi 189
 163   Private Attributes:
 164   backedges:
 165 "
 166 color:green}
 167 edge: {sourcename: "n188" targetname: "n42" label: "0" class:16 priority:10}
 168 edge: {sourcename: "n188" targetname: "n189" label: "1" class:1  priority:50}
 169 node: {title: "n189" label: "PhiIs 189"  info1: "Phi 189
 170   mode:    Is
 171   visited: 25
 172   irg:     OO_INLINE_EXAMPLE_main
 173   arity:   2
 174   pred nodes:
 175     -1:    Block 181
 176      0:    0x0 190
 177      1:    Phi 188
 178   Private Attributes:
 179   backedges:
 180 "
 181 color:green}
 182 edge: {sourcename: "n189" targetname: "n190" label: "0" class:16 priority:10}
 183 edge: {sourcename: "n189" targetname: "n188" label: "1" class:1  priority:50}
 184 node: {title: "n182" label: "Jmp 182"  info1: "Jmp 182
 185   mode:    X
 186   visited: 25
 187   irg:     OO_INLINE_EXAMPLE_main
 188   arity:   0
 189   pred nodes:
 190     -1:    Block 181
 191   Private Attributes:
 192 "
 193 }
 194 }
 195
 196 graph: { title: "n145"  label: "Block 145" status:clustered color:yellow
 197  info1: "Block 145
 198   mode:    BB
 199   visited: 25
 200   irg:     OO_INLINE_EXAMPLE_main
 201   arity:   1
 202   pred nodes:
 203      0:    Proj 34
 204   Private Attributes:
 205   backedges:
 206   block visited: 0
 207   Execution freqency statistics:
 208 "
 209 edge: {sourcename: "n145" targetname: "n34" label: "0" class:13 priority:60 color:red}
 210 node: {title: "n152" label: "ProjM M 152"  info1: "Proj 152
 211   mode:    M
 212   visited: 25
 213   irg:     OO_INLINE_EXAMPLE_main
 214   arity:   1
 215   pred nodes:
 216     -1:    Block 145
 217      0:    Store 153
 218   Private Attributes:
 219   proj nr: 0
 220 "
 221 color:yellow}
 222 edge: {sourcename: "n152" targetname: "n153" label: "0" class:17 priority:10 color:blue}
 223 node: {title: "n153" label: "Store 153"  info1: "Store 153
 224   mode:    T
 225   visited: 25
 226   irg:     OO_INLINE_EXAMPLE_main
 227   arity:   3
 228   pred nodes:
 229     -1:    Block 145
 230      0:    Proj 47
 231      1:    Sel 156
 232      2:    0x2 41
 233   Private Attributes:
 234   pinned state: op_pin_state_pinned
 235   volatility: volatility_non_volatile
 236 "
 237 }
 238 edge: {sourcename: "n153" targetname: "n47" label: "0" class:14 priority:50 color:blue}
 239 edge: {sourcename: "n153" targetname: "n156" label: "1" class:1  priority:50}
 240 edge: {sourcename: "n153" targetname: "n41" label: "2" class:16 priority:10}
 241 node: {title: "n156" label: "Sel a 156"  info1: "Sel 156
 242   mode:    P
 243   visited: 25
 244   irg:     OO_INLINE_EXAMPLE_main
 245   arity:   2
 246   pred nodes:
 247     -1:    Block 145
 248      0:    Proj 47
 249      1:    Proj 48
 250   Private Attributes:
 251   Selecting entity a (17)
 252     of type    int
 253     with owner PRIMA_INLINE.
 254 "
 255 }
 256 edge: {sourcename: "n156" targetname: "n47" label: "0" class:14 priority:50 color:blue}
 257 edge: {sourcename: "n156" targetname: "n48" label: "1" class:1  priority:50}
 258 node: {title: "n47" label: "ProjM M 47"  info1: "Proj 47
 259   mode:    M
 260   visited: 25
 261   irg:     OO_INLINE_EXAMPLE_main
 262   arity:   1
 263   pred nodes:
 264     -1:    Block 145
 265      0:    Alloc 45
 266   Private Attributes:
 267   proj nr: 0
 268 "
 269 color:yellow}
 270 edge: {sourcename: "n47" targetname: "n45" label: "0" class:17 priority:10 color:blue}
 271 node: {title: "n48" label: "ProjP res 48"  info1: "Proj 48
 272   mode:    P
 273   visited: 25
 274   irg:     OO_INLINE_EXAMPLE_main
 275   arity:   1
 276   pred nodes:
 277     -1:    Block 145
 278      0:    Alloc 45
 279   Private Attributes:
 280   proj nr: 2
 281 "
 282 color:yellow}
 283 edge: {sourcename: "n48" targetname: "n45" label: "0" class:1  priority:50}
 284 node: {title: "n45" label: "Alloc 45"  info1: "Alloc 45
 285   mode:    T
 286   visited: 25
 287   irg:     OO_INLINE_EXAMPLE_main
 288   arity:   2
 289   pred nodes:
 290     -1:    Block 145
 291      0:    Proj 37
 292      1:    SymC PRIMA_INLINE size 43
 293   Private Attributes:
 294   pinned state: op_pin_state_pinned
 295   allocating entity of type: PRIMA_INLINE
 296   allocating on: the heap
 297 "
 298 }
 299 edge: {sourcename: "n45" targetname: "n37" label: "0" class:17 priority:10 color:blue}
 300 edge: {sourcename: "n45" targetname: "n43" label: "1" class:16 priority:10}
 301 node: {title: "n190" label: "0x0Is 190"  info1: "0x0 190
 302   mode:    Is
 303   visited: 25
 304   irg:     OO_INLINE_EXAMPLE_main
 305   arity:   0
 306   pred nodes:
 307     -1:    Block 145
 308   Private Attributes:
 309   Const of type type_unknown
 310 "
 311 color:yellow}
 312 node: {title: "n142" label: "Jmp 142"  info1: "Jmp 142
 313   mode:    X
 314   visited: 25
 315   irg:     OO_INLINE_EXAMPLE_main
 316   arity:   0
 317   pred nodes:
 318     -1:    Block 145
 319   Private Attributes:
 320 "
 321 }
 322 }
 323
 324 graph: { title: "n30"  label: "Block 30" status:clustered color:yellow
 325  info1: "Block 30
 326   mode:    BB
 327   visited: 25
 328   irg:     OO_INLINE_EXAMPLE_main
 329   arity:   1
 330   pred nodes:
 331      0:    Proj 34
 332   Private Attributes:
 333   backedges:
 334   block visited: 0
 335   Execution freqency statistics:
 336 "
 337 edge: {sourcename: "n30" targetname: "n34" label: "0" class:13 priority:60 color:red}
 338 node: {title: "n41" label: "0x2Is 41"  info1: "0x2 41
 339   mode:    Is
 340   visited: 25
 341   irg:     OO_INLINE_EXAMPLE_main
 342   arity:   0
 343   pred nodes:
 344     -1:    Block 30
 345   Private Attributes:
 346   Const of type type_unknown
 347 "
 348 color:yellow}
 349 node: {title: "n37" label: "ProjM 1 37"  info1: "Proj 37
 350   mode:    M
 351   visited: 25
 352   irg:     OO_INLINE_EXAMPLE_main
 353   arity:   1
 354   pred nodes:
 355     -1:    Block 30
 356      0:    Start 31
 357   Private Attributes:
 358   proj nr: 1
 359 "
 360 color:yellow}
 361 edge: {sourcename: "n37" targetname: "n31" label: "0" class:17 priority:10 color:blue}
 362 node: {title: "n43" label: "SymC PRIMA_INLINE size 43"  info1: "SymC PRIMA_INLINE size 43
 363   mode:    Iu
 364   visited: 25
 365   irg:     OO_INLINE_EXAMPLE_main
 366   arity:   0
 367   pred nodes:
 368     -1:    Block 30
 369   Private Attributes:
 370   kind: size
 371   type: class type PRIMA_INLINE (15)
 372   type of value: type_unknown
 373 "
 374 }
 375 node: {title: "n42" label: "0x5Is 42"  info1: "0x5 42
 376   mode:    Is
 377   visited: 25
 378   irg:     OO_INLINE_EXAMPLE_main
 379   arity:   0
 380   pred nodes:
 381     -1:    Block 30
 382   Private Attributes:
 383   Const of type type_unknown
 384 "
 385 color:yellow}
 386 node: {title: "n34" label: "ProjX X_initial_exec 34"  info1: "Proj 34
 387   mode:    X
 388   visited: 25
 389   irg:     OO_INLINE_EXAMPLE_main
 390   arity:   1
 391   pred nodes:
 392     -1:    Block 30
 393      0:    Start 31
 394   Private Attributes:
 395   proj nr: 0
 396 "
 397 color:yellow}
 398 edge: {sourcename: "n34" targetname: "n31" label: "0" class:13 priority:60 color:red}
 399 node: {title: "n31" label: "Start 31"  info1: "Start 31
 400   mode:    T
 401   visited: 25
 402   irg:     OO_INLINE_EXAMPLE_main
 403   arity:   0
 404   pred nodes:
 405     -1:    Block 30
 406   Private Attributes:
 407   start of method of type OO_INLINE_EXAMPLE_main
 408 "
 409 color:blue}
 410 }
 411
 412 graph: { title: "n28"  label: "Block 28" status:clustered color:yellow
 413  info1: "Block 28
 414   mode:    BB
 415   visited: 25
 416   irg:     OO_INLINE_EXAMPLE_main
 417   arity:   0
 418   pred nodes:
 419   Private Attributes:
 420   backedges:
 421   block visited: 0
 422   Execution freqency statistics:
 423 "
 424 node: {title: "n197" label: "End 197"  info1: "End 197
 425   mode:    X
 426   visited: 25
 427   irg:     OO_INLINE_EXAMPLE_main
 428   arity:   2
 429   pred nodes:
 430     -1:    Block 28
 431      0:    Block 181
 432      1:    Phi 180
 433   Private Attributes:
 434 "
 435 color:blue}
 436 }
 437
 438 }
 439
 440 }