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