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