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

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