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