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