nsz Git - libfirm/blob - testprograms/ref-results/OO_PROGRAM_EXAMPLE_main-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: 35
  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: 35
  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: 35
 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: 35
 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: 35
 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: 35
 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: 35
 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: 35
 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: 35
 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: 35
 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 node: {title: "n199n174" label: "SymC &c 174"  info1: "SymC &c 174
 231   mode:    P
 232   visited: 35
 233   irg:     OO_PROGRAM_EXAMPLE_main
 234   arity:   0
 235   pred nodes:
 236     -1:    Block 30
 237   Private Attributes:
 238   kind:   addr_ent
 239   entity: entity PRIMA.c (23)
 240
 241   type of value: type_unknown
 242 "
 243 }
 244 edge: {sourcename: "n199" targetname: "n199n174" label: "0" class:16 priority:10}
 245 }
 246
 247 graph: { title: "n191"  label: "Block 191" status:clustered color:yellow
 248  info1: "Block 191
 249   mode:    BB
 250   visited: 35
 251   irg:     OO_PROGRAM_EXAMPLE_main
 252   arity:   1
 253   pred nodes:
 254      0:    Proj 34
 255   Private Attributes:
 256   inter arity: 1
 257   inter pred nodes:
 258      0:    Proj 34
 259   backedges:
 260   block visited: 0
 261   Execution freqency statistics:
 262 "
 263 edge: {sourcename: "n191" targetname: "n34" label: "0" class:13 priority:60 color:red}
 264 node: {title: "n47" label: "ProjM M 47"  info1: "Proj 47
 265   mode:    M
 266   visited: 35
 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: 0
 274 "
 275 color:yellow}
 276 edge: {sourcename: "n47" targetname: "n45" label: "0" class:17 priority:10 color:blue}
 277 node: {title: "n48" label: "ProjP res 48"  info1: "Proj 48
 278   mode:    P
 279   visited: 35
 280   irg:     OO_PROGRAM_EXAMPLE_main
 281   arity:   1
 282   pred nodes:
 283     -1:    Block 191
 284      0:    Alloc 45
 285   Private Attributes:
 286   proj nr: 2
 287 "
 288 color:yellow}
 289 edge: {sourcename: "n48" targetname: "n45" label: "0" class:1  priority:50}
 290 node: {title: "n45" label: "Alloc 45"  info1: "Alloc 45
 291   mode:    T
 292   visited: 35
 293   irg:     OO_PROGRAM_EXAMPLE_main
 294   arity:   2
 295   pred nodes:
 296     -1:    Block 191
 297      0:    Proj 37
 298      1:    SymC PRIMA size 43
 299   Private Attributes:
 300   pinned state: op_pin_state_pinned
 301   allocating entity of type: PRIMA
 302   allocating on: the heap
 303 "
 304 }
 305 node: {title: "n45n43" label: "SymC PRIMA size 43"  info1: "SymC PRIMA size 43
 306   mode:    Iu
 307   visited: 35
 308   irg:     OO_PROGRAM_EXAMPLE_main
 309   arity:   0
 310   pred nodes:
 311     -1:    Block 30
 312   Private Attributes:
 313   kind: size
 314   type: class type PRIMA (15)
 315   type of value: type_unknown
 316 "
 317 }
 318 edge: {sourcename: "n45" targetname: "n37" label: "0" class:17 priority:10 color:blue}
 319 edge: {sourcename: "n45" targetname: "n45n43" label: "1" class:16 priority:10}
 320 node: {title: "n195" label: "ProjX 0 195"  info1: "Proj 195
 321   mode:    X
 322   visited: 35
 323   irg:     OO_PROGRAM_EXAMPLE_main
 324   arity:   1
 325   pred nodes:
 326     -1:    Block 191
 327      0:    CallBegin set_a 193
 328   Private Attributes:
 329   proj nr: 0
 330 "
 331 color:yellow}
 332 edge: {sourcename: "n195" targetname: "n193" label: "0" class:13 priority:60 color:red}
 333 node: {title: "n193" label: "CallBegin set_a 193"  info1: "CallBegin set_a 193
 334   mode:    T
 335   visited: 35
 336   irg:     OO_PROGRAM_EXAMPLE_main
 337   arity:   1
 338   pred nodes:
 339     -1:    Block 191
 340      0:    SymC &set_a 175
 341   Private Attributes:
 342   Call: 50
 343   possible callees:
 344     0: PRIMA_set_a
 345 "
 346 }
 347 node: {title: "n193n175" label: "SymC &set_a 175"  info1: "SymC &set_a 175
 348   mode:    P
 349   visited: 35
 350   irg:     OO_PROGRAM_EXAMPLE_main
 351   arity:   0
 352   pred nodes:
 353     -1:    Block 30
 354   Private Attributes:
 355   kind:   addr_ent
 356   entity: entity PRIMA.set_a (20)
 357
 358   type of value: type_unknown
 359 "
 360 }
 361 edge: {sourcename: "n193" targetname: "n193n175" label: "0" class:16 priority:10}
 362 }
 363
 364 graph: { title: "n30"  label: "Block 30" status:clustered color:yellow
 365  info1: "Block 30
 366   mode:    BB
 367   visited: 35
 368   irg:     OO_PROGRAM_EXAMPLE_main
 369   arity:   1
 370   pred nodes:
 371      0:    Proj 34
 372   Private Attributes:
 373   inter arity: 1
 374   inter pred nodes:
 375      0:    Proj 34
 376   backedges:
 377   block visited: 0
 378   Execution freqency statistics:
 379 "
 380 edge: {sourcename: "n30" targetname: "n34" label: "0" class:13 priority:60 color:red}
 381 node: {title: "n37" label: "ProjM 1 37"  info1: "Proj 37
 382   mode:    M
 383   visited: 35
 384   irg:     OO_PROGRAM_EXAMPLE_main
 385   arity:   1
 386   pred nodes:
 387     -1:    Block 30
 388      0:    Start OO_PROGRAM_EXAMPLE_main 31
 389   Private Attributes:
 390   proj nr: 1
 391 "
 392 color:yellow}
 393 edge: {sourcename: "n37" targetname: "n31" label: "0" class:17 priority:10 color:blue}
 394 node: {title: "n34" label: "ProjX X_initial_exec 34"  info1: "Proj 34
 395   mode:    X
 396   visited: 35
 397   irg:     OO_PROGRAM_EXAMPLE_main
 398   arity:   1
 399   pred nodes:
 400     -1:    Block 30
 401      0:    Start OO_PROGRAM_EXAMPLE_main 31
 402   Private Attributes:
 403   proj nr: 0
 404 "
 405 color:yellow}
 406 edge: {sourcename: "n34" targetname: "n31" label: "0" class:13 priority:60 color:red}
 407 node: {title: "n31" label: "Start OO_PROGRAM_EXAMPLE_main 31"  info1: "Start OO_PROGRAM_EXAMPLE_main 31
 408   mode:    T
 409   visited: 35
 410   irg:     OO_PROGRAM_EXAMPLE_main
 411   arity:   0
 412   pred nodes:
 413     -1:    Block 30
 414   Private Attributes:
 415   start of method of type OO_PROGRAM_EXAMPLE_main
 416 "
 417 color:blue}
 418 }
 419
 420 }
 421
 422 graph: { title: "g73" label: "PRIMA_set_a" status:clustered color:white
 423 info1: "entity set_a (20)
 424   type:  set_a (18)
 425   owner: PRIMA (15)
 426   Does not overwrite other entities.
 427   Is not overwritten by other entities.
 428   allocation:  allocation_static
 429   visibility:  visibility_local
 430   variability: variability_constant
 431   calling convention: cdecl
 432   atomic value: SymC &set_a
 433   volatility:  volatility_non_volatile
 434   peculiarity: peculiarity_existent
 435   ld_name: PRIMA_set_a
 436   offset:  -1 bits, -1 bytes
 437   irg = 73
 438
 439 "
 440 graph: { title: "n188"  label: "Block 188" status:clustered color:yellow
 441  info1: "Block 188
 442   mode:    BB
 443   visited: 35
 444   irg:     PRIMA_set_a
 445   arity:   1
 446   pred nodes:
 447      0:    Jmp 187
 448   Private Attributes:
 449   inter arity: 1
 450   inter pred nodes:
 451      0:    Jmp 187
 452   backedges:
 453   block visited: 0
 454   Execution freqency statistics:
 455 "
 456 edge: {sourcename: "n188" targetname: "n187" label: "0" class:13 priority:60 color:red}
 457 node: {title: "n194" label: "ProjX 0 194"  info1: "Proj 194
 458   mode:    X
 459   visited: 35
 460   irg:     PRIMA_set_a
 461   arity:   1
 462   pred nodes:
 463     -1:    Block 188
 464      0:    EndReg PRIMA_set_a 189
 465   Private Attributes:
 466   proj nr: 0
 467 "
 468 color:yellow}
 469 edge: {sourcename: "n194" targetname: "n189" label: "0" class:13 priority:60 color:red}
 470 node: {title: "n189" label: "EndReg PRIMA_set_a 189"  info1: "EndReg PRIMA_set_a 189
 471   mode:    T
 472   visited: 35
 473   irg:     PRIMA_set_a
 474   arity:   0
 475   pred nodes:
 476     -1:    Block 188
 477   Private Attributes:
 478 "
 479 color:blue}
 480 }
 481
 482 graph: { title: "n74"  label: "Block 74" status:clustered color:yellow
 483  info1: "Block 74
 484   mode:    BB
 485   visited: 35
 486   irg:     PRIMA_set_a
 487   arity:   1
 488   pred nodes:
 489      0:    Proj 68
 490   Private Attributes:
 491   inter arity: 1
 492   inter pred nodes:
 493      0:    Proj 68
 494   backedges:
 495   block visited: 0
 496   Execution freqency statistics:
 497 "
 498 edge: {sourcename: "n74" targetname: "n68" label: "0" class:13 priority:60 color:red}
 499 node: {title: "n81" label: "ProjM M 81"  info1: "Proj 81
 500   mode:    M
 501   visited: 35
 502   irg:     PRIMA_set_a
 503   arity:   1
 504   pred nodes:
 505     -1:    Block 74
 506      0:    Store 79
 507   Private Attributes:
 508   proj nr: 0
 509 "
 510 color:yellow}
 511 edge: {sourcename: "n81" targetname: "n79" label: "0" class:17 priority:10 color:blue}
 512 node: {title: "n79" label: "Store 79"  info1: "Store 79
 513   mode:    T
 514   visited: 35
 515   irg:     PRIMA_set_a
 516   arity:   3
 517   pred nodes:
 518     -1:    Block 74
 519      0:    Filter 184
 520      1:    Sel 78
 521      2:    Filter 186
 522   Private Attributes:
 523   pinned state: op_pin_state_pinned
 524   volatility: volatility_non_volatile
 525 "
 526 }
 527 edge: {sourcename: "n79" targetname: "n184" label: "0" class:17 priority:10 color:blue}
 528 edge: {sourcename: "n79" targetname: "n78" label: "1" class:1  priority:50}
 529 edge: {sourcename: "n79" targetname: "n186" label: "2" class:16 priority:10}
 530 node: {title: "n78" label: "Sel a 78"  info1: "Sel 78
 531   mode:    P
 532   visited: 35
 533   irg:     PRIMA_set_a
 534   arity:   2
 535   pred nodes:
 536     -1:    Block 74
 537      0:    Filter 184
 538      1:    Filter 185
 539   Private Attributes:
 540   Selecting entity a (17)
 541     of type    int
 542     with owner PRIMA.
 543 "
 544 }
 545 edge: {sourcename: "n78" targetname: "n184" label: "0" class:17 priority:10 color:blue}
 546 edge: {sourcename: "n78" targetname: "n185" label: "1" class:16 priority:10}
 547 node: {title: "n187" label: "Jmp 187"  info1: "Jmp 187
 548   mode:    X
 549   visited: 35
 550   irg:     PRIMA_set_a
 551   arity:   0
 552   pred nodes:
 553     -1:    Block 74
 554   Private Attributes:
 555 "
 556 }
 557 }
 558
 559 graph: { title: "n64"  label: "Block 64" status:clustered color:yellow
 560  info1: "Block 64
 561   mode:    BB
 562   visited: 35
 563   irg:     PRIMA_set_a
 564   arity:   1
 565   pred nodes:
 566      0:    Proj 68
 567   Private Attributes:
 568   inter arity: 1
 569   inter pred nodes:
 570      0:    Proj 195
 571   backedges:
 572   block visited: 0
 573   Execution freqency statistics:
 574 "
 575 edge: {sourcename: "n64" targetname: "n195" label: "0" class:13 priority:60 color:red}
 576 node: {title: "n184" label: "FilterM 1 184"  info1: "Filter 184
 577   mode:    M
 578   visited: 35
 579   irg:     PRIMA_set_a
 580   arity:   1
 581   pred nodes:
 582     -1:    Block 64
 583      0:    Start PRIMA_set_a 65
 584   Private Attributes:
 585   inter arity: 1
 586   inter pred nodes:
 587      0:    Proj 47
 588   backedges:
 589 "
 590 color:yellow}
 591 edge: {sourcename: "n184" targetname: "n47" label: "0" class:17 priority:10 color:blue}
 592 node: {title: "n185" label: "FilterP 0 185"  info1: "Filter 185
 593   mode:    P
 594   visited: 35
 595   irg:     PRIMA_set_a
 596   arity:   1
 597   pred nodes:
 598     -1:    Block 64
 599      0:    Proj 72
 600   Private Attributes:
 601   inter arity: 1
 602   inter pred nodes:
 603      0:    Proj 48
 604   backedges:
 605 "
 606 color:yellow}
 607 edge: {sourcename: "n185" targetname: "n48" label: "0" class:16 priority:10}
 608 node: {title: "n186" label: "FilterIs 1 186"  info1: "Filter 186
 609   mode:    Is
 610   visited: 35
 611   irg:     PRIMA_set_a
 612   arity:   1
 613   pred nodes:
 614     -1:    Block 64
 615      0:    Proj 72
 616   Private Attributes:
 617   inter arity: 1
 618   inter pred nodes:
 619      0:    0x2 41
 620   backedges:
 621 "
 622 color:yellow}
 623 node: {title: "n186n41" label: "0x2Is 41"  info1: "0x2 41
 624   mode:    Is
 625   visited: 35
 626   irg:     OO_PROGRAM_EXAMPLE_main
 627   arity:   0
 628   pred nodes:
 629     -1:    Block 30
 630   Private Attributes:
 631   Const of type type_unknown
 632 "
 633 color:yellow}
 634 edge: {sourcename: "n186" targetname: "n186n41" label: "0" class:16 priority:10}
 635 node: {title: "n68" label: "ProjX X_initial_exec 68"  info1: "Proj 68
 636   mode:    X
 637   visited: 35
 638   irg:     PRIMA_set_a
 639   arity:   1
 640   pred nodes:
 641     -1:    Block 64
 642      0:    Start PRIMA_set_a 65
 643   Private Attributes:
 644   proj nr: 0
 645 "
 646 color:yellow}
 647 edge: {sourcename: "n68" targetname: "n65" label: "0" class:13 priority:60 color:red}
 648 node: {title: "n65" label: "Start PRIMA_set_a 65"  info1: "Start PRIMA_set_a 65
 649   mode:    T
 650   visited: 35
 651   irg:     PRIMA_set_a
 652   arity:   0
 653   pred nodes:
 654     -1:    Block 64
 655   Private Attributes:
 656   start of method of type set_a
 657     param 0 type: class_prima_ptr
 658     param 1 type: int
 659 "
 660 color:blue}
 661 }
 662
 663 }
 664
 665 graph: { title: "g96" label: "PRIMA_c" status:clustered color:white
 666 info1: "entity c (23)
 667   type:  c (21)
 668   owner: PRIMA (15)
 669   Does not overwrite other entities.
 670   Is not overwritten by other entities.
 671   allocation:  allocation_static
 672   visibility:  visibility_local
 673   variability: variability_constant
 674   calling convention: cdecl
 675   atomic value: SymC &c
 676   volatility:  volatility_non_volatile
 677   peculiarity: peculiarity_existent
 678   ld_name: PRIMA_c
 679   offset:  -1 bits, -1 bytes
 680   irg = 96
 681
 682 "
 683 graph: { title: "n180"  label: "Block 180" status:clustered color:yellow
 684  info1: "Block 180
 685   mode:    BB
 686   visited: 35
 687   irg:     PRIMA_c
 688   arity:   1
 689   pred nodes:
 690      0:    Jmp 179
 691   Private Attributes:
 692   inter arity: 1
 693   inter pred nodes:
 694      0:    Jmp 179
 695   backedges:
 696   block visited: 0
 697   Execution freqency statistics:
 698 "
 699 edge: {sourcename: "n180" targetname: "n179" label: "0" class:13 priority:60 color:red}
 700 node: {title: "n200" label: "ProjX 0 200"  info1: "Proj 200
 701   mode:    X
 702   visited: 35
 703   irg:     PRIMA_c
 704   arity:   1
 705   pred nodes:
 706     -1:    Block 180
 707      0:    EndReg PRIMA_c 181
 708   Private Attributes:
 709   proj nr: 0
 710 "
 711 color:yellow}
 712 edge: {sourcename: "n200" targetname: "n181" label: "0" class:13 priority:60 color:red}
 713 node: {title: "n181" label: "EndReg PRIMA_c 181"  info1: "EndReg PRIMA_c 181
 714   mode:    T
 715   visited: 35
 716   irg:     PRIMA_c
 717   arity:   0
 718   pred nodes:
 719     -1:    Block 180
 720   Private Attributes:
 721 "
 722 color:blue}
 723 }
 724
 725 graph: { title: "n97"  label: "Block 97" status:clustered color:yellow
 726  info1: "Block 97
 727   mode:    BB
 728   visited: 35
 729   irg:     PRIMA_c
 730   arity:   1
 731   pred nodes:
 732      0:    Proj 91
 733   Private Attributes:
 734   inter arity: 1
 735   inter pred nodes:
 736      0:    Proj 91
 737   backedges:
 738   block visited: 0
 739   Execution freqency statistics:
 740 "
 741 edge: {sourcename: "n97" targetname: "n91" label: "0" class:13 priority:60 color:red}
 742 node: {title: "n104" label: "ProjM M 104"  info1: "Proj 104
 743   mode:    M
 744   visited: 35
 745   irg:     PRIMA_c
 746   arity:   1
 747   pred nodes:
 748     -1:    Block 97
 749      0:    Load[Is] 102
 750   Private Attributes:
 751   proj nr: 0
 752 "
 753 color:yellow}
 754 edge: {sourcename: "n104" targetname: "n102" label: "0" class:17 priority:10 color:blue}
 755 node: {title: "n106" label: "AddIs 106"  info1: "Add 106
 756   mode:    Is
 757   visited: 35
 758   irg:     PRIMA_c
 759   arity:   2
 760   pred nodes:
 761     -1:    Block 97
 762      0:    Proj 105
 763      1:    Filter 178
 764   Private Attributes:
 765 "
 766 }
 767 edge: {sourcename: "n106" targetname: "n105" label: "0" class:1  priority:50}
 768 edge: {sourcename: "n106" targetname: "n178" label: "1" class:16 priority:10}
 769 node: {title: "n105" label: "ProjIs res 105"  info1: "Proj 105
 770   mode:    Is
 771   visited: 35
 772   irg:     PRIMA_c
 773   arity:   1
 774   pred nodes:
 775     -1:    Block 97
 776      0:    Load[Is] 102
 777   Private Attributes:
 778   proj nr: 2
 779 "
 780 color:yellow}
 781 edge: {sourcename: "n105" targetname: "n102" label: "0" class:1  priority:50}
 782 node: {title: "n102" label: "Load[Is] 102"  info1: "Load[Is] 102
 783   mode:    T
 784   visited: 35
 785   irg:     PRIMA_c
 786   arity:   2
 787   pred nodes:
 788     -1:    Block 97
 789      0:    Filter 176
 790      1:    Sel 101
 791   Private Attributes:
 792   pinned state: op_pin_state_pinned
 793   mode of loaded value: Is
 794   volatility: volatility_non_volatile
 795 "
 796 }
 797 edge: {sourcename: "n102" targetname: "n176" label: "0" class:17 priority:10 color:blue}
 798 edge: {sourcename: "n102" targetname: "n101" label: "1" class:1  priority:50}
 799 node: {title: "n101" label: "Sel a 101"  info1: "Sel 101
 800   mode:    P
 801   visited: 35
 802   irg:     PRIMA_c
 803   arity:   2
 804   pred nodes:
 805     -1:    Block 97
 806      0:    Filter 176
 807      1:    Filter 177
 808   Private Attributes:
 809   Selecting entity a (17)
 810     of type    int
 811     with owner PRIMA.
 812 "
 813 }
 814 edge: {sourcename: "n101" targetname: "n176" label: "0" class:17 priority:10 color:blue}
 815 edge: {sourcename: "n101" targetname: "n177" label: "1" class:16 priority:10}
 816 node: {title: "n179" label: "Jmp 179"  info1: "Jmp 179
 817   mode:    X
 818   visited: 35
 819   irg:     PRIMA_c
 820   arity:   0
 821   pred nodes:
 822     -1:    Block 97
 823   Private Attributes:
 824 "
 825 }
 826 }
 827
 828 graph: { title: "n87"  label: "Block 87" status:clustered color:yellow
 829  info1: "Block 87
 830   mode:    BB
 831   visited: 35
 832   irg:     PRIMA_c
 833   arity:   1
 834   pred nodes:
 835      0:    Proj 91
 836   Private Attributes:
 837   inter arity: 1
 838   inter pred nodes:
 839      0:    Proj 201
 840   backedges:
 841   block visited: 0
 842   Execution freqency statistics:
 843 "
 844 edge: {sourcename: "n87" targetname: "n201" label: "0" class:13 priority:60 color:red}
 845 node: {title: "n176" label: "FilterM 1 176"  info1: "Filter 176
 846   mode:    M
 847   visited: 35
 848   irg:     PRIMA_c
 849   arity:   1
 850   pred nodes:
 851     -1:    Block 87
 852      0:    Start PRIMA_c 88
 853   Private Attributes:
 854   inter arity: 1
 855   inter pred nodes:
 856      0:    Filter 196
 857   backedges:
 858 "
 859 color:yellow}
 860 edge: {sourcename: "n176" targetname: "n196" label: "0" class:17 priority:10 color:blue}
 861 node: {title: "n177" label: "FilterP 0 177"  info1: "Filter 177
 862   mode:    P
 863   visited: 35
 864   irg:     PRIMA_c
 865   arity:   1
 866   pred nodes:
 867     -1:    Block 87
 868      0:    Proj 95
 869   Private Attributes:
 870   inter arity: 1
 871   inter pred nodes:
 872      0:    Proj 48
 873   backedges:
 874 "
 875 color:yellow}
 876 edge: {sourcename: "n177" targetname: "n48" label: "0" class:16 priority:10}
 877 node: {title: "n178" label: "FilterIs 1 178"  info1: "Filter 178
 878   mode:    Is
 879   visited: 35
 880   irg:     PRIMA_c
 881   arity:   1
 882   pred nodes:
 883     -1:    Block 87
 884      0:    Proj 95
 885   Private Attributes:
 886   inter arity: 1
 887   inter pred nodes:
 888      0:    0x5 42
 889   backedges:
 890 "
 891 color:yellow}
 892 node: {title: "n178n42" label: "0x5Is 42"  info1: "0x5 42
 893   mode:    Is
 894   visited: 35
 895   irg:     OO_PROGRAM_EXAMPLE_main
 896   arity:   0
 897   pred nodes:
 898     -1:    Block 30
 899   Private Attributes:
 900   Const of type type_unknown
 901 "
 902 color:yellow}
 903 edge: {sourcename: "n178" targetname: "n178n42" label: "0" class:16 priority:10}
 904 node: {title: "n91" label: "ProjX X_initial_exec 91"  info1: "Proj 91
 905   mode:    X
 906   visited: 35
 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: 35
 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 }