nsz Git - libfirm/blob - testprograms/ref-results/All_graphs.vcg

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