nsz Git - libfirm/blob - testprograms/ref-results/OO_PROGRAM_EXAMPLE_main-ip.vcg

   1 graph: { title: "ir graph of OO_PROGRAM_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 graph: { title: "g39" label: "OO_PROGRAM_EXAMPLE_main" status:clustered color:white
  56 graph: { title: "n28"  label: "Block 28" status:clustered color:yellow
  57 edge: {sourcename: "n28" targetname: "n59" label: "0" class:13 priority:60 color:red}
  58 node: {title: "n109" label: "End OO_PROGRAM_EXAMPLE_main  109"  info1: "mode:    X
  59 visited: 34
  60 irg:     OO_PROGRAM_EXAMPLE_main
  61 arity: 2
  62 "color: blue}
  63 }
  64
  65 graph: { title: "n40"  label: "Block 40" status:clustered color:yellow
  66 edge: {sourcename: "n40" targetname: "n200" label: "0" class:13 priority:60 color:red}
  67 node: {title: "n59" label: "Return  59"  info1: "mode:    X
  68 visited: 34
  69 irg:     OO_PROGRAM_EXAMPLE_main
  70 arity: 2
  71 "}
  72 edge: {sourcename: "n59" targetname: "n202" label: "0" class:14 priority:50 color:blue}
  73 edge: {sourcename: "n59" targetname: "n203" label: "1" class:1  priority:50}
  74 node: {title: "n202" label: "FilterM 0 202"  info1: "mode:    M
  75 visited: 34
  76 irg:     OO_PROGRAM_EXAMPLE_main
  77 arity: 1 backedges:
  78 intra predecessor nodes:
  79   CallT 54
  80 "color: yellow}
  81 edge: {sourcename: "n202" targetname: "n104" label: "0" class:17 priority:10 color:blue}
  82 node: {title: "n203" label: "FilterIs 0 203"  info1: "mode:    Is
  83 visited: 34
  84 irg:     OO_PROGRAM_EXAMPLE_main
  85 arity: 1 backedges:
  86 intra predecessor nodes:
  87   ProjT 57
  88 "color: yellow}
  89 edge: {sourcename: "n203" targetname: "n106" label: "0" class:16 priority:10}
  90 }
  91
  92 graph: { title: "n197"  label: "Block 197" status:clustered color:yellow
  93 edge: {sourcename: "n197" targetname: "n194" label: "0" class:13 priority:60 color:red}
  94 node: {title: "n196" label: "FilterM 0 196"  info1: "mode:    M
  95 visited: 34
  96 irg:     OO_PROGRAM_EXAMPLE_main
  97 arity: 1 backedges:
  98 intra predecessor nodes:
  99   CallT 50
 100 "color: yellow}
 101 edge: {sourcename: "n196" targetname: "n81" label: "0" class:17 priority:10 color:blue}
 102 node: {title: "n201" label: "ProjX 0 201"  info1: "mode:    X
 103 visited: 34
 104 irg:     OO_PROGRAM_EXAMPLE_main
 105 arity: 1
 106 "color: yellow}
 107 edge: {sourcename: "n201" targetname: "n199" label: "0" class:13 priority:60 color:red}
 108 node: {title: "n199" label: "CallBegin c  199"  info1: "mode:    T
 109 visited: 34
 110 irg:     OO_PROGRAM_EXAMPLE_main
 111 arity: 1
 112 Call: 54
 113 possible callees:
 114   0: PRIMA_c
 115 "}
 116 node: {title: "n199n174" label: "SymC &c  174"  info1: "mode:    P
 117 visited: 34
 118 irg:     OO_PROGRAM_EXAMPLE_main
 119 arity: 0
 120 kind addr_ent
 121 entity PRIMA.c (23)
 122
 123 SymConst of type type_unknown
 124 "}
 125 edge: {sourcename: "n199" targetname: "n199n174" label: "0" class:16 priority:10}
 126 }
 127
 128 graph: { title: "n191"  label: "Block 191" status:clustered color:yellow
 129 edge: {sourcename: "n191" targetname: "n34" label: "0" class:13 priority:60 color:red}
 130 node: {title: "n47" label: "ProjM 0 47"  info1: "mode:    M
 131 visited: 34
 132 irg:     OO_PROGRAM_EXAMPLE_main
 133 arity: 1
 134 "color: yellow}
 135 edge: {sourcename: "n47" targetname: "n45" label: "0" class:17 priority:10 color:blue}
 136 node: {title: "n48" label: "ProjP 2 48"  info1: "mode:    P
 137 visited: 34
 138 irg:     OO_PROGRAM_EXAMPLE_main
 139 arity: 1
 140 "color: yellow}
 141 edge: {sourcename: "n48" targetname: "n45" label: "0" class:1  priority:50}
 142 node: {title: "n45" label: "Alloc  45"  info1: "mode:    T
 143 visited: 34
 144 irg:     OO_PROGRAM_EXAMPLE_main
 145 arity: 2
 146 allocating entity of type PRIMA
 147 "}
 148 node: {title: "n45n43" label: "SymC PRIMA size  43"  info1: "mode:    Iu
 149 visited: 34
 150 irg:     OO_PROGRAM_EXAMPLE_main
 151 arity: 0
 152 kind size
 153 SymConst of type type_unknown
 154 "}
 155 edge: {sourcename: "n45" targetname: "n37" label: "0" class:17 priority:10 color:blue}
 156 edge: {sourcename: "n45" targetname: "n45n43" label: "1" class:16 priority:10}
 157 node: {title: "n195" label: "ProjX 0 195"  info1: "mode:    X
 158 visited: 34
 159 irg:     OO_PROGRAM_EXAMPLE_main
 160 arity: 1
 161 "color: yellow}
 162 edge: {sourcename: "n195" targetname: "n193" label: "0" class:13 priority:60 color:red}
 163 node: {title: "n193" label: "CallBegin set_a  193"  info1: "mode:    T
 164 visited: 34
 165 irg:     OO_PROGRAM_EXAMPLE_main
 166 arity: 1
 167 Call: 50
 168 possible callees:
 169   0: PRIMA_set_a
 170 "}
 171 node: {title: "n193n175" label: "SymC &set_a  175"  info1: "mode:    P
 172 visited: 34
 173 irg:     OO_PROGRAM_EXAMPLE_main
 174 arity: 0
 175 kind addr_ent
 176 entity PRIMA.set_a (20)
 177
 178 SymConst of type type_unknown
 179 "}
 180 edge: {sourcename: "n193" targetname: "n193n175" label: "0" class:16 priority:10}
 181 }
 182
 183 graph: { title: "n30"  label: "Block 30" status:clustered color:yellow
 184 edge: {sourcename: "n30" targetname: "n34" label: "0" class:13 priority:60 color:red}
 185 node: {title: "n37" label: "ProjM 1 37"  info1: "mode:    M
 186 visited: 34
 187 irg:     OO_PROGRAM_EXAMPLE_main
 188 arity: 1
 189 "color: yellow}
 190 edge: {sourcename: "n37" targetname: "n31" label: "0" class:17 priority:10 color:blue}
 191 node: {title: "n34" label: "ProjX 0 34"  info1: "mode:    X
 192 visited: 34
 193 irg:     OO_PROGRAM_EXAMPLE_main
 194 arity: 1
 195 "color: yellow}
 196 edge: {sourcename: "n34" targetname: "n31" label: "0" class:13 priority:60 color:red}
 197 node: {title: "n31" label: "Start OO_PROGRAM_EXAMPLE_main  31"  info1: "mode:    T
 198 visited: 34
 199 irg:     OO_PROGRAM_EXAMPLE_main
 200 arity: 0
 201 start of method of type OO_PROGRAM_EXAMPLE_main
 202 "color: blue}
 203 }
 204
 205 }
 206
 207 graph: { title: "g73" label: "PRIMA_set_a" status:clustered color:white
 208 graph: { title: "n188"  label: "Block 188" status:clustered color:yellow
 209 edge: {sourcename: "n188" targetname: "n187" label: "0" class:13 priority:60 color:red}
 210 node: {title: "n194" label: "ProjX 0 194"  info1: "mode:    X
 211 visited: 34
 212 irg:     PRIMA_set_a
 213 arity: 1
 214 "color: yellow}
 215 edge: {sourcename: "n194" targetname: "n189" label: "0" class:13 priority:60 color:red}
 216 node: {title: "n189" label: "EndReg PRIMA_set_a  189"  info1: "mode:    T
 217 visited: 34
 218 irg:     PRIMA_set_a
 219 arity: 0
 220 "color: blue}
 221 }
 222
 223 graph: { title: "n74"  label: "Block 74" status:clustered color:yellow
 224 edge: {sourcename: "n74" targetname: "n68" label: "0" class:13 priority:60 color:red}
 225 node: {title: "n81" label: "ProjM 0 81"  info1: "mode:    M
 226 visited: 34
 227 irg:     PRIMA_set_a
 228 arity: 1
 229 "color: yellow}
 230 edge: {sourcename: "n81" targetname: "n79" label: "0" class:17 priority:10 color:blue}
 231 node: {title: "n79" label: "Store  79"  info1: "mode:    T
 232 visited: 34
 233 irg:     PRIMA_set_a
 234 arity: 3
 235 volatility: volatility_non_volatile
 236 "}
 237 edge: {sourcename: "n79" targetname: "n184" label: "0" class:17 priority:10 color:blue}
 238 edge: {sourcename: "n79" targetname: "n78" label: "1" class:1  priority:50}
 239 edge: {sourcename: "n79" targetname: "n186" label: "2" class:16 priority:10}
 240 node: {title: "n78" label: "Sel a 78"  info1: "mode:    P
 241 visited: 34
 242 irg:     PRIMA_set_a
 243 arity: 2
 244 Selecting entity of type int
 245   from entity of type PRIMA
 246 "}
 247 edge: {sourcename: "n78" targetname: "n184" label: "0" class:17 priority:10 color:blue}
 248 edge: {sourcename: "n78" targetname: "n185" label: "1" class:16 priority:10}
 249 node: {title: "n187" label: "Jmp  187"  info1: "mode:    X
 250 visited: 34
 251 irg:     PRIMA_set_a
 252 arity: 0
 253 "}
 254 }
 255
 256 graph: { title: "n64"  label: "Block 64" status:clustered color:yellow
 257 edge: {sourcename: "n64" targetname: "n195" label: "0" class:13 priority:60 color:red}
 258 node: {title: "n184" label: "FilterM 1 184"  info1: "mode:    M
 259 visited: 34
 260 irg:     PRIMA_set_a
 261 arity: 1 backedges:
 262 intra predecessor nodes:
 263   StartT 65
 264 "color: yellow}
 265 edge: {sourcename: "n184" targetname: "n47" label: "0" class:17 priority:10 color:blue}
 266 node: {title: "n185" label: "FilterP 0 185"  info1: "mode:    P
 267 visited: 34
 268 irg:     PRIMA_set_a
 269 arity: 1 backedges:
 270 intra predecessor nodes:
 271   ProjT 72
 272 "color: yellow}
 273 edge: {sourcename: "n185" targetname: "n48" label: "0" class:16 priority:10}
 274 node: {title: "n186" label: "FilterIs 1 186"  info1: "mode:    Is
 275 visited: 34
 276 irg:     PRIMA_set_a
 277 arity: 1 backedges:
 278 intra predecessor nodes:
 279   ProjT 72
 280 "color: yellow}
 281 node: {title: "n186n41" label: "0x2Is  41"  info1: "mode:    Is
 282 visited: 34
 283 irg:     OO_PROGRAM_EXAMPLE_main
 284 arity: 0
 285 Const of type type_unknown
 286 "color: yellow}
 287 edge: {sourcename: "n186" targetname: "n186n41" label: "0" class:16 priority:10}
 288 node: {title: "n68" label: "ProjX 0 68"  info1: "mode:    X
 289 visited: 34
 290 irg:     PRIMA_set_a
 291 arity: 1
 292 "color: yellow}
 293 edge: {sourcename: "n68" targetname: "n65" label: "0" class:13 priority:60 color:red}
 294 node: {title: "n65" label: "Start PRIMA_set_a  65"  info1: "mode:    T
 295 visited: 34
 296 irg:     PRIMA_set_a
 297 arity: 0
 298 start of method of type set_a
 299   param 0 type: class_prima_ptr
 300   param 1 type: int
 301 "color: blue}
 302 }
 303
 304 }
 305
 306 graph: { title: "g96" label: "PRIMA_c" status:clustered color:white
 307 graph: { title: "n180"  label: "Block 180" status:clustered color:yellow
 308 edge: {sourcename: "n180" targetname: "n179" label: "0" class:13 priority:60 color:red}
 309 node: {title: "n200" label: "ProjX 0 200"  info1: "mode:    X
 310 visited: 34
 311 irg:     PRIMA_c
 312 arity: 1
 313 "color: yellow}
 314 edge: {sourcename: "n200" targetname: "n181" label: "0" class:13 priority:60 color:red}
 315 node: {title: "n181" label: "EndReg PRIMA_c  181"  info1: "mode:    T
 316 visited: 34
 317 irg:     PRIMA_c
 318 arity: 0
 319 "color: blue}
 320 }
 321
 322 graph: { title: "n97"  label: "Block 97" status:clustered color:yellow
 323 edge: {sourcename: "n97" targetname: "n91" label: "0" class:13 priority:60 color:red}
 324 node: {title: "n104" label: "ProjM 0 104"  info1: "mode:    M
 325 visited: 34
 326 irg:     PRIMA_c
 327 arity: 1
 328 "color: yellow}
 329 edge: {sourcename: "n104" targetname: "n102" label: "0" class:17 priority:10 color:blue}
 330 node: {title: "n106" label: "AddIs  106"  info1: "mode:    Is
 331 visited: 34
 332 irg:     PRIMA_c
 333 arity: 2
 334 "}
 335 edge: {sourcename: "n106" targetname: "n105" label: "0" class:1  priority:50}
 336 edge: {sourcename: "n106" targetname: "n178" label: "1" class:16 priority:10}
 337 node: {title: "n105" label: "ProjIs 2 105"  info1: "mode:    Is
 338 visited: 34
 339 irg:     PRIMA_c
 340 arity: 1
 341 "color: yellow}
 342 edge: {sourcename: "n105" targetname: "n102" label: "0" class:1  priority:50}
 343 node: {title: "n102" label: "Load[Is]  102"  info1: "mode:    T
 344 visited: 34
 345 irg:     PRIMA_c
 346 arity: 2
 347 volatility: volatility_non_volatile
 348 "}
 349 edge: {sourcename: "n102" targetname: "n176" label: "0" class:17 priority:10 color:blue}
 350 edge: {sourcename: "n102" targetname: "n101" label: "1" class:1  priority:50}
 351 node: {title: "n101" label: "Sel a 101"  info1: "mode:    P
 352 visited: 34
 353 irg:     PRIMA_c
 354 arity: 2
 355 Selecting entity of type int
 356   from entity of type PRIMA
 357 "}
 358 edge: {sourcename: "n101" targetname: "n176" label: "0" class:17 priority:10 color:blue}
 359 edge: {sourcename: "n101" targetname: "n177" label: "1" class:16 priority:10}
 360 node: {title: "n179" label: "Jmp  179"  info1: "mode:    X
 361 visited: 34
 362 irg:     PRIMA_c
 363 arity: 0
 364 "}
 365 }
 366
 367 graph: { title: "n87"  label: "Block 87" status:clustered color:yellow
 368 edge: {sourcename: "n87" targetname: "n201" label: "0" class:13 priority:60 color:red}
 369 node: {title: "n176" label: "FilterM 1 176"  info1: "mode:    M
 370 visited: 34
 371 irg:     PRIMA_c
 372 arity: 1 backedges:
 373 intra predecessor nodes:
 374   StartT 88
 375 "color: yellow}
 376 edge: {sourcename: "n176" targetname: "n196" label: "0" class:17 priority:10 color:blue}
 377 node: {title: "n177" label: "FilterP 0 177"  info1: "mode:    P
 378 visited: 34
 379 irg:     PRIMA_c
 380 arity: 1 backedges:
 381 intra predecessor nodes:
 382   ProjT 95
 383 "color: yellow}
 384 edge: {sourcename: "n177" targetname: "n48" label: "0" class:16 priority:10}
 385 node: {title: "n178" label: "FilterIs 1 178"  info1: "mode:    Is
 386 visited: 34
 387 irg:     PRIMA_c
 388 arity: 1 backedges:
 389 intra predecessor nodes:
 390   ProjT 95
 391 "color: yellow}
 392 node: {title: "n178n42" label: "0x5Is  42"  info1: "mode:    Is
 393 visited: 34
 394 irg:     OO_PROGRAM_EXAMPLE_main
 395 arity: 0
 396 Const of type type_unknown
 397 "color: yellow}
 398 edge: {sourcename: "n178" targetname: "n178n42" label: "0" class:16 priority:10}
 399 node: {title: "n91" label: "ProjX 0 91"  info1: "mode:    X
 400 visited: 34
 401 irg:     PRIMA_c
 402 arity: 1
 403 "color: yellow}
 404 edge: {sourcename: "n91" targetname: "n88" label: "0" class:13 priority:60 color:red}
 405 node: {title: "n88" label: "Start PRIMA_c  88"  info1: "mode:    T
 406 visited: 34
 407 irg:     PRIMA_c
 408 arity: 0
 409 start of method of type c
 410   param 0 type: class_prima_ptr
 411   param 1 type: int
 412 "color: blue}
 413 }
 414
 415 }
 416
 417 }