nsz Git - libfirm/blob - testprograms/ref-results/IF_WHILE_EXAMPLE_main-pure.vcg

   1 graph: { title: "ir graph of IF_WHILE_EXAMPLE_main"
   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 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 node: {title: "n23" label: "Start  23"  info1: "Start 23
  56   mode:    T
  57   visited: 17
  58   irg:     IF_WHILE_EXAMPLE_main
  59   arity:   0
  60   pred nodes:
  61     -1:    Block 22
  62   Private Attributes:
  63   start of method of type main
  64 "
  65 color: blue}
  66 edge: { sourcename: "n23" targetname: "n22" class:2  priority:50 linestyle:dotted}
  67 node: {title: "n26" label: "ProjX 0 26"  info1: "Proj 26
  68   mode:    X
  69   visited: 17
  70   irg:     IF_WHILE_EXAMPLE_main
  71   arity:   1
  72   pred nodes:
  73     -1:    Block 22
  74      0:    Start 23
  75   Private Attributes:
  76 "
  77 color: yellow}
  78 edge: {sourcename: "n26" targetname: "n23" label: "0" class:13 priority:60 color:red}
  79 edge: { sourcename: "n26" targetname: "n22" class:2  priority:50 linestyle:dotted}
  80 node: {title: "n22" label: "Block  22"  info1: "Block 22
  81   mode:    BB
  82   visited: 17
  83   irg:     IF_WHILE_EXAMPLE_main
  84   arity:   1
  85   pred nodes:
  86      0:    Proj 26
  87   Private Attributes:
  88   backedges:
  89   block visited: 0
  90   dominator info: output not implemented
  91 "
  92 color: lightyellow}
  93 edge: {sourcename: "n22" targetname: "n26" label: "0" class:13 priority:60 color:red}
  94 node: {title: "n39" label: "0x0Iu  39"  info1: "0x0 39
  95   mode:    Iu
  96   visited: 17
  97   irg:     IF_WHILE_EXAMPLE_main
  98   arity:   0
  99   pred nodes:
 100     -1:    Block 22
 101   Private Attributes:
 102   Const of type type_unknown
 103 "
 104 color: yellow}
 105 edge: { sourcename: "n39" targetname: "n22" class:2  priority:50 linestyle:dotted}
 106 node: {title: "n41" label: "Cmp  41"  info1: "Cmp 41
 107   mode:    T
 108   visited: 17
 109   irg:     IF_WHILE_EXAMPLE_main
 110   arity:   2
 111   pred nodes:
 112     -1:    Block 38
 113      0:    0x0 39
 114      1:    0x0 39
 115   Private Attributes:
 116 "
 117 }
 118 edge: {sourcename: "n41" targetname: "n39" label: "0" class:16 priority:10}
 119 edge: {sourcename: "n41" targetname: "n39" label: "1" class:16 priority:10}
 120 edge: { sourcename: "n41" targetname: "n38" class:2  priority:50 linestyle:dotted}
 121 node: {title: "n42" label: "Projb Eq 42"  info1: "Proj 42
 122   mode:    b
 123   visited: 17
 124   irg:     IF_WHILE_EXAMPLE_main
 125   arity:   1
 126   pred nodes:
 127     -1:    Block 38
 128      0:    Cmp 41
 129   Private Attributes:
 130 "
 131 color: yellow}
 132 edge: {sourcename: "n42" targetname: "n41" label: "0" class:1  priority:50}
 133 edge: { sourcename: "n42" targetname: "n38" class:2  priority:50 linestyle:dotted}
 134 node: {title: "n43" label: "Cond  43"  info1: "Cond 43
 135   mode:    T
 136   visited: 17
 137   irg:     IF_WHILE_EXAMPLE_main
 138   arity:   1
 139   pred nodes:
 140     -1:    Block 38
 141      0:    Proj 42
 142   Private Attributes:
 143   condition kind: dense
 144   default ProjNr: 0
 145 "
 146 }
 147 edge: {sourcename: "n43" targetname: "n42" label: "0" class:1  priority:50}
 148 edge: { sourcename: "n43" targetname: "n38" class:2  priority:50 linestyle:dotted}
 149 node: {title: "n45" label: "ProjX 1 45"  info1: "Proj 45
 150   mode:    X
 151   visited: 17
 152   irg:     IF_WHILE_EXAMPLE_main
 153   arity:   1
 154   pred nodes:
 155     -1:    Block 38
 156      0:    Cond 43
 157   Private Attributes:
 158 "
 159 color: yellow}
 160 edge: {sourcename: "n45" targetname: "n43" label: "0" class:13 priority:60 color:red}
 161 edge: { sourcename: "n45" targetname: "n38" class:2  priority:50 linestyle:dotted}
 162 node: {title: "n46" label: "Block  46"  info1: "Block 46
 163   mode:    BB
 164   visited: 17
 165   irg:     IF_WHILE_EXAMPLE_main
 166   arity:   1
 167   pred nodes:
 168      0:    Proj 45
 169   Private Attributes:
 170   backedges:
 171   block visited: 0
 172   dominator info: output not implemented
 173 "
 174 color: lightyellow}
 175 edge: {sourcename: "n46" targetname: "n45" label: "0" class:13 priority:60 color:red}
 176 node: {title: "n47" label: "Jmp  47"  info1: "Jmp 47
 177   mode:    X
 178   visited: 17
 179   irg:     IF_WHILE_EXAMPLE_main
 180   arity:   0
 181   pred nodes:
 182     -1:    Block 46
 183   Private Attributes:
 184 "
 185 }
 186 edge: { sourcename: "n47" targetname: "n46" class:2  priority:50 linestyle:dotted}
 187 node: {title: "n32" label: "Block  32"  info1: "Block 32
 188   mode:    BB
 189   visited: 17
 190   irg:     IF_WHILE_EXAMPLE_main
 191   arity:   1
 192   pred nodes:
 193      0:    Proj 26
 194   Private Attributes:
 195   backedges:
 196   block visited: 0
 197   dominator info: output not implemented
 198 "
 199 color: lightyellow}
 200 edge: {sourcename: "n32" targetname: "n26" label: "0" class:13 priority:60 color:red}
 201 node: {title: "n35" label: "Jmp  35"  info1: "Jmp 35
 202   mode:    X
 203   visited: 17
 204   irg:     IF_WHILE_EXAMPLE_main
 205   arity:   0
 206   pred nodes:
 207     -1:    Block 32
 208   Private Attributes:
 209 "
 210 }
 211 edge: { sourcename: "n35" targetname: "n32" class:2  priority:50 linestyle:dotted}
 212 node: {title: "n38" label: "Block  38"  info1: "Block 38
 213   mode:    BB
 214   visited: 17
 215   irg:     IF_WHILE_EXAMPLE_main
 216   arity:   2
 217   pred nodes:
 218      0:    Jmp 35
 219      1:    Jmp 47
 220   Private Attributes:
 221   backedges:
 222   block visited: 0
 223   dominator info: output not implemented
 224 "
 225 color: lightyellow}
 226 edge: {sourcename: "n38" targetname: "n35" label: "0" class:13 priority:60 color:red}
 227 edge: {sourcename: "n38" targetname: "n47" label: "1" class:13 priority:60 color:red}
 228 node: {title: "n44" label: "ProjX 0 44"  info1: "Proj 44
 229   mode:    X
 230   visited: 17
 231   irg:     IF_WHILE_EXAMPLE_main
 232   arity:   1
 233   pred nodes:
 234     -1:    Block 38
 235      0:    Cond 43
 236   Private Attributes:
 237 "
 238 color: yellow}
 239 edge: {sourcename: "n44" targetname: "n43" label: "0" class:13 priority:60 color:red}
 240 edge: { sourcename: "n44" targetname: "n38" class:2  priority:50 linestyle:dotted}
 241 node: {title: "n60" label: "Block  60"  info1: "Block 60
 242   mode:    BB
 243   visited: 17
 244   irg:     IF_WHILE_EXAMPLE_main
 245   arity:   1
 246   pred nodes:
 247      0:    Proj 44
 248   Private Attributes:
 249   backedges:
 250   block visited: 0
 251   dominator info: output not implemented
 252 "
 253 color: lightyellow}
 254 edge: {sourcename: "n60" targetname: "n44" label: "0" class:13 priority:60 color:red}
 255 node: {title: "n33" label: "0x0Iu  33"  info1: "0x0 33
 256   mode:    Iu
 257   visited: 17
 258   irg:     IF_WHILE_EXAMPLE_main
 259   arity:   0
 260   pred nodes:
 261     -1:    Block 22
 262   Private Attributes:
 263   Const of type type_unknown
 264 "
 265 color: yellow}
 266 edge: { sourcename: "n33" targetname: "n22" class:2  priority:50 linestyle:dotted}
 267 node: {title: "n58" label: "PhiIu  58"  info1: "Phi 58
 268   mode:    Iu
 269   visited: 17
 270   irg:     IF_WHILE_EXAMPLE_main
 271   arity:   2
 272   pred nodes:
 273     -1:    Block 38
 274      0:    0x0 33
 275      1:    Phi 53
 276   Private Attributes:
 277   backedges:
 278 "
 279 color: green}
 280 edge: {sourcename: "n58" targetname: "n33" label: "0" class:16 priority:10}
 281 edge: {sourcename: "n58" targetname: "n53" label: "1" class:1  priority:50}
 282 edge: { sourcename: "n58" targetname: "n38" class:2  priority:50 linestyle:dotted}
 283 node: {title: "n34" label: "0x1Iu  34"  info1: "0x1 34
 284   mode:    Iu
 285   visited: 17
 286   irg:     IF_WHILE_EXAMPLE_main
 287   arity:   0
 288   pred nodes:
 289     -1:    Block 22
 290   Private Attributes:
 291   Const of type type_unknown
 292 "
 293 color: yellow}
 294 edge: { sourcename: "n34" targetname: "n22" class:2  priority:50 linestyle:dotted}
 295 node: {title: "n53" label: "PhiIu  53"  info1: "Phi 53
 296   mode:    Iu
 297   visited: 17
 298   irg:     IF_WHILE_EXAMPLE_main
 299   arity:   2
 300   pred nodes:
 301     -1:    Block 38
 302      0:    0x1 34
 303      1:    Phi 58
 304   Private Attributes:
 305   backedges:
 306 "
 307 color: green}
 308 edge: {sourcename: "n53" targetname: "n34" label: "0" class:16 priority:10}
 309 edge: {sourcename: "n53" targetname: "n58" label: "1" class:1  priority:50}
 310 edge: { sourcename: "n53" targetname: "n38" class:2  priority:50 linestyle:dotted}
 311 node: {title: "n65" label: "SubIu  65"  info1: "Sub 65
 312   mode:    Iu
 313   visited: 17
 314   irg:     IF_WHILE_EXAMPLE_main
 315   arity:   2
 316   pred nodes:
 317     -1:    Block 60
 318      0:    Phi 58
 319      1:    Phi 53
 320   Private Attributes:
 321 "
 322 }
 323 edge: {sourcename: "n65" targetname: "n58" label: "0" class:16 priority:10}
 324 edge: {sourcename: "n65" targetname: "n53" label: "1" class:16 priority:10}
 325 edge: { sourcename: "n65" targetname: "n60" class:2  priority:50 linestyle:dotted}
 326 node: {title: "n29" label: "ProjM 1 29"  info1: "Proj 29
 327   mode:    M
 328   visited: 17
 329   irg:     IF_WHILE_EXAMPLE_main
 330   arity:   1
 331   pred nodes:
 332     -1:    Block 22
 333      0:    Start 23
 334   Private Attributes:
 335 "
 336 color: yellow}
 337 edge: {sourcename: "n29" targetname: "n23" label: "0" class:17 priority:10 color:blue}
 338 edge: { sourcename: "n29" targetname: "n22" class:2  priority:50 linestyle:dotted}
 339 node: {title: "n76" label: "Return  76"  info1: "Return 76
 340   mode:    X
 341   visited: 17
 342   irg:     IF_WHILE_EXAMPLE_main
 343   arity:   2
 344   pred nodes:
 345     -1:    Block 60
 346      0:    Proj 29
 347      1:    Sub 65
 348   Private Attributes:
 349   return in method of type main
 350     res 0 type: int
 351 "
 352 }
 353 edge: {sourcename: "n76" targetname: "n29" label: "0" class:17 priority:10 color:blue}
 354 edge: {sourcename: "n76" targetname: "n65" label: "1" class:1  priority:50}
 355 edge: { sourcename: "n76" targetname: "n60" class:2  priority:50 linestyle:dotted}
 356 node: {title: "n20" label: "Block  20"  info1: "Block 20
 357   mode:    BB
 358   visited: 17
 359   irg:     IF_WHILE_EXAMPLE_main
 360   arity:   1
 361   pred nodes:
 362      0:    Return 76
 363   Private Attributes:
 364   backedges:
 365   block visited: 0
 366   dominator info: output not implemented
 367 "
 368 color: lightyellow}
 369 edge: {sourcename: "n20" targetname: "n76" label: "0" class:13 priority:60 color:red}
 370 node: {title: "n77" label: "End  77"  info1: "End 77
 371   mode:    X
 372   visited: 17
 373   irg:     IF_WHILE_EXAMPLE_main
 374   arity:   0
 375   pred nodes:
 376     -1:    Block 20
 377   Private Attributes:
 378 "
 379 color: blue}
 380 edge: { sourcename: "n77" targetname: "n20" class:2  priority:50 linestyle:dotted}
 381 edge: {sourcename: "n23" targetname: "n26" color: red linestyle: dashed}
 382 edge: {sourcename: "n23" targetname: "n29" color: red linestyle: dashed}
 383 edge: {sourcename: "n26" targetname: "n32" color: red linestyle: dashed}
 384 edge: {sourcename: "n26" targetname: "n22" color: red linestyle: dashed}
 385 edge: {sourcename: "n32" targetname: "n35" color: red linestyle: dashed}
 386 edge: {sourcename: "n35" targetname: "n38" color: red linestyle: dashed}
 387 edge: {sourcename: "n38" targetname: "n45" color: red linestyle: dashed}
 388 edge: {sourcename: "n38" targetname: "n43" color: red linestyle: dashed}
 389 edge: {sourcename: "n38" targetname: "n42" color: red linestyle: dashed}
 390 edge: {sourcename: "n38" targetname: "n41" color: red linestyle: dashed}
 391 edge: {sourcename: "n38" targetname: "n44" color: red linestyle: dashed}
 392 edge: {sourcename: "n38" targetname: "n58" color: red linestyle: dashed}
 393 edge: {sourcename: "n38" targetname: "n53" color: red linestyle: dashed}
 394 edge: {sourcename: "n45" targetname: "n46" color: red linestyle: dashed}
 395 edge: {sourcename: "n46" targetname: "n47" color: red linestyle: dashed}
 396 edge: {sourcename: "n47" targetname: "n38" color: red linestyle: dashed}
 397 edge: {sourcename: "n43" targetname: "n45" color: red linestyle: dashed}
 398 edge: {sourcename: "n43" targetname: "n44" color: red linestyle: dashed}
 399 edge: {sourcename: "n44" targetname: "n60" color: red linestyle: dashed}
 400 edge: {sourcename: "n60" targetname: "n76" color: red linestyle: dashed}
 401 edge: {sourcename: "n60" targetname: "n65" color: red linestyle: dashed}
 402 edge: {sourcename: "n76" targetname: "n20" color: red linestyle: dashed}
 403 edge: {sourcename: "n20" targetname: "n77" color: red linestyle: dashed}
 404 edge: {sourcename: "n65" targetname: "n76" color: red linestyle: dashed}
 405 edge: {sourcename: "n42" targetname: "n43" color: red linestyle: dashed}
 406 edge: {sourcename: "n41" targetname: "n42" color: red linestyle: dashed}
 407 edge: {sourcename: "n58" targetname: "n53" color: red linestyle: dashed}
 408 edge: {sourcename: "n58" targetname: "n65" color: red linestyle: dashed}
 409 edge: {sourcename: "n53" targetname: "n58" color: red linestyle: dashed}
 410 edge: {sourcename: "n53" targetname: "n65" color: red linestyle: dashed}
 411 edge: {sourcename: "n22" targetname: "n26" color: red linestyle: dashed}
 412 edge: {sourcename: "n22" targetname: "n23" color: red linestyle: dashed}
 413 edge: {sourcename: "n22" targetname: "n39" color: red linestyle: dashed}
 414 edge: {sourcename: "n22" targetname: "n29" color: red linestyle: dashed}
 415 edge: {sourcename: "n22" targetname: "n33" color: red linestyle: dashed}
 416 edge: {sourcename: "n22" targetname: "n34" color: red linestyle: dashed}
 417 edge: {sourcename: "n39" targetname: "n41" color: red linestyle: dashed}
 418 edge: {sourcename: "n39" targetname: "n41" color: red linestyle: dashed}
 419 edge: {sourcename: "n29" targetname: "n76" color: red linestyle: dashed}
 420 edge: {sourcename: "n33" targetname: "n58" color: red linestyle: dashed}
 421 edge: {sourcename: "n34" targetname: "n53" color: red linestyle: dashed}
 422 }