nsz Git - libfirm/blob - testprograms/ref-results/OO_PROGRAM_EXAMPLE_main-pure-ip.vcg

   1 graph: { title: "ir graph of OO_PROGRAM_EXAMPLE_main"
   2 display_edge_labels: no
   3 layoutalgorithm: mindepth
   4 manhattan_edges: yes
   5 port_sharing: no
   6 orientation: bottom_to_top
   7 classname 1:  "intrablock Data"
   8 classname 2:  "Block"
   9 classname 3:  "Entity type"
  10 classname 4:  "Entity owner"
  11 classname 5:  "Method Param"
  12 classname 6:  "Method Res"
  13 classname 7:  "Super"
  14 classname 8:  "Union"
  15 classname 9:  "Points-to"
  16 classname 10: "Array Element Type"
  17 classname 11: "Overwrites"
  18 classname 12: "Member"
  19 classname 13: "Control Flow"
  20 classname 14: "intrablock Memory"
  21 classname 15: "Dominators"
  22 classname 16: "interblock Data"
  23 classname 17: "interblock Memory"
  24 classname 18: "Exception Control Flow for Interval Analysis"
  25 classname 19: "Postdominators"
  26 infoname 1: "Attribute"
  27 infoname 2: "Verification errors"
  28 infoname 3: "Debug info"
  29 colorentry 100:    0   0    0
  30 colorentry 101:   20   0    0
  31 colorentry 102:   40   0    0
  32 colorentry 103:   60   0    0
  33 colorentry 104:   80   0    0
  34 colorentry 105:  100   0    0
  35 colorentry 106:  120   0    0
  36 colorentry 107:  140   0    0
  37 colorentry 108:  150   0    0
  38 colorentry 109:  180   0    0
  39 colorentry 110:  200   0    0
  40 colorentry 111:  220   0    0
  41 colorentry 112:  240   0    0
  42 colorentry 113:  255   0    0
  43 colorentry 113:  255  20   20
  44 colorentry 114:  255  40   40
  45 colorentry 115:  255  60   60
  46 colorentry 116:  255  80   80
  47 colorentry 117:  255 100  100
  48 colorentry 118:  255 120  120
  49 colorentry 119:  255 140  140
  50 colorentry 120:  255 150  150
  51 colorentry 121:  255 180  180
  52 colorentry 122:  255 200  200
  53 colorentry 123:  255 220  220
  54 colorentry 124:  255 240  240
  55 colorentry 125:  255 250  250
  56
  57 node: {title: "n30" label: "Block 30"  info1: "Block 30
  58   mode:    BB
  59   visited: 33
  60   irg:     OO_PROGRAM_EXAMPLE_main
  61   arity:   1
  62   pred nodes:
  63      0:    Proj 34
  64   Private Attributes:
  65   inter arity: 1
  66   inter pred nodes:
  67      0:    Proj 34
  68   backedges:
  69   block visited: 0
  70   Execution freqency statistics:
  71 "
  72 color:lightyellow}
  73 edge: {sourcename: "n30" targetname: "n34" label: "0" class:13 priority:60 color:red}
  74 node: {title: "n31" label: "Start OO_PROGRAM_EXAMPLE_main 31"  info1: "Start OO_PROGRAM_EXAMPLE_main 31
  75   mode:    T
  76   visited: 33
  77   irg:     OO_PROGRAM_EXAMPLE_main
  78   arity:   0
  79   pred nodes:
  80     -1:    Block 30
  81   Private Attributes:
  82   start of method of type OO_PROGRAM_EXAMPLE_main
  83 "
  84 color:blue}
  85 edge: { sourcename: "n31" targetname: "n30" class:2  priority:50 linestyle:dotted}
  86 node: {title: "n34" label: "ProjX X_initial_exec 34"  info1: "Proj 34
  87   mode:    X
  88   visited: 33
  89   irg:     OO_PROGRAM_EXAMPLE_main
  90   arity:   1
  91   pred nodes:
  92     -1:    Block 30
  93      0:    Start OO_PROGRAM_EXAMPLE_main 31
  94   Private Attributes:
  95   proj nr: 0
  96 "
  97 color:yellow}
  98 edge: {sourcename: "n34" targetname: "n31" label: "0" class:13 priority:60 color:red}
  99 edge: { sourcename: "n34" targetname: "n30" class:2  priority:50 linestyle:dotted}
 100 node: {title: "n191" label: "Block 191"  info1: "Block 191
 101   mode:    BB
 102   visited: 33
 103   irg:     OO_PROGRAM_EXAMPLE_main
 104   arity:   1
 105   pred nodes:
 106      0:    Proj 34
 107   Private Attributes:
 108   inter arity: 1
 109   inter pred nodes:
 110      0:    Proj 34
 111   backedges:
 112   block visited: 0
 113   Execution freqency statistics:
 114 "
 115 color:lightyellow}
 116 edge: {sourcename: "n191" targetname: "n34" label: "0" class:13 priority:60 color:red}
 117 node: {title: "n193" label: "CallBegin set_a 193"  info1: "CallBegin set_a 193
 118   mode:    T
 119   visited: 33
 120   irg:     OO_PROGRAM_EXAMPLE_main
 121   arity:   1
 122   pred nodes:
 123     -1:    Block 191
 124      0:    SymC &set_a 175
 125   Private Attributes:
 126   Call: 50
 127   possible callees:
 128     0: PRIMA_set_a
 129 "
 130 }
 131 node: {title: "n193n175" label: "SymC &set_a 175"  info1: "SymC &set_a 175
 132   mode:    P
 133   visited: 33
 134   irg:     OO_PROGRAM_EXAMPLE_main
 135   arity:   0
 136   pred nodes:
 137     -1:    Block 30
 138   Private Attributes:
 139   kind:   addr_ent
 140   entity: entity PRIMA.set_a (20)
 141
 142   type of value: type_unknown
 143 "
 144 }
 145 edge: {sourcename: "n193" targetname: "n193n175" label: "0" class:16 priority:10}
 146 edge: { sourcename: "n193" targetname: "n191" class:2  priority:50 linestyle:dotted}
 147 node: {title: "n195" label: "ProjX 0 195"  info1: "Proj 195
 148   mode:    X
 149   visited: 33
 150   irg:     OO_PROGRAM_EXAMPLE_main
 151   arity:   1
 152   pred nodes:
 153     -1:    Block 191
 154      0:    CallBegin set_a 193
 155   Private Attributes:
 156   proj nr: 0
 157 "
 158 color:yellow}
 159 edge: {sourcename: "n195" targetname: "n193" label: "0" class:13 priority:60 color:red}
 160 edge: { sourcename: "n195" targetname: "n191" class:2  priority:50 linestyle:dotted}
 161 node: {title: "n64" label: "Block 64"  info1: "Block 64
 162   mode:    BB
 163   visited: 33
 164   irg:     PRIMA_set_a
 165   arity:   1
 166   pred nodes:
 167      0:    Proj 68
 168   Private Attributes:
 169   inter arity: 1
 170   inter pred nodes:
 171      0:    Proj 195
 172   backedges:
 173   block visited: 0
 174   Execution freqency statistics:
 175 "
 176 color:lightyellow}
 177 edge: {sourcename: "n64" targetname: "n195" label: "0" class:13 priority:60 color:red}
 178 node: {title: "n65" label: "Start PRIMA_set_a 65"  info1: "Start PRIMA_set_a 65
 179   mode:    T
 180   visited: 33
 181   irg:     PRIMA_set_a
 182   arity:   0
 183   pred nodes:
 184     -1:    Block 64
 185   Private Attributes:
 186   start of method of type set_a
 187     param 0 type: class_prima_ptr
 188     param 1 type: int
 189 "
 190 color:blue}
 191 edge: { sourcename: "n65" targetname: "n64" class:2  priority:50 linestyle:dotted}
 192 node: {title: "n68" label: "ProjX X_initial_exec 68"  info1: "Proj 68
 193   mode:    X
 194   visited: 33
 195   irg:     PRIMA_set_a
 196   arity:   1
 197   pred nodes:
 198     -1:    Block 64
 199      0:    Start PRIMA_set_a 65
 200   Private Attributes:
 201   proj nr: 0
 202 "
 203 color:yellow}
 204 edge: {sourcename: "n68" targetname: "n65" label: "0" class:13 priority:60 color:red}
 205 edge: { sourcename: "n68" targetname: "n64" class:2  priority:50 linestyle:dotted}
 206 node: {title: "n74" label: "Block 74"  info1: "Block 74
 207   mode:    BB
 208   visited: 33
 209   irg:     PRIMA_set_a
 210   arity:   1
 211   pred nodes:
 212      0:    Proj 68
 213   Private Attributes:
 214   inter arity: 1
 215   inter pred nodes:
 216      0:    Proj 68
 217   backedges:
 218   block visited: 0
 219   Execution freqency statistics:
 220 "
 221 color:lightyellow}
 222 edge: {sourcename: "n74" targetname: "n68" label: "0" class:13 priority:60 color:red}
 223 node: {title: "n187" label: "Jmp 187"  info1: "Jmp 187
 224   mode:    X
 225   visited: 33
 226   irg:     PRIMA_set_a
 227   arity:   0
 228   pred nodes:
 229     -1:    Block 74
 230   Private Attributes:
 231 "
 232 }
 233 edge: { sourcename: "n187" targetname: "n74" class:2  priority:50 linestyle:dotted}
 234 node: {title: "n188" label: "Block 188"  info1: "Block 188
 235   mode:    BB
 236   visited: 33
 237   irg:     PRIMA_set_a
 238   arity:   1
 239   pred nodes:
 240      0:    Jmp 187
 241   Private Attributes:
 242   inter arity: 1
 243   inter pred nodes:
 244      0:    Jmp 187
 245   backedges:
 246   block visited: 0
 247   Execution freqency statistics:
 248 "
 249 color:lightyellow}
 250 edge: {sourcename: "n188" targetname: "n187" label: "0" class:13 priority:60 color:red}
 251 node: {title: "n189" label: "EndReg PRIMA_set_a 189"  info1: "EndReg PRIMA_set_a 189
 252   mode:    T
 253   visited: 33
 254   irg:     PRIMA_set_a
 255   arity:   0
 256   pred nodes:
 257     -1:    Block 188
 258   Private Attributes:
 259 "
 260 color:blue}
 261 edge: { sourcename: "n189" targetname: "n188" class:2  priority:50 linestyle:dotted}
 262 node: {title: "n194" label: "ProjX 0 194"  info1: "Proj 194
 263   mode:    X
 264   visited: 33
 265   irg:     PRIMA_set_a
 266   arity:   1
 267   pred nodes:
 268     -1:    Block 188
 269      0:    EndReg PRIMA_set_a 189
 270   Private Attributes:
 271   proj nr: 0
 272 "
 273 color:yellow}
 274 edge: {sourcename: "n194" targetname: "n189" label: "0" class:13 priority:60 color:red}
 275 edge: { sourcename: "n194" targetname: "n188" class:2  priority:50 linestyle:dotted}
 276 node: {title: "n197" label: "Block 197"  info1: "Block 197
 277   mode:    BB
 278   visited: 33
 279   irg:     OO_PROGRAM_EXAMPLE_main
 280   arity:   1
 281   pred nodes:
 282      0:    Break 192
 283   Private Attributes:
 284   inter arity: 1
 285   inter pred nodes:
 286      0:    Proj 194
 287   backedges:
 288   block visited: 0
 289   Execution freqency statistics:
 290 "
 291 color:lightyellow}
 292 edge: {sourcename: "n197" targetname: "n194" label: "0" class:13 priority:60 color:red}
 293 node: {title: "n199" label: "CallBegin c 199"  info1: "CallBegin c 199
 294   mode:    T
 295   visited: 33
 296   irg:     OO_PROGRAM_EXAMPLE_main
 297   arity:   1
 298   pred nodes:
 299     -1:    Block 197
 300      0:    SymC &c 174
 301   Private Attributes:
 302   Call: 54
 303   possible callees:
 304     0: PRIMA_c
 305 "
 306 }
 307 node: {title: "n199n174" label: "SymC &c 174"  info1: "SymC &c 174
 308   mode:    P
 309   visited: 33
 310   irg:     OO_PROGRAM_EXAMPLE_main
 311   arity:   0
 312   pred nodes:
 313     -1:    Block 30
 314   Private Attributes:
 315   kind:   addr_ent
 316   entity: entity PRIMA.c (23)
 317
 318   type of value: type_unknown
 319 "
 320 }
 321 edge: {sourcename: "n199" targetname: "n199n174" label: "0" class:16 priority:10}
 322 edge: { sourcename: "n199" targetname: "n197" class:2  priority:50 linestyle:dotted}
 323 node: {title: "n201" label: "ProjX 0 201"  info1: "Proj 201
 324   mode:    X
 325   visited: 33
 326   irg:     OO_PROGRAM_EXAMPLE_main
 327   arity:   1
 328   pred nodes:
 329     -1:    Block 197
 330      0:    CallBegin c 199
 331   Private Attributes:
 332   proj nr: 0
 333 "
 334 color:yellow}
 335 edge: {sourcename: "n201" targetname: "n199" label: "0" class:13 priority:60 color:red}
 336 edge: { sourcename: "n201" targetname: "n197" class:2  priority:50 linestyle:dotted}
 337 node: {title: "n87" label: "Block 87"  info1: "Block 87
 338   mode:    BB
 339   visited: 33
 340   irg:     PRIMA_c
 341   arity:   1
 342   pred nodes:
 343      0:    Proj 91
 344   Private Attributes:
 345   inter arity: 1
 346   inter pred nodes:
 347      0:    Proj 201
 348   backedges:
 349   block visited: 0
 350   Execution freqency statistics:
 351 "
 352 color:lightyellow}
 353 edge: {sourcename: "n87" targetname: "n201" label: "0" class:13 priority:60 color:red}
 354 node: {title: "n88" label: "Start PRIMA_c 88"  info1: "Start PRIMA_c 88
 355   mode:    T
 356   visited: 33
 357   irg:     PRIMA_c
 358   arity:   0
 359   pred nodes:
 360     -1:    Block 87
 361   Private Attributes:
 362   start of method of type c
 363     param 0 type: class_prima_ptr
 364     param 1 type: int
 365 "
 366 color:blue}
 367 edge: { sourcename: "n88" targetname: "n87" class:2  priority:50 linestyle:dotted}
 368 node: {title: "n91" label: "ProjX X_initial_exec 91"  info1: "Proj 91
 369   mode:    X
 370   visited: 33
 371   irg:     PRIMA_c
 372   arity:   1
 373   pred nodes:
 374     -1:    Block 87
 375      0:    Start PRIMA_c 88
 376   Private Attributes:
 377   proj nr: 0
 378 "
 379 color:yellow}
 380 edge: {sourcename: "n91" targetname: "n88" label: "0" class:13 priority:60 color:red}
 381 edge: { sourcename: "n91" targetname: "n87" class:2  priority:50 linestyle:dotted}
 382 node: {title: "n97" label: "Block 97"  info1: "Block 97
 383   mode:    BB
 384   visited: 33
 385   irg:     PRIMA_c
 386   arity:   1
 387   pred nodes:
 388      0:    Proj 91
 389   Private Attributes:
 390   inter arity: 1
 391   inter pred nodes:
 392      0:    Proj 91
 393   backedges:
 394   block visited: 0
 395   Execution freqency statistics:
 396 "
 397 color:lightyellow}
 398 edge: {sourcename: "n97" targetname: "n91" label: "0" class:13 priority:60 color:red}
 399 node: {title: "n179" label: "Jmp 179"  info1: "Jmp 179
 400   mode:    X
 401   visited: 33
 402   irg:     PRIMA_c
 403   arity:   0
 404   pred nodes:
 405     -1:    Block 97
 406   Private Attributes:
 407 "
 408 }
 409 edge: { sourcename: "n179" targetname: "n97" class:2  priority:50 linestyle:dotted}
 410 node: {title: "n180" label: "Block 180"  info1: "Block 180
 411   mode:    BB
 412   visited: 33
 413   irg:     PRIMA_c
 414   arity:   1
 415   pred nodes:
 416      0:    Jmp 179
 417   Private Attributes:
 418   inter arity: 1
 419   inter pred nodes:
 420      0:    Jmp 179
 421   backedges:
 422   block visited: 0
 423   Execution freqency statistics:
 424 "
 425 color:lightyellow}
 426 edge: {sourcename: "n180" targetname: "n179" label: "0" class:13 priority:60 color:red}
 427 node: {title: "n181" label: "EndReg PRIMA_c 181"  info1: "EndReg PRIMA_c 181
 428   mode:    T
 429   visited: 33
 430   irg:     PRIMA_c
 431   arity:   0
 432   pred nodes:
 433     -1:    Block 180
 434   Private Attributes:
 435 "
 436 color:blue}
 437 edge: { sourcename: "n181" targetname: "n180" class:2  priority:50 linestyle:dotted}
 438 node: {title: "n200" label: "ProjX 0 200"  info1: "Proj 200
 439   mode:    X
 440   visited: 33
 441   irg:     PRIMA_c
 442   arity:   1
 443   pred nodes:
 444     -1:    Block 180
 445      0:    EndReg PRIMA_c 181
 446   Private Attributes:
 447   proj nr: 0
 448 "
 449 color:yellow}
 450 edge: {sourcename: "n200" targetname: "n181" label: "0" class:13 priority:60 color:red}
 451 edge: { sourcename: "n200" targetname: "n180" class:2  priority:50 linestyle:dotted}
 452 node: {title: "n40" label: "Block 40"  info1: "Block 40
 453   mode:    BB
 454   visited: 33
 455   irg:     OO_PROGRAM_EXAMPLE_main
 456   arity:   1
 457   pred nodes:
 458      0:    Break 198
 459   Private Attributes:
 460   inter arity: 1
 461   inter pred nodes:
 462      0:    Proj 200
 463   backedges:
 464   block visited: 0
 465   Execution freqency statistics:
 466 "
 467 color:lightyellow}
 468 edge: {sourcename: "n40" targetname: "n200" label: "0" class:13 priority:60 color:red}
 469 node: {title: "n178" label: "FilterIs 1 178"  info1: "Filter 178
 470   mode:    Is
 471   visited: 33
 472   irg:     PRIMA_c
 473   arity:   1
 474   pred nodes:
 475     -1:    Block 87
 476      0:    Proj 95
 477   Private Attributes:
 478   inter arity: 1
 479   inter pred nodes:
 480      0:    0x5 42
 481   backedges:
 482 "
 483 color:yellow}
 484 node: {title: "n178n42" label: "0x5Is 42"  info1: "0x5 42
 485   mode:    Is
 486   visited: 33
 487   irg:     OO_PROGRAM_EXAMPLE_main
 488   arity:   0
 489   pred nodes:
 490     -1:    Block 30
 491   Private Attributes:
 492   Const of type type_unknown
 493 "
 494 color:yellow}
 495 edge: {sourcename: "n178" targetname: "n178n42" label: "0" class:16 priority:10}
 496 edge: { sourcename: "n178" targetname: "n87" class:2  priority:50 linestyle:dotted}
 497 node: {title: "n37" label: "ProjM 1 37"  info1: "Proj 37
 498   mode:    M
 499   visited: 33
 500   irg:     OO_PROGRAM_EXAMPLE_main
 501   arity:   1
 502   pred nodes:
 503     -1:    Block 30
 504      0:    Start OO_PROGRAM_EXAMPLE_main 31
 505   Private Attributes:
 506   proj nr: 1
 507 "
 508 color:yellow}
 509 edge: {sourcename: "n37" targetname: "n31" label: "0" class:17 priority:10 color:blue}
 510 edge: { sourcename: "n37" targetname: "n30" class:2  priority:50 linestyle:dotted}
 511 node: {title: "n45" label: "Alloc 45"  info1: "Alloc 45
 512   mode:    T
 513   visited: 33
 514   irg:     OO_PROGRAM_EXAMPLE_main
 515   arity:   2
 516   pred nodes:
 517     -1:    Block 191
 518      0:    Proj 37
 519      1:    SymC PRIMA size 43
 520   Private Attributes:
 521   pinned state: op_pin_state_pinned
 522   allocating entity of type: PRIMA
 523   allocating on: the heap
 524 "
 525 }
 526 node: {title: "n45n43" label: "SymC PRIMA size 43"  info1: "SymC PRIMA size 43
 527   mode:    Iu
 528   visited: 33
 529   irg:     OO_PROGRAM_EXAMPLE_main
 530   arity:   0
 531   pred nodes:
 532     -1:    Block 30
 533   Private Attributes:
 534   kind: size
 535   type: class type PRIMA (15)
 536   type of value: type_unknown
 537 "
 538 }
 539 edge: {sourcename: "n45" targetname: "n37" label: "0" class:17 priority:10 color:blue}
 540 edge: {sourcename: "n45" targetname: "n45n43" label: "1" class:16 priority:10}
 541 edge: { sourcename: "n45" targetname: "n191" class:2  priority:50 linestyle:dotted}
 542 node: {title: "n48" label: "ProjP res 48"  info1: "Proj 48
 543   mode:    P
 544   visited: 33
 545   irg:     OO_PROGRAM_EXAMPLE_main
 546   arity:   1
 547   pred nodes:
 548     -1:    Block 191
 549      0:    Alloc 45
 550   Private Attributes:
 551   proj nr: 2
 552 "
 553 color:yellow}
 554 edge: {sourcename: "n48" targetname: "n45" label: "0" class:1  priority:50}
 555 edge: { sourcename: "n48" targetname: "n191" class:2  priority:50 linestyle:dotted}
 556 node: {title: "n177" label: "FilterP 0 177"  info1: "Filter 177
 557   mode:    P
 558   visited: 33
 559   irg:     PRIMA_c
 560   arity:   1
 561   pred nodes:
 562     -1:    Block 87
 563      0:    Proj 95
 564   Private Attributes:
 565   inter arity: 1
 566   inter pred nodes:
 567      0:    Proj 48
 568   backedges:
 569 "
 570 color:yellow}
 571 edge: {sourcename: "n177" targetname: "n48" label: "0" class:16 priority:10}
 572 edge: { sourcename: "n177" targetname: "n87" class:2  priority:50 linestyle:dotted}
 573 node: {title: "n186" label: "FilterIs 1 186"  info1: "Filter 186
 574   mode:    Is
 575   visited: 33
 576   irg:     PRIMA_set_a
 577   arity:   1
 578   pred nodes:
 579     -1:    Block 64
 580      0:    Proj 72
 581   Private Attributes:
 582   inter arity: 1
 583   inter pred nodes:
 584      0:    0x2 41
 585   backedges:
 586 "
 587 color:yellow}
 588 node: {title: "n186n41" label: "0x2Is 41"  info1: "0x2 41
 589   mode:    Is
 590   visited: 33
 591   irg:     OO_PROGRAM_EXAMPLE_main
 592   arity:   0
 593   pred nodes:
 594     -1:    Block 30
 595   Private Attributes:
 596   Const of type type_unknown
 597 "
 598 color:yellow}
 599 edge: {sourcename: "n186" targetname: "n186n41" label: "0" class:16 priority:10}
 600 edge: { sourcename: "n186" targetname: "n64" class:2  priority:50 linestyle:dotted}
 601 node: {title: "n185" label: "FilterP 0 185"  info1: "Filter 185
 602   mode:    P
 603   visited: 33
 604   irg:     PRIMA_set_a
 605   arity:   1
 606   pred nodes:
 607     -1:    Block 64
 608      0:    Proj 72
 609   Private Attributes:
 610   inter arity: 1
 611   inter pred nodes:
 612      0:    Proj 48
 613   backedges:
 614 "
 615 color:yellow}
 616 edge: {sourcename: "n185" targetname: "n48" label: "0" class:16 priority:10}
 617 edge: { sourcename: "n185" targetname: "n64" class:2  priority:50 linestyle:dotted}
 618 node: {title: "n47" label: "ProjM M 47"  info1: "Proj 47
 619   mode:    M
 620   visited: 33
 621   irg:     OO_PROGRAM_EXAMPLE_main
 622   arity:   1
 623   pred nodes:
 624     -1:    Block 191
 625      0:    Alloc 45
 626   Private Attributes:
 627   proj nr: 0
 628 "
 629 color:yellow}
 630 edge: {sourcename: "n47" targetname: "n45" label: "0" class:17 priority:10 color:blue}
 631 edge: { sourcename: "n47" targetname: "n191" class:2  priority:50 linestyle:dotted}
 632 node: {title: "n184" label: "FilterM 1 184"  info1: "Filter 184
 633   mode:    M
 634   visited: 33
 635   irg:     PRIMA_set_a
 636   arity:   1
 637   pred nodes:
 638     -1:    Block 64
 639      0:    Start PRIMA_set_a 65
 640   Private Attributes:
 641   inter arity: 1
 642   inter pred nodes:
 643      0:    Proj 47
 644   backedges:
 645 "
 646 color:yellow}
 647 edge: {sourcename: "n184" targetname: "n47" label: "0" class:17 priority:10 color:blue}
 648 edge: { sourcename: "n184" targetname: "n64" class:2  priority:50 linestyle:dotted}
 649 node: {title: "n78" label: "Sel a 78"  info1: "Sel 78
 650   mode:    P
 651   visited: 33
 652   irg:     PRIMA_set_a
 653   arity:   2
 654   pred nodes:
 655     -1:    Block 74
 656      0:    Filter 184
 657      1:    Filter 185
 658   Private Attributes:
 659   Selecting entity a (17)
 660     of type    int
 661     with owner PRIMA.
 662 "
 663 }
 664 edge: {sourcename: "n78" targetname: "n184" label: "0" class:17 priority:10 color:blue}
 665 edge: {sourcename: "n78" targetname: "n185" label: "1" class:16 priority:10}
 666 edge: { sourcename: "n78" targetname: "n74" class:2  priority:50 linestyle:dotted}
 667 node: {title: "n79" label: "Store 79"  info1: "Store 79
 668   mode:    T
 669   visited: 33
 670   irg:     PRIMA_set_a
 671   arity:   3
 672   pred nodes:
 673     -1:    Block 74
 674      0:    Filter 184
 675      1:    Sel 78
 676      2:    Filter 186
 677   Private Attributes:
 678   pinned state: op_pin_state_pinned
 679   volatility: volatility_non_volatile
 680 "
 681 }
 682 edge: {sourcename: "n79" targetname: "n184" label: "0" class:17 priority:10 color:blue}
 683 edge: {sourcename: "n79" targetname: "n78" label: "1" class:1  priority:50}
 684 edge: {sourcename: "n79" targetname: "n186" label: "2" class:16 priority:10}
 685 edge: { sourcename: "n79" targetname: "n74" class:2  priority:50 linestyle:dotted}
 686 node: {title: "n81" label: "ProjM M 81"  info1: "Proj 81
 687   mode:    M
 688   visited: 33
 689   irg:     PRIMA_set_a
 690   arity:   1
 691   pred nodes:
 692     -1:    Block 74
 693      0:    Store 79
 694   Private Attributes:
 695   proj nr: 0
 696 "
 697 color:yellow}
 698 edge: {sourcename: "n81" targetname: "n79" label: "0" class:17 priority:10 color:blue}
 699 edge: { sourcename: "n81" targetname: "n74" class:2  priority:50 linestyle:dotted}
 700 node: {title: "n196" label: "FilterM 0 196"  info1: "Filter 196
 701   mode:    M
 702   visited: 33
 703   irg:     OO_PROGRAM_EXAMPLE_main
 704   arity:   1
 705   pred nodes:
 706     -1:    Block 197
 707      0:    Call 50
 708   Private Attributes:
 709   inter arity: 1
 710   inter pred nodes:
 711      0:    Proj 81
 712   backedges:
 713 "
 714 color:yellow}
 715 edge: {sourcename: "n196" targetname: "n81" label: "0" class:17 priority:10 color:blue}
 716 edge: { sourcename: "n196" targetname: "n197" class:2  priority:50 linestyle:dotted}
 717 node: {title: "n176" label: "FilterM 1 176"  info1: "Filter 176
 718   mode:    M
 719   visited: 33
 720   irg:     PRIMA_c
 721   arity:   1
 722   pred nodes:
 723     -1:    Block 87
 724      0:    Start PRIMA_c 88
 725   Private Attributes:
 726   inter arity: 1
 727   inter pred nodes:
 728      0:    Filter 196
 729   backedges:
 730 "
 731 color:yellow}
 732 edge: {sourcename: "n176" targetname: "n196" label: "0" class:17 priority:10 color:blue}
 733 edge: { sourcename: "n176" targetname: "n87" class:2  priority:50 linestyle:dotted}
 734 node: {title: "n101" label: "Sel a 101"  info1: "Sel 101
 735   mode:    P
 736   visited: 33
 737   irg:     PRIMA_c
 738   arity:   2
 739   pred nodes:
 740     -1:    Block 97
 741      0:    Filter 176
 742      1:    Filter 177
 743   Private Attributes:
 744   Selecting entity a (17)
 745     of type    int
 746     with owner PRIMA.
 747 "
 748 }
 749 edge: {sourcename: "n101" targetname: "n176" label: "0" class:17 priority:10 color:blue}
 750 edge: {sourcename: "n101" targetname: "n177" label: "1" class:16 priority:10}
 751 edge: { sourcename: "n101" targetname: "n97" class:2  priority:50 linestyle:dotted}
 752 node: {title: "n102" label: "Load[Is] 102"  info1: "Load[Is] 102
 753   mode:    T
 754   visited: 33
 755   irg:     PRIMA_c
 756   arity:   2
 757   pred nodes:
 758     -1:    Block 97
 759      0:    Filter 176
 760      1:    Sel 101
 761   Private Attributes:
 762   pinned state: op_pin_state_pinned
 763   mode of loaded value: Is
 764   volatility: volatility_non_volatile
 765 "
 766 }
 767 edge: {sourcename: "n102" targetname: "n176" label: "0" class:17 priority:10 color:blue}
 768 edge: {sourcename: "n102" targetname: "n101" label: "1" class:1  priority:50}
 769 edge: { sourcename: "n102" targetname: "n97" class:2  priority:50 linestyle:dotted}
 770 node: {title: "n105" label: "ProjIs res 105"  info1: "Proj 105
 771   mode:    Is
 772   visited: 33
 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 edge: { sourcename: "n105" targetname: "n97" class:2  priority:50 linestyle:dotted}
 784 node: {title: "n106" label: "AddIs 106"  info1: "Add 106
 785   mode:    Is
 786   visited: 33
 787   irg:     PRIMA_c
 788   arity:   2
 789   pred nodes:
 790     -1:    Block 97
 791      0:    Proj 105
 792      1:    Filter 178
 793   Private Attributes:
 794 "
 795 }
 796 edge: {sourcename: "n106" targetname: "n105" label: "0" class:1  priority:50}
 797 edge: {sourcename: "n106" targetname: "n178" label: "1" class:16 priority:10}
 798 edge: { sourcename: "n106" targetname: "n97" class:2  priority:50 linestyle:dotted}
 799 node: {title: "n203" label: "FilterIs 0 203"  info1: "Filter 203
 800   mode:    Is
 801   visited: 33
 802   irg:     OO_PROGRAM_EXAMPLE_main
 803   arity:   1
 804   pred nodes:
 805     -1:    Block 40
 806      0:    Proj 57
 807   Private Attributes:
 808   inter arity: 1
 809   inter pred nodes:
 810      0:    Add 106
 811   backedges:
 812 "
 813 color:yellow}
 814 edge: {sourcename: "n203" targetname: "n106" label: "0" class:16 priority:10}
 815 edge: { sourcename: "n203" targetname: "n40" class:2  priority:50 linestyle:dotted}
 816 node: {title: "n104" label: "ProjM M 104"  info1: "Proj 104
 817   mode:    M
 818   visited: 33
 819   irg:     PRIMA_c
 820   arity:   1
 821   pred nodes:
 822     -1:    Block 97
 823      0:    Load[Is] 102
 824   Private Attributes:
 825   proj nr: 0
 826 "
 827 color:yellow}
 828 edge: {sourcename: "n104" targetname: "n102" label: "0" class:17 priority:10 color:blue}
 829 edge: { sourcename: "n104" targetname: "n97" class:2  priority:50 linestyle:dotted}
 830 node: {title: "n202" label: "FilterM 0 202"  info1: "Filter 202
 831   mode:    M
 832   visited: 33
 833   irg:     OO_PROGRAM_EXAMPLE_main
 834   arity:   1
 835   pred nodes:
 836     -1:    Block 40
 837      0:    Call 54
 838   Private Attributes:
 839   inter arity: 1
 840   inter pred nodes:
 841      0:    Proj 104
 842   backedges:
 843 "
 844 color:yellow}
 845 edge: {sourcename: "n202" targetname: "n104" label: "0" class:17 priority:10 color:blue}
 846 edge: { sourcename: "n202" targetname: "n40" class:2  priority:50 linestyle:dotted}
 847 node: {title: "n59" label: "Return 59"  info1: "Return 59
 848   mode:    X
 849   visited: 33
 850   irg:     OO_PROGRAM_EXAMPLE_main
 851   arity:   2
 852   pred nodes:
 853     -1:    Block 40
 854      0:    Filter 202
 855      1:    Filter 203
 856   Private Attributes:
 857 "
 858 }
 859 edge: {sourcename: "n59" targetname: "n202" label: "0" class:14 priority:50 color:blue}
 860 edge: {sourcename: "n59" targetname: "n203" label: "1" class:1  priority:50}
 861 edge: { sourcename: "n59" targetname: "n40" class:2  priority:50 linestyle:dotted}
 862 node: {title: "n28" label: "Block 28"  info1: "Block 28
 863   mode:    BB
 864   visited: 33
 865   irg:     OO_PROGRAM_EXAMPLE_main
 866   arity:   1
 867   pred nodes:
 868      0:    Return 59
 869   Private Attributes:
 870   inter arity: 1
 871   inter pred nodes:
 872      0:    Return 59
 873   backedges:
 874   block visited: 0
 875   Execution freqency statistics:
 876 "
 877 color:lightyellow}
 878 edge: {sourcename: "n28" targetname: "n59" label: "0" class:13 priority:60 color:red}
 879 node: {title: "n109" label: "End OO_PROGRAM_EXAMPLE_main 109"  info1: "End OO_PROGRAM_EXAMPLE_main 109
 880   mode:    X
 881   visited: 33
 882   irg:     OO_PROGRAM_EXAMPLE_main
 883   arity:   2
 884   pred nodes:
 885     -1:    Block 28
 886      0:    Block 191
 887      1:    Block 197
 888   Private Attributes:
 889 "
 890 color:blue}
 891 edge: { sourcename: "n109" targetname: "n28" class:2  priority:50 linestyle:dotted}
 892 }