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

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