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