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