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: "n77" label: "0" class:13 priority:60 color:red}
  58 node: {title: "n79" label: "End  79"  info1: "End 79
  59   mode:    X
  60   visited: 18
  61   irg:     MEMORY_EXAMPLE_main
  62   arity:   1
  63   pred nodes:
  64     -1:    Block 20
  65      0:    Phi 70
  66   Private Attributes:
  67 "
  68 color: blue}
  69 }
  70
  71 graph: { title: "n71"  label: "Block 71" status:clustered color:yellow
  72 edge: {sourcename: "n71" targetname: "n69" label: "0" class:13 priority:60 color:red}
  73 node: {title: "n77" label: "Return  77"  info1: "Return 77
  74   mode:    X
  75   visited: 18
  76   irg:     MEMORY_EXAMPLE_main
  77   arity:   2
  78   pred nodes:
  79     -1:    Block 71
  80      0:    Proj 76
  81      1:    Proj 75
  82   Private Attributes:
  83   return in method of type main
  84     res 0 type: int
  85 "
  86 }
  87 edge: {sourcename: "n77" targetname: "n76" label: "0" class:14 priority:50 color:blue}
  88 edge: {sourcename: "n77" targetname: "n75" label: "1" class:1  priority:50}
  89 node: {title: "n76" label: "ProjM 0 76"  info1: "Proj 76
  90   mode:    M
  91   visited: 18
  92   irg:     MEMORY_EXAMPLE_main
  93   arity:   1
  94   pred nodes:
  95     -1:    Block 71
  96      0:    Load[Iu] 73
  97   Private Attributes:
  98 "
  99 color: yellow}
 100 edge: {sourcename: "n76" targetname: "n73" label: "0" class:17 priority:10 color:blue}
 101 node: {title: "n75" label: "ProjIu 2 75"  info1: "Proj 75
 102   mode:    Iu
 103   visited: 18
 104   irg:     MEMORY_EXAMPLE_main
 105   arity:   1
 106   pred nodes:
 107     -1:    Block 71
 108      0:    Load[Iu] 73
 109   Private Attributes:
 110 "
 111 color: yellow}
 112 edge: {sourcename: "n75" targetname: "n73" label: "0" class:1  priority:50}
 113 node: {title: "n73" label: "Load[Iu]  73"  info1: "Load[Iu] 73
 114   mode:    T
 115   visited: 18
 116   irg:     MEMORY_EXAMPLE_main
 117   arity:   2
 118   pred nodes:
 119     -1:    Block 71
 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: "n73" targetname: "n63" label: "0" class:17 priority:10 color:blue}
 129 edge: {sourcename: "n73" 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: "n68" label: "1" class:13 priority:60 color:red}
 135 node: {title: "n69" label: "ProjX 1 69"  info1: "Proj 69
 136   mode:    X
 137   visited: 18
 138   irg:     MEMORY_EXAMPLE_main
 139   arity:   1
 140   pred nodes:
 141     -1:    Block 48
 142      0:    Cond 67
 143   Private Attributes:
 144 "
 145 color: yellow}
 146 edge: {sourcename: "n69" targetname: "n67" label: "0" class:13 priority:60 color:red}
 147 node: {title: "n68" label: "ProjX 0 68"  info1: "Proj 68
 148   mode:    X
 149   visited: 18
 150   irg:     MEMORY_EXAMPLE_main
 151   arity:   1
 152   pred nodes:
 153     -1:    Block 48
 154      0:    Cond 67
 155   Private Attributes:
 156 "
 157 color: yellow}
 158 edge: {sourcename: "n68" targetname: "n67" label: "0" class:13 priority:60 color:red}
 159 node: {title: "n67" label: "Cond  67"  info1: "Cond 67
 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: "n67" targetname: "n66" label: "0" class:1  priority:50}
 173 node: {title: "n66" label: "Projb Gt 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 65
 181   Private Attributes:
 182 "
 183 color: yellow}
 184 edge: {sourcename: "n66" targetname: "n65" label: "0" class:1  priority:50}
 185 node: {title: "n65" label: "Cmp  65"  info1: "Cmp 65
 186   mode:    T
 187   visited: 18
 188   irg:     MEMORY_EXAMPLE_main
 189   arity:   2
 190   pred nodes:
 191     -1:    Block 48
 192      0:    0x0 38
 193      1:    Proj 53
 194   Private Attributes:
 195 "
 196 }
 197 edge: {sourcename: "n65" targetname: "n38" label: "0" class:16 priority:10}
 198 edge: {sourcename: "n65" targetname: "n53" label: "1" class:1  priority:50}
 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 70
 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: "n70" label: "0" class:14 priority:50 color:blue}
 227 edge: {sourcename: "n50" targetname: "n35" label: "1" class:16 priority:10}
 228 node: {title: "n70" label: "PhiM  70"  info1: "Phi 70
 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: "n70" targetname: "n45" label: "0" class:17 priority:10 color:blue}
 242 edge: {sourcename: "n70" 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 of type GlobalType
 442 "
 443 }
 444 edge: {sourcename: "n37" targetname: "n29" label: "0" class:17 priority:10 color:blue}
 445 edge: {sourcename: "n37" targetname: "n28" label: "1" class:16 priority:10}
 446 node: {title: "n35" label: "Sel VAR_A 35"  info1: "Sel 35
 447   mode:    P
 448   visited: 18
 449   irg:     MEMORY_EXAMPLE_main
 450   arity:   2
 451   pred nodes:
 452     -1:    Block 32
 453      0:    Proj 29
 454      1:    Proj 28
 455   Private Attributes:
 456   Selecting entity of type int
 457     from entity of type GlobalType
 458 "
 459 }
 460 edge: {sourcename: "n35" targetname: "n29" label: "0" class:17 priority:10 color:blue}
 461 edge: {sourcename: "n35" targetname: "n28" label: "1" class:16 priority:10}
 462 }
 463
 464 graph: { title: "n22"  label: "Block 22" status:clustered color:yellow
 465 edge: {sourcename: "n22" targetname: "n26" label: "0" class:13 priority:60 color:red}
 466 node: {title: "n38" label: "0x0Iu  38"  info1: "0x0 38
 467   mode:    Iu
 468   visited: 18
 469   irg:     MEMORY_EXAMPLE_main
 470   arity:   0
 471   pred nodes:
 472     -1:    Block 22
 473   Private Attributes:
 474   Const of type type_unknown
 475 "
 476 color: yellow}
 477 node: {title: "n42" label: "0x1Iu  42"  info1: "0x1 42
 478   mode:    Iu
 479   visited: 18
 480   irg:     MEMORY_EXAMPLE_main
 481   arity:   0
 482   pred nodes:
 483     -1:    Block 22
 484   Private Attributes:
 485   Const of type type_unknown
 486 "
 487 color: yellow}
 488 node: {title: "n29" label: "ProjM 1 29"  info1: "Proj 29
 489   mode:    M
 490   visited: 18
 491   irg:     MEMORY_EXAMPLE_main
 492   arity:   1
 493   pred nodes:
 494     -1:    Block 22
 495      0:    Start 23
 496   Private Attributes:
 497 "
 498 color: yellow}
 499 edge: {sourcename: "n29" targetname: "n23" label: "0" class:17 priority:10 color:blue}
 500 node: {title: "n28" label: "ProjP 3 28"  info1: "Proj 28
 501   mode:    P
 502   visited: 18
 503   irg:     MEMORY_EXAMPLE_main
 504   arity:   1
 505   pred nodes:
 506     -1:    Block 22
 507      0:    Start 23
 508   Private Attributes:
 509 "
 510 color: yellow}
 511 edge: {sourcename: "n28" targetname: "n23" label: "0" class:1  priority:50}
 512 node: {title: "n26" label: "ProjX 0 26"  info1: "Proj 26
 513   mode:    X
 514   visited: 18
 515   irg:     MEMORY_EXAMPLE_main
 516   arity:   1
 517   pred nodes:
 518     -1:    Block 22
 519      0:    Start 23
 520   Private Attributes:
 521 "
 522 color: yellow}
 523 edge: {sourcename: "n26" targetname: "n23" label: "0" class:13 priority:60 color:red}
 524 node: {title: "n23" label: "Start  23"  info1: "Start 23
 525   mode:    T
 526   visited: 18
 527   irg:     MEMORY_EXAMPLE_main
 528   arity:   0
 529   pred nodes:
 530     -1:    Block 22
 531   Private Attributes:
 532   start of method of type main
 533 "
 534 color: blue}
 535 }
 536
 537 }
 538
 539 }