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

   1 graph: { title: "ir graph of STRENGTH_RED_EXAMPLE_m2"
   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: "g147" label: "STRENGTH_RED_EXAMPLE_m2" status:clustered color:white
  57 graph: { title: "n136"  label: "Block 136" status:clustered color:yellow
  58 edge: {sourcename: "n136" targetname: "n187" label: "0" class:13 priority:60 color:red}
  59 node: {title: "n137" label: "End 137"  info1: "End 137
  60   mode:    X
  61   visited: 27
  62   irg:     STRENGTH_RED_EXAMPLE_m2
  63   arity:   1
  64   pred nodes:
  65     -1:    Block 136
  66      0:    Phi 191
  67   Private Attributes:
  68   in loop 563 with depth 0
  69 "
  70 color: blue}
  71 }
  72
  73 graph: { title: "n184"  label: "Block 184" status:clustered color:yellow
  74 edge: {sourcename: "n184" targetname: "n160" label: "0" class:13 priority:60 color:red}
  75 node: {title: "n187" label: "Return 187"  info1: "Return 187
  76   mode:    X
  77   visited: 27
  78   irg:     STRENGTH_RED_EXAMPLE_m2
  79   arity:   2
  80   pred nodes:
  81     -1:    Block 184
  82      0:    Phi 191
  83      1:    0x4 166
  84   Private Attributes:
  85   in loop 563 with depth 0
  86   return in method of type STRENGTH_RED_EXAMPLE_meth_tp
  87     res 0 type: int
  88 "
  89 }
  90 node: {title: "n187n166" label: "0x4Is 166"  info1: "0x4 166
  91   mode:    Is
  92   visited: 27
  93   irg:     STRENGTH_RED_EXAMPLE_m2
  94   arity:   0
  95   pred nodes:
  96     -1:    Block 138
  97   Private Attributes:
  98   in loop 563 with depth 0
  99   Const of type type_unknown
 100 "
 101 color: yellow}
 102 edge: {sourcename: "n187" targetname: "n191" label: "0" class:17 priority:10 color:blue}
 103 edge: {sourcename: "n187" targetname: "n187n166" label: "1" class:16 priority:10}
 104 }
 105
 106 graph: { title: "n152"  label: "Block 152" status:clustered color:yellow
 107 edge: {sourcename: "n152" targetname: "n151" label: "0" class:13 priority:60 color:red}
 108 backedge: {sourcename: "n152" targetname: "n178" label: "1" linestyle:dashed class:13 priority:60 color:red}
 109 node: {title: "n191" label: "PhiM 191"  info1: "Phi 191
 110   mode:    M
 111   visited: 27
 112   irg:     STRENGTH_RED_EXAMPLE_m2
 113   arity:   2
 114   pred nodes:
 115     -1:    Block 152
 116      0:    Proj 145
 117      1:    Proj 176
 118   Private Attributes:
 119   backedges:
 120   in loop 566 with depth 1
 121 "
 122 color: green}
 123 edge: {sourcename: "n191" targetname: "n145" label: "0" class:17 priority:10 color:blue}
 124 edge: {sourcename: "n191" targetname: "n176" label: "1" class:17 priority:10 color:blue}
 125 node: {title: "n576" label: "PhiIs 576"  info1: "Phi 576
 126   mode:    Is
 127   visited: 27
 128   irg:     STRENGTH_RED_EXAMPLE_m2
 129   arity:   2
 130   pred nodes:
 131     -1:    Block 152
 132      0:    0x0 149
 133      1:    Add 577
 134   Private Attributes:
 135   backedges:
 136 "
 137 color: green}
 138 node: {title: "n576n149" label: "0x0Is 149"  info1: "0x0 149
 139   mode:    Is
 140   visited: 27
 141   irg:     STRENGTH_RED_EXAMPLE_m2
 142   arity:   0
 143   pred nodes:
 144     -1:    Block 138
 145   Private Attributes:
 146   in loop 563 with depth 0
 147   Const of type type_unknown
 148 "
 149 color: yellow}
 150 edge: {sourcename: "n576" targetname: "n576n149" label: "0" class:16 priority:10}
 151 edge: {sourcename: "n576" targetname: "n577" label: "1" class:16 priority:10}
 152 node: {title: "n583" label: "PhiIs 583"  info1: "Phi 583
 153   mode:    Is
 154   visited: 27
 155   irg:     STRENGTH_RED_EXAMPLE_m2
 156   arity:   2
 157   pred nodes:
 158     -1:    Block 152
 159      0:    0x0 149
 160      1:    Add 584
 161   Private Attributes:
 162   backedges:
 163 "
 164 color: green}
 165 node: {title: "n583n149" label: "0x0Is 149"  info1: "0x0 149
 166   mode:    Is
 167   visited: 27
 168   irg:     STRENGTH_RED_EXAMPLE_m2
 169   arity:   0
 170   pred nodes:
 171     -1:    Block 138
 172   Private Attributes:
 173   in loop 563 with depth 0
 174   Const of type type_unknown
 175 "
 176 color: yellow}
 177 edge: {sourcename: "n583" targetname: "n583n149" label: "0" class:16 priority:10}
 178 edge: {sourcename: "n583" targetname: "n584" label: "1" class:16 priority:10}
 179 node: {title: "n160" label: "ProjX false 160"  info1: "Proj 160
 180   mode:    X
 181   visited: 27
 182   irg:     STRENGTH_RED_EXAMPLE_m2
 183   arity:   1
 184   pred nodes:
 185     -1:    Block 152
 186      0:    Cond 159
 187   Private Attributes:
 188   proj nr: 0
 189   in loop 563 with depth 0
 190 "
 191 color: yellow}
 192 edge: {sourcename: "n160" targetname: "n159" label: "0" class:13 priority:60 color:red}
 193 node: {title: "n161" label: "ProjX true 161"  info1: "Proj 161
 194   mode:    X
 195   visited: 27
 196   irg:     STRENGTH_RED_EXAMPLE_m2
 197   arity:   1
 198   pred nodes:
 199     -1:    Block 152
 200      0:    Cond 159
 201   Private Attributes:
 202   proj nr: 1
 203   in loop 565 with depth 2
 204 "
 205 color: yellow}
 206 edge: {sourcename: "n161" targetname: "n159" label: "0" class:13 priority:60 color:red}
 207 node: {title: "n159" label: "Cond 159"  info1: "Cond 159
 208   mode:    T
 209   visited: 27
 210   irg:     STRENGTH_RED_EXAMPLE_m2
 211   arity:   1
 212   pred nodes:
 213     -1:    Block 152
 214      0:    Proj 156
 215   Private Attributes:
 216   in loop 565 with depth 2
 217   condition kind: dense
 218   default ProjNr: 0
 219 "
 220 }
 221 edge: {sourcename: "n159" targetname: "n156" label: "0" class:1  priority:50}
 222 node: {title: "n156" label: "Projb Le 156"  info1: "Proj 156
 223   mode:    b
 224   visited: 27
 225   irg:     STRENGTH_RED_EXAMPLE_m2
 226   arity:   1
 227   pred nodes:
 228     -1:    Block 152
 229      0:    Cmp 158
 230   Private Attributes:
 231   proj nr: 3
 232   in loop 565 with depth 2
 233 "
 234 color: yellow}
 235 edge: {sourcename: "n156" targetname: "n158" label: "0" class:1  priority:50}
 236 node: {title: "n158" label: "Cmp 158"  info1: "Cmp 158
 237   mode:    T
 238   visited: 27
 239   irg:     STRENGTH_RED_EXAMPLE_m2
 240   arity:   2
 241   pred nodes:
 242     -1:    Block 152
 243      0:    Phi 192
 244      1:    0x9 157
 245   Private Attributes:
 246   in loop 565 with depth 2
 247 "
 248 }
 249 node: {title: "n158n157" label: "0x9Is 157"  info1: "0x9 157
 250   mode:    Is
 251   visited: 27
 252   irg:     STRENGTH_RED_EXAMPLE_m2
 253   arity:   0
 254   pred nodes:
 255     -1:    Block 138
 256   Private Attributes:
 257   in loop 563 with depth 0
 258   Const of type type_unknown
 259 "
 260 color: yellow}
 261 edge: {sourcename: "n158" targetname: "n192" label: "0" class:1  priority:50}
 262 edge: {sourcename: "n158" targetname: "n158n157" label: "1" class:16 priority:10}
 263 node: {title: "n192" label: "PhiIs 192"  info1: "Phi 192
 264   mode:    Is
 265   visited: 27
 266   irg:     STRENGTH_RED_EXAMPLE_m2
 267   arity:   2
 268   pred nodes:
 269     -1:    Block 152
 270      0:    0x0 149
 271      1:    Add 177
 272   Private Attributes:
 273   backedges:
 274   in loop 564 with depth 1
 275 "
 276 color: green}
 277 node: {title: "n192n149" label: "0x0Is 149"  info1: "0x0 149
 278   mode:    Is
 279   visited: 27
 280   irg:     STRENGTH_RED_EXAMPLE_m2
 281   arity:   0
 282   pred nodes:
 283     -1:    Block 138
 284   Private Attributes:
 285   in loop 563 with depth 0
 286   Const of type type_unknown
 287 "
 288 color: yellow}
 289 edge: {sourcename: "n192" targetname: "n192n149" label: "0" class:16 priority:10}
 290 edge: {sourcename: "n192" targetname: "n177" label: "1" class:16 priority:10}
 291 }
 292
 293 graph: { title: "n148"  label: "Block 148" status:clustered color:yellow
 294 edge: {sourcename: "n148" targetname: "n142" label: "0" class:13 priority:60 color:red}
 295 node: {title: "n151" label: "Jmp 151"  info1: "Jmp 151
 296   mode:    X
 297   visited: 27
 298   irg:     STRENGTH_RED_EXAMPLE_m2
 299   arity:   0
 300   pred nodes:
 301     -1:    Block 148
 302   Private Attributes:
 303   in loop 563 with depth 0
 304 "
 305 }
 306 }
 307
 308 graph: { title: "n162"  label: "Block 162" status:clustered color:yellow
 309 edge: {sourcename: "n162" targetname: "n161" label: "0" class:13 priority:60 color:red}
 310 node: {title: "n176" label: "ProjM M 176"  info1: "Proj 176
 311   mode:    M
 312   visited: 27
 313   irg:     STRENGTH_RED_EXAMPLE_m2
 314   arity:   1
 315   pred nodes:
 316     -1:    Block 162
 317      0:    Store 174
 318   Private Attributes:
 319   proj nr: 0
 320   in loop 566 with depth 1
 321 "
 322 color: yellow}
 323 edge: {sourcename: "n176" targetname: "n174" label: "0" class:17 priority:10 color:blue}
 324 node: {title: "n174" label: "Store 174"  info1: "Store 174
 325   mode:    T
 326   visited: 27
 327   irg:     STRENGTH_RED_EXAMPLE_m2
 328   arity:   3
 329   pred nodes:
 330     -1:    Block 162
 331      0:    Phi 191
 332      1:    Add 568
 333      2:    Phi 583
 334   Private Attributes:
 335   pinned state: op_pin_state_pinned
 336   in loop 566 with depth 1
 337   volatility: volatility_non_volatile
 338 "
 339 }
 340 edge: {sourcename: "n174" targetname: "n191" label: "0" class:17 priority:10 color:blue}
 341 edge: {sourcename: "n174" targetname: "n568" label: "1" class:1  priority:50}
 342 edge: {sourcename: "n174" targetname: "n583" label: "2" class:16 priority:10}
 343 node: {title: "n568" label: "AddP 568"  info1: "Add 568
 344   mode:    P
 345   visited: 27
 346   irg:     STRENGTH_RED_EXAMPLE_m2
 347   arity:   2
 348   pred nodes:
 349     -1:    Block 162
 350      0:    Phi 576
 351      1:    Add 567
 352   Private Attributes:
 353 "
 354 }
 355 edge: {sourcename: "n568" targetname: "n576" label: "0" class:16 priority:10}
 356 edge: {sourcename: "n568" targetname: "n567" label: "1" class:1  priority:50}
 357 node: {title: "n577" label: "AddIs 577"  info1: "Add 577
 358   mode:    Is
 359   visited: 27
 360   irg:     STRENGTH_RED_EXAMPLE_m2
 361   arity:   2
 362   pred nodes:
 363     -1:    Block 162
 364      0:    0x4 166
 365      1:    Phi 576
 366   Private Attributes:
 367 "
 368 }
 369 node: {title: "n577n166" label: "0x4Is 166"  info1: "0x4 166
 370   mode:    Is
 371   visited: 27
 372   irg:     STRENGTH_RED_EXAMPLE_m2
 373   arity:   0
 374   pred nodes:
 375     -1:    Block 138
 376   Private Attributes:
 377   in loop 563 with depth 0
 378   Const of type type_unknown
 379 "
 380 color: yellow}
 381 edge: {sourcename: "n577" targetname: "n577n166" label: "0" class:16 priority:10}
 382 edge: {sourcename: "n577" targetname: "n576" label: "1" class:16 priority:10}
 383 node: {title: "n567" label: "AddP 567"  info1: "Add 567
 384   mode:    P
 385   visited: 27
 386   irg:     STRENGTH_RED_EXAMPLE_m2
 387   arity:   2
 388   pred nodes:
 389     -1:    Block 162
 390      0:    SymC &a 150
 391      1:    0xD 164
 392   Private Attributes:
 393 "
 394 }
 395 node: {title: "n567n150" label: "SymC &a 150"  info1: "SymC &a 150
 396   mode:    P
 397   visited: 27
 398   irg:     STRENGTH_RED_EXAMPLE_m2
 399   arity:   0
 400   pred nodes:
 401     -1:    Block 138
 402   Private Attributes:
 403   in loop 563 with depth 0
 404   kind:   addr_ent
 405   entity: entity GlobalType.a (134)
 406
 407   type of value: type_unknown
 408 "
 409 }
 410 node: {title: "n567n164" label: "0xDIs 164"  info1: "0xD 164
 411   mode:    Is
 412   visited: 27
 413   irg:     STRENGTH_RED_EXAMPLE_m2
 414   arity:   0
 415   pred nodes:
 416     -1:    Block 138
 417   Private Attributes:
 418   in loop 563 with depth 0
 419   Const of type type_unknown
 420 "
 421 color: yellow}
 422 edge: {sourcename: "n567" targetname: "n567n150" label: "0" class:16 priority:10}
 423 edge: {sourcename: "n567" targetname: "n567n164" label: "1" class:16 priority:10}
 424 node: {title: "n584" label: "AddIs 584"  info1: "Add 584
 425   mode:    Is
 426   visited: 27
 427   irg:     STRENGTH_RED_EXAMPLE_m2
 428   arity:   2
 429   pred nodes:
 430     -1:    Block 162
 431      0:    0xF 163
 432      1:    Phi 583
 433   Private Attributes:
 434 "
 435 }
 436 node: {title: "n584n163" label: "0xFIs 163"  info1: "0xF 163
 437   mode:    Is
 438   visited: 27
 439   irg:     STRENGTH_RED_EXAMPLE_m2
 440   arity:   0
 441   pred nodes:
 442     -1:    Block 138
 443   Private Attributes:
 444   in loop 563 with depth 0
 445   Const of type type_unknown
 446 "
 447 color: yellow}
 448 edge: {sourcename: "n584" targetname: "n584n163" label: "0" class:16 priority:10}
 449 edge: {sourcename: "n584" targetname: "n583" label: "1" class:16 priority:10}
 450 node: {title: "n178" label: "Jmp 178"  info1: "Jmp 178
 451   mode:    X
 452   visited: 27
 453   irg:     STRENGTH_RED_EXAMPLE_m2
 454   arity:   0
 455   pred nodes:
 456     -1:    Block 162
 457   Private Attributes:
 458   in loop 565 with depth 2
 459 "
 460 }
 461 node: {title: "n177" label: "AddIs 177"  info1: "Add 177
 462   mode:    Is
 463   visited: 27
 464   irg:     STRENGTH_RED_EXAMPLE_m2
 465   arity:   2
 466   pred nodes:
 467     -1:    Block 162
 468      0:    0x1 165
 469      1:    Phi 192
 470   Private Attributes:
 471   in loop 564 with depth 1
 472 "
 473 }
 474 node: {title: "n177n165" label: "0x1Is 165"  info1: "0x1 165
 475   mode:    Is
 476   visited: 27
 477   irg:     STRENGTH_RED_EXAMPLE_m2
 478   arity:   0
 479   pred nodes:
 480     -1:    Block 138
 481   Private Attributes:
 482   in loop 563 with depth 0
 483   Const of type type_unknown
 484 "
 485 color: yellow}
 486 edge: {sourcename: "n177" targetname: "n177n165" label: "0" class:16 priority:10}
 487 edge: {sourcename: "n177" targetname: "n192" label: "1" class:16 priority:10}
 488 }
 489
 490 graph: { title: "n138"  label: "Block 138" status:clustered color:yellow
 491 edge: {sourcename: "n138" targetname: "n142" label: "0" class:13 priority:60 color:red}
 492 node: {title: "n145" label: "ProjM 1 145"  info1: "Proj 145
 493   mode:    M
 494   visited: 27
 495   irg:     STRENGTH_RED_EXAMPLE_m2
 496   arity:   1
 497   pred nodes:
 498     -1:    Block 138
 499      0:    Start 139
 500   Private Attributes:
 501   proj nr: 1
 502   in loop 563 with depth 0
 503 "
 504 color: yellow}
 505 edge: {sourcename: "n145" targetname: "n139" label: "0" class:17 priority:10 color:blue}
 506 node: {title: "n142" label: "ProjX X_initial_exec 142"  info1: "Proj 142
 507   mode:    X
 508   visited: 27
 509   irg:     STRENGTH_RED_EXAMPLE_m2
 510   arity:   1
 511   pred nodes:
 512     -1:    Block 138
 513      0:    Start 139
 514   Private Attributes:
 515   proj nr: 0
 516   in loop 563 with depth 0
 517 "
 518 color: yellow}
 519 edge: {sourcename: "n142" targetname: "n139" label: "0" class:13 priority:60 color:red}
 520 node: {title: "n139" label: "Start 139"  info1: "Start 139
 521   mode:    T
 522   visited: 27
 523   irg:     STRENGTH_RED_EXAMPLE_m2
 524   arity:   0
 525   pred nodes:
 526     -1:    Block 138
 527   Private Attributes:
 528   in loop 563 with depth 0
 529   start of method of type STRENGTH_RED_EXAMPLE_meth_tp
 530     param 0 type: int
 531 "
 532 color: blue}
 533 }
 534
 535 }
 536
 537 }