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