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

   1 graph: { title: "ir graph of MEMORY_EXAMPLE_main"
   2 display_edge_labels: yes
   3 layoutalgorithm: mindepth
   4 manhattan_edges: yes
   5 port_sharing: no
   6 orientation: bottom_to_top
   7 classname 1:  "intrablock Data"
   8 classname 2:  "Block"
   9 classname 3:  "Entity type"
  10 classname 4:  "Entity owner"
  11 classname 5:  "Method Param"
  12 classname 6:  "Method Res"
  13 classname 7:  "Super"
  14 classname 8:  "Union"
  15 classname 9:  "Points-to"
  16 classname 10: "Array Element Type"
  17 classname 11: "Overwrites"
  18 classname 12: "Member"
  19 classname 13: "Control Flow"
  20 classname 14: "intrablock Memory"
  21 classname 15: "Dominators"
  22 classname 16: "interblock Data"
  23 classname 17: "interblock Memory"
  24 classname 18: "Exception Control Flow for Interval Analysis"
  25 classname 19: "Postdominators"
  26 infoname 1: "Attribute"
  27 infoname 2: "Verification errors"
  28 infoname 3: "Debug info"
  29 colorentry 100:    0   0    0
  30 colorentry 101:   20   0    0
  31 colorentry 102:   40   0    0
  32 colorentry 103:   60   0    0
  33 colorentry 104:   80   0    0
  34 colorentry 105:  100   0    0
  35 colorentry 106:  120   0    0
  36 colorentry 107:  140   0    0
  37 colorentry 108:  150   0    0
  38 colorentry 109:  180   0    0
  39 colorentry 110:  200   0    0
  40 colorentry 111:  220   0    0
  41 colorentry 112:  240   0    0
  42 colorentry 113:  255   0    0
  43 colorentry 113:  255  20   20
  44 colorentry 114:  255  40   40
  45 colorentry 115:  255  60   60
  46 colorentry 116:  255  80   80
  47 colorentry 117:  255 100  100
  48 colorentry 118:  255 120  120
  49 colorentry 119:  255 140  140
  50 colorentry 120:  255 150  150
  51 colorentry 121:  255 180  180
  52 colorentry 122:  255 200  200
  53 colorentry 123:  255 220  220
  54 colorentry 124:  255 240  240
  55 colorentry 125:  255 250  250
  56
  57 graph: { title: "g31" label: "MEMORY_EXAMPLE_main" status:clustered color:white
  58 info1: "entity main (18)
  59   type:  main (16)
  60   owner: MEMORY_EXAMPLE (15)
  61   Does not overwrite other entities.
  62   Is not overwritten by other entities.
  63   allocation:  allocation_static
  64   visibility:  visibility_local
  65   variability: variability_constant
  66   calling convention: cdecl
  67   atomic value: SymC &main
  68   volatility:  volatility_non_volatile
  69   peculiarity: peculiarity_existent
  70   ld_name: MEMORY_EXAMPLE_main
  71   offset:  -1 bits, -1 bytes
  72   irg = 31
  73
  74 "
  75 graph: { title: "n20"  label: "Block 20" status:clustered color:yellow
  76  info1: "Block 20
  77   mode:    BB
  78   visited: 18
  79   irg:     MEMORY_EXAMPLE_main
  80   arity:   1
  81   pred nodes:
  82      0:    Return 78
  83   Private Attributes:
  84   backedges:
  85   block visited: 0
  86   Execution freqency statistics:
  87 "
  88 edge: {sourcename: "n20" targetname: "n78" label: "0" class:13 priority:60 color:red}
  89 node: {title: "n80" label: "End 80"  info1: "End 80
  90   mode:    X
  91   visited: 18
  92   irg:     MEMORY_EXAMPLE_main
  93   arity:   1
  94   pred nodes:
  95     -1:    Block 20
  96      0:    Phi 71
  97   Private Attributes:
  98 "
  99 color:blue}
 100 }
 101
 102 graph: { title: "n72"  label: "Block 72" status:clustered color:yellow
 103  info1: "Block 72
 104   mode:    BB
 105   visited: 18
 106   irg:     MEMORY_EXAMPLE_main
 107   arity:   1
 108   pred nodes:
 109      0:    Proj 70
 110   Private Attributes:
 111   backedges:
 112   block visited: 0
 113   Execution freqency statistics:
 114 "
 115 edge: {sourcename: "n72" targetname: "n70" label: "0" class:13 priority:60 color:red}
 116 node: {title: "n78" label: "Return 78"  info1: "Return 78
 117   mode:    X
 118   visited: 18
 119   irg:     MEMORY_EXAMPLE_main
 120   arity:   2
 121   pred nodes:
 122     -1:    Block 72
 123      0:    Proj 77
 124      1:    Proj 76
 125   Private Attributes:
 126   return in method of type main
 127     res 0 type: int
 128 "
 129 }
 130 edge: {sourcename: "n78" targetname: "n77" label: "0" class:14 priority:50 color:blue}
 131 edge: {sourcename: "n78" targetname: "n76" label: "1" class:1  priority:50}
 132 node: {title: "n77" label: "ProjM M 77"  info1: "Proj 77
 133   mode:    M
 134   visited: 18
 135   irg:     MEMORY_EXAMPLE_main
 136   arity:   1
 137   pred nodes:
 138     -1:    Block 72
 139      0:    Load[Iu] 74
 140   Private Attributes:
 141   proj nr: 0
 142 "
 143 color:yellow}
 144 edge: {sourcename: "n77" targetname: "n74" label: "0" class:17 priority:10 color:blue}
 145 node: {title: "n76" label: "ProjIu res 76"  info1: "Proj 76
 146   mode:    Iu
 147   visited: 18
 148   irg:     MEMORY_EXAMPLE_main
 149   arity:   1
 150   pred nodes:
 151     -1:    Block 72
 152      0:    Load[Iu] 74
 153   Private Attributes:
 154   proj nr: 2
 155 "
 156 color:yellow}
 157 edge: {sourcename: "n76" targetname: "n74" label: "0" class:1  priority:50}
 158 node: {title: "n74" label: "Load[Iu] 74"  info1: "Load[Iu] 74
 159   mode:    T
 160   visited: 18
 161   irg:     MEMORY_EXAMPLE_main
 162   arity:   2
 163   pred nodes:
 164     -1:    Block 72
 165      0:    Proj 63
 166      1:    Sel 35
 167   Private Attributes:
 168   pinned state: op_pin_state_pinned
 169   mode of loaded value: Iu
 170   volatility: volatility_non_volatile
 171 "
 172 }
 173 edge: {sourcename: "n74" targetname: "n63" label: "0" class:17 priority:10 color:blue}
 174 edge: {sourcename: "n74" targetname: "n35" label: "1" class:16 priority:10}
 175 }
 176
 177 graph: { title: "n48"  label: "Block 48" status:clustered color:yellow
 178  info1: "Block 48
 179   mode:    BB
 180   visited: 18
 181   irg:     MEMORY_EXAMPLE_main
 182   arity:   2
 183   pred nodes:
 184      0:    Jmp 46
 185      1:    Proj 69
 186   Private Attributes:
 187   backedges:
 188   block visited: 0
 189   Execution freqency statistics:
 190 "
 191 edge: {sourcename: "n48" targetname: "n46" label: "0" class:13 priority:60 color:red}
 192 edge: {sourcename: "n48" targetname: "n69" label: "1" class:13 priority:60 color:red}
 193 node: {title: "n70" label: "ProjX true 70"  info1: "Proj 70
 194   mode:    X
 195   visited: 18
 196   irg:     MEMORY_EXAMPLE_main
 197   arity:   1
 198   pred nodes:
 199     -1:    Block 48
 200      0:    Cond 68
 201   Private Attributes:
 202   proj nr: 1
 203 "
 204 color:yellow}
 205 edge: {sourcename: "n70" targetname: "n68" label: "0" class:13 priority:60 color:red}
 206 node: {title: "n69" label: "ProjX false 69"  info1: "Proj 69
 207   mode:    X
 208   visited: 18
 209   irg:     MEMORY_EXAMPLE_main
 210   arity:   1
 211   pred nodes:
 212     -1:    Block 48
 213      0:    Cond 68
 214   Private Attributes:
 215   proj nr: 0
 216 "
 217 color:yellow}
 218 edge: {sourcename: "n69" targetname: "n68" label: "0" class:13 priority:60 color:red}
 219 node: {title: "n68" label: "Cond 68"  info1: "Cond 68
 220   mode:    T
 221   visited: 18
 222   irg:     MEMORY_EXAMPLE_main
 223   arity:   1
 224   pred nodes:
 225     -1:    Block 48
 226      0:    Proj 66
 227   Private Attributes:
 228   condition kind: dense
 229   default ProjNr: 0
 230 "
 231 }
 232 edge: {sourcename: "n68" targetname: "n66" label: "0" class:1  priority:50}
 233 node: {title: "n66" label: "Projb Lt 66"  info1: "Proj 66
 234   mode:    b
 235   visited: 18
 236   irg:     MEMORY_EXAMPLE_main
 237   arity:   1
 238   pred nodes:
 239     -1:    Block 48
 240      0:    Cmp 67
 241   Private Attributes:
 242   proj nr: 2
 243 "
 244 color:yellow}
 245 edge: {sourcename: "n66" targetname: "n67" label: "0" class:1  priority:50}
 246 node: {title: "n67" label: "Cmp 67"  info1: "Cmp 67
 247   mode:    T
 248   visited: 18
 249   irg:     MEMORY_EXAMPLE_main
 250   arity:   2
 251   pred nodes:
 252     -1:    Block 48
 253      0:    Proj 53
 254      1:    0x0 38
 255   Private Attributes:
 256 "
 257 }
 258 edge: {sourcename: "n67" targetname: "n53" label: "0" class:1  priority:50}
 259 edge: {sourcename: "n67" targetname: "n38" label: "1" class:16 priority:10}
 260 node: {title: "n53" label: "ProjIu res 53"  info1: "Proj 53
 261   mode:    Iu
 262   visited: 18
 263   irg:     MEMORY_EXAMPLE_main
 264   arity:   1
 265   pred nodes:
 266     -1:    Block 48
 267      0:    Load[Iu] 50
 268   Private Attributes:
 269   proj nr: 2
 270 "
 271 color:yellow}
 272 edge: {sourcename: "n53" targetname: "n50" label: "0" class:1  priority:50}
 273 node: {title: "n50" label: "Load[Iu] 50"  info1: "Load[Iu] 50
 274   mode:    T
 275   visited: 18
 276   irg:     MEMORY_EXAMPLE_main
 277   arity:   2
 278   pred nodes:
 279     -1:    Block 48
 280      0:    Phi 71
 281      1:    Sel 35
 282   Private Attributes:
 283   pinned state: op_pin_state_pinned
 284   mode of loaded value: Iu
 285   volatility: volatility_non_volatile
 286 "
 287 }
 288 edge: {sourcename: "n50" targetname: "n71" label: "0" class:14 priority:50 color:blue}
 289 edge: {sourcename: "n50" targetname: "n35" label: "1" class:16 priority:10}
 290 node: {title: "n71" label: "PhiM 71"  info1: "Phi 71
 291   mode:    M
 292   visited: 18
 293   irg:     MEMORY_EXAMPLE_main
 294   arity:   2
 295   pred nodes:
 296     -1:    Block 48
 297      0:    Proj 45
 298      1:    Proj 63
 299   Private Attributes:
 300   backedges:
 301 "
 302 color:green}
 303 edge: {sourcename: "n71" targetname: "n45" label: "0" class:17 priority:10 color:blue}
 304 edge: {sourcename: "n71" targetname: "n63" label: "1" class:17 priority:10 color:blue}
 305 node: {title: "n63" label: "ProjM M 63"  info1: "Proj 63
 306   mode:    M
 307   visited: 18
 308   irg:     MEMORY_EXAMPLE_main
 309   arity:   1
 310   pred nodes:
 311     -1:    Block 48
 312      0:    Store 61
 313   Private Attributes:
 314   proj nr: 0
 315 "
 316 color:yellow}
 317 edge: {sourcename: "n63" targetname: "n61" label: "0" class:17 priority:10 color:blue}
 318 node: {title: "n61" label: "Store 61"  info1: "Store 61
 319   mode:    T
 320   visited: 18
 321   irg:     MEMORY_EXAMPLE_main
 322   arity:   3
 323   pred nodes:
 324     -1:    Block 48
 325      0:    Proj 60
 326      1:    Sel 37
 327      2:    Proj 53
 328   Private Attributes:
 329   pinned state: op_pin_state_pinned
 330   volatility: volatility_non_volatile
 331 "
 332 }
 333 edge: {sourcename: "n61" targetname: "n60" label: "0" class:14 priority:50 color:blue}
 334 edge: {sourcename: "n61" targetname: "n37" label: "1" class:16 priority:10}
 335 edge: {sourcename: "n61" targetname: "n53" label: "2" class:1  priority:50}
 336 node: {title: "n60" label: "ProjM M 60"  info1: "Proj 60
 337   mode:    M
 338   visited: 18
 339   irg:     MEMORY_EXAMPLE_main
 340   arity:   1
 341   pred nodes:
 342     -1:    Block 48
 343      0:    Store 58
 344   Private Attributes:
 345   proj nr: 0
 346 "
 347 color:yellow}
 348 edge: {sourcename: "n60" targetname: "n58" label: "0" class:17 priority:10 color:blue}
 349 node: {title: "n58" label: "Store 58"  info1: "Store 58
 350   mode:    T
 351   visited: 18
 352   irg:     MEMORY_EXAMPLE_main
 353   arity:   3
 354   pred nodes:
 355     -1:    Block 48
 356      0:    Proj 56
 357      1:    Sel 35
 358      2:    Proj 57
 359   Private Attributes:
 360   pinned state: op_pin_state_pinned
 361   volatility: volatility_non_volatile
 362 "
 363 }
 364 edge: {sourcename: "n58" targetname: "n56" label: "0" class:14 priority:50 color:blue}
 365 edge: {sourcename: "n58" targetname: "n35" label: "1" class:16 priority:10}
 366 edge: {sourcename: "n58" targetname: "n57" label: "2" class:1  priority:50}
 367 node: {title: "n56" label: "ProjM M 56"  info1: "Proj 56
 368   mode:    M
 369   visited: 18
 370   irg:     MEMORY_EXAMPLE_main
 371   arity:   1
 372   pred nodes:
 373     -1:    Block 48
 374      0:    Load[Iu] 54
 375   Private Attributes:
 376   proj nr: 0
 377 "
 378 color:yellow}
 379 edge: {sourcename: "n56" targetname: "n54" label: "0" class:17 priority:10 color:blue}
 380 node: {title: "n57" label: "ProjIu res 57"  info1: "Proj 57
 381   mode:    Iu
 382   visited: 18
 383   irg:     MEMORY_EXAMPLE_main
 384   arity:   1
 385   pred nodes:
 386     -1:    Block 48
 387      0:    Load[Iu] 54
 388   Private Attributes:
 389   proj nr: 2
 390 "
 391 color:yellow}
 392 edge: {sourcename: "n57" targetname: "n54" label: "0" class:1  priority:50}
 393 node: {title: "n54" label: "Load[Iu] 54"  info1: "Load[Iu] 54
 394   mode:    T
 395   visited: 18
 396   irg:     MEMORY_EXAMPLE_main
 397   arity:   2
 398   pred nodes:
 399     -1:    Block 48
 400      0:    Proj 52
 401      1:    Sel 37
 402   Private Attributes:
 403   pinned state: op_pin_state_pinned
 404   mode of loaded value: Iu
 405   volatility: volatility_non_volatile
 406 "
 407 }
 408 edge: {sourcename: "n54" targetname: "n52" label: "0" class:14 priority:50 color:blue}
 409 edge: {sourcename: "n54" targetname: "n37" label: "1" class:16 priority:10}
 410 node: {title: "n52" label: "ProjM M 52"  info1: "Proj 52
 411   mode:    M
 412   visited: 18
 413   irg:     MEMORY_EXAMPLE_main
 414   arity:   1
 415   pred nodes:
 416     -1:    Block 48
 417      0:    Load[Iu] 50
 418   Private Attributes:
 419   proj nr: 0
 420 "
 421 color:yellow}
 422 edge: {sourcename: "n52" targetname: "n50" label: "0" class:17 priority:10 color:blue}
 423 }
 424
 425 graph: { title: "n32"  label: "Block 32" status:clustered color:yellow
 426  info1: "Block 32
 427   mode:    BB
 428   visited: 18
 429   irg:     MEMORY_EXAMPLE_main
 430   arity:   1
 431   pred nodes:
 432      0:    Proj 26
 433   Private Attributes:
 434   backedges:
 435   block visited: 0
 436   Execution freqency statistics:
 437 "
 438 edge: {sourcename: "n32" targetname: "n26" label: "0" class:13 priority:60 color:red}
 439 node: {title: "n46" label: "Jmp 46"  info1: "Jmp 46
 440   mode:    X
 441   visited: 18
 442   irg:     MEMORY_EXAMPLE_main
 443   arity:   0
 444   pred nodes:
 445     -1:    Block 32
 446   Private Attributes:
 447 "
 448 }
 449 node: {title: "n45" label: "ProjM M 45"  info1: "Proj 45
 450   mode:    M
 451   visited: 18
 452   irg:     MEMORY_EXAMPLE_main
 453   arity:   1
 454   pred nodes:
 455     -1:    Block 32
 456      0:    Store 43
 457   Private Attributes:
 458   proj nr: 0
 459 "
 460 color:yellow}
 461 edge: {sourcename: "n45" targetname: "n43" label: "0" class:17 priority:10 color:blue}
 462 node: {title: "n43" label: "Store 43"  info1: "Store 43
 463   mode:    T
 464   visited: 18
 465   irg:     MEMORY_EXAMPLE_main
 466   arity:   3
 467   pred nodes:
 468     -1:    Block 32
 469      0:    Proj 41
 470      1:    Sel 37
 471      2:    0x1 42
 472   Private Attributes:
 473   pinned state: op_pin_state_pinned
 474   volatility: volatility_non_volatile
 475 "
 476 }
 477 edge: {sourcename: "n43" targetname: "n41" label: "0" class:14 priority:50 color:blue}
 478 edge: {sourcename: "n43" targetname: "n37" label: "1" class:1  priority:50}
 479 edge: {sourcename: "n43" targetname: "n42" label: "2" class:16 priority:10}
 480 node: {title: "n41" label: "ProjM M 41"  info1: "Proj 41
 481   mode:    M
 482   visited: 18
 483   irg:     MEMORY_EXAMPLE_main
 484   arity:   1
 485   pred nodes:
 486     -1:    Block 32
 487      0:    Store 39
 488   Private Attributes:
 489   proj nr: 0
 490 "
 491 color:yellow}
 492 edge: {sourcename: "n41" targetname: "n39" label: "0" class:17 priority:10 color:blue}
 493 node: {title: "n39" label: "Store 39"  info1: "Store 39
 494   mode:    T
 495   visited: 18
 496   irg:     MEMORY_EXAMPLE_main
 497   arity:   3
 498   pred nodes:
 499     -1:    Block 32
 500      0:    Proj 29
 501      1:    Sel 35
 502      2:    0x0 38
 503   Private Attributes:
 504   pinned state: op_pin_state_pinned
 505   volatility: volatility_non_volatile
 506 "
 507 }
 508 edge: {sourcename: "n39" targetname: "n29" label: "0" class:17 priority:10 color:blue}
 509 edge: {sourcename: "n39" targetname: "n35" label: "1" class:1  priority:50}
 510 edge: {sourcename: "n39" targetname: "n38" label: "2" class:16 priority:10}
 511 node: {title: "n37" label: "Sel VAR_B 37"  info1: "Sel 37
 512   mode:    P
 513   visited: 18
 514   irg:     MEMORY_EXAMPLE_main
 515   arity:   2
 516   pred nodes:
 517     -1:    Block 32
 518      0:    Proj 29
 519      1:    Proj 28
 520   Private Attributes:
 521   Selecting entity VAR_B (36)
 522     of type    int
 523     with owner GlobalType.
 524 "
 525 }
 526 edge: {sourcename: "n37" targetname: "n29" label: "0" class:17 priority:10 color:blue}
 527 edge: {sourcename: "n37" targetname: "n28" label: "1" class:16 priority:10}
 528 node: {title: "n35" label: "Sel VAR_A 35"  info1: "Sel 35
 529   mode:    P
 530   visited: 18
 531   irg:     MEMORY_EXAMPLE_main
 532   arity:   2
 533   pred nodes:
 534     -1:    Block 32
 535      0:    Proj 29
 536      1:    Proj 28
 537   Private Attributes:
 538   Selecting entity VAR_A (33)
 539     of type    int
 540     with owner GlobalType.
 541 "
 542 }
 543 edge: {sourcename: "n35" targetname: "n29" label: "0" class:17 priority:10 color:blue}
 544 edge: {sourcename: "n35" targetname: "n28" label: "1" class:16 priority:10}
 545 }
 546
 547 graph: { title: "n22"  label: "Block 22" status:clustered color:yellow
 548  info1: "Block 22
 549   mode:    BB
 550   visited: 18
 551   irg:     MEMORY_EXAMPLE_main
 552   arity:   1
 553   pred nodes:
 554      0:    Proj 26
 555   Private Attributes:
 556   backedges:
 557   block visited: 0
 558   Execution freqency statistics:
 559 "
 560 edge: {sourcename: "n22" targetname: "n26" label: "0" class:13 priority:60 color:red}
 561 node: {title: "n42" label: "0x1Iu 42"  info1: "0x1 42
 562   mode:    Iu
 563   visited: 18
 564   irg:     MEMORY_EXAMPLE_main
 565   arity:   0
 566   pred nodes:
 567     -1:    Block 22
 568   Private Attributes:
 569   Const of type type_unknown
 570 "
 571 color:yellow}
 572 node: {title: "n29" label: "ProjM 1 29"  info1: "Proj 29
 573   mode:    M
 574   visited: 18
 575   irg:     MEMORY_EXAMPLE_main
 576   arity:   1
 577   pred nodes:
 578     -1:    Block 22
 579      0:    Start 23
 580   Private Attributes:
 581   proj nr: 1
 582 "
 583 color:yellow}
 584 edge: {sourcename: "n29" targetname: "n23" label: "0" class:17 priority:10 color:blue}
 585 node: {title: "n28" label: "ProjP P_globals 28"  info1: "Proj 28
 586   mode:    P
 587   visited: 18
 588   irg:     MEMORY_EXAMPLE_main
 589   arity:   1
 590   pred nodes:
 591     -1:    Block 22
 592      0:    Start 23
 593   Private Attributes:
 594   proj nr: 3
 595 "
 596 color:yellow}
 597 edge: {sourcename: "n28" targetname: "n23" label: "0" class:1  priority:50}
 598 node: {title: "n38" label: "0x0Iu 38"  info1: "0x0 38
 599   mode:    Iu
 600   visited: 18
 601   irg:     MEMORY_EXAMPLE_main
 602   arity:   0
 603   pred nodes:
 604     -1:    Block 22
 605   Private Attributes:
 606   Const of type type_unknown
 607 "
 608 color:yellow}
 609 node: {title: "n26" label: "ProjX X_initial_exec 26"  info1: "Proj 26
 610   mode:    X
 611   visited: 18
 612   irg:     MEMORY_EXAMPLE_main
 613   arity:   1
 614   pred nodes:
 615     -1:    Block 22
 616      0:    Start 23
 617   Private Attributes:
 618   proj nr: 0
 619 "
 620 color:yellow}
 621 edge: {sourcename: "n26" targetname: "n23" label: "0" class:13 priority:60 color:red}
 622 node: {title: "n23" label: "Start 23"  info1: "Start 23
 623   mode:    T
 624   visited: 18
 625   irg:     MEMORY_EXAMPLE_main
 626   arity:   0
 627   pred nodes:
 628     -1:    Block 22
 629   Private Attributes:
 630   start of method of type main
 631 "
 632 color:blue}
 633 }
 634
 635 }
 636
 637 }