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

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