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