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   calling convention: cdecl
 906   atomic value: SymC &set_a
 907   volatility:  volatility_non_volatile
 908   peculiarity: peculiarity_existent
 909   ld_name: PRIMA_set_a
 910   offset:  -1 bits, -1 bytes
 911   irg = 73
 912
 913 "
 914 }
 915 edge: { sourcename: "e20" targetname: "t18"class: 3 label: "type" color: red}
 916 edge: { sourcename: "e20" targetname: "n19"label: "value 0"}
 917 node: {title: "n19" label: "SymC &set_a 19"  info1: "SymC &set_a 19
 918   mode:    P
 919   visited: 40
 920   arity:   0
 921   pred nodes:
 922     -1:    Block 3
 923   Private Attributes:
 924   kind:   addr_ent
 925   entity: entity PRIMA.set_a (20)
 926
 927   type of value: type_unknown
 928 "
 929 }
 930 node: {title: "t15" label: "class PRIMA" info1: "class type PRIMA (15)
 931   members:
 932     entity a (17)
 933       type:  int (14)
 934       owner: PRIMA (15)
 935       Does not overwrite other entities.
 936       Is not overwritten by other entities.
 937       allocation:  allocation_automatic
 938       visibility:  visibility_local
 939       variability: variability_uninitialized
 940       volatility:  volatility_non_volatile
 941       peculiarity: peculiarity_existent
 942       ld_name: no yet set
 943       offset:  -1 bits, -1 bytes
 944     entity set_a (20)
 945       type:  set_a (18)
 946       owner: PRIMA (15)
 947       Does not overwrite other entities.
 948       Is not overwritten by other entities.
 949       allocation:  allocation_static
 950       visibility:  visibility_local
 951       variability: variability_constant
 952       calling convention: cdecl
 953       atomic value: SymC &set_a
 954       volatility:  volatility_non_volatile
 955       peculiarity: peculiarity_existent
 956       ld_name: PRIMA_set_a
 957       offset:  -1 bits, -1 bytes
 958       irg = 73
 959     entity c (23)
 960       type:  c (21)
 961       owner: PRIMA (15)
 962       Does not overwrite other entities.
 963       Is not overwritten by other entities.
 964       allocation:  allocation_static
 965       visibility:  visibility_local
 966       variability: variability_constant
 967       calling convention: cdecl
 968       atomic value: SymC &c
 969       volatility:  volatility_non_volatile
 970       peculiarity: peculiarity_existent
 971       ld_name: PRIMA_c
 972       offset:  -1 bits, -1 bytes
 973       irg = 96
 974   supertypes:
 975   subtypes:
 976   peculiarity: peculiarity_existent
 977   visibility: visibility_external_allocated,
 978   state:      layout_undefined,
 979   size:       -1 Bits,
 980   alignment:  32 Bits,
 981
 982
 983 "
 984  color: green}
 985 edge: { sourcename: "t15" targetname: "e17"class: 12 label: "member" color:blue}
 986 edge: { sourcename: "t15" targetname: "e20"class: 12 label: "member" color:blue}
 987 edge: { sourcename: "t15" targetname: "e23"class: 12 label: "member" color:blue}
 988 node: {title: "e17" label: "ent a" color: yellow
 989  info1: "entity a (17)
 990   type:  int (14)
 991   owner: PRIMA (15)
 992   Does not overwrite other entities.
 993   Is not overwritten by other entities.
 994   allocation:  allocation_automatic
 995   visibility:  visibility_local
 996   variability: variability_uninitialized
 997   volatility:  volatility_non_volatile
 998   peculiarity: peculiarity_existent
 999   ld_name: no yet set
1000   offset:  -1 bits, -1 bytes
1001
1002 "
1003 }
1004 edge: { sourcename: "e17" targetname: "t14"class: 3 label: "type" color: red}
1005 node: {title: "t14" label: "primitive int" info1: "primitive type int (14)
1006   visibility: visibility_external_allocated,
1007   state:      layout_fixed,
1008   size:       32 Bits,
1009   alignment:  32 Bits,
1010   mode:       Is,
1011
1012
1013 "
1014 }
1015 node: {title: "e23" label: "ent PRIMA_c" color: yellow
1016  info1: "entity c (23)
1017   type:  c (21)
1018   owner: PRIMA (15)
1019   Does not overwrite other entities.
1020   Is not overwritten by other entities.
1021   allocation:  allocation_static
1022   visibility:  visibility_local
1023   variability: variability_constant
1024   calling convention: cdecl
1025   atomic value: SymC &c
1026   volatility:  volatility_non_volatile
1027   peculiarity: peculiarity_existent
1028   ld_name: PRIMA_c
1029   offset:  -1 bits, -1 bytes
1030   irg = 96
1031
1032 "
1033 }
1034 edge: { sourcename: "e23" targetname: "t21"class: 3 label: "type" color: red}
1035 edge: { sourcename: "e23" targetname: "n22"label: "value 0"}
1036 node: {title: "n22" label: "SymC &c 22"  info1: "SymC &c 22
1037   mode:    P
1038   visited: 41
1039   arity:   0
1040   pred nodes:
1041     -1:    Block 3
1042   Private Attributes:
1043   kind:   addr_ent
1044   entity: entity PRIMA.c (23)
1045
1046   type of value: type_unknown
1047 "
1048 }
1049 node: {title: "t21" label: "method c" info1: "method type c (21)
1050   variadicity: variadicity_non_variadic
1051   return types: 1
1052     int
1053   parameter types: 2
1054     class_prima_ptr
1055     int
1056   visibility: visibility_external_allocated,
1057   state:      layout_fixed,
1058   size:       32 Bits,
1059   alignment:  32 Bits,
1060   mode:       P,
1061
1062
1063 "
1064 }
1065 edge: { sourcename: "t21" targetname: "t16"class: 5 label: "param 0" color: green}
1066 edge: { sourcename: "t21" targetname: "t14"class: 5 label: "param 1" color: green}
1067 edge: { sourcename: "t21" targetname: "t14"class: 6 label: "res 0" color: green}
1068 node: {title: "t16" label: "pointer class_prima_ptr" info1: "pointer type class_prima_ptr (16)
1069   points to PRIMA (15)
1070   visibility: visibility_external_allocated,
1071   state:      layout_fixed,
1072   size:       32 Bits,
1073   alignment:  32 Bits,
1074   mode:       P,
1075
1076
1077 "
1078 }
1079 edge: { sourcename: "t16" targetname: "t15"class: 9 label: "points to" color:green}
1080 node: {title: "t18" label: "method set_a" info1: "method type set_a (18)
1081   variadicity: variadicity_non_variadic
1082   return types: 0
1083   parameter types: 2
1084     class_prima_ptr
1085     int
1086   visibility: visibility_external_allocated,
1087   state:      layout_fixed,
1088   size:       32 Bits,
1089   alignment:  32 Bits,
1090   mode:       P,
1091
1092
1093 "
1094 }
1095 edge: { sourcename: "t18" targetname: "t16"class: 5 label: "param 0" color: green}
1096 edge: { sourcename: "t18" targetname: "t14"class: 5 label: "param 1" color: green}
1097 node: {title: "e26" label: "ent OO_PROGRAM_EXAMPLE_main" color: yellow
1098  info1: "entity OO_PROGRAM_EXAMPLE_main (26)
1099   type:  OO_PROGRAM_EXAMPLE_main (24)
1100   owner: GlobalType (0)
1101   Does not overwrite other entities.
1102   Is not overwritten by other entities.
1103   allocation:  allocation_static
1104   visibility:  visibility_local
1105   variability: variability_constant
1106   calling convention: cdecl
1107   atomic value: SymC &OO_PROGRAM_EXAMPLE_main
1108   volatility:  volatility_non_volatile
1109   peculiarity: peculiarity_existent
1110   ld_name: no yet set
1111   offset:  -1 bits, -1 bytes
1112   irg = 39
1113
1114 "
1115 }
1116 edge: { sourcename: "e26" targetname: "t24"class: 3 label: "type" color: red}
1117 edge: { sourcename: "e26" targetname: "n25"label: "value 0"}
1118 node: {title: "n25" label: "SymC &OO_PROGRAM_EXAMPLE_main 25"  info1: "SymC &OO_PROGRAM_EXAMPLE_main 25
1119   mode:    P
1120   visited: 42
1121   arity:   0
1122   pred nodes:
1123     -1:    Block 3
1124   Private Attributes:
1125   kind:   addr_ent
1126   entity: entity GlobalType.OO_PROGRAM_EXAMPLE_main (26)
1127
1128   type of value: type_unknown
1129 "
1130 }
1131 node: {title: "t0" label: "class GlobalType" info1: "class type GlobalType (0)
1132   members:
1133     entity OO_PROGRAM_EXAMPLE_main (26)
1134       type:  OO_PROGRAM_EXAMPLE_main (24)
1135       owner: GlobalType (0)
1136       Does not overwrite other entities.
1137       Is not overwritten by other entities.
1138       allocation:  allocation_static
1139       visibility:  visibility_local
1140       variability: variability_constant
1141       calling convention: cdecl
1142       atomic value: SymC &OO_PROGRAM_EXAMPLE_main
1143       volatility:  volatility_non_volatile
1144       peculiarity: peculiarity_existent
1145       ld_name: no yet set
1146       offset:  -1 bits, -1 bytes
1147       irg = 39
1148   supertypes:
1149   subtypes:
1150   peculiarity: peculiarity_existent
1151   visibility: visibility_external_allocated,
1152   state:      layout_undefined,
1153   size:       -1 Bits,
1154   alignment:  32 Bits,
1155
1156
1157 "
1158  color: green}
1159 edge: { sourcename: "t0" targetname: "e26"class: 12 label: "member" color:blue}
1160 node: {title: "t24" label: "method OO_PROGRAM_EXAMPLE_main" info1: "method type OO_PROGRAM_EXAMPLE_main (24)
1161   variadicity: variadicity_non_variadic
1162   return types: 1
1163     int
1164   parameter types: 0
1165   visibility: visibility_external_allocated,
1166   state:      layout_fixed,
1167   size:       32 Bits,
1168   alignment:  32 Bits,
1169   mode:       P,
1170
1171
1172 "
1173 }
1174 edge: { sourcename: "t24" targetname: "t14"class: 6 label: "res 0" color: green}
1175 node: {title: "t27" label: "class OO_PROGRAM_EXAMPLE_mainframe_tp" info1: "class type OO_PROGRAM_EXAMPLE_mainframe_tp (27)
1176   members:
1177   supertypes:
1178   subtypes:
1179   peculiarity: peculiarity_existent
1180   visibility: visibility_external_allocated,
1181   state:      layout_undefined,
1182   size:       -1 Bits,
1183   alignment:   0 Bits,
1184
1185
1186 "
1187  color: green}
1188 edge: { sourcename: "n101" targetname: "e17"class:2 priority:2 linestyle:dotted}
1189 edge: { sourcename: "n45" targetname: "t15"class:2 priority:2 linestyle:dotted}
1190 edge: { sourcename: "n43" targetname: "t15"class:2 priority:2 linestyle:dotted}
1191 edge: { sourcename: "n78" targetname: "e17"class:2 priority:2 linestyle:dotted}
1192 }