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 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: "g31" label: "MEMORY_EXAMPLE_main" status:clustered color:white
  56 graph: { title: "n20"  label: "Block 20" status:clustered color:yellow
  57 edge: {sourcename: "n20" targetname: "n78" label: "0" class:13 priority:60 color:red}
  58 node: {title: "n80" label: "End 80"  info1: "End 80
  59   mode:    X
  60   visited: 18
  61   irg:     MEMORY_EXAMPLE_main
  62   arity:   1
  63   pred nodes:
  64     -1:    Block 20
  65      0:    Phi 71
  66   Private Attributes:
  67 "
  68 color: blue}
  69 }
  70
  71 graph: { title: "n72"  label: "Block 72" status:clustered color:yellow
  72 edge: {sourcename: "n72" targetname: "n70" label: "0" class:13 priority:60 color:red}
  73 node: {title: "n78" label: "Return 78"  info1: "Return 78
  74   mode:    X
  75   visited: 18
  76   irg:     MEMORY_EXAMPLE_main
  77   arity:   2
  78   pred nodes:
  79     -1:    Block 72
  80      0:    Proj 77
  81      1:    Proj 76
  82   Private Attributes:
  83   return in method of type main
  84     res 0 type: int
  85 "
  86 }
  87 edge: {sourcename: "n78" targetname: "n77" label: "0" class:14 priority:50 color:blue}
  88 edge: {sourcename: "n78" targetname: "n76" label: "1" class:1  priority:50}
  89 node: {title: "n77" label: "ProjM 0 77"  info1: "Proj 77
  90   mode:    M
  91   visited: 18
  92   irg:     MEMORY_EXAMPLE_main
  93   arity:   1
  94   pred nodes:
  95     -1:    Block 72
  96      0:    Load[Iu] 74
  97   Private Attributes:
  98 "
  99 color: yellow}
 100 edge: {sourcename: "n77" targetname: "n74" label: "0" class:17 priority:10 color:blue}
 101 node: {title: "n76" label: "ProjIu 2 76"  info1: "Proj 76
 102   mode:    Iu
 103   visited: 18
 104   irg:     MEMORY_EXAMPLE_main
 105   arity:   1
 106   pred nodes:
 107     -1:    Block 72
 108      0:    Load[Iu] 74
 109   Private Attributes:
 110 "
 111 color: yellow}
 112 edge: {sourcename: "n76" targetname: "n74" label: "0" class:1  priority:50}
 113 node: {title: "n74" label: "Load[Iu] 74"  info1: "Load[Iu] 74
 114   mode:    T
 115   visited: 18
 116   irg:     MEMORY_EXAMPLE_main
 117   arity:   2
 118   pred nodes:
 119     -1:    Block 72
 120      0:    Proj 63
 121      1:    Sel 35
 122   Private Attributes:
 123   pinned state: op_pin_state_pinned
 124   mode of loaded value: Iu
 125   volatility: volatility_non_volatile
 126 "
 127 }
 128 edge: {sourcename: "n74" targetname: "n63" label: "0" class:17 priority:10 color:blue}
 129 edge: {sourcename: "n74" targetname: "n35" label: "1" class:16 priority:10}
 130 }
 131
 132 graph: { title: "n48"  label: "Block 48" status:clustered color:yellow
 133 edge: {sourcename: "n48" targetname: "n46" label: "0" class:13 priority:60 color:red}
 134 edge: {sourcename: "n48" targetname: "n69" label: "1" class:13 priority:60 color:red}
 135 node: {title: "n70" label: "ProjX 1 70"  info1: "Proj 70
 136   mode:    X
 137   visited: 18
 138   irg:     MEMORY_EXAMPLE_main
 139   arity:   1
 140   pred nodes:
 141     -1:    Block 48
 142      0:    Cond 68
 143   Private Attributes:
 144 "
 145 color: yellow}
 146 edge: {sourcename: "n70" targetname: "n68" label: "0" class:13 priority:60 color:red}
 147 node: {title: "n69" label: "ProjX 0 69"  info1: "Proj 69
 148   mode:    X
 149   visited: 18
 150   irg:     MEMORY_EXAMPLE_main
 151   arity:   1
 152   pred nodes:
 153     -1:    Block 48
 154      0:    Cond 68
 155   Private Attributes:
 156 "
 157 color: yellow}
 158 edge: {sourcename: "n69" targetname: "n68" label: "0" class:13 priority:60 color:red}
 159 node: {title: "n68" label: "Cond 68"  info1: "Cond 68
 160   mode:    T
 161   visited: 18
 162   irg:     MEMORY_EXAMPLE_main
 163   arity:   1
 164   pred nodes:
 165     -1:    Block 48
 166      0:    Proj 66
 167   Private Attributes:
 168   condition kind: dense
 169   default ProjNr: 0
 170 "
 171 }
 172 edge: {sourcename: "n68" targetname: "n66" label: "0" class:1  priority:50}
 173 node: {title: "n66" label: "Projb Lt 66"  info1: "Proj 66
 174   mode:    b
 175   visited: 18
 176   irg:     MEMORY_EXAMPLE_main
 177   arity:   1
 178   pred nodes:
 179     -1:    Block 48
 180      0:    Cmp 67
 181   Private Attributes:
 182 "
 183 color: yellow}
 184 edge: {sourcename: "n66" targetname: "n67" label: "0" class:1  priority:50}
 185 node: {title: "n67" label: "Cmp 67"  info1: "Cmp 67
 186   mode:    T
 187   visited: 18
 188   irg:     MEMORY_EXAMPLE_main
 189   arity:   2
 190   pred nodes:
 191     -1:    Block 48
 192      0:    Proj 53
 193      1:    0x0 38
 194   Private Attributes:
 195 "
 196 }
 197 edge: {sourcename: "n67" targetname: "n53" label: "0" class:1  priority:50}
 198 edge: {sourcename: "n67" targetname: "n38" label: "1" class:16 priority:10}
 199 node: {title: "n53" label: "ProjIu 2 53"  info1: "Proj 53
 200   mode:    Iu
 201   visited: 18
 202   irg:     MEMORY_EXAMPLE_main
 203   arity:   1
 204   pred nodes:
 205     -1:    Block 48
 206      0:    Load[Iu] 50
 207   Private Attributes:
 208 "
 209 color: yellow}
 210 edge: {sourcename: "n53" targetname: "n50" label: "0" class:1  priority:50}
 211 node: {title: "n50" label: "Load[Iu] 50"  info1: "Load[Iu] 50
 212   mode:    T
 213   visited: 18
 214   irg:     MEMORY_EXAMPLE_main
 215   arity:   2
 216   pred nodes:
 217     -1:    Block 48
 218      0:    Phi 71
 219      1:    Sel 35
 220   Private Attributes:
 221   pinned state: op_pin_state_pinned
 222   mode of loaded value: Iu
 223   volatility: volatility_non_volatile
 224 "
 225 }
 226 edge: {sourcename: "n50" targetname: "n71" label: "0" class:14 priority:50 color:blue}
 227 edge: {sourcename: "n50" targetname: "n35" label: "1" class:16 priority:10}
 228 node: {title: "n71" label: "PhiM 71"  info1: "Phi 71
 229   mode:    M
 230   visited: 18
 231   irg:     MEMORY_EXAMPLE_main
 232   arity:   2
 233   pred nodes:
 234     -1:    Block 48
 235      0:    Proj 45
 236      1:    Proj 63
 237   Private Attributes:
 238   backedges:
 239 "
 240 color: green}
 241 edge: {sourcename: "n71" targetname: "n45" label: "0" class:17 priority:10 color:blue}
 242 edge: {sourcename: "n71" targetname: "n63" label: "1" class:17 priority:10 color:blue}
 243 node: {title: "n63" label: "ProjM 0 63"  info1: "Proj 63
 244   mode:    M
 245   visited: 18
 246   irg:     MEMORY_EXAMPLE_main
 247   arity:   1
 248   pred nodes:
 249     -1:    Block 48
 250      0:    Store 61
 251   Private Attributes:
 252 "
 253 color: yellow}
 254 edge: {sourcename: "n63" targetname: "n61" label: "0" class:17 priority:10 color:blue}
 255 node: {title: "n61" label: "Store 61"  info1: "Store 61
 256   mode:    T
 257   visited: 18
 258   irg:     MEMORY_EXAMPLE_main
 259   arity:   3
 260   pred nodes:
 261     -1:    Block 48
 262      0:    Proj 60
 263      1:    Sel 37
 264      2:    Proj 53
 265   Private Attributes:
 266   pinned state: op_pin_state_pinned
 267   volatility: volatility_non_volatile
 268 "
 269 }
 270 edge: {sourcename: "n61" targetname: "n60" label: "0" class:14 priority:50 color:blue}
 271 edge: {sourcename: "n61" targetname: "n37" label: "1" class:16 priority:10}
 272 edge: {sourcename: "n61" targetname: "n53" label: "2" class:1  priority:50}
 273 node: {title: "n60" label: "ProjM 0 60"  info1: "Proj 60
 274   mode:    M
 275   visited: 18
 276   irg:     MEMORY_EXAMPLE_main
 277   arity:   1
 278   pred nodes:
 279     -1:    Block 48
 280      0:    Store 58
 281   Private Attributes:
 282 "
 283 color: yellow}
 284 edge: {sourcename: "n60" targetname: "n58" label: "0" class:17 priority:10 color:blue}
 285 node: {title: "n58" label: "Store 58"  info1: "Store 58
 286   mode:    T
 287   visited: 18
 288   irg:     MEMORY_EXAMPLE_main
 289   arity:   3
 290   pred nodes:
 291     -1:    Block 48
 292      0:    Proj 56
 293      1:    Sel 35
 294      2:    Proj 57
 295   Private Attributes:
 296   pinned state: op_pin_state_pinned
 297   volatility: volatility_non_volatile
 298 "
 299 }
 300 edge: {sourcename: "n58" targetname: "n56" label: "0" class:14 priority:50 color:blue}
 301 edge: {sourcename: "n58" targetname: "n35" label: "1" class:16 priority:10}
 302 edge: {sourcename: "n58" targetname: "n57" label: "2" class:1  priority:50}
 303 node: {title: "n56" label: "ProjM 0 56"  info1: "Proj 56
 304   mode:    M
 305   visited: 18
 306   irg:     MEMORY_EXAMPLE_main
 307   arity:   1
 308   pred nodes:
 309     -1:    Block 48
 310      0:    Load[Iu] 54
 311   Private Attributes:
 312 "
 313 color: yellow}
 314 edge: {sourcename: "n56" targetname: "n54" label: "0" class:17 priority:10 color:blue}
 315 node: {title: "n57" label: "ProjIu 2 57"  info1: "Proj 57
 316   mode:    Iu
 317   visited: 18
 318   irg:     MEMORY_EXAMPLE_main
 319   arity:   1
 320   pred nodes:
 321     -1:    Block 48
 322      0:    Load[Iu] 54
 323   Private Attributes:
 324 "
 325 color: yellow}
 326 edge: {sourcename: "n57" targetname: "n54" label: "0" class:1  priority:50}
 327 node: {title: "n54" label: "Load[Iu] 54"  info1: "Load[Iu] 54
 328   mode:    T
 329   visited: 18
 330   irg:     MEMORY_EXAMPLE_main
 331   arity:   2
 332   pred nodes:
 333     -1:    Block 48
 334      0:    Proj 52
 335      1:    Sel 37
 336   Private Attributes:
 337   pinned state: op_pin_state_pinned
 338   mode of loaded value: Iu
 339   volatility: volatility_non_volatile
 340 "
 341 }
 342 edge: {sourcename: "n54" targetname: "n52" label: "0" class:14 priority:50 color:blue}
 343 edge: {sourcename: "n54" targetname: "n37" label: "1" class:16 priority:10}
 344 node: {title: "n52" label: "ProjM 0 52"  info1: "Proj 52
 345   mode:    M
 346   visited: 18
 347   irg:     MEMORY_EXAMPLE_main
 348   arity:   1
 349   pred nodes:
 350     -1:    Block 48
 351      0:    Load[Iu] 50
 352   Private Attributes:
 353 "
 354 color: yellow}
 355 edge: {sourcename: "n52" targetname: "n50" label: "0" class:17 priority:10 color:blue}
 356 }
 357
 358 graph: { title: "n32"  label: "Block 32" status:clustered color:yellow
 359 edge: {sourcename: "n32" targetname: "n26" label: "0" class:13 priority:60 color:red}
 360 node: {title: "n46" label: "Jmp 46"  info1: "Jmp 46
 361   mode:    X
 362   visited: 18
 363   irg:     MEMORY_EXAMPLE_main
 364   arity:   0
 365   pred nodes:
 366     -1:    Block 32
 367   Private Attributes:
 368 "
 369 }
 370 node: {title: "n45" label: "ProjM 0 45"  info1: "Proj 45
 371   mode:    M
 372   visited: 18
 373   irg:     MEMORY_EXAMPLE_main
 374   arity:   1
 375   pred nodes:
 376     -1:    Block 32
 377      0:    Store 43
 378   Private Attributes:
 379 "
 380 color: yellow}
 381 edge: {sourcename: "n45" targetname: "n43" label: "0" class:17 priority:10 color:blue}
 382 node: {title: "n43" label: "Store 43"  info1: "Store 43
 383   mode:    T
 384   visited: 18
 385   irg:     MEMORY_EXAMPLE_main
 386   arity:   3
 387   pred nodes:
 388     -1:    Block 32
 389      0:    Proj 41
 390      1:    Sel 37
 391      2:    0x1 42
 392   Private Attributes:
 393   pinned state: op_pin_state_pinned
 394   volatility: volatility_non_volatile
 395 "
 396 }
 397 edge: {sourcename: "n43" targetname: "n41" label: "0" class:14 priority:50 color:blue}
 398 edge: {sourcename: "n43" targetname: "n37" label: "1" class:1  priority:50}
 399 edge: {sourcename: "n43" targetname: "n42" label: "2" class:16 priority:10}
 400 node: {title: "n41" label: "ProjM 0 41"  info1: "Proj 41
 401   mode:    M
 402   visited: 18
 403   irg:     MEMORY_EXAMPLE_main
 404   arity:   1
 405   pred nodes:
 406     -1:    Block 32
 407      0:    Store 39
 408   Private Attributes:
 409 "
 410 color: yellow}
 411 edge: {sourcename: "n41" targetname: "n39" label: "0" class:17 priority:10 color:blue}
 412 node: {title: "n39" label: "Store 39"  info1: "Store 39
 413   mode:    T
 414   visited: 18
 415   irg:     MEMORY_EXAMPLE_main
 416   arity:   3
 417   pred nodes:
 418     -1:    Block 32
 419      0:    Proj 29
 420      1:    Sel 35
 421      2:    0x0 38
 422   Private Attributes:
 423   pinned state: op_pin_state_pinned
 424   volatility: volatility_non_volatile
 425 "
 426 }
 427 edge: {sourcename: "n39" targetname: "n29" label: "0" class:17 priority:10 color:blue}
 428 edge: {sourcename: "n39" targetname: "n35" label: "1" class:1  priority:50}
 429 edge: {sourcename: "n39" targetname: "n38" label: "2" class:16 priority:10}
 430 node: {title: "n37" label: "Sel VAR_B 37"  info1: "Sel 37
 431   mode:    P
 432   visited: 18
 433   irg:     MEMORY_EXAMPLE_main
 434   arity:   2
 435   pred nodes:
 436     -1:    Block 32
 437      0:    Proj 29
 438      1:    Proj 28
 439   Private Attributes:
 440   Selecting entity of type int
 441     from entity VAR_B (36)
 442     of type GlobalType
 443 "
 444 }
 445 edge: {sourcename: "n37" targetname: "n29" label: "0" class:17 priority:10 color:blue}
 446 edge: {sourcename: "n37" targetname: "n28" label: "1" class:16 priority:10}
 447 node: {title: "n35" label: "Sel VAR_A 35"  info1: "Sel 35
 448   mode:    P
 449   visited: 18
 450   irg:     MEMORY_EXAMPLE_main
 451   arity:   2
 452   pred nodes:
 453     -1:    Block 32
 454      0:    Proj 29
 455      1:    Proj 28
 456   Private Attributes:
 457   Selecting entity of type int
 458     from entity VAR_A (33)
 459     of type GlobalType
 460 "
 461 }
 462 edge: {sourcename: "n35" targetname: "n29" label: "0" class:17 priority:10 color:blue}
 463 edge: {sourcename: "n35" targetname: "n28" label: "1" class:16 priority:10}
 464 }
 465
 466 graph: { title: "n22"  label: "Block 22" status:clustered color:yellow
 467 edge: {sourcename: "n22" targetname: "n26" label: "0" class:13 priority:60 color:red}
 468 node: {title: "n42" label: "0x1Iu 42"  info1: "0x1 42
 469   mode:    Iu
 470   visited: 18
 471   irg:     MEMORY_EXAMPLE_main
 472   arity:   0
 473   pred nodes:
 474     -1:    Block 22
 475   Private Attributes:
 476   Const of type type_unknown
 477 "
 478 color: yellow}
 479 node: {title: "n29" label: "ProjM 1 29"  info1: "Proj 29
 480   mode:    M
 481   visited: 18
 482   irg:     MEMORY_EXAMPLE_main
 483   arity:   1
 484   pred nodes:
 485     -1:    Block 22
 486      0:    Start 23
 487   Private Attributes:
 488 "
 489 color: yellow}
 490 edge: {sourcename: "n29" targetname: "n23" label: "0" class:17 priority:10 color:blue}
 491 node: {title: "n28" label: "ProjP 3 28"  info1: "Proj 28
 492   mode:    P
 493   visited: 18
 494   irg:     MEMORY_EXAMPLE_main
 495   arity:   1
 496   pred nodes:
 497     -1:    Block 22
 498      0:    Start 23
 499   Private Attributes:
 500 "
 501 color: yellow}
 502 edge: {sourcename: "n28" targetname: "n23" label: "0" class:1  priority:50}
 503 node: {title: "n38" label: "0x0Iu 38"  info1: "0x0 38
 504   mode:    Iu
 505   visited: 18
 506   irg:     MEMORY_EXAMPLE_main
 507   arity:   0
 508   pred nodes:
 509     -1:    Block 22
 510   Private Attributes:
 511   Const of type type_unknown
 512 "
 513 color: yellow}
 514 node: {title: "n26" label: "ProjX 0 26"  info1: "Proj 26
 515   mode:    X
 516   visited: 18
 517   irg:     MEMORY_EXAMPLE_main
 518   arity:   1
 519   pred nodes:
 520     -1:    Block 22
 521      0:    Start 23
 522   Private Attributes:
 523 "
 524 color: yellow}
 525 edge: {sourcename: "n26" targetname: "n23" label: "0" class:13 priority:60 color:red}
 526 node: {title: "n23" label: "Start 23"  info1: "Start 23
 527   mode:    T
 528   visited: 18
 529   irg:     MEMORY_EXAMPLE_main
 530   arity:   0
 531   pred nodes:
 532     -1:    Block 22
 533   Private Attributes:
 534   start of method of type main
 535 "
 536 color: blue}
 537 }
 538
 539 }
 540
 541 }