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