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