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