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