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 graph: { title: "n28"  label: "Block 28" status:clustered color:yellow
  58 edge: {sourcename: "n28" targetname: "n59" label: "0" class:13 priority:60 color:red}
  59 node: {title: "n109" label: "End OO_PROGRAM_EXAMPLE_main 109"  info1: "End OO_PROGRAM_EXAMPLE_main 109
  60   mode:    X
  61   visited: 35
  62   irg:     OO_PROGRAM_EXAMPLE_main
  63   arity:   2
  64   pred nodes:
  65     -1:    Block 28
  66      0:    Block 191
  67      1:    Block 197
  68   Private Attributes:
  69 "
  70 color: blue}
  71 }
  72
  73 graph: { title: "n40"  label: "Block 40" status:clustered color:yellow
  74 edge: {sourcename: "n40" targetname: "n200" label: "0" class:13 priority:60 color:red}
  75 node: {title: "n59" label: "Return 59"  info1: "Return 59
  76   mode:    X
  77   visited: 35
  78   irg:     OO_PROGRAM_EXAMPLE_main
  79   arity:   2
  80   pred nodes:
  81     -1:    Block 40
  82      0:    Filter 202
  83      1:    Filter 203
  84   Private Attributes:
  85 "
  86 }
  87 edge: {sourcename: "n59" targetname: "n202" label: "0" class:14 priority:50 color:blue}
  88 edge: {sourcename: "n59" targetname: "n203" label: "1" class:1  priority:50}
  89 node: {title: "n202" label: "FilterM 0 202"  info1: "Filter 202
  90   mode:    M
  91   visited: 35
  92   irg:     OO_PROGRAM_EXAMPLE_main
  93   arity:   1
  94   pred nodes:
  95     -1:    Block 40
  96      0:    Call 54
  97   Private Attributes:
  98   inter arity: 1
  99   inter pred nodes:
 100      0:    Proj 104
 101   backedges:
 102 "
 103 color: yellow}
 104 edge: {sourcename: "n202" targetname: "n104" label: "0" class:17 priority:10 color:blue}
 105 node: {title: "n203" label: "FilterIs 0 203"  info1: "Filter 203
 106   mode:    Is
 107   visited: 35
 108   irg:     OO_PROGRAM_EXAMPLE_main
 109   arity:   1
 110   pred nodes:
 111     -1:    Block 40
 112      0:    Proj 57
 113   Private Attributes:
 114   inter arity: 1
 115   inter pred nodes:
 116      0:    Add 106
 117   backedges:
 118 "
 119 color: yellow}
 120 edge: {sourcename: "n203" targetname: "n106" label: "0" class:16 priority:10}
 121 }
 122
 123 graph: { title: "n197"  label: "Block 197" status:clustered color:yellow
 124 edge: {sourcename: "n197" targetname: "n194" label: "0" class:13 priority:60 color:red}
 125 node: {title: "n196" label: "FilterM 0 196"  info1: "Filter 196
 126   mode:    M
 127   visited: 35
 128   irg:     OO_PROGRAM_EXAMPLE_main
 129   arity:   1
 130   pred nodes:
 131     -1:    Block 197
 132      0:    Call 50
 133   Private Attributes:
 134   inter arity: 1
 135   inter pred nodes:
 136      0:    Proj 81
 137   backedges:
 138 "
 139 color: yellow}
 140 edge: {sourcename: "n196" targetname: "n81" label: "0" class:17 priority:10 color:blue}
 141 node: {title: "n201" label: "ProjX 0 201"  info1: "Proj 201
 142   mode:    X
 143   visited: 35
 144   irg:     OO_PROGRAM_EXAMPLE_main
 145   arity:   1
 146   pred nodes:
 147     -1:    Block 197
 148      0:    CallBegin c 199
 149   Private Attributes:
 150   proj nr: 0
 151 "
 152 color: yellow}
 153 edge: {sourcename: "n201" targetname: "n199" label: "0" class:13 priority:60 color:red}
 154 node: {title: "n199" label: "CallBegin c 199"  info1: "CallBegin c 199
 155   mode:    T
 156   visited: 35
 157   irg:     OO_PROGRAM_EXAMPLE_main
 158   arity:   1
 159   pred nodes:
 160     -1:    Block 197
 161      0:    SymC &c 174
 162   Private Attributes:
 163   Call: 54
 164   possible callees:
 165     0: PRIMA_c
 166 "
 167 }
 168 node: {title: "n199n174" label: "SymC &c 174"  info1: "SymC &c 174
 169   mode:    P
 170   visited: 35
 171   irg:     OO_PROGRAM_EXAMPLE_main
 172   arity:   0
 173   pred nodes:
 174     -1:    Block 30
 175   Private Attributes:
 176   kind:   addr_ent
 177   entity: entity PRIMA.c (23)
 178
 179   type of value: type_unknown
 180 "
 181 }
 182 edge: {sourcename: "n199" targetname: "n199n174" label: "0" class:16 priority:10}
 183 }
 184
 185 graph: { title: "n191"  label: "Block 191" status:clustered color:yellow
 186 edge: {sourcename: "n191" targetname: "n34" label: "0" class:13 priority:60 color:red}
 187 node: {title: "n47" label: "ProjM M 47"  info1: "Proj 47
 188   mode:    M
 189   visited: 35
 190   irg:     OO_PROGRAM_EXAMPLE_main
 191   arity:   1
 192   pred nodes:
 193     -1:    Block 191
 194      0:    Alloc 45
 195   Private Attributes:
 196   proj nr: 0
 197 "
 198 color: yellow}
 199 edge: {sourcename: "n47" targetname: "n45" label: "0" class:17 priority:10 color:blue}
 200 node: {title: "n48" label: "ProjP res 48"  info1: "Proj 48
 201   mode:    P
 202   visited: 35
 203   irg:     OO_PROGRAM_EXAMPLE_main
 204   arity:   1
 205   pred nodes:
 206     -1:    Block 191
 207      0:    Alloc 45
 208   Private Attributes:
 209   proj nr: 2
 210 "
 211 color: yellow}
 212 edge: {sourcename: "n48" targetname: "n45" label: "0" class:1  priority:50}
 213 node: {title: "n45" label: "Alloc 45"  info1: "Alloc 45
 214   mode:    T
 215   visited: 35
 216   irg:     OO_PROGRAM_EXAMPLE_main
 217   arity:   2
 218   pred nodes:
 219     -1:    Block 191
 220      0:    Proj 37
 221      1:    SymC PRIMA size 43
 222   Private Attributes:
 223   pinned state: op_pin_state_pinned
 224   allocating entity of type: PRIMA
 225   allocating on: the heap
 226 "
 227 }
 228 node: {title: "n45n43" label: "SymC PRIMA size 43"  info1: "SymC PRIMA size 43
 229   mode:    Iu
 230   visited: 35
 231   irg:     OO_PROGRAM_EXAMPLE_main
 232   arity:   0
 233   pred nodes:
 234     -1:    Block 30
 235   Private Attributes:
 236   kind: size
 237   type: class type PRIMA (15)
 238   type of value: type_unknown
 239 "
 240 }
 241 edge: {sourcename: "n45" targetname: "n37" label: "0" class:17 priority:10 color:blue}
 242 edge: {sourcename: "n45" targetname: "n45n43" label: "1" class:16 priority:10}
 243 node: {title: "n195" label: "ProjX 0 195"  info1: "Proj 195
 244   mode:    X
 245   visited: 35
 246   irg:     OO_PROGRAM_EXAMPLE_main
 247   arity:   1
 248   pred nodes:
 249     -1:    Block 191
 250      0:    CallBegin set_a 193
 251   Private Attributes:
 252   proj nr: 0
 253 "
 254 color: yellow}
 255 edge: {sourcename: "n195" targetname: "n193" label: "0" class:13 priority:60 color:red}
 256 node: {title: "n193" label: "CallBegin set_a 193"  info1: "CallBegin set_a 193
 257   mode:    T
 258   visited: 35
 259   irg:     OO_PROGRAM_EXAMPLE_main
 260   arity:   1
 261   pred nodes:
 262     -1:    Block 191
 263      0:    SymC &set_a 175
 264   Private Attributes:
 265   Call: 50
 266   possible callees:
 267     0: PRIMA_set_a
 268 "
 269 }
 270 node: {title: "n193n175" label: "SymC &set_a 175"  info1: "SymC &set_a 175
 271   mode:    P
 272   visited: 35
 273   irg:     OO_PROGRAM_EXAMPLE_main
 274   arity:   0
 275   pred nodes:
 276     -1:    Block 30
 277   Private Attributes:
 278   kind:   addr_ent
 279   entity: entity PRIMA.set_a (20)
 280
 281   type of value: type_unknown
 282 "
 283 }
 284 edge: {sourcename: "n193" targetname: "n193n175" label: "0" class:16 priority:10}
 285 }
 286
 287 graph: { title: "n30"  label: "Block 30" status:clustered color:yellow
 288 edge: {sourcename: "n30" targetname: "n34" label: "0" class:13 priority:60 color:red}
 289 node: {title: "n37" label: "ProjM 1 37"  info1: "Proj 37
 290   mode:    M
 291   visited: 35
 292   irg:     OO_PROGRAM_EXAMPLE_main
 293   arity:   1
 294   pred nodes:
 295     -1:    Block 30
 296      0:    Start OO_PROGRAM_EXAMPLE_main 31
 297   Private Attributes:
 298   proj nr: 1
 299 "
 300 color: yellow}
 301 edge: {sourcename: "n37" targetname: "n31" label: "0" class:17 priority:10 color:blue}
 302 node: {title: "n34" label: "ProjX X_initial_exec 34"  info1: "Proj 34
 303   mode:    X
 304   visited: 35
 305   irg:     OO_PROGRAM_EXAMPLE_main
 306   arity:   1
 307   pred nodes:
 308     -1:    Block 30
 309      0:    Start OO_PROGRAM_EXAMPLE_main 31
 310   Private Attributes:
 311   proj nr: 0
 312 "
 313 color: yellow}
 314 edge: {sourcename: "n34" targetname: "n31" label: "0" class:13 priority:60 color:red}
 315 node: {title: "n31" label: "Start OO_PROGRAM_EXAMPLE_main 31"  info1: "Start OO_PROGRAM_EXAMPLE_main 31
 316   mode:    T
 317   visited: 35
 318   irg:     OO_PROGRAM_EXAMPLE_main
 319   arity:   0
 320   pred nodes:
 321     -1:    Block 30
 322   Private Attributes:
 323   start of method of type OO_PROGRAM_EXAMPLE_main
 324 "
 325 color: blue}
 326 }
 327
 328 }
 329
 330 graph: { title: "g73" label: "PRIMA_set_a" status:clustered color:white
 331 graph: { title: "n188"  label: "Block 188" status:clustered color:yellow
 332 edge: {sourcename: "n188" targetname: "n187" label: "0" class:13 priority:60 color:red}
 333 node: {title: "n194" label: "ProjX 0 194"  info1: "Proj 194
 334   mode:    X
 335   visited: 35
 336   irg:     PRIMA_set_a
 337   arity:   1
 338   pred nodes:
 339     -1:    Block 188
 340      0:    EndReg PRIMA_set_a 189
 341   Private Attributes:
 342   proj nr: 0
 343 "
 344 color: yellow}
 345 edge: {sourcename: "n194" targetname: "n189" label: "0" class:13 priority:60 color:red}
 346 node: {title: "n189" label: "EndReg PRIMA_set_a 189"  info1: "EndReg PRIMA_set_a 189
 347   mode:    T
 348   visited: 35
 349   irg:     PRIMA_set_a
 350   arity:   0
 351   pred nodes:
 352     -1:    Block 188
 353   Private Attributes:
 354 "
 355 color: blue}
 356 }
 357
 358 graph: { title: "n74"  label: "Block 74" status:clustered color:yellow
 359 edge: {sourcename: "n74" targetname: "n68" label: "0" class:13 priority:60 color:red}
 360 node: {title: "n81" label: "ProjM M 81"  info1: "Proj 81
 361   mode:    M
 362   visited: 35
 363   irg:     PRIMA_set_a
 364   arity:   1
 365   pred nodes:
 366     -1:    Block 74
 367      0:    Store 79
 368   Private Attributes:
 369   proj nr: 0
 370 "
 371 color: yellow}
 372 edge: {sourcename: "n81" targetname: "n79" label: "0" class:17 priority:10 color:blue}
 373 node: {title: "n79" label: "Store 79"  info1: "Store 79
 374   mode:    T
 375   visited: 35
 376   irg:     PRIMA_set_a
 377   arity:   3
 378   pred nodes:
 379     -1:    Block 74
 380      0:    Filter 184
 381      1:    Sel 78
 382      2:    Filter 186
 383   Private Attributes:
 384   pinned state: op_pin_state_pinned
 385   volatility: volatility_non_volatile
 386 "
 387 }
 388 edge: {sourcename: "n79" targetname: "n184" label: "0" class:17 priority:10 color:blue}
 389 edge: {sourcename: "n79" targetname: "n78" label: "1" class:1  priority:50}
 390 edge: {sourcename: "n79" targetname: "n186" label: "2" class:16 priority:10}
 391 node: {title: "n78" label: "Sel a 78"  info1: "Sel 78
 392   mode:    P
 393   visited: 35
 394   irg:     PRIMA_set_a
 395   arity:   2
 396   pred nodes:
 397     -1:    Block 74
 398      0:    Filter 184
 399      1:    Filter 185
 400   Private Attributes:
 401   Selecting entity a (17)
 402     of type    int
 403     with owner PRIMA.
 404 "
 405 }
 406 edge: {sourcename: "n78" targetname: "n184" label: "0" class:17 priority:10 color:blue}
 407 edge: {sourcename: "n78" targetname: "n185" label: "1" class:16 priority:10}
 408 node: {title: "n187" label: "Jmp 187"  info1: "Jmp 187
 409   mode:    X
 410   visited: 35
 411   irg:     PRIMA_set_a
 412   arity:   0
 413   pred nodes:
 414     -1:    Block 74
 415   Private Attributes:
 416 "
 417 }
 418 }
 419
 420 graph: { title: "n64"  label: "Block 64" status:clustered color:yellow
 421 edge: {sourcename: "n64" targetname: "n195" label: "0" class:13 priority:60 color:red}
 422 node: {title: "n184" label: "FilterM 1 184"  info1: "Filter 184
 423   mode:    M
 424   visited: 35
 425   irg:     PRIMA_set_a
 426   arity:   1
 427   pred nodes:
 428     -1:    Block 64
 429      0:    Start PRIMA_set_a 65
 430   Private Attributes:
 431   inter arity: 1
 432   inter pred nodes:
 433      0:    Proj 47
 434   backedges:
 435 "
 436 color: yellow}
 437 edge: {sourcename: "n184" targetname: "n47" label: "0" class:17 priority:10 color:blue}
 438 node: {title: "n185" label: "FilterP 0 185"  info1: "Filter 185
 439   mode:    P
 440   visited: 35
 441   irg:     PRIMA_set_a
 442   arity:   1
 443   pred nodes:
 444     -1:    Block 64
 445      0:    Proj 72
 446   Private Attributes:
 447   inter arity: 1
 448   inter pred nodes:
 449      0:    Proj 48
 450   backedges:
 451 "
 452 color: yellow}
 453 edge: {sourcename: "n185" targetname: "n48" label: "0" class:16 priority:10}
 454 node: {title: "n186" label: "FilterIs 1 186"  info1: "Filter 186
 455   mode:    Is
 456   visited: 35
 457   irg:     PRIMA_set_a
 458   arity:   1
 459   pred nodes:
 460     -1:    Block 64
 461      0:    Proj 72
 462   Private Attributes:
 463   inter arity: 1
 464   inter pred nodes:
 465      0:    0x2 41
 466   backedges:
 467 "
 468 color: yellow}
 469 node: {title: "n186n41" label: "0x2Is 41"  info1: "0x2 41
 470   mode:    Is
 471   visited: 35
 472   irg:     OO_PROGRAM_EXAMPLE_main
 473   arity:   0
 474   pred nodes:
 475     -1:    Block 30
 476   Private Attributes:
 477   Const of type type_unknown
 478 "
 479 color: yellow}
 480 edge: {sourcename: "n186" targetname: "n186n41" label: "0" class:16 priority:10}
 481 node: {title: "n68" label: "ProjX X_initial_exec 68"  info1: "Proj 68
 482   mode:    X
 483   visited: 35
 484   irg:     PRIMA_set_a
 485   arity:   1
 486   pred nodes:
 487     -1:    Block 64
 488      0:    Start PRIMA_set_a 65
 489   Private Attributes:
 490   proj nr: 0
 491 "
 492 color: yellow}
 493 edge: {sourcename: "n68" targetname: "n65" label: "0" class:13 priority:60 color:red}
 494 node: {title: "n65" label: "Start PRIMA_set_a 65"  info1: "Start PRIMA_set_a 65
 495   mode:    T
 496   visited: 35
 497   irg:     PRIMA_set_a
 498   arity:   0
 499   pred nodes:
 500     -1:    Block 64
 501   Private Attributes:
 502   start of method of type set_a
 503     param 0 type: class_prima_ptr
 504     param 1 type: int
 505 "
 506 color: blue}
 507 }
 508
 509 }
 510
 511 graph: { title: "g96" label: "PRIMA_c" status:clustered color:white
 512 graph: { title: "n180"  label: "Block 180" status:clustered color:yellow
 513 edge: {sourcename: "n180" targetname: "n179" label: "0" class:13 priority:60 color:red}
 514 node: {title: "n200" label: "ProjX 0 200"  info1: "Proj 200
 515   mode:    X
 516   visited: 35
 517   irg:     PRIMA_c
 518   arity:   1
 519   pred nodes:
 520     -1:    Block 180
 521      0:    EndReg PRIMA_c 181
 522   Private Attributes:
 523   proj nr: 0
 524 "
 525 color: yellow}
 526 edge: {sourcename: "n200" targetname: "n181" label: "0" class:13 priority:60 color:red}
 527 node: {title: "n181" label: "EndReg PRIMA_c 181"  info1: "EndReg PRIMA_c 181
 528   mode:    T
 529   visited: 35
 530   irg:     PRIMA_c
 531   arity:   0
 532   pred nodes:
 533     -1:    Block 180
 534   Private Attributes:
 535 "
 536 color: blue}
 537 }
 538
 539 graph: { title: "n97"  label: "Block 97" status:clustered color:yellow
 540 edge: {sourcename: "n97" targetname: "n91" label: "0" class:13 priority:60 color:red}
 541 node: {title: "n104" label: "ProjM M 104"  info1: "Proj 104
 542   mode:    M
 543   visited: 35
 544   irg:     PRIMA_c
 545   arity:   1
 546   pred nodes:
 547     -1:    Block 97
 548      0:    Load[Is] 102
 549   Private Attributes:
 550   proj nr: 0
 551 "
 552 color: yellow}
 553 edge: {sourcename: "n104" targetname: "n102" label: "0" class:17 priority:10 color:blue}
 554 node: {title: "n106" label: "AddIs 106"  info1: "Add 106
 555   mode:    Is
 556   visited: 35
 557   irg:     PRIMA_c
 558   arity:   2
 559   pred nodes:
 560     -1:    Block 97
 561      0:    Proj 105
 562      1:    Filter 178
 563   Private Attributes:
 564 "
 565 }
 566 edge: {sourcename: "n106" targetname: "n105" label: "0" class:1  priority:50}
 567 edge: {sourcename: "n106" targetname: "n178" label: "1" class:16 priority:10}
 568 node: {title: "n105" label: "ProjIs res 105"  info1: "Proj 105
 569   mode:    Is
 570   visited: 35
 571   irg:     PRIMA_c
 572   arity:   1
 573   pred nodes:
 574     -1:    Block 97
 575      0:    Load[Is] 102
 576   Private Attributes:
 577   proj nr: 2
 578 "
 579 color: yellow}
 580 edge: {sourcename: "n105" targetname: "n102" label: "0" class:1  priority:50}
 581 node: {title: "n102" label: "Load[Is] 102"  info1: "Load[Is] 102
 582   mode:    T
 583   visited: 35
 584   irg:     PRIMA_c
 585   arity:   2
 586   pred nodes:
 587     -1:    Block 97
 588      0:    Filter 176
 589      1:    Sel 101
 590   Private Attributes:
 591   pinned state: op_pin_state_pinned
 592   mode of loaded value: Is
 593   volatility: volatility_non_volatile
 594 "
 595 }
 596 edge: {sourcename: "n102" targetname: "n176" label: "0" class:17 priority:10 color:blue}
 597 edge: {sourcename: "n102" targetname: "n101" label: "1" class:1  priority:50}
 598 node: {title: "n101" label: "Sel a 101"  info1: "Sel 101
 599   mode:    P
 600   visited: 35
 601   irg:     PRIMA_c
 602   arity:   2
 603   pred nodes:
 604     -1:    Block 97
 605      0:    Filter 176
 606      1:    Filter 177
 607   Private Attributes:
 608   Selecting entity a (17)
 609     of type    int
 610     with owner PRIMA.
 611 "
 612 }
 613 edge: {sourcename: "n101" targetname: "n176" label: "0" class:17 priority:10 color:blue}
 614 edge: {sourcename: "n101" targetname: "n177" label: "1" class:16 priority:10}
 615 node: {title: "n179" label: "Jmp 179"  info1: "Jmp 179
 616   mode:    X
 617   visited: 35
 618   irg:     PRIMA_c
 619   arity:   0
 620   pred nodes:
 621     -1:    Block 97
 622   Private Attributes:
 623 "
 624 }
 625 }
 626
 627 graph: { title: "n87"  label: "Block 87" status:clustered color:yellow
 628 edge: {sourcename: "n87" targetname: "n201" label: "0" class:13 priority:60 color:red}
 629 node: {title: "n176" label: "FilterM 1 176"  info1: "Filter 176
 630   mode:    M
 631   visited: 35
 632   irg:     PRIMA_c
 633   arity:   1
 634   pred nodes:
 635     -1:    Block 87
 636      0:    Start PRIMA_c 88
 637   Private Attributes:
 638   inter arity: 1
 639   inter pred nodes:
 640      0:    Filter 196
 641   backedges:
 642 "
 643 color: yellow}
 644 edge: {sourcename: "n176" targetname: "n196" label: "0" class:17 priority:10 color:blue}
 645 node: {title: "n177" label: "FilterP 0 177"  info1: "Filter 177
 646   mode:    P
 647   visited: 35
 648   irg:     PRIMA_c
 649   arity:   1
 650   pred nodes:
 651     -1:    Block 87
 652      0:    Proj 95
 653   Private Attributes:
 654   inter arity: 1
 655   inter pred nodes:
 656      0:    Proj 48
 657   backedges:
 658 "
 659 color: yellow}
 660 edge: {sourcename: "n177" targetname: "n48" label: "0" class:16 priority:10}
 661 node: {title: "n178" label: "FilterIs 1 178"  info1: "Filter 178
 662   mode:    Is
 663   visited: 35
 664   irg:     PRIMA_c
 665   arity:   1
 666   pred nodes:
 667     -1:    Block 87
 668      0:    Proj 95
 669   Private Attributes:
 670   inter arity: 1
 671   inter pred nodes:
 672      0:    0x5 42
 673   backedges:
 674 "
 675 color: yellow}
 676 node: {title: "n178n42" label: "0x5Is 42"  info1: "0x5 42
 677   mode:    Is
 678   visited: 35
 679   irg:     OO_PROGRAM_EXAMPLE_main
 680   arity:   0
 681   pred nodes:
 682     -1:    Block 30
 683   Private Attributes:
 684   Const of type type_unknown
 685 "
 686 color: yellow}
 687 edge: {sourcename: "n178" targetname: "n178n42" label: "0" class:16 priority:10}
 688 node: {title: "n91" label: "ProjX X_initial_exec 91"  info1: "Proj 91
 689   mode:    X
 690   visited: 35
 691   irg:     PRIMA_c
 692   arity:   1
 693   pred nodes:
 694     -1:    Block 87
 695      0:    Start PRIMA_c 88
 696   Private Attributes:
 697   proj nr: 0
 698 "
 699 color: yellow}
 700 edge: {sourcename: "n91" targetname: "n88" label: "0" class:13 priority:60 color:red}
 701 node: {title: "n88" label: "Start PRIMA_c 88"  info1: "Start PRIMA_c 88
 702   mode:    T
 703   visited: 35
 704   irg:     PRIMA_c
 705   arity:   0
 706   pred nodes:
 707     -1:    Block 87
 708   Private Attributes:
 709   start of method of type c
 710     param 0 type: class_prima_ptr
 711     param 1 type: int
 712 "
 713 color: blue}
 714 }
 715
 716 }
 717
 718 }