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