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 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: 25
  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: 25
  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: 25
  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 of type PRIMA_INLINE
 104 "
 105 }
 106 edge: {sourcename: "n189" targetname: "n179" label: "0" class:14 priority:50 color:blue}
 107 edge: {sourcename: "n189" targetname: "n48" label: "1" class:16 priority:10}
 108 node: {title: "n186" label: "PhiIs  186"  info1: "Phi 186
 109   mode:    Is
 110   visited: 25
 111   irg:     OO_INLINE_EXAMPLE_main
 112   arity:   2
 113   pred nodes:
 114     -1:    Block 180
 115      0:    0x5 42
 116      1:    Phi 187
 117   Private Attributes:
 118   backedges:
 119 "
 120 color: green}
 121 edge: {sourcename: "n186" targetname: "n42" label: "0" class:16 priority:10}
 122 edge: {sourcename: "n186" targetname: "n187" label: "1" class:1  priority:50}
 123 node: {title: "n187" label: "PhiIs  187"  info1: "Phi 187
 124   mode:    Is
 125   visited: 25
 126   irg:     OO_INLINE_EXAMPLE_main
 127   arity:   2
 128   pred nodes:
 129     -1:    Block 180
 130      0:    0x0 188
 131      1:    Phi 186
 132   Private Attributes:
 133   backedges:
 134 "
 135 color: green}
 136 edge: {sourcename: "n187" targetname: "n188" label: "0" class:16 priority:10}
 137 edge: {sourcename: "n187" targetname: "n186" label: "1" class:1  priority:50}
 138 node: {title: "n181" label: "Jmp  181"  info1: "Jmp 181
 139   mode:    X
 140   visited: 25
 141   irg:     OO_INLINE_EXAMPLE_main
 142   arity:   0
 143   pred nodes:
 144     -1:    Block 180
 145   Private Attributes:
 146 "
 147 }
 148 }
 149
 150 graph: { title: "n144"  label: "Block 144" status:clustered color:yellow
 151 edge: {sourcename: "n144" targetname: "n34" label: "0" class:13 priority:60 color:red}
 152 node: {title: "n151" label: "ProjM 0 151"  info1: "Proj 151
 153   mode:    M
 154   visited: 25
 155   irg:     OO_INLINE_EXAMPLE_main
 156   arity:   1
 157   pred nodes:
 158     -1:    Block 144
 159      0:    Store 152
 160   Private Attributes:
 161 "
 162 color: yellow}
 163 edge: {sourcename: "n151" targetname: "n152" label: "0" class:17 priority:10 color:blue}
 164 node: {title: "n152" label: "Store  152"  info1: "Store 152
 165   mode:    T
 166   visited: 25
 167   irg:     OO_INLINE_EXAMPLE_main
 168   arity:   3
 169   pred nodes:
 170     -1:    Block 144
 171      0:    Proj 47
 172      1:    Sel 155
 173      2:    0x2 41
 174   Private Attributes:
 175   pinned state: op_pin_state_pinned
 176   volatility: volatility_non_volatile
 177 "
 178 }
 179 edge: {sourcename: "n152" targetname: "n47" label: "0" class:14 priority:50 color:blue}
 180 edge: {sourcename: "n152" targetname: "n155" label: "1" class:1  priority:50}
 181 edge: {sourcename: "n152" targetname: "n41" label: "2" class:16 priority:10}
 182 node: {title: "n155" label: "Sel a 155"  info1: "Sel 155
 183   mode:    P
 184   visited: 25
 185   irg:     OO_INLINE_EXAMPLE_main
 186   arity:   2
 187   pred nodes:
 188     -1:    Block 144
 189      0:    Proj 47
 190      1:    Proj 48
 191   Private Attributes:
 192   Selecting entity of type int
 193     from entity of type PRIMA_INLINE
 194 "
 195 }
 196 edge: {sourcename: "n155" targetname: "n47" label: "0" class:14 priority:50 color:blue}
 197 edge: {sourcename: "n155" targetname: "n48" label: "1" class:1  priority:50}
 198 node: {title: "n47" label: "ProjM 0 47"  info1: "Proj 47
 199   mode:    M
 200   visited: 25
 201   irg:     OO_INLINE_EXAMPLE_main
 202   arity:   1
 203   pred nodes:
 204     -1:    Block 144
 205      0:    Alloc 45
 206   Private Attributes:
 207 "
 208 color: yellow}
 209 edge: {sourcename: "n47" targetname: "n45" label: "0" class:17 priority:10 color:blue}
 210 node: {title: "n48" label: "ProjP 2 48"  info1: "Proj 48
 211   mode:    P
 212   visited: 25
 213   irg:     OO_INLINE_EXAMPLE_main
 214   arity:   1
 215   pred nodes:
 216     -1:    Block 144
 217      0:    Alloc 45
 218   Private Attributes:
 219 "
 220 color: yellow}
 221 edge: {sourcename: "n48" targetname: "n45" label: "0" class:1  priority:50}
 222 node: {title: "n45" label: "Alloc  45"  info1: "Alloc 45
 223   mode:    T
 224   visited: 25
 225   irg:     OO_INLINE_EXAMPLE_main
 226   arity:   2
 227   pred nodes:
 228     -1:    Block 144
 229      0:    Proj 37
 230      1:    SymC PRIMA_INLINE size 43
 231   Private Attributes:
 232   pinned state: op_pin_state_pinned
 233   allocating entity of type: PRIMA_INLINE
 234   allocating on: the heap
 235 "
 236 }
 237 edge: {sourcename: "n45" targetname: "n37" label: "0" class:17 priority:10 color:blue}
 238 edge: {sourcename: "n45" targetname: "n43" label: "1" class:16 priority:10}
 239 node: {title: "n188" label: "0x0Is  188"  info1: "0x0 188
 240   mode:    Is
 241   visited: 25
 242   irg:     OO_INLINE_EXAMPLE_main
 243   arity:   0
 244   pred nodes:
 245     -1:    Block 144
 246   Private Attributes:
 247   Const of type type_unknown
 248 "
 249 color: yellow}
 250 node: {title: "n141" label: "Jmp  141"  info1: "Jmp 141
 251   mode:    X
 252   visited: 25
 253   irg:     OO_INLINE_EXAMPLE_main
 254   arity:   0
 255   pred nodes:
 256     -1:    Block 144
 257   Private Attributes:
 258 "
 259 }
 260 }
 261
 262 graph: { title: "n30"  label: "Block 30" status:clustered color:yellow
 263 edge: {sourcename: "n30" targetname: "n34" label: "0" class:13 priority:60 color:red}
 264 node: {title: "n41" label: "0x2Is  41"  info1: "0x2 41
 265   mode:    Is
 266   visited: 25
 267   irg:     OO_INLINE_EXAMPLE_main
 268   arity:   0
 269   pred nodes:
 270     -1:    Block 30
 271   Private Attributes:
 272   Const of type type_unknown
 273 "
 274 color: yellow}
 275 node: {title: "n37" label: "ProjM 1 37"  info1: "Proj 37
 276   mode:    M
 277   visited: 25
 278   irg:     OO_INLINE_EXAMPLE_main
 279   arity:   1
 280   pred nodes:
 281     -1:    Block 30
 282      0:    Start 31
 283   Private Attributes:
 284 "
 285 color: yellow}
 286 edge: {sourcename: "n37" targetname: "n31" label: "0" class:17 priority:10 color:blue}
 287 node: {title: "n43" label: "SymC PRIMA_INLINE size  43"  info1: "SymC PRIMA_INLINE size 43
 288   mode:    Iu
 289   visited: 25
 290   irg:     OO_INLINE_EXAMPLE_main
 291   arity:   0
 292   pred nodes:
 293     -1:    Block 30
 294   Private Attributes:
 295   kind: size
 296   type: class type PRIMA_INLINE (15)
 297   type of value: type_unknown
 298 "
 299 }
 300 node: {title: "n42" label: "0x5Is  42"  info1: "0x5 42
 301   mode:    Is
 302   visited: 25
 303   irg:     OO_INLINE_EXAMPLE_main
 304   arity:   0
 305   pred nodes:
 306     -1:    Block 30
 307   Private Attributes:
 308   Const of type type_unknown
 309 "
 310 color: yellow}
 311 node: {title: "n34" label: "ProjX 0 34"  info1: "Proj 34
 312   mode:    X
 313   visited: 25
 314   irg:     OO_INLINE_EXAMPLE_main
 315   arity:   1
 316   pred nodes:
 317     -1:    Block 30
 318      0:    Start 31
 319   Private Attributes:
 320 "
 321 color: yellow}
 322 edge: {sourcename: "n34" targetname: "n31" label: "0" class:13 priority:60 color:red}
 323 node: {title: "n31" label: "Start  31"  info1: "Start 31
 324   mode:    T
 325   visited: 25
 326   irg:     OO_INLINE_EXAMPLE_main
 327   arity:   0
 328   pred nodes:
 329     -1:    Block 30
 330   Private Attributes:
 331   start of method of type OO_INLINE_EXAMPLE_main
 332 "
 333 color: blue}
 334 }
 335
 336 graph: { title: "n28"  label: "Block 28" status:clustered color:yellow
 337 node: {title: "n195" label: "End  195"  info1: "End 195
 338   mode:    X
 339   visited: 25
 340   irg:     OO_INLINE_EXAMPLE_main
 341   arity:   2
 342   pred nodes:
 343     -1:    Block 28
 344      0:    Block 180
 345      1:    Phi 179
 346   Private Attributes:
 347 "
 348 color: blue}
 349 }
 350
 351 }
 352
 353 }