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