nsz Git - libfirm/blob - testprograms/ref-results/STRENGTH_RED_EXAMPLE_m1.vcg

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