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

   1 graph: { title: "ir graph of STRENGTH_RED_EXAMPLE_m4"
   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: "g279" label: "STRENGTH_RED_EXAMPLE_m4" status:clustered color:white
  56 graph: { title: "n268"  label: "Block 268" status:clustered color:yellow
  57 edge: {sourcename: "n268" targetname: "n319" label: "0" class:13 priority:60 color:red}
  58 node: {title: "n269" label: "End  269"  info1: "End 269
  59   mode:    X
  60   visited: 32
  61   irg:     STRENGTH_RED_EXAMPLE_m4
  62   arity:   1
  63   pred nodes:
  64     -1:    Block 268
  65      0:    Phi 323
  66   Private Attributes:
  67 "
  68 color: blue}
  69 }
  70
  71 graph: { title: "n316"  label: "Block 316" status:clustered color:yellow
  72 edge: {sourcename: "n316" targetname: "n290" label: "0" class:13 priority:60 color:red}
  73 node: {title: "n319" label: "Return  319"  info1: "Return 319
  74   mode:    X
  75   visited: 32
  76   irg:     STRENGTH_RED_EXAMPLE_m4
  77   arity:   2
  78   pred nodes:
  79     -1:    Block 316
  80      0:    Phi 323
  81      1:    0x4 294
  82   Private Attributes:
  83   return in method of type STRENGTH_RED_EXAMPLE_meth_tp
  84     res 0 type: int
  85 "
  86 }
  87 node: {title: "n319n294" label: "0x4Is  294"  info1: "0x4 294
  88   mode:    Is
  89   visited: 32
  90   irg:     STRENGTH_RED_EXAMPLE_m4
  91   arity:   0
  92   pred nodes:
  93     -1:    Block 270
  94   Private Attributes:
  95   Const of type type_unknown
  96 "
  97 color: yellow}
  98 edge: {sourcename: "n319" targetname: "n323" label: "0" class:17 priority:10 color:blue}
  99 edge: {sourcename: "n319" targetname: "n319n294" label: "1" class:16 priority:10}
 100 }
 101
 102 graph: { title: "n284"  label: "Block 284" status:clustered color:yellow
 103 edge: {sourcename: "n284" targetname: "n283" label: "0" class:13 priority:60 color:red}
 104 backedge: {sourcename: "n284" targetname: "n310" label: "1" linestyle:dashed class:13 priority:60 color:red}
 105 node: {title: "n323" label: "PhiM  323"  info1: "Phi 323
 106   mode:    M
 107   visited: 32
 108   irg:     STRENGTH_RED_EXAMPLE_m4
 109   arity:   2
 110   pred nodes:
 111     -1:    Block 284
 112      0:    Proj 277
 113      1:    Proj 309
 114   Private Attributes:
 115   backedges:
 116 "
 117 color: green}
 118 edge: {sourcename: "n323" targetname: "n277" label: "0" class:17 priority:10 color:blue}
 119 edge: {sourcename: "n323" targetname: "n309" label: "1" class:17 priority:10 color:blue}
 120 node: {title: "n627" label: "PhiIs  627"  info1: "Phi 627
 121   mode:    Is
 122   visited: 32
 123   irg:     STRENGTH_RED_EXAMPLE_m4
 124   arity:   2
 125   pred nodes:
 126     -1:    Block 284
 127      0:    0x0 281
 128      1:    Add 628
 129   Private Attributes:
 130   backedges:
 131 "
 132 color: green}
 133 node: {title: "n627n281" label: "0x0Is  281"  info1: "0x0 281
 134   mode:    Is
 135   visited: 32
 136   irg:     STRENGTH_RED_EXAMPLE_m4
 137   arity:   0
 138   pred nodes:
 139     -1:    Block 270
 140   Private Attributes:
 141   Const of type type_unknown
 142 "
 143 color: yellow}
 144 edge: {sourcename: "n627" targetname: "n627n281" label: "0" class:16 priority:10}
 145 edge: {sourcename: "n627" targetname: "n628" label: "1" class:16 priority:10}
 146 node: {title: "n634" label: "PhiIs  634"  info1: "Phi 634
 147   mode:    Is
 148   visited: 32
 149   irg:     STRENGTH_RED_EXAMPLE_m4
 150   arity:   2
 151   pred nodes:
 152     -1:    Block 284
 153      0:    0x0 281
 154      1:    Add 635
 155   Private Attributes:
 156   backedges:
 157 "
 158 color: green}
 159 node: {title: "n634n281" label: "0x0Is  281"  info1: "0x0 281
 160   mode:    Is
 161   visited: 32
 162   irg:     STRENGTH_RED_EXAMPLE_m4
 163   arity:   0
 164   pred nodes:
 165     -1:    Block 270
 166   Private Attributes:
 167   Const of type type_unknown
 168 "
 169 color: yellow}
 170 edge: {sourcename: "n634" targetname: "n634n281" label: "0" class:16 priority:10}
 171 edge: {sourcename: "n634" targetname: "n635" label: "1" class:16 priority:10}
 172 node: {title: "n290" label: "ProjX 0 290"  info1: "Proj 290
 173   mode:    X
 174   visited: 32
 175   irg:     STRENGTH_RED_EXAMPLE_m4
 176   arity:   1
 177   pred nodes:
 178     -1:    Block 284
 179      0:    Cond 289
 180   Private Attributes:
 181 "
 182 color: yellow}
 183 edge: {sourcename: "n290" targetname: "n289" label: "0" class:13 priority:60 color:red}
 184 node: {title: "n291" label: "ProjX 1 291"  info1: "Proj 291
 185   mode:    X
 186   visited: 32
 187   irg:     STRENGTH_RED_EXAMPLE_m4
 188   arity:   1
 189   pred nodes:
 190     -1:    Block 284
 191      0:    Cond 289
 192   Private Attributes:
 193 "
 194 color: yellow}
 195 edge: {sourcename: "n291" targetname: "n289" label: "0" class:13 priority:60 color:red}
 196 node: {title: "n289" label: "Cond  289"  info1: "Cond 289
 197   mode:    T
 198   visited: 32
 199   irg:     STRENGTH_RED_EXAMPLE_m4
 200   arity:   1
 201   pred nodes:
 202     -1:    Block 284
 203      0:    Proj 288
 204   Private Attributes:
 205   condition kind: dense
 206   default ProjNr: 0
 207 "
 208 }
 209 edge: {sourcename: "n289" targetname: "n288" label: "0" class:1  priority:50}
 210 node: {title: "n288" label: "Projb Gt 288"  info1: "Proj 288
 211   mode:    b
 212   visited: 32
 213   irg:     STRENGTH_RED_EXAMPLE_m4
 214   arity:   1
 215   pred nodes:
 216     -1:    Block 284
 217      0:    Cmp 287
 218   Private Attributes:
 219 "
 220 color: yellow}
 221 edge: {sourcename: "n288" targetname: "n287" label: "0" class:1  priority:50}
 222 node: {title: "n287" label: "Cmp  287"  info1: "Cmp 287
 223   mode:    T
 224   visited: 32
 225   irg:     STRENGTH_RED_EXAMPLE_m4
 226   arity:   2
 227   pred nodes:
 228     -1:    Block 284
 229      0:    0xA 286
 230      1:    Phi 324
 231   Private Attributes:
 232 "
 233 }
 234 node: {title: "n287n286" label: "0xAIs  286"  info1: "0xA 286
 235   mode:    Is
 236   visited: 32
 237   irg:     STRENGTH_RED_EXAMPLE_m4
 238   arity:   0
 239   pred nodes:
 240     -1:    Block 270
 241   Private Attributes:
 242   Const of type type_unknown
 243 "
 244 color: yellow}
 245 edge: {sourcename: "n287" targetname: "n287n286" label: "0" class:16 priority:10}
 246 edge: {sourcename: "n287" targetname: "n324" label: "1" class:1  priority:50}
 247 node: {title: "n324" label: "PhiIs  324"  info1: "Phi 324
 248   mode:    Is
 249   visited: 32
 250   irg:     STRENGTH_RED_EXAMPLE_m4
 251   arity:   2
 252   pred nodes:
 253     -1:    Block 284
 254      0:    0x0 281
 255      1:    Add 297
 256   Private Attributes:
 257   backedges:
 258 "
 259 color: green}
 260 node: {title: "n324n281" label: "0x0Is  281"  info1: "0x0 281
 261   mode:    Is
 262   visited: 32
 263   irg:     STRENGTH_RED_EXAMPLE_m4
 264   arity:   0
 265   pred nodes:
 266     -1:    Block 270
 267   Private Attributes:
 268   Const of type type_unknown
 269 "
 270 color: yellow}
 271 edge: {sourcename: "n324" targetname: "n324n281" label: "0" class:16 priority:10}
 272 edge: {sourcename: "n324" targetname: "n297" label: "1" class:16 priority:10}
 273 }
 274
 275 graph: { title: "n280"  label: "Block 280" status:clustered color:yellow
 276 edge: {sourcename: "n280" targetname: "n274" label: "0" class:13 priority:60 color:red}
 277 node: {title: "n283" label: "Jmp  283"  info1: "Jmp 283
 278   mode:    X
 279   visited: 32
 280   irg:     STRENGTH_RED_EXAMPLE_m4
 281   arity:   0
 282   pred nodes:
 283     -1:    Block 280
 284   Private Attributes:
 285 "
 286 }
 287 }
 288
 289 graph: { title: "n292"  label: "Block 292" status:clustered color:yellow
 290 edge: {sourcename: "n292" targetname: "n291" label: "0" class:13 priority:60 color:red}
 291 node: {title: "n309" label: "ProjM 0 309"  info1: "Proj 309
 292   mode:    M
 293   visited: 32
 294   irg:     STRENGTH_RED_EXAMPLE_m4
 295   arity:   1
 296   pred nodes:
 297     -1:    Block 292
 298      0:    Store 307
 299   Private Attributes:
 300 "
 301 color: yellow}
 302 edge: {sourcename: "n309" targetname: "n307" label: "0" class:17 priority:10 color:blue}
 303 node: {title: "n307" label: "Store  307"  info1: "Store 307
 304   mode:    T
 305   visited: 32
 306   irg:     STRENGTH_RED_EXAMPLE_m4
 307   arity:   3
 308   pred nodes:
 309     -1:    Block 292
 310      0:    Proj 304
 311      1:    Add 613
 312      2:    Add 297
 313   Private Attributes:
 314   pinned state: op_pin_state_pinned
 315   volatility: volatility_non_volatile
 316 "
 317 }
 318 edge: {sourcename: "n307" targetname: "n304" label: "0" class:14 priority:50 color:blue}
 319 edge: {sourcename: "n307" targetname: "n613" label: "1" class:1  priority:50}
 320 edge: {sourcename: "n307" targetname: "n297" label: "2" class:1  priority:50}
 321 node: {title: "n304" label: "ProjM 0 304"  info1: "Proj 304
 322   mode:    M
 323   visited: 32
 324   irg:     STRENGTH_RED_EXAMPLE_m4
 325   arity:   1
 326   pred nodes:
 327     -1:    Block 292
 328      0:    Store 302
 329   Private Attributes:
 330 "
 331 color: yellow}
 332 edge: {sourcename: "n304" targetname: "n302" label: "0" class:17 priority:10 color:blue}
 333 node: {title: "n302" label: "Store  302"  info1: "Store 302
 334   mode:    T
 335   visited: 32
 336   irg:     STRENGTH_RED_EXAMPLE_m4
 337   arity:   3
 338   pred nodes:
 339     -1:    Block 292
 340      0:    Phi 323
 341      1:    Add 619
 342      2:    Add 297
 343   Private Attributes:
 344   pinned state: op_pin_state_pinned
 345   volatility: volatility_non_volatile
 346 "
 347 }
 348 edge: {sourcename: "n302" targetname: "n323" label: "0" class:17 priority:10 color:blue}
 349 edge: {sourcename: "n302" targetname: "n619" label: "1" class:1  priority:50}
 350 edge: {sourcename: "n302" targetname: "n297" label: "2" class:1  priority:50}
 351 node: {title: "n619" label: "AddP  619"  info1: "Add 619
 352   mode:    P
 353   visited: 32
 354   irg:     STRENGTH_RED_EXAMPLE_m4
 355   arity:   2
 356   pred nodes:
 357     -1:    Block 292
 358      0:    Phi 627
 359      1:    Add 618
 360   Private Attributes:
 361 "
 362 }
 363 edge: {sourcename: "n619" targetname: "n627" label: "0" class:16 priority:10}
 364 edge: {sourcename: "n619" targetname: "n618" label: "1" class:1  priority:50}
 365 node: {title: "n628" label: "AddIs  628"  info1: "Add 628
 366   mode:    Is
 367   visited: 32
 368   irg:     STRENGTH_RED_EXAMPLE_m4
 369   arity:   2
 370   pred nodes:
 371     -1:    Block 292
 372      0:    0x8 295
 373      1:    Phi 627
 374   Private Attributes:
 375 "
 376 }
 377 node: {title: "n628n295" label: "0x8Is  295"  info1: "0x8 295
 378   mode:    Is
 379   visited: 32
 380   irg:     STRENGTH_RED_EXAMPLE_m4
 381   arity:   0
 382   pred nodes:
 383     -1:    Block 270
 384   Private Attributes:
 385   Const of type type_unknown
 386 "
 387 color: yellow}
 388 edge: {sourcename: "n628" targetname: "n628n295" label: "0" class:16 priority:10}
 389 edge: {sourcename: "n628" targetname: "n627" label: "1" class:16 priority:10}
 390 node: {title: "n618" label: "AddP  618"  info1: "Add 618
 391   mode:    P
 392   visited: 32
 393   irg:     STRENGTH_RED_EXAMPLE_m4
 394   arity:   2
 395   pred nodes:
 396     -1:    Block 292
 397      0:    SymC &a 282
 398      1:    0x8 295
 399   Private Attributes:
 400 "
 401 }
 402 node: {title: "n618n282" label: "SymC &a  282"  info1: "SymC &a 282
 403   mode:    P
 404   visited: 32
 405   irg:     STRENGTH_RED_EXAMPLE_m4
 406   arity:   0
 407   pred nodes:
 408     -1:    Block 270
 409   Private Attributes:
 410   kind:   addr_ent
 411   entity: entity GlobalType.a (266)
 412
 413   type of value: type_unknown
 414 "
 415 }
 416 node: {title: "n618n295" label: "0x8Is  295"  info1: "0x8 295
 417   mode:    Is
 418   visited: 32
 419   irg:     STRENGTH_RED_EXAMPLE_m4
 420   arity:   0
 421   pred nodes:
 422     -1:    Block 270
 423   Private Attributes:
 424   Const of type type_unknown
 425 "
 426 color: yellow}
 427 edge: {sourcename: "n618" targetname: "n618n282" label: "0" class:16 priority:10}
 428 edge: {sourcename: "n618" targetname: "n618n295" label: "1" class:16 priority:10}
 429 node: {title: "n613" label: "AddP  613"  info1: "Add 613
 430   mode:    P
 431   visited: 32
 432   irg:     STRENGTH_RED_EXAMPLE_m4
 433   arity:   2
 434   pred nodes:
 435     -1:    Block 292
 436      0:    Phi 634
 437      1:    Add 612
 438   Private Attributes:
 439 "
 440 }
 441 edge: {sourcename: "n613" targetname: "n634" label: "0" class:16 priority:10}
 442 edge: {sourcename: "n613" targetname: "n612" label: "1" class:1  priority:50}
 443 node: {title: "n635" label: "AddIs  635"  info1: "Add 635
 444   mode:    Is
 445   visited: 32
 446   irg:     STRENGTH_RED_EXAMPLE_m4
 447   arity:   2
 448   pred nodes:
 449     -1:    Block 292
 450      0:    0x4 294
 451      1:    Phi 634
 452   Private Attributes:
 453 "
 454 }
 455 node: {title: "n635n294" label: "0x4Is  294"  info1: "0x4 294
 456   mode:    Is
 457   visited: 32
 458   irg:     STRENGTH_RED_EXAMPLE_m4
 459   arity:   0
 460   pred nodes:
 461     -1:    Block 270
 462   Private Attributes:
 463   Const of type type_unknown
 464 "
 465 color: yellow}
 466 edge: {sourcename: "n635" targetname: "n635n294" label: "0" class:16 priority:10}
 467 edge: {sourcename: "n635" targetname: "n634" label: "1" class:16 priority:10}
 468 node: {title: "n612" label: "AddP  612"  info1: "Add 612
 469   mode:    P
 470   visited: 32
 471   irg:     STRENGTH_RED_EXAMPLE_m4
 472   arity:   2
 473   pred nodes:
 474     -1:    Block 292
 475      0:    SymC &a 282
 476      1:    0x4 294
 477   Private Attributes:
 478 "
 479 }
 480 node: {title: "n612n282" label: "SymC &a  282"  info1: "SymC &a 282
 481   mode:    P
 482   visited: 32
 483   irg:     STRENGTH_RED_EXAMPLE_m4
 484   arity:   0
 485   pred nodes:
 486     -1:    Block 270
 487   Private Attributes:
 488   kind:   addr_ent
 489   entity: entity GlobalType.a (266)
 490
 491   type of value: type_unknown
 492 "
 493 }
 494 node: {title: "n612n294" label: "0x4Is  294"  info1: "0x4 294
 495   mode:    Is
 496   visited: 32
 497   irg:     STRENGTH_RED_EXAMPLE_m4
 498   arity:   0
 499   pred nodes:
 500     -1:    Block 270
 501   Private Attributes:
 502   Const of type type_unknown
 503 "
 504 color: yellow}
 505 edge: {sourcename: "n612" targetname: "n612n282" label: "0" class:16 priority:10}
 506 edge: {sourcename: "n612" targetname: "n612n294" label: "1" class:16 priority:10}
 507 node: {title: "n310" label: "Jmp  310"  info1: "Jmp 310
 508   mode:    X
 509   visited: 32
 510   irg:     STRENGTH_RED_EXAMPLE_m4
 511   arity:   0
 512   pred nodes:
 513     -1:    Block 292
 514   Private Attributes:
 515 "
 516 }
 517 node: {title: "n297" label: "AddIs  297"  info1: "Add 297
 518   mode:    Is
 519   visited: 32
 520   irg:     STRENGTH_RED_EXAMPLE_m4
 521   arity:   2
 522   pred nodes:
 523     -1:    Block 292
 524      0:    0x1 293
 525      1:    Phi 324
 526   Private Attributes:
 527 "
 528 }
 529 node: {title: "n297n293" label: "0x1Is  293"  info1: "0x1 293
 530   mode:    Is
 531   visited: 32
 532   irg:     STRENGTH_RED_EXAMPLE_m4
 533   arity:   0
 534   pred nodes:
 535     -1:    Block 270
 536   Private Attributes:
 537   Const of type type_unknown
 538 "
 539 color: yellow}
 540 edge: {sourcename: "n297" targetname: "n297n293" label: "0" class:16 priority:10}
 541 edge: {sourcename: "n297" targetname: "n324" label: "1" class:16 priority:10}
 542 }
 543
 544 graph: { title: "n270"  label: "Block 270" status:clustered color:yellow
 545 edge: {sourcename: "n270" targetname: "n274" label: "0" class:13 priority:60 color:red}
 546 node: {title: "n277" label: "ProjM 1 277"  info1: "Proj 277
 547   mode:    M
 548   visited: 32
 549   irg:     STRENGTH_RED_EXAMPLE_m4
 550   arity:   1
 551   pred nodes:
 552     -1:    Block 270
 553      0:    Start 271
 554   Private Attributes:
 555 "
 556 color: yellow}
 557 edge: {sourcename: "n277" targetname: "n271" label: "0" class:17 priority:10 color:blue}
 558 node: {title: "n274" label: "ProjX 0 274"  info1: "Proj 274
 559   mode:    X
 560   visited: 32
 561   irg:     STRENGTH_RED_EXAMPLE_m4
 562   arity:   1
 563   pred nodes:
 564     -1:    Block 270
 565      0:    Start 271
 566   Private Attributes:
 567 "
 568 color: yellow}
 569 edge: {sourcename: "n274" targetname: "n271" label: "0" class:13 priority:60 color:red}
 570 node: {title: "n271" label: "Start  271"  info1: "Start 271
 571   mode:    T
 572   visited: 32
 573   irg:     STRENGTH_RED_EXAMPLE_m4
 574   arity:   0
 575   pred nodes:
 576     -1:    Block 270
 577   Private Attributes:
 578   start of method of type STRENGTH_RED_EXAMPLE_meth_tp
 579     param 0 type: int
 580 "
 581 color: blue}
 582 }
 583
 584 }
 585
 586 }