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