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