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