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