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: "n95"  label: "Block 95" status:clustered color:yellow
  57 edge: {sourcename: "n95" targetname: "n57" label: "0" class:13 priority:60 color:red}
  58 backedge: {sourcename: "n95" targetname: "n116" label: "1" linestyle:dashed class:13 priority:60 color:red}
  59 node: {title: "n122" label: "PhiM 122"  info1: "Phi 122
  60   mode:    M
  61   visited: 37
  62   irg:     STRENGTH_RED_EXAMPLE_m1
  63   arity:   2
  64   pred nodes:
  65     -1:    Block 95
  66      0:    Phi 93
  67      1:    Proj 114
  68   Private Attributes:
  69   backedges:
  70   in loop 540 with depth 1
  71 "
  72 color: green}
  73 edge: {sourcename: "n122" targetname: "n93" label: "0" class:17 priority:10 color:blue}
  74 edge: {sourcename: "n122" targetname: "n114" label: "1" class:17 priority:10 color:blue}
  75 node: {title: "n568" label: "PhiP 568"  info1: "Phi 568
  76   mode:    P
  77   visited: 37
  78   irg:     STRENGTH_RED_EXAMPLE_m1
  79   arity:   2
  80   pred nodes:
  81     -1:    Block 95
  82      0:    Add 570
  83      1:    Add 569
  84   Private Attributes:
  85   backedges:
  86 "
  87 color: green}
  88 edge: {sourcename: "n568" targetname: "n570" label: "0" class:16 priority:10}
  89 edge: {sourcename: "n568" targetname: "n569" label: "1" class:16 priority:10}
  90 node: {title: "n566" label: "MulIs 566"  info1: "Mul 566
  91   mode:    Is
  92   visited: 37
  93   irg:     STRENGTH_RED_EXAMPLE_m1
  94   arity:   2
  95   pred nodes:
  96     -1:    Block 95
  97      0:    0x4 61
  98      1:    Phi 94
  99   Private Attributes:
 100 "
 101 }
 102 node: {title: "n566n61" label: "0x4Is 61"  info1: "0x4 61
 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 534 with depth 0
 111   Const of type type_unknown
 112 "
 113 color: yellow}
 114 edge: {sourcename: "n566" targetname: "n566n61" label: "0" class:16 priority:10}
 115 edge: {sourcename: "n566" targetname: "n94" label: "1" class:16 priority:10}
 116 node: {title: "n102" label: "Jmp 102"  info1: "Jmp 102
 117   mode:    X
 118   visited: 37
 119   irg:     STRENGTH_RED_EXAMPLE_m1
 120   arity:   0
 121   pred nodes:
 122     -1:    Block 95
 123   Private Attributes:
 124   in loop 538 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: "n87" label: "1" linestyle:dashed class:13 priority:60 color:red}
 132 node: {title: "n93" label: "PhiM 93"  info1: "Phi 93
 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 85
 141   Private Attributes:
 142   backedges:
 143   in loop 537 with depth 1
 144 "
 145 color: green}
 146 edge: {sourcename: "n93" targetname: "n43" label: "0" class:17 priority:10 color:blue}
 147 edge: {sourcename: "n93" targetname: "n85" label: "1" class:17 priority:10 color:blue}
 148 node: {title: "n561" label: "PhiP 561"  info1: "Phi 561
 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 64
 156      1:    Add 562
 157   Private Attributes:
 158   backedges:
 159 "
 160 color: green}
 161 node: {title: "n561n64" label: "SymC &a2 64"  info1: "SymC &a2 64
 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 534 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: "n561" targetname: "n561n64" label: "0" class:16 priority:10}
 177 edge: {sourcename: "n561" targetname: "n562" label: "1" class:16 priority:10}
 178 node: {title: "n553" label: "PhiP 553"  info1: "Phi 553
 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 63
 186      1:    Add 554
 187   Private Attributes:
 188   backedges:
 189 "
 190 color: green}
 191 node: {title: "n553n63" label: "SymC &a 63"  info1: "SymC &a 63
 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 534 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: "n553" targetname: "n553n63" label: "0" class:16 priority:10}
 207 edge: {sourcename: "n553" targetname: "n554" label: "1" class:16 priority:10}
 208 node: {title: "n570" label: "AddP 570"  info1: "Add 570
 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 63
 216      1:    Mul 566
 217   Private Attributes:
 218 "
 219 }
 220 node: {title: "n570n63" label: "SymC &a 63"  info1: "SymC &a 63
 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 534 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: "n570" targetname: "n570n63" label: "0" class:16 priority:10}
 236 edge: {sourcename: "n570" targetname: "n566" label: "1" class:16 priority:10}
 237 node: {title: "n57" label: "ProjX 0 57"  info1: "Proj 57
 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 56
 245   Private Attributes:
 246   in loop 534 with depth 0
 247 "
 248 color: yellow}
 249 edge: {sourcename: "n57" targetname: "n56" label: "0" class:13 priority:60 color:red}
 250 node: {title: "n58" label: "ProjX 1 58"  info1: "Proj 58
 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 56
 258   Private Attributes:
 259   in loop 536 with depth 2
 260 "
 261 color: yellow}
 262 edge: {sourcename: "n58" targetname: "n56" label: "0" class:13 priority:60 color:red}
 263 node: {title: "n56" label: "Cond 56"  info1: "Cond 56
 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 536 with depth 2
 273   condition kind: dense
 274   default ProjNr: 0
 275 "
 276 }
 277 edge: {sourcename: "n56" targetname: "n53" label: "0" class:1  priority:50}
 278 node: {title: "n53" label: "Projb Le 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 55
 286   Private Attributes:
 287   in loop 536 with depth 2
 288 "
 289 color: yellow}
 290 edge: {sourcename: "n53" targetname: "n55" label: "0" class:1  priority:50}
 291 node: {title: "n55" label: "Cmp 55"  info1: "Cmp 55
 292   mode:    T
 293   visited: 37
 294   irg:     STRENGTH_RED_EXAMPLE_m1
 295   arity:   2
 296   pred nodes:
 297     -1:    Block 49
 298      0:    Phi 94
 299      1:    0x9 54
 300   Private Attributes:
 301   in loop 536 with depth 2
 302 "
 303 }
 304 node: {title: "n55n54" label: "0x9Is 54"  info1: "0x9 54
 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 534 with depth 0
 313   Const of type type_unknown
 314 "
 315 color: yellow}
 316 edge: {sourcename: "n55" targetname: "n94" label: "0" class:1  priority:50}
 317 edge: {sourcename: "n55" targetname: "n55n54" label: "1" class:16 priority:10}
 318 node: {title: "n94" label: "PhiIs 94"  info1: "Phi 94
 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 86
 327   Private Attributes:
 328   backedges:
 329   in loop 535 with depth 1
 330 "
 331 color: green}
 332 node: {title: "n94n47" 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 534 with depth 0
 341   Const of type type_unknown
 342 "
 343 color: yellow}
 344 edge: {sourcename: "n94" targetname: "n94n47" label: "0" class:16 priority:10}
 345 edge: {sourcename: "n94" targetname: "n86" 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 534 with depth 0
 359 "
 360 }
 361 }
 362
 363 graph: { title: "n59"  label: "Block 59" status:clustered color:yellow
 364 edge: {sourcename: "n59" targetname: "n58" label: "0" class:13 priority:60 color:red}
 365 node: {title: "n85" label: "ProjM 0 85"  info1: "Proj 85
 366   mode:    M
 367   visited: 37
 368   irg:     STRENGTH_RED_EXAMPLE_m1
 369   arity:   1
 370   pred nodes:
 371     -1:    Block 59
 372      0:    Store 83
 373   Private Attributes:
 374   in loop 537 with depth 1
 375 "
 376 color: yellow}
 377 edge: {sourcename: "n85" targetname: "n83" label: "0" class:17 priority:10 color:blue}
 378 node: {title: "n83" label: "Store 83"  info1: "Store 83
 379   mode:    T
 380   visited: 37
 381   irg:     STRENGTH_RED_EXAMPLE_m1
 382   arity:   3
 383   pred nodes:
 384     -1:    Block 59
 385      0:    Proj 78
 386      1:    Phi 553
 387      2:    0xF 82
 388   Private Attributes:
 389   pinned state: op_pin_state_pinned
 390   in loop 537 with depth 1
 391   volatility: volatility_non_volatile
 392 "
 393 }
 394 node: {title: "n83n82" label: "0xFIs 82"  info1: "0xF 82
 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 534 with depth 0
 403   Const of type type_unknown
 404 "
 405 color: yellow}
 406 edge: {sourcename: "n83" targetname: "n78" label: "0" class:14 priority:50 color:blue}
 407 edge: {sourcename: "n83" targetname: "n553" label: "1" class:16 priority:10}
 408 edge: {sourcename: "n83" targetname: "n83n82" label: "2" class:16 priority:10}
 409 node: {title: "n78" label: "ProjM 0 78"  info1: "Proj 78
 410   mode:    M
 411   visited: 37
 412   irg:     STRENGTH_RED_EXAMPLE_m1
 413   arity:   1
 414   pred nodes:
 415     -1:    Block 59
 416      0:    Store 76
 417   Private Attributes:
 418   in loop 537 with depth 1
 419 "
 420 color: yellow}
 421 edge: {sourcename: "n78" targetname: "n76" label: "0" class:17 priority:10 color:blue}
 422 node: {title: "n76" label: "Store 76"  info1: "Store 76
 423   mode:    T
 424   visited: 37
 425   irg:     STRENGTH_RED_EXAMPLE_m1
 426   arity:   3
 427   pred nodes:
 428     -1:    Block 59
 429      0:    Proj 74
 430      1:    Phi 561
 431      2:    0x10 75
 432   Private Attributes:
 433   pinned state: op_pin_state_pinned
 434   in loop 537 with depth 1
 435   volatility: volatility_non_volatile
 436 "
 437 }
 438 node: {title: "n76n75" label: "0x10Is 75"  info1: "0x10 75
 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 534 with depth 0
 447   Const of type type_unknown
 448 "
 449 color: yellow}
 450 edge: {sourcename: "n76" targetname: "n74" label: "0" class:14 priority:50 color:blue}
 451 edge: {sourcename: "n76" targetname: "n561" label: "1" class:16 priority:10}
 452 edge: {sourcename: "n76" targetname: "n76n75" label: "2" class:16 priority:10}
 453 node: {title: "n74" label: "ProjM 0 74"  info1: "Proj 74
 454   mode:    M
 455   visited: 37
 456   irg:     STRENGTH_RED_EXAMPLE_m1
 457   arity:   1
 458   pred nodes:
 459     -1:    Block 59
 460      0:    Store 72
 461   Private Attributes:
 462   in loop 537 with depth 1
 463 "
 464 color: yellow}
 465 edge: {sourcename: "n74" targetname: "n72" label: "0" class:17 priority:10 color:blue}
 466 node: {title: "n72" label: "Store 72"  info1: "Store 72
 467   mode:    T
 468   visited: 37
 469   irg:     STRENGTH_RED_EXAMPLE_m1
 470   arity:   3
 471   pred nodes:
 472     -1:    Block 59
 473      0:    Phi 93
 474      1:    Phi 553
 475      2:    0x13 70
 476   Private Attributes:
 477   pinned state: op_pin_state_pinned
 478   in loop 537 with depth 1
 479   volatility: volatility_non_volatile
 480 "
 481 }
 482 node: {title: "n72n70" label: "0x13Is 70"  info1: "0x13 70
 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 534 with depth 0
 491   Const of type type_unknown
 492 "
 493 color: yellow}
 494 edge: {sourcename: "n72" targetname: "n93" label: "0" class:17 priority:10 color:blue}
 495 edge: {sourcename: "n72" targetname: "n553" label: "1" class:16 priority:10}
 496 edge: {sourcename: "n72" targetname: "n72n70" label: "2" class:16 priority:10}
 497 node: {title: "n562" label: "AddP 562"  info1: "Add 562
 498   mode:    P
 499   visited: 37
 500   irg:     STRENGTH_RED_EXAMPLE_m1
 501   arity:   2
 502   pred nodes:
 503     -1:    Block 59
 504      0:    0xC 62
 505      1:    Phi 561
 506   Private Attributes:
 507 "
 508 }
 509 node: {title: "n562n62" label: "0xCIs 62"  info1: "0xC 62
 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 534 with depth 0
 518   Const of type type_unknown
 519 "
 520 color: yellow}
 521 edge: {sourcename: "n562" targetname: "n562n62" label: "0" class:16 priority:10}
 522 edge: {sourcename: "n562" targetname: "n561" label: "1" class:16 priority:10}
 523 node: {title: "n554" label: "AddP 554"  info1: "Add 554
 524   mode:    P
 525   visited: 37
 526   irg:     STRENGTH_RED_EXAMPLE_m1
 527   arity:   2
 528   pred nodes:
 529     -1:    Block 59
 530      0:    0x4 61
 531      1:    Phi 553
 532   Private Attributes:
 533 "
 534 }
 535 node: {title: "n554n61" label: "0x4Is 61"  info1: "0x4 61
 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 534 with depth 0
 544   Const of type type_unknown
 545 "
 546 color: yellow}
 547 edge: {sourcename: "n554" targetname: "n554n61" label: "0" class:16 priority:10}
 548 edge: {sourcename: "n554" targetname: "n553" label: "1" class:16 priority:10}
 549 node: {title: "n87" label: "Jmp 87"  info1: "Jmp 87
 550   mode:    X
 551   visited: 37
 552   irg:     STRENGTH_RED_EXAMPLE_m1
 553   arity:   0
 554   pred nodes:
 555     -1:    Block 59
 556   Private Attributes:
 557   in loop 536 with depth 2
 558 "
 559 }
 560 node: {title: "n86" label: "AddIs 86"  info1: "Add 86
 561   mode:    Is
 562   visited: 37
 563   irg:     STRENGTH_RED_EXAMPLE_m1
 564   arity:   2
 565   pred nodes:
 566     -1:    Block 59
 567      0:    0x1 60
 568      1:    Phi 94
 569   Private Attributes:
 570   in loop 535 with depth 1
 571 "
 572 }
 573 node: {title: "n86n60" label: "0x1Is 60"  info1: "0x1 60
 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 534 with depth 0
 582   Const of type type_unknown
 583 "
 584 color: yellow}
 585 edge: {sourcename: "n86" targetname: "n86n60" label: "0" class:16 priority:10}
 586 edge: {sourcename: "n86" targetname: "n94" label: "1" class:16 priority:10}
 587 }
 588
 589 graph: { title: "n105"  label: "Block 105" status:clustered color:yellow
 590 edge: {sourcename: "n105" targetname: "n102" label: "0" class:13 priority:60 color:red}
 591 node: {title: "n114" label: "ProjM 0 114"  info1: "Proj 114
 592   mode:    M
 593   visited: 37
 594   irg:     STRENGTH_RED_EXAMPLE_m1
 595   arity:   1
 596   pred nodes:
 597     -1:    Block 105
 598      0:    Store 112
 599   Private Attributes:
 600   in loop 540 with depth 1
 601 "
 602 color: yellow}
 603 edge: {sourcename: "n114" targetname: "n112" label: "0" class:17 priority:10 color:blue}
 604 node: {title: "n112" label: "Store 112"  info1: "Store 112
 605   mode:    T
 606   visited: 37
 607   irg:     STRENGTH_RED_EXAMPLE_m1
 608   arity:   3
 609   pred nodes:
 610     -1:    Block 105
 611      0:    Phi 122
 612      1:    Phi 568
 613      2:    0x13 70
 614   Private Attributes:
 615   pinned state: op_pin_state_pinned
 616   in loop 540 with depth 1
 617   volatility: volatility_non_volatile
 618 "
 619 }
 620 node: {title: "n112n70" label: "0x13Is 70"  info1: "0x13 70
 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 534 with depth 0
 629   Const of type type_unknown
 630 "
 631 color: yellow}
 632 edge: {sourcename: "n112" targetname: "n122" label: "0" class:17 priority:10 color:blue}
 633 edge: {sourcename: "n112" targetname: "n568" label: "1" class:16 priority:10}
 634 edge: {sourcename: "n112" targetname: "n112n70" label: "2" class:16 priority:10}
 635 node: {title: "n569" label: "AddP 569"  info1: "Add 569
 636   mode:    P
 637   visited: 37
 638   irg:     STRENGTH_RED_EXAMPLE_m1
 639   arity:   2
 640   pred nodes:
 641     -1:    Block 105
 642      0:    0xFFFFFFFC 565
 643      1:    Phi 568
 644   Private Attributes:
 645 "
 646 }
 647 node: {title: "n569n565" label: "0xFFFFFFFCIs 565"  info1: "0xFFFFFFFC 565
 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: "n569" targetname: "n569n565" label: "0" class:16 priority:10}
 659 edge: {sourcename: "n569" targetname: "n568" label: "1" class:16 priority:10}
 660 node: {title: "n116" label: "Jmp 116"  info1: "Jmp 116
 661   mode:    X
 662   visited: 37
 663   irg:     STRENGTH_RED_EXAMPLE_m1
 664   arity:   0
 665   pred nodes:
 666     -1:    Block 105
 667   Private Attributes:
 668   in loop 538 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 93
 683      1:    Block 95
 684      2:    Phi 122
 685   Private Attributes:
 686   in loop 534 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 534 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 534 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 534 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 534 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 }