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