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