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