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