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