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

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