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