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