nsz Git - libfirm/blob - testprograms/ref-results/OO_PROGRAM_EXAMPLE_main-pure-wtypes-ip.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: 37
  58   irg:     OO_PROGRAM_EXAMPLE_main
  59   arity:   1
  60   pred nodes:
  61      0:    Proj 34
  62   Private Attributes:
  63   inter arity: 1
  64   inter pred nodes:
  65      0:    Proj 34
  66   backedges:
  67   block visited: 0
  68   dominator info: output not implemented
  69 "
  70 color: lightyellow}
  71 edge: {sourcename: "n30" targetname: "n34" label: "0" class:13 priority:60 color:red}
  72 node: {title: "n31" label: "Start OO_PROGRAM_EXAMPLE_main  31"  info1: "Start OO_PROGRAM_EXAMPLE_main 31
  73   mode:    T
  74   visited: 37
  75   irg:     OO_PROGRAM_EXAMPLE_main
  76   arity:   0
  77   pred nodes:
  78     -1:    Block 30
  79   Private Attributes:
  80   start of method of type OO_PROGRAM_EXAMPLE_main
  81 "
  82 color: blue}
  83 edge: { sourcename: "n31" targetname: "n30" class:2  priority:50 linestyle:dotted}
  84 node: {title: "n34" label: "ProjX 0 34"  info1: "Proj 34
  85   mode:    X
  86   visited: 37
  87   irg:     OO_PROGRAM_EXAMPLE_main
  88   arity:   1
  89   pred nodes:
  90     -1:    Block 30
  91      0:    Start OO_PROGRAM_EXAMPLE_main 31
  92   Private Attributes:
  93 "
  94 color: yellow}
  95 edge: {sourcename: "n34" targetname: "n31" label: "0" class:13 priority:60 color:red}
  96 edge: { sourcename: "n34" targetname: "n30" class:2  priority:50 linestyle:dotted}
  97 node: {title: "n191" label: "Block  191"  info1: "Block 191
  98   mode:    BB
  99   visited: 37
 100   irg:     OO_PROGRAM_EXAMPLE_main
 101   arity:   1
 102   pred nodes:
 103      0:    Proj 34
 104   Private Attributes:
 105   inter arity: 1
 106   inter pred nodes:
 107      0:    Proj 34
 108   backedges:
 109   block visited: 0
 110   dominator info: output not implemented
 111 "
 112 color: lightyellow}
 113 edge: {sourcename: "n191" targetname: "n34" label: "0" class:13 priority:60 color:red}
 114 node: {title: "n193" label: "CallBegin set_a  193"  info1: "CallBegin set_a 193
 115   mode:    T
 116   visited: 37
 117   irg:     OO_PROGRAM_EXAMPLE_main
 118   arity:   1
 119   pred nodes:
 120     -1:    Block 191
 121      0:    SymC &set_a 175
 122   Private Attributes:
 123   Call: 50
 124   possible callees:
 125     0: PRIMA_set_a
 126 "
 127 }
 128 node: {title: "n193n175" label: "SymC &set_a  175"  info1: "SymC &set_a 175
 129   mode:    P
 130   visited: 37
 131   irg:     OO_PROGRAM_EXAMPLE_main
 132   arity:   0
 133   pred nodes:
 134     -1:    Block 30
 135   Private Attributes:
 136   kind:   addr_ent
 137   entity: entity PRIMA.set_a (20)
 138
 139   type of value: type_unknown
 140 "
 141 }
 142 edge: {sourcename: "n193" targetname: "n193n175" label: "0" class:16 priority:10}
 143 edge: { sourcename: "n193" targetname: "n191" class:2  priority:50 linestyle:dotted}
 144 node: {title: "n195" label: "ProjX 0 195"  info1: "Proj 195
 145   mode:    X
 146   visited: 37
 147   irg:     OO_PROGRAM_EXAMPLE_main
 148   arity:   1
 149   pred nodes:
 150     -1:    Block 191
 151      0:    CallBegin set_a 193
 152   Private Attributes:
 153 "
 154 color: yellow}
 155 edge: {sourcename: "n195" targetname: "n193" label: "0" class:13 priority:60 color:red}
 156 edge: { sourcename: "n195" targetname: "n191" class:2  priority:50 linestyle:dotted}
 157 node: {title: "n64" label: "Block  64"  info1: "Block 64
 158   mode:    BB
 159   visited: 37
 160   irg:     PRIMA_set_a
 161   arity:   1
 162   pred nodes:
 163      0:    Proj 68
 164   Private Attributes:
 165   inter arity: 1
 166   inter pred nodes:
 167      0:    Proj 195
 168   backedges:
 169   block visited: 0
 170   dominator info: output not implemented
 171 "
 172 color: lightyellow}
 173 edge: {sourcename: "n64" targetname: "n195" label: "0" class:13 priority:60 color:red}
 174 node: {title: "n65" label: "Start PRIMA_set_a  65"  info1: "Start PRIMA_set_a 65
 175   mode:    T
 176   visited: 37
 177   irg:     PRIMA_set_a
 178   arity:   0
 179   pred nodes:
 180     -1:    Block 64
 181   Private Attributes:
 182   start of method of type set_a
 183     param 0 type: class_prima_ptr
 184     param 1 type: int
 185 "
 186 color: blue}
 187 edge: { sourcename: "n65" targetname: "n64" class:2  priority:50 linestyle:dotted}
 188 node: {title: "n68" label: "ProjX 0 68"  info1: "Proj 68
 189   mode:    X
 190   visited: 37
 191   irg:     PRIMA_set_a
 192   arity:   1
 193   pred nodes:
 194     -1:    Block 64
 195      0:    Start PRIMA_set_a 65
 196   Private Attributes:
 197 "
 198 color: yellow}
 199 edge: {sourcename: "n68" targetname: "n65" label: "0" class:13 priority:60 color:red}
 200 edge: { sourcename: "n68" targetname: "n64" class:2  priority:50 linestyle:dotted}
 201 node: {title: "n74" label: "Block  74"  info1: "Block 74
 202   mode:    BB
 203   visited: 37
 204   irg:     PRIMA_set_a
 205   arity:   1
 206   pred nodes:
 207      0:    Proj 68
 208   Private Attributes:
 209   inter arity: 1
 210   inter pred nodes:
 211      0:    Proj 68
 212   backedges:
 213   block visited: 0
 214   dominator info: output not implemented
 215 "
 216 color: lightyellow}
 217 edge: {sourcename: "n74" targetname: "n68" label: "0" class:13 priority:60 color:red}
 218 node: {title: "n187" label: "Jmp  187"  info1: "Jmp 187
 219   mode:    X
 220   visited: 37
 221   irg:     PRIMA_set_a
 222   arity:   0
 223   pred nodes:
 224     -1:    Block 74
 225   Private Attributes:
 226 "
 227 }
 228 edge: { sourcename: "n187" targetname: "n74" class:2  priority:50 linestyle:dotted}
 229 node: {title: "n188" label: "Block  188"  info1: "Block 188
 230   mode:    BB
 231   visited: 37
 232   irg:     PRIMA_set_a
 233   arity:   1
 234   pred nodes:
 235      0:    Jmp 187
 236   Private Attributes:
 237   inter arity: 1
 238   inter pred nodes:
 239      0:    Jmp 187
 240   backedges:
 241   block visited: 0
 242   dominator info: output not implemented
 243 "
 244 color: lightyellow}
 245 edge: {sourcename: "n188" targetname: "n187" label: "0" class:13 priority:60 color:red}
 246 node: {title: "n189" label: "EndReg PRIMA_set_a  189"  info1: "EndReg PRIMA_set_a 189
 247   mode:    T
 248   visited: 37
 249   irg:     PRIMA_set_a
 250   arity:   0
 251   pred nodes:
 252     -1:    Block 188
 253   Private Attributes:
 254 "
 255 color: blue}
 256 edge: { sourcename: "n189" targetname: "n188" class:2  priority:50 linestyle:dotted}
 257 node: {title: "n194" label: "ProjX 0 194"  info1: "Proj 194
 258   mode:    X
 259   visited: 37
 260   irg:     PRIMA_set_a
 261   arity:   1
 262   pred nodes:
 263     -1:    Block 188
 264      0:    EndReg PRIMA_set_a 189
 265   Private Attributes:
 266 "
 267 color: yellow}
 268 edge: {sourcename: "n194" targetname: "n189" label: "0" class:13 priority:60 color:red}
 269 edge: { sourcename: "n194" targetname: "n188" class:2  priority:50 linestyle:dotted}
 270 node: {title: "n197" label: "Block  197"  info1: "Block 197
 271   mode:    BB
 272   visited: 37
 273   irg:     OO_PROGRAM_EXAMPLE_main
 274   arity:   1
 275   pred nodes:
 276      0:    Break 192
 277   Private Attributes:
 278   inter arity: 1
 279   inter pred nodes:
 280      0:    Proj 194
 281   backedges:
 282   block visited: 0
 283   dominator info: output not implemented
 284 "
 285 color: lightyellow}
 286 edge: {sourcename: "n197" targetname: "n194" label: "0" class:13 priority:60 color:red}
 287 node: {title: "n199" label: "CallBegin c  199"  info1: "CallBegin c 199
 288   mode:    T
 289   visited: 37
 290   irg:     OO_PROGRAM_EXAMPLE_main
 291   arity:   1
 292   pred nodes:
 293     -1:    Block 197
 294      0:    SymC &c 174
 295   Private Attributes:
 296   Call: 54
 297   possible callees:
 298     0: PRIMA_c
 299 "
 300 }
 301 node: {title: "n199n174" label: "SymC &c  174"  info1: "SymC &c 174
 302   mode:    P
 303   visited: 37
 304   irg:     OO_PROGRAM_EXAMPLE_main
 305   arity:   0
 306   pred nodes:
 307     -1:    Block 30
 308   Private Attributes:
 309   kind:   addr_ent
 310   entity: entity PRIMA.c (23)
 311
 312   type of value: type_unknown
 313 "
 314 }
 315 edge: {sourcename: "n199" targetname: "n199n174" label: "0" class:16 priority:10}
 316 edge: { sourcename: "n199" targetname: "n197" class:2  priority:50 linestyle:dotted}
 317 node: {title: "n201" label: "ProjX 0 201"  info1: "Proj 201
 318   mode:    X
 319   visited: 37
 320   irg:     OO_PROGRAM_EXAMPLE_main
 321   arity:   1
 322   pred nodes:
 323     -1:    Block 197
 324      0:    CallBegin c 199
 325   Private Attributes:
 326 "
 327 color: yellow}
 328 edge: {sourcename: "n201" targetname: "n199" label: "0" class:13 priority:60 color:red}
 329 edge: { sourcename: "n201" targetname: "n197" class:2  priority:50 linestyle:dotted}
 330 node: {title: "n87" label: "Block  87"  info1: "Block 87
 331   mode:    BB
 332   visited: 37
 333   irg:     PRIMA_c
 334   arity:   1
 335   pred nodes:
 336      0:    Proj 91
 337   Private Attributes:
 338   inter arity: 1
 339   inter pred nodes:
 340      0:    Proj 201
 341   backedges:
 342   block visited: 0
 343   dominator info: output not implemented
 344 "
 345 color: lightyellow}
 346 edge: {sourcename: "n87" targetname: "n201" label: "0" class:13 priority:60 color:red}
 347 node: {title: "n88" label: "Start PRIMA_c  88"  info1: "Start PRIMA_c 88
 348   mode:    T
 349   visited: 37
 350   irg:     PRIMA_c
 351   arity:   0
 352   pred nodes:
 353     -1:    Block 87
 354   Private Attributes:
 355   start of method of type c
 356     param 0 type: class_prima_ptr
 357     param 1 type: int
 358 "
 359 color: blue}
 360 edge: { sourcename: "n88" targetname: "n87" class:2  priority:50 linestyle:dotted}
 361 node: {title: "n91" label: "ProjX 0 91"  info1: "Proj 91
 362   mode:    X
 363   visited: 37
 364   irg:     PRIMA_c
 365   arity:   1
 366   pred nodes:
 367     -1:    Block 87
 368      0:    Start PRIMA_c 88
 369   Private Attributes:
 370 "
 371 color: yellow}
 372 edge: {sourcename: "n91" targetname: "n88" label: "0" class:13 priority:60 color:red}
 373 edge: { sourcename: "n91" targetname: "n87" class:2  priority:50 linestyle:dotted}
 374 node: {title: "n97" label: "Block  97"  info1: "Block 97
 375   mode:    BB
 376   visited: 37
 377   irg:     PRIMA_c
 378   arity:   1
 379   pred nodes:
 380      0:    Proj 91
 381   Private Attributes:
 382   inter arity: 1
 383   inter pred nodes:
 384      0:    Proj 91
 385   backedges:
 386   block visited: 0
 387   dominator info: output not implemented
 388 "
 389 color: lightyellow}
 390 edge: {sourcename: "n97" targetname: "n91" label: "0" class:13 priority:60 color:red}
 391 node: {title: "n179" label: "Jmp  179"  info1: "Jmp 179
 392   mode:    X
 393   visited: 37
 394   irg:     PRIMA_c
 395   arity:   0
 396   pred nodes:
 397     -1:    Block 97
 398   Private Attributes:
 399 "
 400 }
 401 edge: { sourcename: "n179" targetname: "n97" class:2  priority:50 linestyle:dotted}
 402 node: {title: "n180" label: "Block  180"  info1: "Block 180
 403   mode:    BB
 404   visited: 37
 405   irg:     PRIMA_c
 406   arity:   1
 407   pred nodes:
 408      0:    Jmp 179
 409   Private Attributes:
 410   inter arity: 1
 411   inter pred nodes:
 412      0:    Jmp 179
 413   backedges:
 414   block visited: 0
 415   dominator info: output not implemented
 416 "
 417 color: lightyellow}
 418 edge: {sourcename: "n180" targetname: "n179" label: "0" class:13 priority:60 color:red}
 419 node: {title: "n181" label: "EndReg PRIMA_c  181"  info1: "EndReg PRIMA_c 181
 420   mode:    T
 421   visited: 37
 422   irg:     PRIMA_c
 423   arity:   0
 424   pred nodes:
 425     -1:    Block 180
 426   Private Attributes:
 427 "
 428 color: blue}
 429 edge: { sourcename: "n181" targetname: "n180" class:2  priority:50 linestyle:dotted}
 430 node: {title: "n200" label: "ProjX 0 200"  info1: "Proj 200
 431   mode:    X
 432   visited: 37
 433   irg:     PRIMA_c
 434   arity:   1
 435   pred nodes:
 436     -1:    Block 180
 437      0:    EndReg PRIMA_c 181
 438   Private Attributes:
 439 "
 440 color: yellow}
 441 edge: {sourcename: "n200" targetname: "n181" label: "0" class:13 priority:60 color:red}
 442 edge: { sourcename: "n200" targetname: "n180" class:2  priority:50 linestyle:dotted}
 443 node: {title: "n40" label: "Block  40"  info1: "Block 40
 444   mode:    BB
 445   visited: 37
 446   irg:     OO_PROGRAM_EXAMPLE_main
 447   arity:   1
 448   pred nodes:
 449      0:    Break 198
 450   Private Attributes:
 451   inter arity: 1
 452   inter pred nodes:
 453      0:    Proj 200
 454   backedges:
 455   block visited: 0
 456   dominator info: output not implemented
 457 "
 458 color: lightyellow}
 459 edge: {sourcename: "n40" targetname: "n200" label: "0" class:13 priority:60 color:red}
 460 node: {title: "n178" label: "FilterIs 1 178"  info1: "Filter 178
 461   mode:    Is
 462   visited: 37
 463   irg:     PRIMA_c
 464   arity:   1
 465   pred nodes:
 466     -1:    Block 87
 467      0:    Proj 95
 468   Private Attributes:
 469   inter arity: 1
 470   inter pred nodes:
 471      0:    0x5 42
 472   backedges:
 473 "
 474 color: yellow}
 475 node: {title: "n178n42" label: "0x5Is  42"  info1: "0x5 42
 476   mode:    Is
 477   visited: 37
 478   irg:     OO_PROGRAM_EXAMPLE_main
 479   arity:   0
 480   pred nodes:
 481     -1:    Block 30
 482   Private Attributes:
 483   Const of type type_unknown
 484 "
 485 color: yellow}
 486 edge: {sourcename: "n178" targetname: "n178n42" label: "0" class:16 priority:10}
 487 edge: { sourcename: "n178" targetname: "n87" class:2  priority:50 linestyle:dotted}
 488 node: {title: "n37" label: "ProjM 1 37"  info1: "Proj 37
 489   mode:    M
 490   visited: 37
 491   irg:     OO_PROGRAM_EXAMPLE_main
 492   arity:   1
 493   pred nodes:
 494     -1:    Block 30
 495      0:    Start OO_PROGRAM_EXAMPLE_main 31
 496   Private Attributes:
 497 "
 498 color: yellow}
 499 edge: {sourcename: "n37" targetname: "n31" label: "0" class:17 priority:10 color:blue}
 500 edge: { sourcename: "n37" targetname: "n30" class:2  priority:50 linestyle:dotted}
 501 node: {title: "n45" label: "Alloc  45"  info1: "Alloc 45
 502   mode:    T
 503   visited: 37
 504   irg:     OO_PROGRAM_EXAMPLE_main
 505   arity:   2
 506   pred nodes:
 507     -1:    Block 191
 508      0:    Proj 37
 509      1:    SymC PRIMA size 43
 510   Private Attributes:
 511   pinned state: op_pin_state_pinned
 512   allocating entity of type: PRIMA
 513   allocating on: the heap
 514 "
 515 }
 516 node: {title: "n45n43" label: "SymC PRIMA size  43"  info1: "SymC PRIMA size 43
 517   mode:    Iu
 518   visited: 37
 519   irg:     OO_PROGRAM_EXAMPLE_main
 520   arity:   0
 521   pred nodes:
 522     -1:    Block 30
 523   Private Attributes:
 524   kind: size
 525   type: class type PRIMA (15)
 526   type of value: type_unknown
 527 "
 528 }
 529 edge: {sourcename: "n45" targetname: "n37" label: "0" class:17 priority:10 color:blue}
 530 edge: {sourcename: "n45" targetname: "n45n43" label: "1" class:16 priority:10}
 531 edge: { sourcename: "n45" targetname: "n191" class:2  priority:50 linestyle:dotted}
 532 node: {title: "n48" label: "ProjP 2 48"  info1: "Proj 48
 533   mode:    P
 534   visited: 37
 535   irg:     OO_PROGRAM_EXAMPLE_main
 536   arity:   1
 537   pred nodes:
 538     -1:    Block 191
 539      0:    Alloc 45
 540   Private Attributes:
 541 "
 542 color: yellow}
 543 edge: {sourcename: "n48" targetname: "n45" label: "0" class:1  priority:50}
 544 edge: { sourcename: "n48" targetname: "n191" class:2  priority:50 linestyle:dotted}
 545 node: {title: "n177" label: "FilterP 0 177"  info1: "Filter 177
 546   mode:    P
 547   visited: 37
 548   irg:     PRIMA_c
 549   arity:   1
 550   pred nodes:
 551     -1:    Block 87
 552      0:    Proj 95
 553   Private Attributes:
 554   inter arity: 1
 555   inter pred nodes:
 556      0:    Proj 48
 557   backedges:
 558 "
 559 color: yellow}
 560 edge: {sourcename: "n177" targetname: "n48" label: "0" class:16 priority:10}
 561 edge: { sourcename: "n177" targetname: "n87" class:2  priority:50 linestyle:dotted}
 562 node: {title: "n186" label: "FilterIs 1 186"  info1: "Filter 186
 563   mode:    Is
 564   visited: 37
 565   irg:     PRIMA_set_a
 566   arity:   1
 567   pred nodes:
 568     -1:    Block 64
 569      0:    Proj 72
 570   Private Attributes:
 571   inter arity: 1
 572   inter pred nodes:
 573      0:    0x2 41
 574   backedges:
 575 "
 576 color: yellow}
 577 node: {title: "n186n41" label: "0x2Is  41"  info1: "0x2 41
 578   mode:    Is
 579   visited: 37
 580   irg:     OO_PROGRAM_EXAMPLE_main
 581   arity:   0
 582   pred nodes:
 583     -1:    Block 30
 584   Private Attributes:
 585   Const of type type_unknown
 586 "
 587 color: yellow}
 588 edge: {sourcename: "n186" targetname: "n186n41" label: "0" class:16 priority:10}
 589 edge: { sourcename: "n186" targetname: "n64" class:2  priority:50 linestyle:dotted}
 590 node: {title: "n185" label: "FilterP 0 185"  info1: "Filter 185
 591   mode:    P
 592   visited: 37
 593   irg:     PRIMA_set_a
 594   arity:   1
 595   pred nodes:
 596     -1:    Block 64
 597      0:    Proj 72
 598   Private Attributes:
 599   inter arity: 1
 600   inter pred nodes:
 601      0:    Proj 48
 602   backedges:
 603 "
 604 color: yellow}
 605 edge: {sourcename: "n185" targetname: "n48" label: "0" class:16 priority:10}
 606 edge: { sourcename: "n185" targetname: "n64" class:2  priority:50 linestyle:dotted}
 607 node: {title: "n47" label: "ProjM 0 47"  info1: "Proj 47
 608   mode:    M
 609   visited: 37
 610   irg:     OO_PROGRAM_EXAMPLE_main
 611   arity:   1
 612   pred nodes:
 613     -1:    Block 191
 614      0:    Alloc 45
 615   Private Attributes:
 616 "
 617 color: yellow}
 618 edge: {sourcename: "n47" targetname: "n45" label: "0" class:17 priority:10 color:blue}
 619 edge: { sourcename: "n47" targetname: "n191" class:2  priority:50 linestyle:dotted}
 620 node: {title: "n184" label: "FilterM 1 184"  info1: "Filter 184
 621   mode:    M
 622   visited: 37
 623   irg:     PRIMA_set_a
 624   arity:   1
 625   pred nodes:
 626     -1:    Block 64
 627      0:    Start PRIMA_set_a 65
 628   Private Attributes:
 629   inter arity: 1
 630   inter pred nodes:
 631      0:    Proj 47
 632   backedges:
 633 "
 634 color: yellow}
 635 edge: {sourcename: "n184" targetname: "n47" label: "0" class:17 priority:10 color:blue}
 636 edge: { sourcename: "n184" targetname: "n64" class:2  priority:50 linestyle:dotted}
 637 node: {title: "n78" label: "Sel a 78"  info1: "Sel 78
 638   mode:    P
 639   visited: 37
 640   irg:     PRIMA_set_a
 641   arity:   2
 642   pred nodes:
 643     -1:    Block 74
 644      0:    Filter 184
 645      1:    Filter 185
 646   Private Attributes:
 647   Selecting entity of type int
 648     from entity of type PRIMA
 649 "
 650 }
 651 edge: {sourcename: "n78" targetname: "n184" label: "0" class:17 priority:10 color:blue}
 652 edge: {sourcename: "n78" targetname: "n185" label: "1" class:16 priority:10}
 653 edge: { sourcename: "n78" targetname: "n74" class:2  priority:50 linestyle:dotted}
 654 node: {title: "n79" label: "Store  79"  info1: "Store 79
 655   mode:    T
 656   visited: 37
 657   irg:     PRIMA_set_a
 658   arity:   3
 659   pred nodes:
 660     -1:    Block 74
 661      0:    Filter 184
 662      1:    Sel 78
 663      2:    Filter 186
 664   Private Attributes:
 665   pinned state: op_pin_state_pinned
 666   volatility: volatility_non_volatile
 667 "
 668 }
 669 edge: {sourcename: "n79" targetname: "n184" label: "0" class:17 priority:10 color:blue}
 670 edge: {sourcename: "n79" targetname: "n78" label: "1" class:1  priority:50}
 671 edge: {sourcename: "n79" targetname: "n186" label: "2" class:16 priority:10}
 672 edge: { sourcename: "n79" targetname: "n74" class:2  priority:50 linestyle:dotted}
 673 node: {title: "n81" label: "ProjM 0 81"  info1: "Proj 81
 674   mode:    M
 675   visited: 37
 676   irg:     PRIMA_set_a
 677   arity:   1
 678   pred nodes:
 679     -1:    Block 74
 680      0:    Store 79
 681   Private Attributes:
 682 "
 683 color: yellow}
 684 edge: {sourcename: "n81" targetname: "n79" label: "0" class:17 priority:10 color:blue}
 685 edge: { sourcename: "n81" targetname: "n74" class:2  priority:50 linestyle:dotted}
 686 node: {title: "n196" label: "FilterM 0 196"  info1: "Filter 196
 687   mode:    M
 688   visited: 37
 689   irg:     OO_PROGRAM_EXAMPLE_main
 690   arity:   1
 691   pred nodes:
 692     -1:    Block 197
 693      0:    Call 50
 694   Private Attributes:
 695   inter arity: 1
 696   inter pred nodes:
 697      0:    Proj 81
 698   backedges:
 699 "
 700 color: yellow}
 701 edge: {sourcename: "n196" targetname: "n81" label: "0" class:17 priority:10 color:blue}
 702 edge: { sourcename: "n196" targetname: "n197" class:2  priority:50 linestyle:dotted}
 703 node: {title: "n176" label: "FilterM 1 176"  info1: "Filter 176
 704   mode:    M
 705   visited: 37
 706   irg:     PRIMA_c
 707   arity:   1
 708   pred nodes:
 709     -1:    Block 87
 710      0:    Start PRIMA_c 88
 711   Private Attributes:
 712   inter arity: 1
 713   inter pred nodes:
 714      0:    Filter 196
 715   backedges:
 716 "
 717 color: yellow}
 718 edge: {sourcename: "n176" targetname: "n196" label: "0" class:17 priority:10 color:blue}
 719 edge: { sourcename: "n176" targetname: "n87" class:2  priority:50 linestyle:dotted}
 720 node: {title: "n101" label: "Sel a 101"  info1: "Sel 101
 721   mode:    P
 722   visited: 37
 723   irg:     PRIMA_c
 724   arity:   2
 725   pred nodes:
 726     -1:    Block 97
 727      0:    Filter 176
 728      1:    Filter 177
 729   Private Attributes:
 730   Selecting entity of type int
 731     from entity of type PRIMA
 732 "
 733 }
 734 edge: {sourcename: "n101" targetname: "n176" label: "0" class:17 priority:10 color:blue}
 735 edge: {sourcename: "n101" targetname: "n177" label: "1" class:16 priority:10}
 736 edge: { sourcename: "n101" targetname: "n97" class:2  priority:50 linestyle:dotted}
 737 node: {title: "n102" label: "Load[Is]  102"  info1: "Load[Is] 102
 738   mode:    T
 739   visited: 37
 740   irg:     PRIMA_c
 741   arity:   2
 742   pred nodes:
 743     -1:    Block 97
 744      0:    Filter 176
 745      1:    Sel 101
 746   Private Attributes:
 747   pinned state: op_pin_state_pinned
 748   mode of loaded value: Is
 749   volatility: volatility_non_volatile
 750 "
 751 }
 752 edge: {sourcename: "n102" targetname: "n176" label: "0" class:17 priority:10 color:blue}
 753 edge: {sourcename: "n102" targetname: "n101" label: "1" class:1  priority:50}
 754 edge: { sourcename: "n102" targetname: "n97" class:2  priority:50 linestyle:dotted}
 755 node: {title: "n105" label: "ProjIs 2 105"  info1: "Proj 105
 756   mode:    Is
 757   visited: 37
 758   irg:     PRIMA_c
 759   arity:   1
 760   pred nodes:
 761     -1:    Block 97
 762      0:    Load[Is] 102
 763   Private Attributes:
 764 "
 765 color: yellow}
 766 edge: {sourcename: "n105" targetname: "n102" label: "0" class:1  priority:50}
 767 edge: { sourcename: "n105" targetname: "n97" class:2  priority:50 linestyle:dotted}
 768 node: {title: "n106" label: "AddIs  106"  info1: "Add 106
 769   mode:    Is
 770   visited: 37
 771   irg:     PRIMA_c
 772   arity:   2
 773   pred nodes:
 774     -1:    Block 97
 775      0:    Proj 105
 776      1:    Filter 178
 777   Private Attributes:
 778 "
 779 }
 780 edge: {sourcename: "n106" targetname: "n105" label: "0" class:1  priority:50}
 781 edge: {sourcename: "n106" targetname: "n178" label: "1" class:16 priority:10}
 782 edge: { sourcename: "n106" targetname: "n97" class:2  priority:50 linestyle:dotted}
 783 node: {title: "n203" label: "FilterIs 0 203"  info1: "Filter 203
 784   mode:    Is
 785   visited: 37
 786   irg:     OO_PROGRAM_EXAMPLE_main
 787   arity:   1
 788   pred nodes:
 789     -1:    Block 40
 790      0:    Proj 57
 791   Private Attributes:
 792   inter arity: 1
 793   inter pred nodes:
 794      0:    Add 106
 795   backedges:
 796 "
 797 color: yellow}
 798 edge: {sourcename: "n203" targetname: "n106" label: "0" class:16 priority:10}
 799 edge: { sourcename: "n203" targetname: "n40" class:2  priority:50 linestyle:dotted}
 800 node: {title: "n104" label: "ProjM 0 104"  info1: "Proj 104
 801   mode:    M
 802   visited: 37
 803   irg:     PRIMA_c
 804   arity:   1
 805   pred nodes:
 806     -1:    Block 97
 807      0:    Load[Is] 102
 808   Private Attributes:
 809 "
 810 color: yellow}
 811 edge: {sourcename: "n104" targetname: "n102" label: "0" class:17 priority:10 color:blue}
 812 edge: { sourcename: "n104" targetname: "n97" class:2  priority:50 linestyle:dotted}
 813 node: {title: "n202" label: "FilterM 0 202"  info1: "Filter 202
 814   mode:    M
 815   visited: 37
 816   irg:     OO_PROGRAM_EXAMPLE_main
 817   arity:   1
 818   pred nodes:
 819     -1:    Block 40
 820      0:    Call 54
 821   Private Attributes:
 822   inter arity: 1
 823   inter pred nodes:
 824      0:    Proj 104
 825   backedges:
 826 "
 827 color: yellow}
 828 edge: {sourcename: "n202" targetname: "n104" label: "0" class:17 priority:10 color:blue}
 829 edge: { sourcename: "n202" targetname: "n40" class:2  priority:50 linestyle:dotted}
 830 node: {title: "n59" label: "Return  59"  info1: "Return 59
 831   mode:    X
 832   visited: 37
 833   irg:     OO_PROGRAM_EXAMPLE_main
 834   arity:   2
 835   pred nodes:
 836     -1:    Block 40
 837      0:    Filter 202
 838      1:    Filter 203
 839   Private Attributes:
 840 "
 841 }
 842 edge: {sourcename: "n59" targetname: "n202" label: "0" class:14 priority:50 color:blue}
 843 edge: {sourcename: "n59" targetname: "n203" label: "1" class:1  priority:50}
 844 edge: { sourcename: "n59" targetname: "n40" class:2  priority:50 linestyle:dotted}
 845 node: {title: "n28" label: "Block  28"  info1: "Block 28
 846   mode:    BB
 847   visited: 37
 848   irg:     OO_PROGRAM_EXAMPLE_main
 849   arity:   1
 850   pred nodes:
 851      0:    Return 59
 852   Private Attributes:
 853   inter arity: 1
 854   inter pred nodes:
 855      0:    Return 59
 856   backedges:
 857   block visited: 0
 858   dominator info: output not implemented
 859 "
 860 color: lightyellow}
 861 edge: {sourcename: "n28" targetname: "n59" label: "0" class:13 priority:60 color:red}
 862 node: {title: "n109" label: "End OO_PROGRAM_EXAMPLE_main  109"  info1: "End OO_PROGRAM_EXAMPLE_main 109
 863   mode:    X
 864   visited: 37
 865   irg:     OO_PROGRAM_EXAMPLE_main
 866   arity:   2
 867   pred nodes:
 868     -1:    Block 28
 869      0:    Block 191
 870      1:    Block 197
 871   Private Attributes:
 872 "
 873 color: blue}
 874 edge: { sourcename: "n109" targetname: "n28" class:2  priority:50 linestyle:dotted}
 875 node: {title: "e17" label: "ent a" color: yellow
 876  info1: "entity a (17)
 877   type:  int (14)
 878   owner: PRIMA (15)
 879   Does not overwrite other entities.
 880   Is not overwritten by other entities.
 881   allocation:  allocation_automatic
 882   visibility:  visibility_local
 883   variability: variability_uninitialized
 884   volatility:  volatility_non_volatile
 885   peculiarity: peculiarity_existent
 886   ld_name: no yet set
 887   offset:  -1
 888
 889 "
 890 }
 891 edge: { sourcename: "e17" targetname: "t14"class: 3 label: "type" color: red}
 892 node: {title: "t15" label: "class PRIMA" info1: "state: layout_undefined
 893 size: -1b,
 894 peculiarity: peculiarity_existent
 895 " color: green}
 896 edge: { sourcename: "t15" targetname: "e17"class: 12 label: "member" color:blue}
 897 edge: { sourcename: "t15" targetname: "e20"class: 12 label: "member" color:blue}
 898 edge: { sourcename: "t15" targetname: "e23"class: 12 label: "member" color:blue}
 899 node: {title: "e20" label: "ent PRIMA_set_a" color: yellow
 900  info1: "entity set_a (20)
 901   type:  set_a (18)
 902   owner: PRIMA (15)
 903   Does not overwrite other entities.
 904   Is not overwritten by other entities.
 905   allocation:  allocation_static
 906   visibility:  visibility_local
 907   variability: variability_constant
 908   atomic value: SymC &set_a
 909   volatility:  volatility_non_volatile
 910   peculiarity: peculiarity_existent
 911   ld_name: PRIMA_set_a
 912   offset:  -1
 913   irg = 73
 914
 915 "
 916 }
 917 edge: { sourcename: "e20" targetname: "t18"class: 3 label: "type" color: red}
 918 edge: { sourcename: "e20" targetname: "n19"label: "value 0"}
 919 node: {title: "n19" label: "SymC &set_a  19"  info1: "SymC &set_a 19
 920   mode:    P
 921   visited: 40
 922   arity:   0
 923   pred nodes:
 924     -1:    Block 3
 925   Private Attributes:
 926   kind:   addr_ent
 927   entity: entity PRIMA.set_a (20)
 928
 929   type of value: type_unknown
 930 "
 931 }
 932 node: {title: "t18" label: "method set_a" info1: "state: layout_fixed,
 933 mode: P,
 934 size: 32b,
 935 variadicity: variadicity_non_variadic
 936 params: 2
 937 results: 0
 938 "}
 939 edge: { sourcename: "t18" targetname: "t16"class: 5 label: "param 0" color: green}
 940 edge: { sourcename: "t18" targetname: "t14"class: 5 label: "param 1" color: green}
 941 node: {title: "t16" label: "pointer class_prima_ptr" info1: "state: layout_fixed,
 942 mode: P,
 943 size: 32b,
 944 "}
 945 edge: { sourcename: "t16" targetname: "t15"class: 9 label: "points to" color:green}
 946 node: {title: "t14" label: "primitive int" info1: "state: layout_fixed,
 947 mode: Is,
 948 size: 32b,
 949 "}
 950 node: {title: "e23" label: "ent PRIMA_c" color: yellow
 951  info1: "entity c (23)
 952   type:  c (21)
 953   owner: PRIMA (15)
 954   Does not overwrite other entities.
 955   Is not overwritten by other entities.
 956   allocation:  allocation_static
 957   visibility:  visibility_local
 958   variability: variability_constant
 959   atomic value: SymC &c
 960   volatility:  volatility_non_volatile
 961   peculiarity: peculiarity_existent
 962   ld_name: PRIMA_c
 963   offset:  -1
 964   irg = 96
 965
 966 "
 967 }
 968 edge: { sourcename: "e23" targetname: "t21"class: 3 label: "type" color: red}
 969 edge: { sourcename: "e23" targetname: "n22"label: "value 0"}
 970 node: {title: "n22" label: "SymC &c  22"  info1: "SymC &c 22
 971   mode:    P
 972   visited: 41
 973   arity:   0
 974   pred nodes:
 975     -1:    Block 3
 976   Private Attributes:
 977   kind:   addr_ent
 978   entity: entity PRIMA.c (23)
 979
 980   type of value: type_unknown
 981 "
 982 }
 983 node: {title: "t21" label: "method c" info1: "state: layout_fixed,
 984 mode: P,
 985 size: 32b,
 986 variadicity: variadicity_non_variadic
 987 params: 2
 988 results: 1
 989 "}
 990 edge: { sourcename: "t21" targetname: "t16"class: 5 label: "param 0" color: green}
 991 edge: { sourcename: "t21" targetname: "t14"class: 5 label: "param 1" color: green}
 992 edge: { sourcename: "t21" targetname: "t14"class: 6 label: "res 0" color: green}
 993 node: {title: "e26" label: "ent OO_PROGRAM_EXAMPLE_main" color: yellow
 994  info1: "entity OO_PROGRAM_EXAMPLE_main (26)
 995   type:  OO_PROGRAM_EXAMPLE_main (24)
 996   owner: GlobalType (0)
 997   Does not overwrite other entities.
 998   Is not overwritten by other entities.
 999   allocation:  allocation_static
1000   visibility:  visibility_local
1001   variability: variability_constant
1002   atomic value: SymC &OO_PROGRAM_EXAMPLE_main
1003   volatility:  volatility_non_volatile
1004   peculiarity: peculiarity_existent
1005   ld_name: no yet set
1006   offset:  -1
1007   irg = 39
1008
1009 "
1010 }
1011 edge: { sourcename: "e26" targetname: "t24"class: 3 label: "type" color: red}
1012 edge: { sourcename: "e26" targetname: "n25"label: "value 0"}
1013 node: {title: "n25" label: "SymC &OO_PROGRAM_EXAMPLE_main  25"  info1: "SymC &OO_PROGRAM_EXAMPLE_main 25
1014   mode:    P
1015   visited: 42
1016   arity:   0
1017   pred nodes:
1018     -1:    Block 3
1019   Private Attributes:
1020   kind:   addr_ent
1021   entity: entity GlobalType.OO_PROGRAM_EXAMPLE_main (26)
1022
1023   type of value: type_unknown
1024 "
1025 }
1026 node: {title: "t0" label: "class GlobalType" info1: "state: layout_undefined
1027 size: -1b,
1028 peculiarity: peculiarity_existent
1029 " color: green}
1030 edge: { sourcename: "t0" targetname: "e26"class: 12 label: "member" color:blue}
1031 node: {title: "t24" label: "method OO_PROGRAM_EXAMPLE_main" info1: "state: layout_fixed,
1032 mode: P,
1033 size: 32b,
1034 variadicity: variadicity_non_variadic
1035 params: 0
1036 results: 1
1037 "}
1038 edge: { sourcename: "t24" targetname: "t14"class: 6 label: "res 0" color: green}
1039 node: {title: "t27" label: "class OO_PROGRAM_EXAMPLE_mainframe_tp" info1: "state: layout_undefined
1040 size: -1b,
1041 peculiarity: peculiarity_existent
1042 " color: green}
1043 edge: { sourcename: "n101" targetname: "e17"class:2 priority:2 linestyle:dotted}
1044 edge: { sourcename: "n45" targetname: "t15"class:2 priority:2 linestyle:dotted}
1045 edge: { sourcename: "n43" targetname: "t15"class:2 priority:2 linestyle:dotted}
1046 edge: { sourcename: "n78" targetname: "e17"class:2 priority:2 linestyle:dotted}
1047 }