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

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