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