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