nsz Git - libfirm/blob - testprograms/ref-results/STRENGTH_RED_EXAMPLE_m1-strength_reduced.vcg

   1 graph: { title: "ir graph of STRENGTH_RED_EXAMPLE_m1"
   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: "g45" label: "STRENGTH_RED_EXAMPLE_m1" status:clustered color:white
  57 graph: { title: "n95"  label: "Block 95" status:clustered color:yellow
  58 edge: {sourcename: "n95" targetname: "n57" label: "0" class:13 priority:60 color:red}
  59 backedge: {sourcename: "n95" targetname: "n116" label: "1" linestyle:dashed class:13 priority:60 color:red}
  60 node: {title: "n122" label: "PhiM 122"  info1: "Phi 122
  61   mode:    M
  62   visited: 36
  63   irg:     STRENGTH_RED_EXAMPLE_m1
  64   arity:   2
  65   pred nodes:
  66     -1:    Block 95
  67      0:    Phi 93
  68      1:    Proj 114
  69   Private Attributes:
  70   backedges:
  71   in loop 540 with depth 1
  72 "
  73 color: green}
  74 edge: {sourcename: "n122" targetname: "n93" label: "0" class:17 priority:10 color:blue}
  75 edge: {sourcename: "n122" targetname: "n114" label: "1" class:17 priority:10 color:blue}
  76 node: {title: "n568" label: "PhiP 568"  info1: "Phi 568
  77   mode:    P
  78   visited: 36
  79   irg:     STRENGTH_RED_EXAMPLE_m1
  80   arity:   2
  81   pred nodes:
  82     -1:    Block 95
  83      0:    Add 570
  84      1:    Add 569
  85   Private Attributes:
  86   backedges:
  87 "
  88 color: green}
  89 edge: {sourcename: "n568" targetname: "n570" label: "0" class:16 priority:10}
  90 edge: {sourcename: "n568" targetname: "n569" label: "1" class:16 priority:10}
  91 node: {title: "n566" label: "MulIs 566"  info1: "Mul 566
  92   mode:    Is
  93   visited: 36
  94   irg:     STRENGTH_RED_EXAMPLE_m1
  95   arity:   2
  96   pred nodes:
  97     -1:    Block 95
  98      0:    0x4 61
  99      1:    Phi 94
 100   Private Attributes:
 101 "
 102 }
 103 node: {title: "n566n61" label: "0x4Is 61"  info1: "0x4 61
 104   mode:    Is
 105   visited: 36
 106   irg:     STRENGTH_RED_EXAMPLE_m1
 107   arity:   0
 108   pred nodes:
 109     -1:    Block 36
 110   Private Attributes:
 111   in loop 534 with depth 0
 112   Const of type type_unknown
 113 "
 114 color: yellow}
 115 edge: {sourcename: "n566" targetname: "n566n61" label: "0" class:16 priority:10}
 116 edge: {sourcename: "n566" targetname: "n94" label: "1" class:16 priority:10}
 117 node: {title: "n102" label: "Jmp 102"  info1: "Jmp 102
 118   mode:    X
 119   visited: 36
 120   irg:     STRENGTH_RED_EXAMPLE_m1
 121   arity:   0
 122   pred nodes:
 123     -1:    Block 95
 124   Private Attributes:
 125   in loop 538 with depth 1
 126 "
 127 }
 128 }
 129
 130 graph: { title: "n49"  label: "Block 49" status:clustered color:yellow
 131 edge: {sourcename: "n49" targetname: "n48" label: "0" class:13 priority:60 color:red}
 132 backedge: {sourcename: "n49" targetname: "n87" label: "1" linestyle:dashed class:13 priority:60 color:red}
 133 node: {title: "n93" label: "PhiM 93"  info1: "Phi 93
 134   mode:    M
 135   visited: 36
 136   irg:     STRENGTH_RED_EXAMPLE_m1
 137   arity:   2
 138   pred nodes:
 139     -1:    Block 49
 140      0:    Proj 43
 141      1:    Proj 85
 142   Private Attributes:
 143   backedges:
 144   in loop 537 with depth 1
 145 "
 146 color: green}
 147 edge: {sourcename: "n93" targetname: "n43" label: "0" class:17 priority:10 color:blue}
 148 edge: {sourcename: "n93" targetname: "n85" label: "1" class:17 priority:10 color:blue}
 149 node: {title: "n561" label: "PhiP 561"  info1: "Phi 561
 150   mode:    P
 151   visited: 36
 152   irg:     STRENGTH_RED_EXAMPLE_m1
 153   arity:   2
 154   pred nodes:
 155     -1:    Block 49
 156      0:    SymC &a2 64
 157      1:    Add 562
 158   Private Attributes:
 159   backedges:
 160 "
 161 color: green}
 162 node: {title: "n561n64" label: "SymC &a2 64"  info1: "SymC &a2 64
 163   mode:    P
 164   visited: 36
 165   irg:     STRENGTH_RED_EXAMPLE_m1
 166   arity:   0
 167   pred nodes:
 168     -1:    Block 36
 169   Private Attributes:
 170   in loop 534 with depth 0
 171   kind:   addr_ent
 172   entity: entity GlobalType.a2 (32)
 173
 174   type of value: type_unknown
 175 "
 176 }
 177 edge: {sourcename: "n561" targetname: "n561n64" label: "0" class:16 priority:10}
 178 edge: {sourcename: "n561" targetname: "n562" label: "1" class:16 priority:10}
 179 node: {title: "n553" label: "PhiP 553"  info1: "Phi 553
 180   mode:    P
 181   visited: 36
 182   irg:     STRENGTH_RED_EXAMPLE_m1
 183   arity:   2
 184   pred nodes:
 185     -1:    Block 49
 186      0:    SymC &a 63
 187      1:    Add 554
 188   Private Attributes:
 189   backedges:
 190 "
 191 color: green}
 192 node: {title: "n553n63" label: "SymC &a 63"  info1: "SymC &a 63
 193   mode:    P
 194   visited: 36
 195   irg:     STRENGTH_RED_EXAMPLE_m1
 196   arity:   0
 197   pred nodes:
 198     -1:    Block 36
 199   Private Attributes:
 200   in loop 534 with depth 0
 201   kind:   addr_ent
 202   entity: entity GlobalType.a (31)
 203
 204   type of value: type_unknown
 205 "
 206 }
 207 edge: {sourcename: "n553" targetname: "n553n63" label: "0" class:16 priority:10}
 208 edge: {sourcename: "n553" targetname: "n554" label: "1" class:16 priority:10}
 209 node: {title: "n570" label: "AddP 570"  info1: "Add 570
 210   mode:    P
 211   visited: 36
 212   irg:     STRENGTH_RED_EXAMPLE_m1
 213   arity:   2
 214   pred nodes:
 215     -1:    Block 49
 216      0:    SymC &a 63
 217      1:    Mul 566
 218   Private Attributes:
 219 "
 220 }
 221 node: {title: "n570n63" label: "SymC &a 63"  info1: "SymC &a 63
 222   mode:    P
 223   visited: 36
 224   irg:     STRENGTH_RED_EXAMPLE_m1
 225   arity:   0
 226   pred nodes:
 227     -1:    Block 36
 228   Private Attributes:
 229   in loop 534 with depth 0
 230   kind:   addr_ent
 231   entity: entity GlobalType.a (31)
 232
 233   type of value: type_unknown
 234 "
 235 }
 236 edge: {sourcename: "n570" targetname: "n570n63" label: "0" class:16 priority:10}
 237 edge: {sourcename: "n570" targetname: "n566" label: "1" class:16 priority:10}
 238 node: {title: "n57" label: "ProjX false 57"  info1: "Proj 57
 239   mode:    X
 240   visited: 36
 241   irg:     STRENGTH_RED_EXAMPLE_m1
 242   arity:   1
 243   pred nodes:
 244     -1:    Block 49
 245      0:    Cond 56
 246   Private Attributes:
 247   proj nr: 0
 248   in loop 534 with depth 0
 249 "
 250 color: yellow}
 251 edge: {sourcename: "n57" targetname: "n56" label: "0" class:13 priority:60 color:red}
 252 node: {title: "n58" label: "ProjX true 58"  info1: "Proj 58
 253   mode:    X
 254   visited: 36
 255   irg:     STRENGTH_RED_EXAMPLE_m1
 256   arity:   1
 257   pred nodes:
 258     -1:    Block 49
 259      0:    Cond 56
 260   Private Attributes:
 261   proj nr: 1
 262   in loop 536 with depth 2
 263 "
 264 color: yellow}
 265 edge: {sourcename: "n58" targetname: "n56" label: "0" class:13 priority:60 color:red}
 266 node: {title: "n56" label: "Cond 56"  info1: "Cond 56
 267   mode:    T
 268   visited: 36
 269   irg:     STRENGTH_RED_EXAMPLE_m1
 270   arity:   1
 271   pred nodes:
 272     -1:    Block 49
 273      0:    Proj 53
 274   Private Attributes:
 275   in loop 536 with depth 2
 276   condition kind: dense
 277   default ProjNr: 0
 278 "
 279 }
 280 edge: {sourcename: "n56" targetname: "n53" label: "0" class:1  priority:50}
 281 node: {title: "n53" label: "Projb Le 53"  info1: "Proj 53
 282   mode:    b
 283   visited: 36
 284   irg:     STRENGTH_RED_EXAMPLE_m1
 285   arity:   1
 286   pred nodes:
 287     -1:    Block 49
 288      0:    Cmp 55
 289   Private Attributes:
 290   proj nr: 3
 291   in loop 536 with depth 2
 292 "
 293 color: yellow}
 294 edge: {sourcename: "n53" targetname: "n55" label: "0" class:1  priority:50}
 295 node: {title: "n55" label: "Cmp 55"  info1: "Cmp 55
 296   mode:    T
 297   visited: 36
 298   irg:     STRENGTH_RED_EXAMPLE_m1
 299   arity:   2
 300   pred nodes:
 301     -1:    Block 49
 302      0:    Phi 94
 303      1:    0x9 54
 304   Private Attributes:
 305   in loop 536 with depth 2
 306 "
 307 }
 308 node: {title: "n55n54" label: "0x9Is 54"  info1: "0x9 54
 309   mode:    Is
 310   visited: 36
 311   irg:     STRENGTH_RED_EXAMPLE_m1
 312   arity:   0
 313   pred nodes:
 314     -1:    Block 36
 315   Private Attributes:
 316   in loop 534 with depth 0
 317   Const of type type_unknown
 318 "
 319 color: yellow}
 320 edge: {sourcename: "n55" targetname: "n94" label: "0" class:1  priority:50}
 321 edge: {sourcename: "n55" targetname: "n55n54" label: "1" class:16 priority:10}
 322 node: {title: "n94" label: "PhiIs 94"  info1: "Phi 94
 323   mode:    Is
 324   visited: 36
 325   irg:     STRENGTH_RED_EXAMPLE_m1
 326   arity:   2
 327   pred nodes:
 328     -1:    Block 49
 329      0:    0x0 47
 330      1:    Add 86
 331   Private Attributes:
 332   backedges:
 333   in loop 535 with depth 1
 334 "
 335 color: green}
 336 node: {title: "n94n47" label: "0x0Is 47"  info1: "0x0 47
 337   mode:    Is
 338   visited: 36
 339   irg:     STRENGTH_RED_EXAMPLE_m1
 340   arity:   0
 341   pred nodes:
 342     -1:    Block 36
 343   Private Attributes:
 344   in loop 534 with depth 0
 345   Const of type type_unknown
 346 "
 347 color: yellow}
 348 edge: {sourcename: "n94" targetname: "n94n47" label: "0" class:16 priority:10}
 349 edge: {sourcename: "n94" targetname: "n86" label: "1" class:16 priority:10}
 350 }
 351
 352 graph: { title: "n46"  label: "Block 46" status:clustered color:yellow
 353 edge: {sourcename: "n46" targetname: "n40" label: "0" class:13 priority:60 color:red}
 354 node: {title: "n48" label: "Jmp 48"  info1: "Jmp 48
 355   mode:    X
 356   visited: 36
 357   irg:     STRENGTH_RED_EXAMPLE_m1
 358   arity:   0
 359   pred nodes:
 360     -1:    Block 46
 361   Private Attributes:
 362   in loop 534 with depth 0
 363 "
 364 }
 365 }
 366
 367 graph: { title: "n59"  label: "Block 59" status:clustered color:yellow
 368 edge: {sourcename: "n59" targetname: "n58" label: "0" class:13 priority:60 color:red}
 369 node: {title: "n85" label: "ProjM M 85"  info1: "Proj 85
 370   mode:    M
 371   visited: 36
 372   irg:     STRENGTH_RED_EXAMPLE_m1
 373   arity:   1
 374   pred nodes:
 375     -1:    Block 59
 376      0:    Store 83
 377   Private Attributes:
 378   proj nr: 0
 379   in loop 537 with depth 1
 380 "
 381 color: yellow}
 382 edge: {sourcename: "n85" targetname: "n83" label: "0" class:17 priority:10 color:blue}
 383 node: {title: "n83" label: "Store 83"  info1: "Store 83
 384   mode:    T
 385   visited: 36
 386   irg:     STRENGTH_RED_EXAMPLE_m1
 387   arity:   3
 388   pred nodes:
 389     -1:    Block 59
 390      0:    Proj 78
 391      1:    Phi 553
 392      2:    0xF 82
 393   Private Attributes:
 394   pinned state: op_pin_state_pinned
 395   in loop 537 with depth 1
 396   volatility: volatility_non_volatile
 397 "
 398 }
 399 node: {title: "n83n82" label: "0xFIs 82"  info1: "0xF 82
 400   mode:    Is
 401   visited: 36
 402   irg:     STRENGTH_RED_EXAMPLE_m1
 403   arity:   0
 404   pred nodes:
 405     -1:    Block 36
 406   Private Attributes:
 407   in loop 534 with depth 0
 408   Const of type type_unknown
 409 "
 410 color: yellow}
 411 edge: {sourcename: "n83" targetname: "n78" label: "0" class:14 priority:50 color:blue}
 412 edge: {sourcename: "n83" targetname: "n553" label: "1" class:16 priority:10}
 413 edge: {sourcename: "n83" targetname: "n83n82" label: "2" class:16 priority:10}
 414 node: {title: "n78" label: "ProjM M 78"  info1: "Proj 78
 415   mode:    M
 416   visited: 36
 417   irg:     STRENGTH_RED_EXAMPLE_m1
 418   arity:   1
 419   pred nodes:
 420     -1:    Block 59
 421      0:    Store 76
 422   Private Attributes:
 423   proj nr: 0
 424   in loop 537 with depth 1
 425 "
 426 color: yellow}
 427 edge: {sourcename: "n78" targetname: "n76" label: "0" class:17 priority:10 color:blue}
 428 node: {title: "n76" label: "Store 76"  info1: "Store 76
 429   mode:    T
 430   visited: 36
 431   irg:     STRENGTH_RED_EXAMPLE_m1
 432   arity:   3
 433   pred nodes:
 434     -1:    Block 59
 435      0:    Proj 74
 436      1:    Phi 561
 437      2:    0x10 75
 438   Private Attributes:
 439   pinned state: op_pin_state_pinned
 440   in loop 537 with depth 1
 441   volatility: volatility_non_volatile
 442 "
 443 }
 444 node: {title: "n76n75" label: "0x10Is 75"  info1: "0x10 75
 445   mode:    Is
 446   visited: 36
 447   irg:     STRENGTH_RED_EXAMPLE_m1
 448   arity:   0
 449   pred nodes:
 450     -1:    Block 36
 451   Private Attributes:
 452   in loop 534 with depth 0
 453   Const of type type_unknown
 454 "
 455 color: yellow}
 456 edge: {sourcename: "n76" targetname: "n74" label: "0" class:14 priority:50 color:blue}
 457 edge: {sourcename: "n76" targetname: "n561" label: "1" class:16 priority:10}
 458 edge: {sourcename: "n76" targetname: "n76n75" label: "2" class:16 priority:10}
 459 node: {title: "n74" label: "ProjM M 74"  info1: "Proj 74
 460   mode:    M
 461   visited: 36
 462   irg:     STRENGTH_RED_EXAMPLE_m1
 463   arity:   1
 464   pred nodes:
 465     -1:    Block 59
 466      0:    Store 72
 467   Private Attributes:
 468   proj nr: 0
 469   in loop 537 with depth 1
 470 "
 471 color: yellow}
 472 edge: {sourcename: "n74" targetname: "n72" label: "0" class:17 priority:10 color:blue}
 473 node: {title: "n72" label: "Store 72"  info1: "Store 72
 474   mode:    T
 475   visited: 36
 476   irg:     STRENGTH_RED_EXAMPLE_m1
 477   arity:   3
 478   pred nodes:
 479     -1:    Block 59
 480      0:    Phi 93
 481      1:    Phi 553
 482      2:    0x13 70
 483   Private Attributes:
 484   pinned state: op_pin_state_pinned
 485   in loop 537 with depth 1
 486   volatility: volatility_non_volatile
 487 "
 488 }
 489 node: {title: "n72n70" label: "0x13Is 70"  info1: "0x13 70
 490   mode:    Is
 491   visited: 36
 492   irg:     STRENGTH_RED_EXAMPLE_m1
 493   arity:   0
 494   pred nodes:
 495     -1:    Block 36
 496   Private Attributes:
 497   in loop 534 with depth 0
 498   Const of type type_unknown
 499 "
 500 color: yellow}
 501 edge: {sourcename: "n72" targetname: "n93" label: "0" class:17 priority:10 color:blue}
 502 edge: {sourcename: "n72" targetname: "n553" label: "1" class:16 priority:10}
 503 edge: {sourcename: "n72" targetname: "n72n70" label: "2" class:16 priority:10}
 504 node: {title: "n562" label: "AddP 562"  info1: "Add 562
 505   mode:    P
 506   visited: 36
 507   irg:     STRENGTH_RED_EXAMPLE_m1
 508   arity:   2
 509   pred nodes:
 510     -1:    Block 59
 511      0:    0xC 62
 512      1:    Phi 561
 513   Private Attributes:
 514 "
 515 }
 516 node: {title: "n562n62" label: "0xCIs 62"  info1: "0xC 62
 517   mode:    Is
 518   visited: 36
 519   irg:     STRENGTH_RED_EXAMPLE_m1
 520   arity:   0
 521   pred nodes:
 522     -1:    Block 36
 523   Private Attributes:
 524   in loop 534 with depth 0
 525   Const of type type_unknown
 526 "
 527 color: yellow}
 528 edge: {sourcename: "n562" targetname: "n562n62" label: "0" class:16 priority:10}
 529 edge: {sourcename: "n562" targetname: "n561" label: "1" class:16 priority:10}
 530 node: {title: "n554" label: "AddP 554"  info1: "Add 554
 531   mode:    P
 532   visited: 36
 533   irg:     STRENGTH_RED_EXAMPLE_m1
 534   arity:   2
 535   pred nodes:
 536     -1:    Block 59
 537      0:    0x4 61
 538      1:    Phi 553
 539   Private Attributes:
 540 "
 541 }
 542 node: {title: "n554n61" label: "0x4Is 61"  info1: "0x4 61
 543   mode:    Is
 544   visited: 36
 545   irg:     STRENGTH_RED_EXAMPLE_m1
 546   arity:   0
 547   pred nodes:
 548     -1:    Block 36
 549   Private Attributes:
 550   in loop 534 with depth 0
 551   Const of type type_unknown
 552 "
 553 color: yellow}
 554 edge: {sourcename: "n554" targetname: "n554n61" label: "0" class:16 priority:10}
 555 edge: {sourcename: "n554" targetname: "n553" label: "1" class:16 priority:10}
 556 node: {title: "n87" label: "Jmp 87"  info1: "Jmp 87
 557   mode:    X
 558   visited: 36
 559   irg:     STRENGTH_RED_EXAMPLE_m1
 560   arity:   0
 561   pred nodes:
 562     -1:    Block 59
 563   Private Attributes:
 564   in loop 536 with depth 2
 565 "
 566 }
 567 node: {title: "n86" label: "AddIs 86"  info1: "Add 86
 568   mode:    Is
 569   visited: 36
 570   irg:     STRENGTH_RED_EXAMPLE_m1
 571   arity:   2
 572   pred nodes:
 573     -1:    Block 59
 574      0:    0x1 60
 575      1:    Phi 94
 576   Private Attributes:
 577   in loop 535 with depth 1
 578 "
 579 }
 580 node: {title: "n86n60" label: "0x1Is 60"  info1: "0x1 60
 581   mode:    Is
 582   visited: 36
 583   irg:     STRENGTH_RED_EXAMPLE_m1
 584   arity:   0
 585   pred nodes:
 586     -1:    Block 36
 587   Private Attributes:
 588   in loop 534 with depth 0
 589   Const of type type_unknown
 590 "
 591 color: yellow}
 592 edge: {sourcename: "n86" targetname: "n86n60" label: "0" class:16 priority:10}
 593 edge: {sourcename: "n86" targetname: "n94" label: "1" class:16 priority:10}
 594 }
 595
 596 graph: { title: "n105"  label: "Block 105" status:clustered color:yellow
 597 edge: {sourcename: "n105" targetname: "n102" label: "0" class:13 priority:60 color:red}
 598 node: {title: "n114" label: "ProjM M 114"  info1: "Proj 114
 599   mode:    M
 600   visited: 36
 601   irg:     STRENGTH_RED_EXAMPLE_m1
 602   arity:   1
 603   pred nodes:
 604     -1:    Block 105
 605      0:    Store 112
 606   Private Attributes:
 607   proj nr: 0
 608   in loop 540 with depth 1
 609 "
 610 color: yellow}
 611 edge: {sourcename: "n114" targetname: "n112" label: "0" class:17 priority:10 color:blue}
 612 node: {title: "n112" label: "Store 112"  info1: "Store 112
 613   mode:    T
 614   visited: 36
 615   irg:     STRENGTH_RED_EXAMPLE_m1
 616   arity:   3
 617   pred nodes:
 618     -1:    Block 105
 619      0:    Phi 122
 620      1:    Phi 568
 621      2:    0x13 70
 622   Private Attributes:
 623   pinned state: op_pin_state_pinned
 624   in loop 540 with depth 1
 625   volatility: volatility_non_volatile
 626 "
 627 }
 628 node: {title: "n112n70" label: "0x13Is 70"  info1: "0x13 70
 629   mode:    Is
 630   visited: 36
 631   irg:     STRENGTH_RED_EXAMPLE_m1
 632   arity:   0
 633   pred nodes:
 634     -1:    Block 36
 635   Private Attributes:
 636   in loop 534 with depth 0
 637   Const of type type_unknown
 638 "
 639 color: yellow}
 640 edge: {sourcename: "n112" targetname: "n122" label: "0" class:17 priority:10 color:blue}
 641 edge: {sourcename: "n112" targetname: "n568" label: "1" class:16 priority:10}
 642 edge: {sourcename: "n112" targetname: "n112n70" label: "2" class:16 priority:10}
 643 node: {title: "n569" label: "AddP 569"  info1: "Add 569
 644   mode:    P
 645   visited: 36
 646   irg:     STRENGTH_RED_EXAMPLE_m1
 647   arity:   2
 648   pred nodes:
 649     -1:    Block 105
 650      0:    0xFFFFFFFC 565
 651      1:    Phi 568
 652   Private Attributes:
 653 "
 654 }
 655 node: {title: "n569n565" label: "0xFFFFFFFCIs 565"  info1: "0xFFFFFFFC 565
 656   mode:    Is
 657   visited: 36
 658   irg:     STRENGTH_RED_EXAMPLE_m1
 659   arity:   0
 660   pred nodes:
 661     -1:    Block 36
 662   Private Attributes:
 663   Const of type type_unknown
 664 "
 665 color: yellow}
 666 edge: {sourcename: "n569" targetname: "n569n565" label: "0" class:16 priority:10}
 667 edge: {sourcename: "n569" targetname: "n568" label: "1" class:16 priority:10}
 668 node: {title: "n116" label: "Jmp 116"  info1: "Jmp 116
 669   mode:    X
 670   visited: 36
 671   irg:     STRENGTH_RED_EXAMPLE_m1
 672   arity:   0
 673   pred nodes:
 674     -1:    Block 105
 675   Private Attributes:
 676   in loop 538 with depth 1
 677 "
 678 }
 679 }
 680
 681 graph: { title: "n34"  label: "Block 34" status:clustered color:yellow
 682 edge: {sourcename: "n34" targetname: "n34n38" label: "0" class:13 priority:60 color:red}
 683 node: {title: "n35" label: "End 35"  info1: "End 35
 684   mode:    X
 685   visited: 36
 686   irg:     STRENGTH_RED_EXAMPLE_m1
 687   arity:   3
 688   pred nodes:
 689     -1:    Block 34
 690      0:    Phi 93
 691      1:    Block 95
 692      2:    Phi 122
 693   Private Attributes:
 694   in loop 534 with depth 0
 695 "
 696 color: blue}
 697 }
 698 node: {title: "n34n38" label: "Bad 38"  info1: "Bad 38
 699   mode:    T
 700   visited: 36
 701   irg:     STRENGTH_RED_EXAMPLE_m1
 702   arity:   0
 703   pred nodes:
 704     -1:    Block 36
 705   Private Attributes:
 706   pinned state: op_pin_state_pinned
 707   in loop 534 with depth 0
 708 "
 709 }
 710
 711 graph: { title: "n36"  label: "Block 36" status:clustered color:yellow
 712 edge: {sourcename: "n36" targetname: "n40" label: "0" class:13 priority:60 color:red}
 713 node: {title: "n43" label: "ProjM 1 43"  info1: "Proj 43
 714   mode:    M
 715   visited: 36
 716   irg:     STRENGTH_RED_EXAMPLE_m1
 717   arity:   1
 718   pred nodes:
 719     -1:    Block 36
 720      0:    Start 37
 721   Private Attributes:
 722   proj nr: 1
 723   in loop 534 with depth 0
 724 "
 725 color: yellow}
 726 edge: {sourcename: "n43" targetname: "n37" label: "0" class:17 priority:10 color:blue}
 727 node: {title: "n40" label: "ProjX X_initial_exec 40"  info1: "Proj 40
 728   mode:    X
 729   visited: 36
 730   irg:     STRENGTH_RED_EXAMPLE_m1
 731   arity:   1
 732   pred nodes:
 733     -1:    Block 36
 734      0:    Start 37
 735   Private Attributes:
 736   proj nr: 0
 737   in loop 534 with depth 0
 738 "
 739 color: yellow}
 740 edge: {sourcename: "n40" targetname: "n37" label: "0" class:13 priority:60 color:red}
 741 node: {title: "n37" label: "Start 37"  info1: "Start 37
 742   mode:    T
 743   visited: 36
 744   irg:     STRENGTH_RED_EXAMPLE_m1
 745   arity:   0
 746   pred nodes:
 747     -1:    Block 36
 748   Private Attributes:
 749   in loop 534 with depth 0
 750   start of method of type STRENGTH_RED_EXAMPLE_meth_tp
 751     param 0 type: int
 752 "
 753 color: blue}
 754 }
 755
 756 }
 757
 758 }