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