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   Execution freqency statistics:
  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   Execution freqency statistics:
 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   Execution freqency statistics:
 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   Execution freqency statistics:
 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   Execution freqency statistics:
 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   Execution freqency statistics:
 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   Execution freqency statistics:
 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   Execution freqency statistics:
 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   Execution freqency statistics:
 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   Execution freqency statistics:
 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 a (17)
 649     of type PRIMA
 650 "
 651 }
 652 edge: {sourcename: "n78" targetname: "n184" label: "0" class:17 priority:10 color:blue}
 653 edge: {sourcename: "n78" targetname: "n185" label: "1" class:16 priority:10}
 654 edge: { sourcename: "n78" targetname: "n74" class:2  priority:50 linestyle:dotted}
 655 node: {title: "n79" label: "Store 79"  info1: "Store 79
 656   mode:    T
 657   visited: 37
 658   irg:     PRIMA_set_a
 659   arity:   3
 660   pred nodes:
 661     -1:    Block 74
 662      0:    Filter 184
 663      1:    Sel 78
 664      2:    Filter 186
 665   Private Attributes:
 666   pinned state: op_pin_state_pinned
 667   volatility: volatility_non_volatile
 668 "
 669 }
 670 edge: {sourcename: "n79" targetname: "n184" label: "0" class:17 priority:10 color:blue}
 671 edge: {sourcename: "n79" targetname: "n78" label: "1" class:1  priority:50}
 672 edge: {sourcename: "n79" targetname: "n186" label: "2" class:16 priority:10}
 673 edge: { sourcename: "n79" targetname: "n74" class:2  priority:50 linestyle:dotted}
 674 node: {title: "n81" label: "ProjM 0 81"  info1: "Proj 81
 675   mode:    M
 676   visited: 37
 677   irg:     PRIMA_set_a
 678   arity:   1
 679   pred nodes:
 680     -1:    Block 74
 681      0:    Store 79
 682   Private Attributes:
 683 "
 684 color: yellow}
 685 edge: {sourcename: "n81" targetname: "n79" label: "0" class:17 priority:10 color:blue}
 686 edge: { sourcename: "n81" targetname: "n74" class:2  priority:50 linestyle:dotted}
 687 node: {title: "n196" label: "FilterM 0 196"  info1: "Filter 196
 688   mode:    M
 689   visited: 37
 690   irg:     OO_PROGRAM_EXAMPLE_main
 691   arity:   1
 692   pred nodes:
 693     -1:    Block 197
 694      0:    Call 50
 695   Private Attributes:
 696   inter arity: 1
 697   inter pred nodes:
 698      0:    Proj 81
 699   backedges:
 700 "
 701 color: yellow}
 702 edge: {sourcename: "n196" targetname: "n81" label: "0" class:17 priority:10 color:blue}
 703 edge: { sourcename: "n196" targetname: "n197" class:2  priority:50 linestyle:dotted}
 704 node: {title: "n176" label: "FilterM 1 176"  info1: "Filter 176
 705   mode:    M
 706   visited: 37
 707   irg:     PRIMA_c
 708   arity:   1
 709   pred nodes:
 710     -1:    Block 87
 711      0:    Start PRIMA_c 88
 712   Private Attributes:
 713   inter arity: 1
 714   inter pred nodes:
 715      0:    Filter 196
 716   backedges:
 717 "
 718 color: yellow}
 719 edge: {sourcename: "n176" targetname: "n196" label: "0" class:17 priority:10 color:blue}
 720 edge: { sourcename: "n176" targetname: "n87" class:2  priority:50 linestyle:dotted}
 721 node: {title: "n101" label: "Sel a 101"  info1: "Sel 101
 722   mode:    P
 723   visited: 37
 724   irg:     PRIMA_c
 725   arity:   2
 726   pred nodes:
 727     -1:    Block 97
 728      0:    Filter 176
 729      1:    Filter 177
 730   Private Attributes:
 731   Selecting entity of type int
 732     from entity a (17)
 733     of type PRIMA
 734 "
 735 }
 736 edge: {sourcename: "n101" targetname: "n176" label: "0" class:17 priority:10 color:blue}
 737 edge: {sourcename: "n101" targetname: "n177" label: "1" class:16 priority:10}
 738 edge: { sourcename: "n101" targetname: "n97" class:2  priority:50 linestyle:dotted}
 739 node: {title: "n102" label: "Load[Is] 102"  info1: "Load[Is] 102
 740   mode:    T
 741   visited: 37
 742   irg:     PRIMA_c
 743   arity:   2
 744   pred nodes:
 745     -1:    Block 97
 746      0:    Filter 176
 747      1:    Sel 101
 748   Private Attributes:
 749   pinned state: op_pin_state_pinned
 750   mode of loaded value: Is
 751   volatility: volatility_non_volatile
 752 "
 753 }
 754 edge: {sourcename: "n102" targetname: "n176" label: "0" class:17 priority:10 color:blue}
 755 edge: {sourcename: "n102" targetname: "n101" label: "1" class:1  priority:50}
 756 edge: { sourcename: "n102" targetname: "n97" class:2  priority:50 linestyle:dotted}
 757 node: {title: "n105" label: "ProjIs 2 105"  info1: "Proj 105
 758   mode:    Is
 759   visited: 37
 760   irg:     PRIMA_c
 761   arity:   1
 762   pred nodes:
 763     -1:    Block 97
 764      0:    Load[Is] 102
 765   Private Attributes:
 766 "
 767 color: yellow}
 768 edge: {sourcename: "n105" targetname: "n102" label: "0" class:1  priority:50}
 769 edge: { sourcename: "n105" targetname: "n97" class:2  priority:50 linestyle:dotted}
 770 node: {title: "n106" label: "AddIs 106"  info1: "Add 106
 771   mode:    Is
 772   visited: 37
 773   irg:     PRIMA_c
 774   arity:   2
 775   pred nodes:
 776     -1:    Block 97
 777      0:    Proj 105
 778      1:    Filter 178
 779   Private Attributes:
 780 "
 781 }
 782 edge: {sourcename: "n106" targetname: "n105" label: "0" class:1  priority:50}
 783 edge: {sourcename: "n106" targetname: "n178" label: "1" class:16 priority:10}
 784 edge: { sourcename: "n106" targetname: "n97" class:2  priority:50 linestyle:dotted}
 785 node: {title: "n203" label: "FilterIs 0 203"  info1: "Filter 203
 786   mode:    Is
 787   visited: 37
 788   irg:     OO_PROGRAM_EXAMPLE_main
 789   arity:   1
 790   pred nodes:
 791     -1:    Block 40
 792      0:    Proj 57
 793   Private Attributes:
 794   inter arity: 1
 795   inter pred nodes:
 796      0:    Add 106
 797   backedges:
 798 "
 799 color: yellow}
 800 edge: {sourcename: "n203" targetname: "n106" label: "0" class:16 priority:10}
 801 edge: { sourcename: "n203" targetname: "n40" class:2  priority:50 linestyle:dotted}
 802 node: {title: "n104" label: "ProjM 0 104"  info1: "Proj 104
 803   mode:    M
 804   visited: 37
 805   irg:     PRIMA_c
 806   arity:   1
 807   pred nodes:
 808     -1:    Block 97
 809      0:    Load[Is] 102
 810   Private Attributes:
 811 "
 812 color: yellow}
 813 edge: {sourcename: "n104" targetname: "n102" label: "0" class:17 priority:10 color:blue}
 814 edge: { sourcename: "n104" targetname: "n97" class:2  priority:50 linestyle:dotted}
 815 node: {title: "n202" label: "FilterM 0 202"  info1: "Filter 202
 816   mode:    M
 817   visited: 37
 818   irg:     OO_PROGRAM_EXAMPLE_main
 819   arity:   1
 820   pred nodes:
 821     -1:    Block 40
 822      0:    Call 54
 823   Private Attributes:
 824   inter arity: 1
 825   inter pred nodes:
 826      0:    Proj 104
 827   backedges:
 828 "
 829 color: yellow}
 830 edge: {sourcename: "n202" targetname: "n104" label: "0" class:17 priority:10 color:blue}
 831 edge: { sourcename: "n202" targetname: "n40" class:2  priority:50 linestyle:dotted}
 832 node: {title: "n59" label: "Return 59"  info1: "Return 59
 833   mode:    X
 834   visited: 37
 835   irg:     OO_PROGRAM_EXAMPLE_main
 836   arity:   2
 837   pred nodes:
 838     -1:    Block 40
 839      0:    Filter 202
 840      1:    Filter 203
 841   Private Attributes:
 842 "
 843 }
 844 edge: {sourcename: "n59" targetname: "n202" label: "0" class:14 priority:50 color:blue}
 845 edge: {sourcename: "n59" targetname: "n203" label: "1" class:1  priority:50}
 846 edge: { sourcename: "n59" targetname: "n40" class:2  priority:50 linestyle:dotted}
 847 node: {title: "n28" label: "Block 28"  info1: "Block 28
 848   mode:    BB
 849   visited: 37
 850   irg:     OO_PROGRAM_EXAMPLE_main
 851   arity:   1
 852   pred nodes:
 853      0:    Return 59
 854   Private Attributes:
 855   inter arity: 1
 856   inter pred nodes:
 857      0:    Return 59
 858   backedges:
 859   block visited: 0
 860   Execution freqency statistics:
 861 "
 862 color: lightyellow}
 863 edge: {sourcename: "n28" targetname: "n59" label: "0" class:13 priority:60 color:red}
 864 node: {title: "n109" label: "End OO_PROGRAM_EXAMPLE_main 109"  info1: "End OO_PROGRAM_EXAMPLE_main 109
 865   mode:    X
 866   visited: 37
 867   irg:     OO_PROGRAM_EXAMPLE_main
 868   arity:   2
 869   pred nodes:
 870     -1:    Block 28
 871      0:    Block 191
 872      1:    Block 197
 873   Private Attributes:
 874 "
 875 color: blue}
 876 edge: { sourcename: "n109" targetname: "n28" class:2  priority:50 linestyle:dotted}
 877 node: {title: "e17" label: "ent a" color: yellow
 878  info1: "entity a (17)
 879   type:  int (14)
 880   owner: PRIMA (15)
 881   Does not overwrite other entities.
 882   Is not overwritten by other entities.
 883   allocation:  allocation_automatic
 884   visibility:  visibility_local
 885   variability: variability_uninitialized
 886   volatility:  volatility_non_volatile
 887   peculiarity: peculiarity_existent
 888   ld_name: no yet set
 889   offset:  -1
 890
 891 "
 892 }
 893 edge: { sourcename: "e17" targetname: "t14"class: 3 label: "type" color: red}
 894 node: {title: "t15" label: "class PRIMA" info1: "class type PRIMA (15)
 895   members:
 896     entity a (17)
 897       type:  int (14)
 898       owner: PRIMA (15)
 899       Does not overwrite other entities.
 900       Is not overwritten by other entities.
 901       allocation:  allocation_automatic
 902       visibility:  visibility_local
 903       variability: variability_uninitialized
 904       volatility:  volatility_non_volatile
 905       peculiarity: peculiarity_existent
 906       ld_name: no yet set
 907       offset:  -1
 908     entity set_a (20)
 909       type:  set_a (18)
 910       owner: PRIMA (15)
 911       Does not overwrite other entities.
 912       Is not overwritten by other entities.
 913       allocation:  allocation_static
 914       visibility:  visibility_local
 915       variability: variability_constant
 916       atomic value: SymC &set_a
 917       volatility:  volatility_non_volatile
 918       peculiarity: peculiarity_existent
 919       ld_name: PRIMA_set_a
 920       offset:  -1
 921       irg = 73
 922     entity c (23)
 923       type:  c (21)
 924       owner: PRIMA (15)
 925       Does not overwrite other entities.
 926       Is not overwritten by other entities.
 927       allocation:  allocation_static
 928       visibility:  visibility_local
 929       variability: variability_constant
 930       atomic value: SymC &c
 931       volatility:  volatility_non_volatile
 932       peculiarity: peculiarity_existent
 933       ld_name: PRIMA_c
 934       offset:  -1
 935       irg = 96
 936   supertypes:
 937   subtypes:
 938   peculiarity: peculiarity_existent
 939   visibility: visibility_external_allocated,
 940   state:      layout_undefined,
 941   size:       -1 Bits,
 942   alignment:  32 Bits,
 943   dbg info:   (nil),
 944
 945
 946 " color: green}
 947 edge: { sourcename: "t15" targetname: "e17"class: 12 label: "member" color:blue}
 948 edge: { sourcename: "t15" targetname: "e20"class: 12 label: "member" color:blue}
 949 edge: { sourcename: "t15" targetname: "e23"class: 12 label: "member" color:blue}
 950 node: {title: "e20" label: "ent PRIMA_set_a" color: yellow
 951  info1: "entity set_a (20)
 952   type:  set_a (18)
 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 &set_a
 960   volatility:  volatility_non_volatile
 961   peculiarity: peculiarity_existent
 962   ld_name: PRIMA_set_a
 963   offset:  -1
 964   irg = 73
 965
 966 "
 967 }
 968 edge: { sourcename: "e20" targetname: "t18"class: 3 label: "type" color: red}
 969 edge: { sourcename: "e20" targetname: "n19"label: "value 0"}
 970 node: {title: "n19" label: "SymC &set_a 19"  info1: "SymC &set_a 19
 971   mode:    P
 972   visited: 40
 973   arity:   0
 974   pred nodes:
 975     -1:    Block 3
 976   Private Attributes:
 977   kind:   addr_ent
 978   entity: entity PRIMA.set_a (20)
 979
 980   type of value: type_unknown
 981 "
 982 }
 983 node: {title: "t18" label: "method set_a" info1: "method type set_a (18)
 984   variadicity: variadicity_non_variadic
 985   return types: 0
 986   parameter types: 2
 987     class_prima_ptr
 988     int
 989   visibility: visibility_external_allocated,
 990   state:      layout_fixed,
 991   size:       32 Bits,
 992   alignment:  32 Bits,
 993   mode:       P,
 994   dbg info:   (nil),
 995
 996
 997 "}
 998 edge: { sourcename: "t18" targetname: "t16"class: 5 label: "param 0" color: green}
 999 edge: { sourcename: "t18" targetname: "t14"class: 5 label: "param 1" color: green}
1000 node: {title: "t16" label: "pointer class_prima_ptr" info1: "pointer type class_prima_ptr (16)
1001   points to PRIMA (15)
1002   visibility: visibility_external_allocated,
1003   state:      layout_fixed,
1004   size:       32 Bits,
1005   alignment:  32 Bits,
1006   mode:       P,
1007   dbg info:   (nil),
1008
1009
1010 "}
1011 edge: { sourcename: "t16" targetname: "t15"class: 9 label: "points to" color:green}
1012 node: {title: "t14" label: "primitive int" info1: "primitive type int (14)
1013   visibility: visibility_external_allocated,
1014   state:      layout_fixed,
1015   size:       32 Bits,
1016   alignment:  32 Bits,
1017   mode:       Is,
1018   dbg info:   (nil),
1019
1020
1021 "}
1022 node: {title: "e23" label: "ent PRIMA_c" color: yellow
1023  info1: "entity c (23)
1024   type:  c (21)
1025   owner: PRIMA (15)
1026   Does not overwrite other entities.
1027   Is not overwritten by other entities.
1028   allocation:  allocation_static
1029   visibility:  visibility_local
1030   variability: variability_constant
1031   atomic value: SymC &c
1032   volatility:  volatility_non_volatile
1033   peculiarity: peculiarity_existent
1034   ld_name: PRIMA_c
1035   offset:  -1
1036   irg = 96
1037
1038 "
1039 }
1040 edge: { sourcename: "e23" targetname: "t21"class: 3 label: "type" color: red}
1041 edge: { sourcename: "e23" targetname: "n22"label: "value 0"}
1042 node: {title: "n22" label: "SymC &c 22"  info1: "SymC &c 22
1043   mode:    P
1044   visited: 41
1045   arity:   0
1046   pred nodes:
1047     -1:    Block 3
1048   Private Attributes:
1049   kind:   addr_ent
1050   entity: entity PRIMA.c (23)
1051
1052   type of value: type_unknown
1053 "
1054 }
1055 node: {title: "t21" label: "method c" info1: "method type c (21)
1056   variadicity: variadicity_non_variadic
1057   return types: 1
1058     int
1059   parameter types: 2
1060     class_prima_ptr
1061     int
1062   visibility: visibility_external_allocated,
1063   state:      layout_fixed,
1064   size:       32 Bits,
1065   alignment:  32 Bits,
1066   mode:       P,
1067   dbg info:   (nil),
1068
1069
1070 "}
1071 edge: { sourcename: "t21" targetname: "t16"class: 5 label: "param 0" color: green}
1072 edge: { sourcename: "t21" targetname: "t14"class: 5 label: "param 1" color: green}
1073 edge: { sourcename: "t21" targetname: "t14"class: 6 label: "res 0" color: green}
1074 node: {title: "e26" label: "ent OO_PROGRAM_EXAMPLE_main" color: yellow
1075  info1: "entity OO_PROGRAM_EXAMPLE_main (26)
1076   type:  OO_PROGRAM_EXAMPLE_main (24)
1077   owner: GlobalType (0)
1078   Does not overwrite other entities.
1079   Is not overwritten by other entities.
1080   allocation:  allocation_static
1081   visibility:  visibility_local
1082   variability: variability_constant
1083   atomic value: SymC &OO_PROGRAM_EXAMPLE_main
1084   volatility:  volatility_non_volatile
1085   peculiarity: peculiarity_existent
1086   ld_name: no yet set
1087   offset:  -1
1088   irg = 39
1089
1090 "
1091 }
1092 edge: { sourcename: "e26" targetname: "t24"class: 3 label: "type" color: red}
1093 edge: { sourcename: "e26" targetname: "n25"label: "value 0"}
1094 node: {title: "n25" label: "SymC &OO_PROGRAM_EXAMPLE_main 25"  info1: "SymC &OO_PROGRAM_EXAMPLE_main 25
1095   mode:    P
1096   visited: 42
1097   arity:   0
1098   pred nodes:
1099     -1:    Block 3
1100   Private Attributes:
1101   kind:   addr_ent
1102   entity: entity GlobalType.OO_PROGRAM_EXAMPLE_main (26)
1103
1104   type of value: type_unknown
1105 "
1106 }
1107 node: {title: "t0" label: "class GlobalType" info1: "class type GlobalType (0)
1108   members:
1109     entity OO_PROGRAM_EXAMPLE_main (26)
1110       type:  OO_PROGRAM_EXAMPLE_main (24)
1111       owner: GlobalType (0)
1112       Does not overwrite other entities.
1113       Is not overwritten by other entities.
1114       allocation:  allocation_static
1115       visibility:  visibility_local
1116       variability: variability_constant
1117       atomic value: SymC &OO_PROGRAM_EXAMPLE_main
1118       volatility:  volatility_non_volatile
1119       peculiarity: peculiarity_existent
1120       ld_name: no yet set
1121       offset:  -1
1122       irg = 39
1123   supertypes:
1124   subtypes:
1125   peculiarity: peculiarity_existent
1126   visibility: visibility_external_allocated,
1127   state:      layout_undefined,
1128   size:       -1 Bits,
1129   alignment:  32 Bits,
1130   dbg info:   (nil),
1131
1132
1133 " color: green}
1134 edge: { sourcename: "t0" targetname: "e26"class: 12 label: "member" color:blue}
1135 node: {title: "t24" label: "method OO_PROGRAM_EXAMPLE_main" info1: "method type OO_PROGRAM_EXAMPLE_main (24)
1136   variadicity: variadicity_non_variadic
1137   return types: 1
1138     int
1139   parameter types: 0
1140   visibility: visibility_external_allocated,
1141   state:      layout_fixed,
1142   size:       32 Bits,
1143   alignment:  32 Bits,
1144   mode:       P,
1145   dbg info:   (nil),
1146
1147
1148 "}
1149 edge: { sourcename: "t24" targetname: "t14"class: 6 label: "res 0" color: green}
1150 node: {title: "t27" label: "class OO_PROGRAM_EXAMPLE_mainframe_tp" info1: "class type OO_PROGRAM_EXAMPLE_mainframe_tp (27)
1151   members:
1152   supertypes:
1153   subtypes:
1154   peculiarity: peculiarity_existent
1155   visibility: visibility_external_allocated,
1156   state:      layout_undefined,
1157   size:       -1 Bits,
1158   alignment:   0 Bits,
1159   dbg info:   (nil),
1160
1161
1162 " color: green}
1163 edge: { sourcename: "n101" targetname: "e17"class:2 priority:2 linestyle:dotted}
1164 edge: { sourcename: "n45" targetname: "t15"class:2 priority:2 linestyle:dotted}
1165 edge: { sourcename: "n43" targetname: "t15"class:2 priority:2 linestyle:dotted}
1166 edge: { sourcename: "n78" targetname: "e17"class:2 priority:2 linestyle:dotted}
1167 }