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

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