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