nsz Git - libfirm/blob - testprograms/ref-results/OO_PROGRAM_EXAMPLE_main-pure.vcg

   1 graph: { title: "ir graph of OO_PROGRAM_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 node: {title: "n30" label: "Block  30"  info1: "Block 30
  56   mode:    BB
  57   visited: 18
  58   irg:     OO_PROGRAM_EXAMPLE_main
  59   arity:   1
  60   pred nodes:
  61      0:    Proj 34
  62   Private Attributes:
  63   backedges:
  64   block visited: 0  dominator info: not implemented
  65 "
  66 color: lightyellow}
  67 edge: {sourcename: "n30" targetname: "n34" label: "0" class:13 priority:60 color:red}
  68 node: {title: "n31" label: "Start  31"  info1: "Start 31
  69   mode:    T
  70   visited: 18
  71   irg:     OO_PROGRAM_EXAMPLE_main
  72   arity:   0
  73   pred nodes:
  74     -1:    Block 30
  75   Private Attributes:
  76   start of method of type OO_PROGRAM_EXAMPLE_main
  77 "
  78 color: blue}
  79 edge: { sourcename: "n31" targetname: "n30" class:2  priority:50 linestyle:dotted}
  80 node: {title: "n34" label: "ProjX 0 34"  info1: "Proj 34
  81   mode:    X
  82   visited: 18
  83   irg:     OO_PROGRAM_EXAMPLE_main
  84   arity:   1
  85   pred nodes:
  86     -1:    Block 30
  87      0:    Start 31
  88   Private Attributes:
  89 "
  90 color: yellow}
  91 edge: {sourcename: "n34" targetname: "n31" label: "0" class:13 priority:60 color:red}
  92 edge: { sourcename: "n34" targetname: "n30" class:2  priority:50 linestyle:dotted}
  93 node: {title: "n40" label: "Block  40"  info1: "Block 40
  94   mode:    BB
  95   visited: 18
  96   irg:     OO_PROGRAM_EXAMPLE_main
  97   arity:   1
  98   pred nodes:
  99      0:    Proj 34
 100   Private Attributes:
 101   backedges:
 102   block visited: 0  dominator info: not implemented
 103 "
 104 color: lightyellow}
 105 edge: {sourcename: "n40" targetname: "n34" label: "0" class:13 priority:60 color:red}
 106 node: {title: "n37" label: "ProjM 1 37"  info1: "Proj 37
 107   mode:    M
 108   visited: 18
 109   irg:     OO_PROGRAM_EXAMPLE_main
 110   arity:   1
 111   pred nodes:
 112     -1:    Block 30
 113      0:    Start 31
 114   Private Attributes:
 115 "
 116 color: yellow}
 117 edge: {sourcename: "n37" targetname: "n31" label: "0" class:17 priority:10 color:blue}
 118 edge: { sourcename: "n37" targetname: "n30" class:2  priority:50 linestyle:dotted}
 119 node: {title: "n45" label: "Alloc  45"  info1: "Alloc 45
 120   mode:    T
 121   visited: 18
 122   irg:     OO_PROGRAM_EXAMPLE_main
 123   arity:   2
 124   pred nodes:
 125     -1:    Block 40
 126      0:    Proj 37
 127      1:    SymC PRIMA size 43
 128   Private Attributes:
 129   pinned state: op_pin_state_pinned
 130   allocating entity of type: PRIMA
 131   allocating on: the heap
 132 "
 133 }
 134 node: {title: "n45n43" label: "SymC PRIMA size  43"  info1: "SymC PRIMA size 43
 135   mode:    Iu
 136   visited: 18
 137   irg:     OO_PROGRAM_EXAMPLE_main
 138   arity:   0
 139   pred nodes:
 140     -1:    Block 30
 141   Private Attributes:
 142   kind: size
 143   type: class type PRIMA (15)
 144   type of value: type_unknown
 145 "
 146 }
 147 edge: {sourcename: "n45" targetname: "n37" label: "0" class:17 priority:10 color:blue}
 148 edge: {sourcename: "n45" targetname: "n45n43" label: "1" class:16 priority:10}
 149 edge: { sourcename: "n45" targetname: "n40" class:2  priority:50 linestyle:dotted}
 150 node: {title: "n48" label: "ProjP 2 48"  info1: "Proj 48
 151   mode:    P
 152   visited: 18
 153   irg:     OO_PROGRAM_EXAMPLE_main
 154   arity:   1
 155   pred nodes:
 156     -1:    Block 40
 157      0:    Alloc 45
 158   Private Attributes:
 159 "
 160 color: yellow}
 161 edge: {sourcename: "n48" targetname: "n45" label: "0" class:1  priority:50}
 162 edge: { sourcename: "n48" targetname: "n40" class:2  priority:50 linestyle:dotted}
 163 node: {title: "n47" label: "ProjM 0 47"  info1: "Proj 47
 164   mode:    M
 165   visited: 18
 166   irg:     OO_PROGRAM_EXAMPLE_main
 167   arity:   1
 168   pred nodes:
 169     -1:    Block 40
 170      0:    Alloc 45
 171   Private Attributes:
 172 "
 173 color: yellow}
 174 edge: {sourcename: "n47" targetname: "n45" label: "0" class:17 priority:10 color:blue}
 175 edge: { sourcename: "n47" targetname: "n40" class:2  priority:50 linestyle:dotted}
 176 node: {title: "n49" label: "Sel PRIMA_set_a 49"  info1: "Sel 49
 177   mode:    P
 178   visited: 18
 179   irg:     OO_PROGRAM_EXAMPLE_main
 180   arity:   2
 181   pred nodes:
 182     -1:    Block 40
 183      0:    Proj 47
 184      1:    Proj 48
 185   Private Attributes:
 186   Selecting entity of type set_a
 187     from entity of type PRIMA
 188 "
 189 }
 190 edge: {sourcename: "n49" targetname: "n47" label: "0" class:14 priority:50 color:blue}
 191 edge: {sourcename: "n49" targetname: "n48" label: "1" class:1  priority:50}
 192 edge: { sourcename: "n49" targetname: "n40" class:2  priority:50 linestyle:dotted}
 193 node: {title: "n50" label: "Call  50"  info1: "Call 50
 194   mode:    T
 195   visited: 18
 196   irg:     OO_PROGRAM_EXAMPLE_main
 197   arity:   4
 198   pred nodes:
 199     -1:    Block 40
 200      0:    Proj 47
 201      1:    Sel 49
 202      2:    Proj 48
 203      3:    0x2 41
 204   Private Attributes:
 205   pinned state: op_pin_state_pinned
 206   calling method of type set_a
 207     param 0 type: class_prima_ptr
 208     param 1 type: int
 209 "
 210 }
 211 node: {title: "n50n41" label: "0x2Is  41"  info1: "0x2 41
 212   mode:    Is
 213   visited: 18
 214   irg:     OO_PROGRAM_EXAMPLE_main
 215   arity:   0
 216   pred nodes:
 217     -1:    Block 30
 218   Private Attributes:
 219   Const of type type_unknown
 220 "
 221 color: yellow}
 222 edge: {sourcename: "n50" targetname: "n47" label: "0" class:14 priority:50 color:blue}
 223 edge: {sourcename: "n50" targetname: "n49" label: "1" class:1  priority:50}
 224 edge: {sourcename: "n50" targetname: "n48" label: "2" class:1  priority:50}
 225 edge: {sourcename: "n50" targetname: "n50n41" label: "3" class:16 priority:10}
 226 edge: { sourcename: "n50" targetname: "n40" class:2  priority:50 linestyle:dotted}
 227 node: {title: "n52" label: "ProjM 0 52"  info1: "Proj 52
 228   mode:    M
 229   visited: 18
 230   irg:     OO_PROGRAM_EXAMPLE_main
 231   arity:   1
 232   pred nodes:
 233     -1:    Block 40
 234      0:    Call 50
 235   Private Attributes:
 236 "
 237 color: yellow}
 238 edge: {sourcename: "n52" targetname: "n50" label: "0" class:17 priority:10 color:blue}
 239 edge: { sourcename: "n52" targetname: "n40" class:2  priority:50 linestyle:dotted}
 240 node: {title: "n53" label: "Sel PRIMA_c 53"  info1: "Sel 53
 241   mode:    P
 242   visited: 18
 243   irg:     OO_PROGRAM_EXAMPLE_main
 244   arity:   2
 245   pred nodes:
 246     -1:    Block 40
 247      0:    Proj 52
 248      1:    Proj 48
 249   Private Attributes:
 250   Selecting entity of type c
 251     from entity of type PRIMA
 252 "
 253 }
 254 edge: {sourcename: "n53" targetname: "n52" label: "0" class:14 priority:50 color:blue}
 255 edge: {sourcename: "n53" targetname: "n48" label: "1" class:1  priority:50}
 256 edge: { sourcename: "n53" targetname: "n40" class:2  priority:50 linestyle:dotted}
 257 node: {title: "n54" label: "Call  54"  info1: "Call 54
 258   mode:    T
 259   visited: 18
 260   irg:     OO_PROGRAM_EXAMPLE_main
 261   arity:   4
 262   pred nodes:
 263     -1:    Block 40
 264      0:    Proj 52
 265      1:    Sel 53
 266      2:    Proj 48
 267      3:    0x5 42
 268   Private Attributes:
 269   pinned state: op_pin_state_pinned
 270   calling method of type c
 271     param 0 type: class_prima_ptr
 272     param 1 type: int
 273     resul 0 type: int
 274 "
 275 }
 276 node: {title: "n54n42" label: "0x5Is  42"  info1: "0x5 42
 277   mode:    Is
 278   visited: 18
 279   irg:     OO_PROGRAM_EXAMPLE_main
 280   arity:   0
 281   pred nodes:
 282     -1:    Block 30
 283   Private Attributes:
 284   Const of type type_unknown
 285 "
 286 color: yellow}
 287 edge: {sourcename: "n54" targetname: "n52" label: "0" class:14 priority:50 color:blue}
 288 edge: {sourcename: "n54" targetname: "n53" label: "1" class:1  priority:50}
 289 edge: {sourcename: "n54" targetname: "n48" label: "2" class:1  priority:50}
 290 edge: {sourcename: "n54" targetname: "n54n42" label: "3" class:16 priority:10}
 291 edge: { sourcename: "n54" targetname: "n40" class:2  priority:50 linestyle:dotted}
 292 node: {title: "n57" label: "ProjT 2 57"  info1: "Proj 57
 293   mode:    T
 294   visited: 18
 295   irg:     OO_PROGRAM_EXAMPLE_main
 296   arity:   1
 297   pred nodes:
 298     -1:    Block 40
 299      0:    Call 54
 300   Private Attributes:
 301 "
 302 color: yellow}
 303 edge: {sourcename: "n57" targetname: "n54" label: "0" class:1  priority:50}
 304 edge: { sourcename: "n57" targetname: "n40" class:2  priority:50 linestyle:dotted}
 305 node: {title: "n58" label: "ProjIs 0 58"  info1: "Proj 58
 306   mode:    Is
 307   visited: 18
 308   irg:     OO_PROGRAM_EXAMPLE_main
 309   arity:   1
 310   pred nodes:
 311     -1:    Block 40
 312      0:    Proj 57
 313   Private Attributes:
 314 "
 315 color: yellow}
 316 edge: {sourcename: "n58" targetname: "n57" label: "0" class:1  priority:50}
 317 edge: { sourcename: "n58" targetname: "n40" class:2  priority:50 linestyle:dotted}
 318 node: {title: "n56" label: "ProjM 0 56"  info1: "Proj 56
 319   mode:    M
 320   visited: 18
 321   irg:     OO_PROGRAM_EXAMPLE_main
 322   arity:   1
 323   pred nodes:
 324     -1:    Block 40
 325      0:    Call 54
 326   Private Attributes:
 327 "
 328 color: yellow}
 329 edge: {sourcename: "n56" targetname: "n54" label: "0" class:17 priority:10 color:blue}
 330 edge: { sourcename: "n56" targetname: "n40" class:2  priority:50 linestyle:dotted}
 331 node: {title: "n59" label: "Return  59"  info1: "Return 59
 332   mode:    X
 333   visited: 18
 334   irg:     OO_PROGRAM_EXAMPLE_main
 335   arity:   2
 336   pred nodes:
 337     -1:    Block 40
 338      0:    Proj 56
 339      1:    Proj 58
 340   Private Attributes:
 341   return in method of type OO_PROGRAM_EXAMPLE_main
 342     res 0 type: int
 343 "
 344 }
 345 edge: {sourcename: "n59" targetname: "n56" label: "0" class:14 priority:50 color:blue}
 346 edge: {sourcename: "n59" targetname: "n58" label: "1" class:1  priority:50}
 347 edge: { sourcename: "n59" targetname: "n40" class:2  priority:50 linestyle:dotted}
 348 node: {title: "n28" label: "Block  28"  info1: "Block 28
 349   mode:    BB
 350   visited: 18
 351   irg:     OO_PROGRAM_EXAMPLE_main
 352   arity:   1
 353   pred nodes:
 354      0:    Return 59
 355   Private Attributes:
 356   backedges:
 357   block visited: 0  dominator info: not implemented
 358 "
 359 color: lightyellow}
 360 edge: {sourcename: "n28" targetname: "n59" label: "0" class:13 priority:60 color:red}
 361 node: {title: "n109" label: "End  109"  info1: "End 109
 362   mode:    X
 363   visited: 18
 364   irg:     OO_PROGRAM_EXAMPLE_main
 365   arity:   0
 366   pred nodes:
 367     -1:    Block 28
 368   Private Attributes:
 369 "
 370 color: blue}
 371 edge: { sourcename: "n109" targetname: "n28" class:2  priority:50 linestyle:dotted}
 372 }