nsz Git - libfirm/blob - testprograms/ref-results/STRENGTH_RED_EXAMPLE_m3.vcg

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