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

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