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 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: 25
 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: 25
 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: 25
 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: 25
 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: 25
 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: 25
 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: 25
 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: 25
 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: 25
 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: 25
 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: 25
 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: 25
 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: 25
 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: 25
 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: 25
 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: 25
 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: 25
 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: 25
 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 }