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