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

   1 graph: { title: "ir graph of STRENGTH_RED_EXAMPLE_m5"
   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: "g347" label: "STRENGTH_RED_EXAMPLE_m5" status:clustered color:white
  57 info1: "entity STRENGTH_RED_EXAMPLE_m5 (328)
  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_m5
  67   volatility:  volatility_non_volatile
  68   peculiarity: peculiarity_existent
  69   ld_name: no yet set
  70   offset:  -1 bits, -1 bytes
  71   irg = 347
  72
  73 "
  74 graph: { title: "n336"  label: "Block 336" status:clustered color:yellow
  75  info1: "Block 336
  76   mode:    BB
  77   visited: 26
  78   irg:     STRENGTH_RED_EXAMPLE_m5
  79   arity:   1
  80   pred nodes:
  81      0:    Return 387
  82   Private Attributes:
  83   backedges:
  84   in loop 656 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: "n336" targetname: "n387" label: "0" class:13 priority:60 color:red}
  92 node: {title: "n337" label: "End 337"  info1: "End 337
  93   mode:    X
  94   visited: 26
  95   irg:     STRENGTH_RED_EXAMPLE_m5
  96   arity:   1
  97   pred nodes:
  98     -1:    Block 336
  99      0:    Phi 391
 100   Private Attributes:
 101   in loop 639 with depth 0
 102 "
 103 color:blue}
 104 }
 105
 106 graph: { title: "n384"  label: "Block 384" status:clustered color:yellow
 107  info1: "Block 384
 108   mode:    BB
 109   visited: 26
 110   irg:     STRENGTH_RED_EXAMPLE_m5
 111   arity:   1
 112   pred nodes:
 113      0:    Proj 359
 114   Private Attributes:
 115   backedges:
 116   in loop 656 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: "n384" targetname: "n359" label: "0" class:13 priority:60 color:red}
 124 node: {title: "n387" label: "Return 387"  info1: "Return 387
 125   mode:    X
 126   visited: 26
 127   irg:     STRENGTH_RED_EXAMPLE_m5
 128   arity:   2
 129   pred nodes:
 130     -1:    Block 384
 131      0:    Phi 391
 132      1:    0x4 363
 133   Private Attributes:
 134   in loop 639 with depth 0
 135   return in method of type STRENGTH_RED_EXAMPLE_meth_tp
 136     res 0 type: int
 137 "
 138 }
 139 node: {title: "n387n363" label: "0x4Is 363"  info1: "0x4 363
 140   mode:    Is
 141   visited: 26
 142   irg:     STRENGTH_RED_EXAMPLE_m5
 143   arity:   0
 144   pred nodes:
 145     -1:    Block 338
 146   Private Attributes:
 147   in loop 639 with depth 0
 148   Const of type type_unknown
 149 "
 150 color:yellow}
 151 edge: {sourcename: "n387" targetname: "n391" label: "0" class:17 priority:10 color:blue}
 152 edge: {sourcename: "n387" targetname: "n387n363" label: "1" class:16 priority:10}
 153 }
 154
 155 graph: { title: "n352"  label: "Block 352" status:clustered color:yellow
 156  info1: "Block 352
 157   mode:    BB
 158   visited: 26
 159   irg:     STRENGTH_RED_EXAMPLE_m5
 160   arity:   2
 161   pred nodes:
 162      0:    Jmp 351
 163      1: be Jmp 378
 164   Private Attributes:
 165   backedges:  1
 166   in loop 657 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: "n352" targetname: "n351" label: "0" class:13 priority:60 color:red}
 174 backedge: {sourcename: "n352" targetname: "n378" label: "1" linestyle:dashed class:13 priority:60 color:red}
 175 node: {title: "n391" label: "PhiM 391"  info1: "Phi 391
 176   mode:    M
 177   visited: 26
 178   irg:     STRENGTH_RED_EXAMPLE_m5
 179   arity:   2
 180   pred nodes:
 181     -1:    Block 352
 182      0:    Proj 345
 183      1:    Proj 377
 184   Private Attributes:
 185   backedges:
 186   in loop 642 with depth 1
 187 "
 188 color:green}
 189 edge: {sourcename: "n391" targetname: "n345" label: "0" class:17 priority:10 color:blue}
 190 edge: {sourcename: "n391" targetname: "n377" label: "1" class:17 priority:10 color:blue}
 191 node: {title: "n359" label: "ProjX false 359"  info1: "Proj 359
 192   mode:    X
 193   visited: 26
 194   irg:     STRENGTH_RED_EXAMPLE_m5
 195   arity:   1
 196   pred nodes:
 197     -1:    Block 352
 198      0:    Cond 358
 199   Private Attributes:
 200   proj nr: 0
 201   in loop 639 with depth 0
 202 "
 203 color:yellow}
 204 edge: {sourcename: "n359" targetname: "n358" label: "0" class:13 priority:60 color:red}
 205 node: {title: "n360" label: "ProjX true 360"  info1: "Proj 360
 206   mode:    X
 207   visited: 26
 208   irg:     STRENGTH_RED_EXAMPLE_m5
 209   arity:   1
 210   pred nodes:
 211     -1:    Block 352
 212      0:    Cond 358
 213   Private Attributes:
 214   proj nr: 1
 215   in loop 641 with depth 2
 216 "
 217 color:yellow}
 218 edge: {sourcename: "n360" targetname: "n358" label: "0" class:13 priority:60 color:red}
 219 node: {title: "n358" label: "Cond 358"  info1: "Cond 358
 220   mode:    T
 221   visited: 26
 222   irg:     STRENGTH_RED_EXAMPLE_m5
 223   arity:   1
 224   pred nodes:
 225     -1:    Block 352
 226      0:    Proj 356
 227   Private Attributes:
 228   in loop 641 with depth 2
 229   condition kind: dense
 230   default ProjNr: 0
 231 "
 232 }
 233 edge: {sourcename: "n358" targetname: "n356" label: "0" class:1  priority:50}
 234 node: {title: "n356" label: "Projb Gt 356"  info1: "Proj 356
 235   mode:    b
 236   visited: 26
 237   irg:     STRENGTH_RED_EXAMPLE_m5
 238   arity:   1
 239   pred nodes:
 240     -1:    Block 352
 241      0:    Cmp 357
 242   Private Attributes:
 243   proj nr: 4
 244   in loop 641 with depth 2
 245 "
 246 color:yellow}
 247 edge: {sourcename: "n356" targetname: "n357" label: "0" class:1  priority:50}
 248 node: {title: "n357" label: "Cmp 357"  info1: "Cmp 357
 249   mode:    T
 250   visited: 26
 251   irg:     STRENGTH_RED_EXAMPLE_m5
 252   arity:   2
 253   pred nodes:
 254     -1:    Block 352
 255      0:    Phi 392
 256      1:    0x0 354
 257   Private Attributes:
 258   in loop 641 with depth 2
 259 "
 260 }
 261 node: {title: "n357n354" label: "0x0Is 354"  info1: "0x0 354
 262   mode:    Is
 263   visited: 26
 264   irg:     STRENGTH_RED_EXAMPLE_m5
 265   arity:   0
 266   pred nodes:
 267     -1:    Block 338
 268   Private Attributes:
 269   in loop 639 with depth 0
 270   Const of type type_unknown
 271 "
 272 color:yellow}
 273 edge: {sourcename: "n357" targetname: "n392" label: "0" class:1  priority:50}
 274 edge: {sourcename: "n357" targetname: "n357n354" label: "1" class:16 priority:10}
 275 node: {title: "n392" label: "PhiIs 392"  info1: "Phi 392
 276   mode:    Is
 277   visited: 26
 278   irg:     STRENGTH_RED_EXAMPLE_m5
 279   arity:   2
 280   pred nodes:
 281     -1:    Block 352
 282      0:    0x28 659
 283      1:    Add 646
 284   Private Attributes:
 285   backedges:
 286   in loop 640 with depth 1
 287 "
 288 color:green}
 289 node: {title: "n392n659" label: "0x28Is 659"  info1: "0x28 659
 290   mode:    Is
 291   visited: 26
 292   irg:     STRENGTH_RED_EXAMPLE_m5
 293   arity:   0
 294   pred nodes:
 295     -1:    Block 338
 296   Private Attributes:
 297   Const of type type_unknown
 298 "
 299 color:yellow}
 300 edge: {sourcename: "n392" targetname: "n392n659" label: "0" class:16 priority:10}
 301 edge: {sourcename: "n392" targetname: "n646" label: "1" class:16 priority:10}
 302 }
 303
 304 graph: { title: "n348"  label: "Block 348" status:clustered color:yellow
 305  info1: "Block 348
 306   mode:    BB
 307   visited: 26
 308   irg:     STRENGTH_RED_EXAMPLE_m5
 309   arity:   1
 310   pred nodes:
 311      0:    Proj 342
 312   Private Attributes:
 313   backedges:
 314   in loop 656 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: "n348" targetname: "n342" label: "0" class:13 priority:60 color:red}
 322 node: {title: "n351" label: "Jmp 351"  info1: "Jmp 351
 323   mode:    X
 324   visited: 26
 325   irg:     STRENGTH_RED_EXAMPLE_m5
 326   arity:   0
 327   pred nodes:
 328     -1:    Block 348
 329   Private Attributes:
 330   in loop 639 with depth 0
 331 "
 332 }
 333 }
 334
 335 graph: { title: "n361"  label: "Block 361" status:clustered color:yellow
 336  info1: "Block 361
 337   mode:    BB
 338   visited: 26
 339   irg:     STRENGTH_RED_EXAMPLE_m5
 340   arity:   1
 341   pred nodes:
 342      0:    Proj 360
 343   Private Attributes:
 344   backedges:
 345   in loop 657 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: "n361" targetname: "n360" label: "0" class:13 priority:60 color:red}
 353 node: {title: "n377" label: "ProjM M 377"  info1: "Proj 377
 354   mode:    M
 355   visited: 26
 356   irg:     STRENGTH_RED_EXAMPLE_m5
 357   arity:   1
 358   pred nodes:
 359     -1:    Block 361
 360      0:    Store 375
 361   Private Attributes:
 362   proj nr: 0
 363   in loop 642 with depth 1
 364 "
 365 color:yellow}
 366 edge: {sourcename: "n377" targetname: "n375" label: "0" class:17 priority:10 color:blue}
 367 node: {title: "n375" label: "Store 375"  info1: "Store 375
 368   mode:    T
 369   visited: 26
 370   irg:     STRENGTH_RED_EXAMPLE_m5
 371   arity:   3
 372   pred nodes:
 373     -1:    Block 361
 374      0:    Phi 391
 375      1:    Add 655
 376      2:    0x13 373
 377   Private Attributes:
 378   pinned state: op_pin_state_pinned
 379   in loop 642 with depth 1
 380   volatility: volatility_non_volatile
 381 "
 382 }
 383 node: {title: "n375n373" label: "0x13Is 373"  info1: "0x13 373
 384   mode:    Is
 385   visited: 26
 386   irg:     STRENGTH_RED_EXAMPLE_m5
 387   arity:   0
 388   pred nodes:
 389     -1:    Block 338
 390   Private Attributes:
 391   in loop 639 with depth 0
 392   Const of type type_unknown
 393 "
 394 color:yellow}
 395 edge: {sourcename: "n375" targetname: "n391" label: "0" class:17 priority:10 color:blue}
 396 edge: {sourcename: "n375" targetname: "n655" label: "1" class:1  priority:50}
 397 edge: {sourcename: "n375" targetname: "n375n373" label: "2" class:16 priority:10}
 398 node: {title: "n655" label: "AddP 655"  info1: "Add 655
 399   mode:    P
 400   visited: 26
 401   irg:     STRENGTH_RED_EXAMPLE_m5
 402   arity:   2
 403   pred nodes:
 404     -1:    Block 361
 405      0:    Add 652
 406      1:    0x9 654
 407   Private Attributes:
 408 "
 409 }
 410 node: {title: "n655n654" label: "0x9Is 654"  info1: "0x9 654
 411   mode:    Is
 412   visited: 26
 413   irg:     STRENGTH_RED_EXAMPLE_m5
 414   arity:   0
 415   pred nodes:
 416     -1:    Block 338
 417   Private Attributes:
 418   Const of type type_unknown
 419 "
 420 color:yellow}
 421 edge: {sourcename: "n655" targetname: "n652" label: "0" class:1  priority:50}
 422 edge: {sourcename: "n655" targetname: "n655n654" label: "1" class:16 priority:10}
 423 node: {title: "n652" label: "AddP 652"  info1: "Add 652
 424   mode:    P
 425   visited: 26
 426   irg:     STRENGTH_RED_EXAMPLE_m5
 427   arity:   2
 428   pred nodes:
 429     -1:    Block 361
 430      0:    Phi 392
 431      1:    Add 651
 432   Private Attributes:
 433 "
 434 }
 435 edge: {sourcename: "n652" targetname: "n392" label: "0" class:16 priority:10}
 436 edge: {sourcename: "n652" targetname: "n651" label: "1" class:1  priority:50}
 437 node: {title: "n651" label: "AddP 651"  info1: "Add 651
 438   mode:    P
 439   visited: 26
 440   irg:     STRENGTH_RED_EXAMPLE_m5
 441   arity:   2
 442   pred nodes:
 443     -1:    Block 361
 444      0:    SymC &a 350
 445      1:    0xFFFFFFFC 649
 446   Private Attributes:
 447 "
 448 }
 449 node: {title: "n651n350" label: "SymC &a 350"  info1: "SymC &a 350
 450   mode:    P
 451   visited: 26
 452   irg:     STRENGTH_RED_EXAMPLE_m5
 453   arity:   0
 454   pred nodes:
 455     -1:    Block 338
 456   Private Attributes:
 457   in loop 639 with depth 0
 458   kind:   addr_ent
 459   entity: entity GlobalType.a (334)
 460
 461   type of value: type_unknown
 462 "
 463 }
 464 node: {title: "n651n649" label: "0xFFFFFFFCIs 649"  info1: "0xFFFFFFFC 649
 465   mode:    Is
 466   visited: 26
 467   irg:     STRENGTH_RED_EXAMPLE_m5
 468   arity:   0
 469   pred nodes:
 470     -1:    Block 338
 471   Private Attributes:
 472   Const of type type_unknown
 473 "
 474 color:yellow}
 475 edge: {sourcename: "n651" targetname: "n651n350" label: "0" class:16 priority:10}
 476 edge: {sourcename: "n651" targetname: "n651n649" label: "1" class:16 priority:10}
 477 node: {title: "n378" label: "Jmp 378"  info1: "Jmp 378
 478   mode:    X
 479   visited: 26
 480   irg:     STRENGTH_RED_EXAMPLE_m5
 481   arity:   0
 482   pred nodes:
 483     -1:    Block 361
 484   Private Attributes:
 485   in loop 641 with depth 2
 486 "
 487 }
 488 node: {title: "n646" label: "AddIs 646"  info1: "Add 646
 489   mode:    Is
 490   visited: 26
 491   irg:     STRENGTH_RED_EXAMPLE_m5
 492   arity:   2
 493   pred nodes:
 494     -1:    Block 361
 495      0:    Phi 392
 496      1:    0xFFFFFFFC 649
 497   Private Attributes:
 498 "
 499 }
 500 node: {title: "n646n649" label: "0xFFFFFFFCIs 649"  info1: "0xFFFFFFFC 649
 501   mode:    Is
 502   visited: 26
 503   irg:     STRENGTH_RED_EXAMPLE_m5
 504   arity:   0
 505   pred nodes:
 506     -1:    Block 338
 507   Private Attributes:
 508   Const of type type_unknown
 509 "
 510 color:yellow}
 511 edge: {sourcename: "n646" targetname: "n392" label: "0" class:16 priority:10}
 512 edge: {sourcename: "n646" targetname: "n646n649" label: "1" class:16 priority:10}
 513 }
 514
 515 graph: { title: "n338"  label: "Block 338" status:clustered color:yellow
 516  info1: "Block 338
 517   mode:    BB
 518   visited: 26
 519   irg:     STRENGTH_RED_EXAMPLE_m5
 520   arity:   1
 521   pred nodes:
 522      0:    Proj 342
 523   Private Attributes:
 524   backedges:
 525   in loop 656 with depth 0
 526   block visited: 2
 527   dom depth 1
 528   tree pre num 0
 529   max subtree pre num 5
 530   Execution freqency statistics:
 531 "
 532 edge: {sourcename: "n338" targetname: "n342" label: "0" class:13 priority:60 color:red}
 533 node: {title: "n345" label: "ProjM 1 345"  info1: "Proj 345
 534   mode:    M
 535   visited: 26
 536   irg:     STRENGTH_RED_EXAMPLE_m5
 537   arity:   1
 538   pred nodes:
 539     -1:    Block 338
 540      0:    Start 339
 541   Private Attributes:
 542   proj nr: 1
 543   in loop 639 with depth 0
 544 "
 545 color:yellow}
 546 edge: {sourcename: "n345" targetname: "n339" label: "0" class:17 priority:10 color:blue}
 547 node: {title: "n342" label: "ProjX X_initial_exec 342"  info1: "Proj 342
 548   mode:    X
 549   visited: 26
 550   irg:     STRENGTH_RED_EXAMPLE_m5
 551   arity:   1
 552   pred nodes:
 553     -1:    Block 338
 554      0:    Start 339
 555   Private Attributes:
 556   proj nr: 0
 557   in loop 639 with depth 0
 558 "
 559 color:yellow}
 560 edge: {sourcename: "n342" targetname: "n339" label: "0" class:13 priority:60 color:red}
 561 node: {title: "n339" label: "Start 339"  info1: "Start 339
 562   mode:    T
 563   visited: 26
 564   irg:     STRENGTH_RED_EXAMPLE_m5
 565   arity:   0
 566   pred nodes:
 567     -1:    Block 338
 568   Private Attributes:
 569   in loop 639 with depth 0
 570   start of method of type STRENGTH_RED_EXAMPLE_meth_tp
 571     param 0 type: int
 572 "
 573 color:blue}
 574 }
 575
 576 }
 577
 578 }