nsz Git - libfirm/blob - testprograms/ref-results/STRENGTH_RED_EXAMPLE_m7-strength_reduced.vcg

   1 graph: { title: "ir graph of STRENGTH_RED_EXAMPLE_m7"
   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: "g480" label: "STRENGTH_RED_EXAMPLE_m7" status:clustered color:white
  58 info1: "entity STRENGTH_RED_EXAMPLE_m7 (461)
  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_m7
  68   volatility:  volatility_non_volatile
  69   peculiarity: peculiarity_existent
  70   ld_name: no yet set
  71   offset:  -1 bits, -1 bytes
  72   irg = 480
  73
  74 "
  75 graph: { title: "n469"  label: "Block 469" status:clustered color:yellow
  76  info1: "Block 469
  77   mode:    BB
  78   visited: 27
  79   irg:     STRENGTH_RED_EXAMPLE_m7
  80   arity:   1
  81   pred nodes:
  82      0:    Return 520
  83   Private Attributes:
  84   backedges:
  85   in loop 706 with depth 0
  86   block visited: 2
  87   dom depth 5
  88   tree pre num 4
  89   max subtree pre num 4
  90   Execution freqency statistics:
  91 "
  92 edge: {sourcename: "n469" targetname: "n520" label: "0" class:13 priority:60 color:red}
  93 node: {title: "n470" label: "End 470"  info1: "End 470
  94   mode:    X
  95   visited: 27
  96   irg:     STRENGTH_RED_EXAMPLE_m7
  97   arity:   1
  98   pred nodes:
  99     -1:    Block 469
 100      0:    Phi 524
 101   Private Attributes:
 102   in loop 689 with depth 0
 103 "
 104 color:blue}
 105 }
 106
 107 graph: { title: "n517"  label: "Block 517" status:clustered color:yellow
 108  info1: "Block 517
 109   mode:    BB
 110   visited: 27
 111   irg:     STRENGTH_RED_EXAMPLE_m7
 112   arity:   1
 113   pred nodes:
 114      0:    Proj 493
 115   Private Attributes:
 116   backedges:
 117   in loop 706 with depth 0
 118   block visited: 2
 119   dom depth 4
 120   tree pre num 3
 121   max subtree pre num 4
 122   Execution freqency statistics:
 123 "
 124 edge: {sourcename: "n517" targetname: "n493" label: "0" class:13 priority:60 color:red}
 125 node: {title: "n520" label: "Return 520"  info1: "Return 520
 126   mode:    X
 127   visited: 27
 128   irg:     STRENGTH_RED_EXAMPLE_m7
 129   arity:   2
 130   pred nodes:
 131     -1:    Block 517
 132      0:    Phi 524
 133      1:    0x4 497
 134   Private Attributes:
 135   in loop 689 with depth 0
 136   return in method of type STRENGTH_RED_EXAMPLE_meth_tp
 137     res 0 type: int
 138 "
 139 }
 140 node: {title: "n520n497" label: "0x4Is 497"  info1: "0x4 497
 141   mode:    Is
 142   visited: 27
 143   irg:     STRENGTH_RED_EXAMPLE_m7
 144   arity:   0
 145   pred nodes:
 146     -1:    Block 471
 147   Private Attributes:
 148   in loop 689 with depth 0
 149   Const of type type_unknown
 150 "
 151 color:yellow}
 152 edge: {sourcename: "n520" targetname: "n524" label: "0" class:17 priority:10 color:blue}
 153 edge: {sourcename: "n520" targetname: "n520n497" label: "1" class:16 priority:10}
 154 }
 155
 156 graph: { title: "n486"  label: "Block 486" status:clustered color:yellow
 157  info1: "Block 486
 158   mode:    BB
 159   visited: 27
 160   irg:     STRENGTH_RED_EXAMPLE_m7
 161   arity:   2
 162   pred nodes:
 163      0:    Jmp 485
 164      1: be Jmp 511
 165   Private Attributes:
 166   backedges:  1
 167   in loop 707 with depth 1
 168   block visited: 2
 169   dom depth 3
 170   tree pre num 2
 171   max subtree pre num 5
 172   Execution freqency statistics:
 173 "
 174 edge: {sourcename: "n486" targetname: "n485" label: "0" class:13 priority:60 color:red}
 175 backedge: {sourcename: "n486" targetname: "n511" label: "1" linestyle:dashed class:13 priority:60 color:red}
 176 node: {title: "n524" label: "PhiM 524"  info1: "Phi 524
 177   mode:    M
 178   visited: 27
 179   irg:     STRENGTH_RED_EXAMPLE_m7
 180   arity:   2
 181   pred nodes:
 182     -1:    Block 486
 183      0:    Proj 478
 184      1:    Proj 509
 185   Private Attributes:
 186   backedges:
 187   in loop 692 with depth 1
 188 "
 189 color:green}
 190 edge: {sourcename: "n524" targetname: "n478" label: "0" class:17 priority:10 color:blue}
 191 edge: {sourcename: "n524" targetname: "n509" label: "1" class:17 priority:10 color:blue}
 192 node: {title: "n713" label: "PhiIs 713"  info1: "Phi 713
 193   mode:    Is
 194   visited: 27
 195   irg:     STRENGTH_RED_EXAMPLE_m7
 196   arity:   2
 197   pred nodes:
 198     -1:    Block 486
 199      0:    0x28 711
 200      1:    Add 714
 201   Private Attributes:
 202   backedges:
 203 "
 204 color:green}
 205 node: {title: "n713n711" label: "0x28Is 711"  info1: "0x28 711
 206   mode:    Is
 207   visited: 27
 208   irg:     STRENGTH_RED_EXAMPLE_m7
 209   arity:   0
 210   pred nodes:
 211     -1:    Block 471
 212   Private Attributes:
 213   Const of type type_unknown
 214 "
 215 color:yellow}
 216 edge: {sourcename: "n713" targetname: "n713n711" label: "0" class:16 priority:10}
 217 edge: {sourcename: "n713" targetname: "n714" label: "1" class:16 priority:10}
 218 node: {title: "n493" label: "ProjX false 493"  info1: "Proj 493
 219   mode:    X
 220   visited: 27
 221   irg:     STRENGTH_RED_EXAMPLE_m7
 222   arity:   1
 223   pred nodes:
 224     -1:    Block 486
 225      0:    Cond 492
 226   Private Attributes:
 227   proj nr: 0
 228   in loop 689 with depth 0
 229 "
 230 color:yellow}
 231 edge: {sourcename: "n493" targetname: "n492" label: "0" class:13 priority:60 color:red}
 232 node: {title: "n494" label: "ProjX true 494"  info1: "Proj 494
 233   mode:    X
 234   visited: 27
 235   irg:     STRENGTH_RED_EXAMPLE_m7
 236   arity:   1
 237   pred nodes:
 238     -1:    Block 486
 239      0:    Cond 492
 240   Private Attributes:
 241   proj nr: 1
 242   in loop 691 with depth 2
 243 "
 244 color:yellow}
 245 edge: {sourcename: "n494" targetname: "n492" label: "0" class:13 priority:60 color:red}
 246 node: {title: "n492" label: "Cond 492"  info1: "Cond 492
 247   mode:    T
 248   visited: 27
 249   irg:     STRENGTH_RED_EXAMPLE_m7
 250   arity:   1
 251   pred nodes:
 252     -1:    Block 486
 253      0:    Proj 490
 254   Private Attributes:
 255   in loop 691 with depth 2
 256   condition kind: dense
 257   default ProjNr: 0
 258 "
 259 }
 260 edge: {sourcename: "n492" targetname: "n490" label: "0" class:1  priority:50}
 261 node: {title: "n490" label: "Projb Gt 490"  info1: "Proj 490
 262   mode:    b
 263   visited: 27
 264   irg:     STRENGTH_RED_EXAMPLE_m7
 265   arity:   1
 266   pred nodes:
 267     -1:    Block 486
 268      0:    Cmp 491
 269   Private Attributes:
 270   proj nr: 4
 271   in loop 691 with depth 2
 272 "
 273 color:yellow}
 274 edge: {sourcename: "n490" targetname: "n491" label: "0" class:1  priority:50}
 275 node: {title: "n491" label: "Cmp 491"  info1: "Cmp 491
 276   mode:    T
 277   visited: 27
 278   irg:     STRENGTH_RED_EXAMPLE_m7
 279   arity:   2
 280   pred nodes:
 281     -1:    Block 486
 282      0:    Phi 525
 283      1:    0x0 488
 284   Private Attributes:
 285   in loop 691 with depth 2
 286 "
 287 }
 288 node: {title: "n491n488" label: "0x0Is 488"  info1: "0x0 488
 289   mode:    Is
 290   visited: 27
 291   irg:     STRENGTH_RED_EXAMPLE_m7
 292   arity:   0
 293   pred nodes:
 294     -1:    Block 471
 295   Private Attributes:
 296   in loop 689 with depth 0
 297   Const of type type_unknown
 298 "
 299 color:yellow}
 300 edge: {sourcename: "n491" targetname: "n525" label: "0" class:1  priority:50}
 301 edge: {sourcename: "n491" targetname: "n491n488" label: "1" class:16 priority:10}
 302 node: {title: "n525" label: "PhiIs 525"  info1: "Phi 525
 303   mode:    Is
 304   visited: 27
 305   irg:     STRENGTH_RED_EXAMPLE_m7
 306   arity:   2
 307   pred nodes:
 308     -1:    Block 486
 309      0:    0xA 483
 310      1:    Add 696
 311   Private Attributes:
 312   backedges:
 313   in loop 690 with depth 1
 314 "
 315 color:green}
 316 node: {title: "n525n483" label: "0xAIs 483"  info1: "0xA 483
 317   mode:    Is
 318   visited: 27
 319   irg:     STRENGTH_RED_EXAMPLE_m7
 320   arity:   0
 321   pred nodes:
 322     -1:    Block 471
 323   Private Attributes:
 324   in loop 689 with depth 0
 325   Const of type type_unknown
 326 "
 327 color:yellow}
 328 edge: {sourcename: "n525" targetname: "n525n483" label: "0" class:16 priority:10}
 329 edge: {sourcename: "n525" targetname: "n696" label: "1" class:16 priority:10}
 330 }
 331
 332 graph: { title: "n481"  label: "Block 481" status:clustered color:yellow
 333  info1: "Block 481
 334   mode:    BB
 335   visited: 27
 336   irg:     STRENGTH_RED_EXAMPLE_m7
 337   arity:   1
 338   pred nodes:
 339      0:    Proj 475
 340   Private Attributes:
 341   backedges:
 342   in loop 706 with depth 0
 343   block visited: 2
 344   dom depth 2
 345   tree pre num 1
 346   max subtree pre num 5
 347   Execution freqency statistics:
 348 "
 349 edge: {sourcename: "n481" targetname: "n475" label: "0" class:13 priority:60 color:red}
 350 node: {title: "n485" label: "Jmp 485"  info1: "Jmp 485
 351   mode:    X
 352   visited: 27
 353   irg:     STRENGTH_RED_EXAMPLE_m7
 354   arity:   0
 355   pred nodes:
 356     -1:    Block 481
 357   Private Attributes:
 358   in loop 689 with depth 0
 359 "
 360 }
 361 }
 362
 363 graph: { title: "n495"  label: "Block 495" status:clustered color:yellow
 364  info1: "Block 495
 365   mode:    BB
 366   visited: 27
 367   irg:     STRENGTH_RED_EXAMPLE_m7
 368   arity:   1
 369   pred nodes:
 370      0:    Proj 494
 371   Private Attributes:
 372   backedges:
 373   in loop 707 with depth 1
 374   block visited: 2
 375   dom depth 4
 376   tree pre num 5
 377   max subtree pre num 5
 378   Execution freqency statistics:
 379 "
 380 edge: {sourcename: "n495" targetname: "n494" label: "0" class:13 priority:60 color:red}
 381 node: {title: "n509" label: "ProjM M 509"  info1: "Proj 509
 382   mode:    M
 383   visited: 27
 384   irg:     STRENGTH_RED_EXAMPLE_m7
 385   arity:   1
 386   pred nodes:
 387     -1:    Block 495
 388      0:    Store 507
 389   Private Attributes:
 390   proj nr: 0
 391   in loop 692 with depth 1
 392 "
 393 color:yellow}
 394 edge: {sourcename: "n509" targetname: "n507" label: "0" class:17 priority:10 color:blue}
 395 node: {title: "n507" label: "Store 507"  info1: "Store 507
 396   mode:    T
 397   visited: 27
 398   irg:     STRENGTH_RED_EXAMPLE_m7
 399   arity:   3
 400   pred nodes:
 401     -1:    Block 495
 402      0:    Phi 524
 403      1:    Add 705
 404      2:    Add 505
 405   Private Attributes:
 406   pinned state: op_pin_state_pinned
 407   in loop 692 with depth 1
 408   volatility: volatility_non_volatile
 409 "
 410 }
 411 edge: {sourcename: "n507" targetname: "n524" label: "0" class:17 priority:10 color:blue}
 412 edge: {sourcename: "n507" targetname: "n705" label: "1" class:1  priority:50}
 413 edge: {sourcename: "n507" targetname: "n505" label: "2" class:1  priority:50}
 414 node: {title: "n705" label: "AddP 705"  info1: "Add 705
 415   mode:    P
 416   visited: 27
 417   irg:     STRENGTH_RED_EXAMPLE_m7
 418   arity:   2
 419   pred nodes:
 420     -1:    Block 495
 421      0:    Phi 713
 422      1:    Add 704
 423   Private Attributes:
 424 "
 425 }
 426 edge: {sourcename: "n705" targetname: "n713" label: "0" class:16 priority:10}
 427 edge: {sourcename: "n705" targetname: "n704" label: "1" class:1  priority:50}
 428 node: {title: "n714" label: "AddIs 714"  info1: "Add 714
 429   mode:    Is
 430   visited: 27
 431   irg:     STRENGTH_RED_EXAMPLE_m7
 432   arity:   2
 433   pred nodes:
 434     -1:    Block 495
 435      0:    0xFFFFFFFC 709
 436      1:    Phi 713
 437   Private Attributes:
 438 "
 439 }
 440 node: {title: "n714n709" label: "0xFFFFFFFCIs 709"  info1: "0xFFFFFFFC 709
 441   mode:    Is
 442   visited: 27
 443   irg:     STRENGTH_RED_EXAMPLE_m7
 444   arity:   0
 445   pred nodes:
 446     -1:    Block 471
 447   Private Attributes:
 448   Const of type type_unknown
 449 "
 450 color:yellow}
 451 edge: {sourcename: "n714" targetname: "n714n709" label: "0" class:16 priority:10}
 452 edge: {sourcename: "n714" targetname: "n713" label: "1" class:16 priority:10}
 453 node: {title: "n704" label: "AddP 704"  info1: "Add 704
 454   mode:    P
 455   visited: 27
 456   irg:     STRENGTH_RED_EXAMPLE_m7
 457   arity:   2
 458   pred nodes:
 459     -1:    Block 495
 460      0:    SymC &a 484
 461      1:    0x5C 702
 462   Private Attributes:
 463 "
 464 }
 465 node: {title: "n704n484" label: "SymC &a 484"  info1: "SymC &a 484
 466   mode:    P
 467   visited: 27
 468   irg:     STRENGTH_RED_EXAMPLE_m7
 469   arity:   0
 470   pred nodes:
 471     -1:    Block 471
 472   Private Attributes:
 473   in loop 689 with depth 0
 474   kind:   addr_ent
 475   entity: entity GlobalType.a (467)
 476
 477   type of value: type_unknown
 478 "
 479 }
 480 node: {title: "n704n702" label: "0x5CIs 702"  info1: "0x5C 702
 481   mode:    Is
 482   visited: 27
 483   irg:     STRENGTH_RED_EXAMPLE_m7
 484   arity:   0
 485   pred nodes:
 486     -1:    Block 471
 487   Private Attributes:
 488   Const of type type_unknown
 489 "
 490 color:yellow}
 491 edge: {sourcename: "n704" targetname: "n704n484" label: "0" class:16 priority:10}
 492 edge: {sourcename: "n704" targetname: "n704n702" label: "1" class:16 priority:10}
 493 node: {title: "n505" label: "AddIs 505"  info1: "Add 505
 494   mode:    Is
 495   visited: 27
 496   irg:     STRENGTH_RED_EXAMPLE_m7
 497   arity:   2
 498   pred nodes:
 499     -1:    Block 495
 500      0:    0x13 498
 501      1:    Phi 525
 502   Private Attributes:
 503   in loop 689 with depth 0
 504 "
 505 }
 506 node: {title: "n505n498" label: "0x13Is 498"  info1: "0x13 498
 507   mode:    Is
 508   visited: 27
 509   irg:     STRENGTH_RED_EXAMPLE_m7
 510   arity:   0
 511   pred nodes:
 512     -1:    Block 471
 513   Private Attributes:
 514   in loop 689 with depth 0
 515   Const of type type_unknown
 516 "
 517 color:yellow}
 518 edge: {sourcename: "n505" targetname: "n505n498" label: "0" class:16 priority:10}
 519 edge: {sourcename: "n505" targetname: "n525" label: "1" class:16 priority:10}
 520 node: {title: "n511" label: "Jmp 511"  info1: "Jmp 511
 521   mode:    X
 522   visited: 27
 523   irg:     STRENGTH_RED_EXAMPLE_m7
 524   arity:   0
 525   pred nodes:
 526     -1:    Block 495
 527   Private Attributes:
 528   in loop 691 with depth 2
 529 "
 530 }
 531 node: {title: "n696" label: "AddIs 696"  info1: "Add 696
 532   mode:    Is
 533   visited: 27
 534   irg:     STRENGTH_RED_EXAMPLE_m7
 535   arity:   2
 536   pred nodes:
 537     -1:    Block 495
 538      0:    Phi 525
 539      1:    0xFFFFFFFF 695
 540   Private Attributes:
 541 "
 542 }
 543 node: {title: "n696n695" label: "0xFFFFFFFFIs 695"  info1: "0xFFFFFFFF 695
 544   mode:    Is
 545   visited: 27
 546   irg:     STRENGTH_RED_EXAMPLE_m7
 547   arity:   0
 548   pred nodes:
 549     -1:    Block 471
 550   Private Attributes:
 551   Const of type type_unknown
 552 "
 553 color:yellow}
 554 edge: {sourcename: "n696" targetname: "n525" label: "0" class:16 priority:10}
 555 edge: {sourcename: "n696" targetname: "n696n695" label: "1" class:16 priority:10}
 556 }
 557
 558 graph: { title: "n471"  label: "Block 471" status:clustered color:yellow
 559  info1: "Block 471
 560   mode:    BB
 561   visited: 27
 562   irg:     STRENGTH_RED_EXAMPLE_m7
 563   arity:   1
 564   pred nodes:
 565      0:    Proj 475
 566   Private Attributes:
 567   backedges:
 568   in loop 706 with depth 0
 569   block visited: 2
 570   dom depth 1
 571   tree pre num 0
 572   max subtree pre num 5
 573   Execution freqency statistics:
 574 "
 575 edge: {sourcename: "n471" targetname: "n475" label: "0" class:13 priority:60 color:red}
 576 node: {title: "n478" label: "ProjM 1 478"  info1: "Proj 478
 577   mode:    M
 578   visited: 27
 579   irg:     STRENGTH_RED_EXAMPLE_m7
 580   arity:   1
 581   pred nodes:
 582     -1:    Block 471
 583      0:    Start 472
 584   Private Attributes:
 585   proj nr: 1
 586   in loop 689 with depth 0
 587 "
 588 color:yellow}
 589 edge: {sourcename: "n478" targetname: "n472" label: "0" class:17 priority:10 color:blue}
 590 node: {title: "n475" label: "ProjX X_initial_exec 475"  info1: "Proj 475
 591   mode:    X
 592   visited: 27
 593   irg:     STRENGTH_RED_EXAMPLE_m7
 594   arity:   1
 595   pred nodes:
 596     -1:    Block 471
 597      0:    Start 472
 598   Private Attributes:
 599   proj nr: 0
 600   in loop 689 with depth 0
 601 "
 602 color:yellow}
 603 edge: {sourcename: "n475" targetname: "n472" label: "0" class:13 priority:60 color:red}
 604 node: {title: "n472" label: "Start 472"  info1: "Start 472
 605   mode:    T
 606   visited: 27
 607   irg:     STRENGTH_RED_EXAMPLE_m7
 608   arity:   0
 609   pred nodes:
 610     -1:    Block 471
 611   Private Attributes:
 612   in loop 689 with depth 0
 613   start of method of type STRENGTH_RED_EXAMPLE_meth_tp
 614     param 0 type: int
 615 "
 616 color:blue}
 617 }
 618
 619 }
 620
 621 }