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

   1 graph: { title: "ir graph of STRENGTH_RED_EXAMPLE_m7"
   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: "g480" label: "STRENGTH_RED_EXAMPLE_m7" status:clustered color:white
  57 graph: { title: "n469"  label: "Block 469" status:clustered color:yellow
  58 edge: {sourcename: "n469" targetname: "n520" label: "0" class:13 priority:60 color:red}
  59 node: {title: "n470" label: "End 470"  info1: "End 470
  60   mode:    X
  61   visited: 27
  62   irg:     STRENGTH_RED_EXAMPLE_m7
  63   arity:   1
  64   pred nodes:
  65     -1:    Block 469
  66      0:    Phi 524
  67   Private Attributes:
  68   in loop 689 with depth 0
  69 "
  70 color: blue}
  71 }
  72
  73 graph: { title: "n517"  label: "Block 517" status:clustered color:yellow
  74 edge: {sourcename: "n517" targetname: "n493" label: "0" class:13 priority:60 color:red}
  75 node: {title: "n520" label: "Return 520"  info1: "Return 520
  76   mode:    X
  77   visited: 27
  78   irg:     STRENGTH_RED_EXAMPLE_m7
  79   arity:   2
  80   pred nodes:
  81     -1:    Block 517
  82      0:    Phi 524
  83      1:    0x4 497
  84   Private Attributes:
  85   in loop 689 with depth 0
  86   return in method of type STRENGTH_RED_EXAMPLE_meth_tp
  87     res 0 type: int
  88 "
  89 }
  90 node: {title: "n520n497" label: "0x4Is 497"  info1: "0x4 497
  91   mode:    Is
  92   visited: 27
  93   irg:     STRENGTH_RED_EXAMPLE_m7
  94   arity:   0
  95   pred nodes:
  96     -1:    Block 471
  97   Private Attributes:
  98   in loop 689 with depth 0
  99   Const of type type_unknown
 100 "
 101 color: yellow}
 102 edge: {sourcename: "n520" targetname: "n524" label: "0" class:17 priority:10 color:blue}
 103 edge: {sourcename: "n520" targetname: "n520n497" label: "1" class:16 priority:10}
 104 }
 105
 106 graph: { title: "n486"  label: "Block 486" status:clustered color:yellow
 107 edge: {sourcename: "n486" targetname: "n485" label: "0" class:13 priority:60 color:red}
 108 backedge: {sourcename: "n486" targetname: "n511" label: "1" linestyle:dashed class:13 priority:60 color:red}
 109 node: {title: "n524" label: "PhiM 524"  info1: "Phi 524
 110   mode:    M
 111   visited: 27
 112   irg:     STRENGTH_RED_EXAMPLE_m7
 113   arity:   2
 114   pred nodes:
 115     -1:    Block 486
 116      0:    Proj 478
 117      1:    Proj 509
 118   Private Attributes:
 119   backedges:
 120   in loop 692 with depth 1
 121 "
 122 color: green}
 123 edge: {sourcename: "n524" targetname: "n478" label: "0" class:17 priority:10 color:blue}
 124 edge: {sourcename: "n524" targetname: "n509" label: "1" class:17 priority:10 color:blue}
 125 node: {title: "n713" label: "PhiIs 713"  info1: "Phi 713
 126   mode:    Is
 127   visited: 27
 128   irg:     STRENGTH_RED_EXAMPLE_m7
 129   arity:   2
 130   pred nodes:
 131     -1:    Block 486
 132      0:    0x28 711
 133      1:    Add 714
 134   Private Attributes:
 135   backedges:
 136 "
 137 color: green}
 138 node: {title: "n713n711" label: "0x28Is 711"  info1: "0x28 711
 139   mode:    Is
 140   visited: 27
 141   irg:     STRENGTH_RED_EXAMPLE_m7
 142   arity:   0
 143   pred nodes:
 144     -1:    Block 471
 145   Private Attributes:
 146   Const of type type_unknown
 147 "
 148 color: yellow}
 149 edge: {sourcename: "n713" targetname: "n713n711" label: "0" class:16 priority:10}
 150 edge: {sourcename: "n713" targetname: "n714" label: "1" class:16 priority:10}
 151 node: {title: "n493" label: "ProjX false 493"  info1: "Proj 493
 152   mode:    X
 153   visited: 27
 154   irg:     STRENGTH_RED_EXAMPLE_m7
 155   arity:   1
 156   pred nodes:
 157     -1:    Block 486
 158      0:    Cond 492
 159   Private Attributes:
 160   proj nr: 0
 161   in loop 689 with depth 0
 162 "
 163 color: yellow}
 164 edge: {sourcename: "n493" targetname: "n492" label: "0" class:13 priority:60 color:red}
 165 node: {title: "n494" label: "ProjX true 494"  info1: "Proj 494
 166   mode:    X
 167   visited: 27
 168   irg:     STRENGTH_RED_EXAMPLE_m7
 169   arity:   1
 170   pred nodes:
 171     -1:    Block 486
 172      0:    Cond 492
 173   Private Attributes:
 174   proj nr: 1
 175   in loop 691 with depth 2
 176 "
 177 color: yellow}
 178 edge: {sourcename: "n494" targetname: "n492" label: "0" class:13 priority:60 color:red}
 179 node: {title: "n492" label: "Cond 492"  info1: "Cond 492
 180   mode:    T
 181   visited: 27
 182   irg:     STRENGTH_RED_EXAMPLE_m7
 183   arity:   1
 184   pred nodes:
 185     -1:    Block 486
 186      0:    Proj 490
 187   Private Attributes:
 188   in loop 691 with depth 2
 189   condition kind: dense
 190   default ProjNr: 0
 191 "
 192 }
 193 edge: {sourcename: "n492" targetname: "n490" label: "0" class:1  priority:50}
 194 node: {title: "n490" label: "Projb Gt 490"  info1: "Proj 490
 195   mode:    b
 196   visited: 27
 197   irg:     STRENGTH_RED_EXAMPLE_m7
 198   arity:   1
 199   pred nodes:
 200     -1:    Block 486
 201      0:    Cmp 491
 202   Private Attributes:
 203   proj nr: 4
 204   in loop 691 with depth 2
 205 "
 206 color: yellow}
 207 edge: {sourcename: "n490" targetname: "n491" label: "0" class:1  priority:50}
 208 node: {title: "n491" label: "Cmp 491"  info1: "Cmp 491
 209   mode:    T
 210   visited: 27
 211   irg:     STRENGTH_RED_EXAMPLE_m7
 212   arity:   2
 213   pred nodes:
 214     -1:    Block 486
 215      0:    Phi 525
 216      1:    0x0 488
 217   Private Attributes:
 218   in loop 691 with depth 2
 219 "
 220 }
 221 node: {title: "n491n488" label: "0x0Is 488"  info1: "0x0 488
 222   mode:    Is
 223   visited: 27
 224   irg:     STRENGTH_RED_EXAMPLE_m7
 225   arity:   0
 226   pred nodes:
 227     -1:    Block 471
 228   Private Attributes:
 229   in loop 689 with depth 0
 230   Const of type type_unknown
 231 "
 232 color: yellow}
 233 edge: {sourcename: "n491" targetname: "n525" label: "0" class:1  priority:50}
 234 edge: {sourcename: "n491" targetname: "n491n488" label: "1" class:16 priority:10}
 235 node: {title: "n525" label: "PhiIs 525"  info1: "Phi 525
 236   mode:    Is
 237   visited: 27
 238   irg:     STRENGTH_RED_EXAMPLE_m7
 239   arity:   2
 240   pred nodes:
 241     -1:    Block 486
 242      0:    0xA 483
 243      1:    Add 696
 244   Private Attributes:
 245   backedges:
 246   in loop 690 with depth 1
 247 "
 248 color: green}
 249 node: {title: "n525n483" label: "0xAIs 483"  info1: "0xA 483
 250   mode:    Is
 251   visited: 27
 252   irg:     STRENGTH_RED_EXAMPLE_m7
 253   arity:   0
 254   pred nodes:
 255     -1:    Block 471
 256   Private Attributes:
 257   in loop 689 with depth 0
 258   Const of type type_unknown
 259 "
 260 color: yellow}
 261 edge: {sourcename: "n525" targetname: "n525n483" label: "0" class:16 priority:10}
 262 edge: {sourcename: "n525" targetname: "n696" label: "1" class:16 priority:10}
 263 }
 264
 265 graph: { title: "n481"  label: "Block 481" status:clustered color:yellow
 266 edge: {sourcename: "n481" targetname: "n475" label: "0" class:13 priority:60 color:red}
 267 node: {title: "n485" label: "Jmp 485"  info1: "Jmp 485
 268   mode:    X
 269   visited: 27
 270   irg:     STRENGTH_RED_EXAMPLE_m7
 271   arity:   0
 272   pred nodes:
 273     -1:    Block 481
 274   Private Attributes:
 275   in loop 689 with depth 0
 276 "
 277 }
 278 }
 279
 280 graph: { title: "n495"  label: "Block 495" status:clustered color:yellow
 281 edge: {sourcename: "n495" targetname: "n494" label: "0" class:13 priority:60 color:red}
 282 node: {title: "n509" label: "ProjM M 509"  info1: "Proj 509
 283   mode:    M
 284   visited: 27
 285   irg:     STRENGTH_RED_EXAMPLE_m7
 286   arity:   1
 287   pred nodes:
 288     -1:    Block 495
 289      0:    Store 507
 290   Private Attributes:
 291   proj nr: 0
 292   in loop 692 with depth 1
 293 "
 294 color: yellow}
 295 edge: {sourcename: "n509" targetname: "n507" label: "0" class:17 priority:10 color:blue}
 296 node: {title: "n507" label: "Store 507"  info1: "Store 507
 297   mode:    T
 298   visited: 27
 299   irg:     STRENGTH_RED_EXAMPLE_m7
 300   arity:   3
 301   pred nodes:
 302     -1:    Block 495
 303      0:    Phi 524
 304      1:    Add 705
 305      2:    Add 505
 306   Private Attributes:
 307   pinned state: op_pin_state_pinned
 308   in loop 692 with depth 1
 309   volatility: volatility_non_volatile
 310 "
 311 }
 312 edge: {sourcename: "n507" targetname: "n524" label: "0" class:17 priority:10 color:blue}
 313 edge: {sourcename: "n507" targetname: "n705" label: "1" class:1  priority:50}
 314 edge: {sourcename: "n507" targetname: "n505" label: "2" class:1  priority:50}
 315 node: {title: "n705" label: "AddP 705"  info1: "Add 705
 316   mode:    P
 317   visited: 27
 318   irg:     STRENGTH_RED_EXAMPLE_m7
 319   arity:   2
 320   pred nodes:
 321     -1:    Block 495
 322      0:    Phi 713
 323      1:    Add 704
 324   Private Attributes:
 325 "
 326 }
 327 edge: {sourcename: "n705" targetname: "n713" label: "0" class:16 priority:10}
 328 edge: {sourcename: "n705" targetname: "n704" label: "1" class:1  priority:50}
 329 node: {title: "n714" label: "AddIs 714"  info1: "Add 714
 330   mode:    Is
 331   visited: 27
 332   irg:     STRENGTH_RED_EXAMPLE_m7
 333   arity:   2
 334   pred nodes:
 335     -1:    Block 495
 336      0:    0xFFFFFFFC 709
 337      1:    Phi 713
 338   Private Attributes:
 339 "
 340 }
 341 node: {title: "n714n709" label: "0xFFFFFFFCIs 709"  info1: "0xFFFFFFFC 709
 342   mode:    Is
 343   visited: 27
 344   irg:     STRENGTH_RED_EXAMPLE_m7
 345   arity:   0
 346   pred nodes:
 347     -1:    Block 471
 348   Private Attributes:
 349   Const of type type_unknown
 350 "
 351 color: yellow}
 352 edge: {sourcename: "n714" targetname: "n714n709" label: "0" class:16 priority:10}
 353 edge: {sourcename: "n714" targetname: "n713" label: "1" class:16 priority:10}
 354 node: {title: "n704" label: "AddP 704"  info1: "Add 704
 355   mode:    P
 356   visited: 27
 357   irg:     STRENGTH_RED_EXAMPLE_m7
 358   arity:   2
 359   pred nodes:
 360     -1:    Block 495
 361      0:    SymC &a 484
 362      1:    0x5C 702
 363   Private Attributes:
 364 "
 365 }
 366 node: {title: "n704n484" label: "SymC &a 484"  info1: "SymC &a 484
 367   mode:    P
 368   visited: 27
 369   irg:     STRENGTH_RED_EXAMPLE_m7
 370   arity:   0
 371   pred nodes:
 372     -1:    Block 471
 373   Private Attributes:
 374   in loop 689 with depth 0
 375   kind:   addr_ent
 376   entity: entity GlobalType.a (467)
 377
 378   type of value: type_unknown
 379 "
 380 }
 381 node: {title: "n704n702" label: "0x5CIs 702"  info1: "0x5C 702
 382   mode:    Is
 383   visited: 27
 384   irg:     STRENGTH_RED_EXAMPLE_m7
 385   arity:   0
 386   pred nodes:
 387     -1:    Block 471
 388   Private Attributes:
 389   Const of type type_unknown
 390 "
 391 color: yellow}
 392 edge: {sourcename: "n704" targetname: "n704n484" label: "0" class:16 priority:10}
 393 edge: {sourcename: "n704" targetname: "n704n702" label: "1" class:16 priority:10}
 394 node: {title: "n505" label: "AddIs 505"  info1: "Add 505
 395   mode:    Is
 396   visited: 27
 397   irg:     STRENGTH_RED_EXAMPLE_m7
 398   arity:   2
 399   pred nodes:
 400     -1:    Block 495
 401      0:    0x13 498
 402      1:    Phi 525
 403   Private Attributes:
 404   in loop 689 with depth 0
 405 "
 406 }
 407 node: {title: "n505n498" label: "0x13Is 498"  info1: "0x13 498
 408   mode:    Is
 409   visited: 27
 410   irg:     STRENGTH_RED_EXAMPLE_m7
 411   arity:   0
 412   pred nodes:
 413     -1:    Block 471
 414   Private Attributes:
 415   in loop 689 with depth 0
 416   Const of type type_unknown
 417 "
 418 color: yellow}
 419 edge: {sourcename: "n505" targetname: "n505n498" label: "0" class:16 priority:10}
 420 edge: {sourcename: "n505" targetname: "n525" label: "1" class:16 priority:10}
 421 node: {title: "n511" label: "Jmp 511"  info1: "Jmp 511
 422   mode:    X
 423   visited: 27
 424   irg:     STRENGTH_RED_EXAMPLE_m7
 425   arity:   0
 426   pred nodes:
 427     -1:    Block 495
 428   Private Attributes:
 429   in loop 691 with depth 2
 430 "
 431 }
 432 node: {title: "n696" label: "AddIs 696"  info1: "Add 696
 433   mode:    Is
 434   visited: 27
 435   irg:     STRENGTH_RED_EXAMPLE_m7
 436   arity:   2
 437   pred nodes:
 438     -1:    Block 495
 439      0:    Phi 525
 440      1:    0xFFFFFFFF 695
 441   Private Attributes:
 442 "
 443 }
 444 node: {title: "n696n695" label: "0xFFFFFFFFIs 695"  info1: "0xFFFFFFFF 695
 445   mode:    Is
 446   visited: 27
 447   irg:     STRENGTH_RED_EXAMPLE_m7
 448   arity:   0
 449   pred nodes:
 450     -1:    Block 471
 451   Private Attributes:
 452   Const of type type_unknown
 453 "
 454 color: yellow}
 455 edge: {sourcename: "n696" targetname: "n525" label: "0" class:16 priority:10}
 456 edge: {sourcename: "n696" targetname: "n696n695" label: "1" class:16 priority:10}
 457 }
 458
 459 graph: { title: "n471"  label: "Block 471" status:clustered color:yellow
 460 edge: {sourcename: "n471" targetname: "n475" label: "0" class:13 priority:60 color:red}
 461 node: {title: "n478" label: "ProjM 1 478"  info1: "Proj 478
 462   mode:    M
 463   visited: 27
 464   irg:     STRENGTH_RED_EXAMPLE_m7
 465   arity:   1
 466   pred nodes:
 467     -1:    Block 471
 468      0:    Start 472
 469   Private Attributes:
 470   proj nr: 1
 471   in loop 689 with depth 0
 472 "
 473 color: yellow}
 474 edge: {sourcename: "n478" targetname: "n472" label: "0" class:17 priority:10 color:blue}
 475 node: {title: "n475" label: "ProjX X_initial_exec 475"  info1: "Proj 475
 476   mode:    X
 477   visited: 27
 478   irg:     STRENGTH_RED_EXAMPLE_m7
 479   arity:   1
 480   pred nodes:
 481     -1:    Block 471
 482      0:    Start 472
 483   Private Attributes:
 484   proj nr: 0
 485   in loop 689 with depth 0
 486 "
 487 color: yellow}
 488 edge: {sourcename: "n475" targetname: "n472" label: "0" class:13 priority:60 color:red}
 489 node: {title: "n472" label: "Start 472"  info1: "Start 472
 490   mode:    T
 491   visited: 27
 492   irg:     STRENGTH_RED_EXAMPLE_m7
 493   arity:   0
 494   pred nodes:
 495     -1:    Block 471
 496   Private Attributes:
 497   in loop 689 with depth 0
 498   start of method of type STRENGTH_RED_EXAMPLE_meth_tp
 499     param 0 type: int
 500 "
 501 color: blue}
 502 }
 503
 504 }
 505
 506 }