nsz Git - libfirm/blob - testprograms/ref-results/OO_PROGRAM_EXAMPLE_main-pure-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 14: "intrablock Memory"
  12 classname 17: "interblock Memory"
  13 classname 15: "Dominators"
  14 classname 3:  "Entity type"
  15 classname 4:  "Entity owner"
  16 classname 5:  "Method Param"
  17 classname 6:  "Method Res"
  18 classname 7:  "Super"
  19 classname 8:  "Union"
  20 classname 9:  "Points-to"
  21 classname 10: "Array Element Type"
  22 classname 11: "Overwrites"
  23 classname 12: "Member"
  24 infoname 1: "Attribute"
  25 infoname 2: "Verification errors"
  26
  27 node: {title: "n109" label: "Block  109"  info1: "mode:    BB
  28 visited: 32
  29 irg:     OO_PROGRAM_EXAMPLE_main
  30 arity: 1 backedges:
  31 "color: lightyellow}
  32 edge: {sourcename: "n109" targetname: "n108" label: "0" class:13 priority:60 color:red}
  33 node: {title: "n110" label: "Start OO_PROGRAM_EXAMPLE_main  110"  info1: "mode:    T
  34 visited: 32
  35 irg:     OO_PROGRAM_EXAMPLE_main
  36 arity: 0
  37 start of method of type OO_PROGRAM_EXAMPLE_main
  38 "color: blue}
  39 edge: { sourcename: "n110" targetname: "n109" class:2  priority:50 linestyle:dotted}
  40 node: {title: "n108" label: "ProjX 0 108"  info1: "mode:    X
  41 visited: 32
  42 irg:     OO_PROGRAM_EXAMPLE_main
  43 arity: 1
  44 "color: yellow}
  45 edge: {sourcename: "n108" targetname: "n110" label: "0" class:13 priority:60 color:red}
  46 edge: { sourcename: "n108" targetname: "n109" class:2  priority:50 linestyle:dotted}
  47 node: {title: "n182" label: "Block  182"  info1: "mode:    BB
  48 visited: 32
  49 irg:     OO_PROGRAM_EXAMPLE_main
  50 arity: 1 backedges:
  51 "color: lightyellow}
  52 edge: {sourcename: "n182" targetname: "n108" label: "0" class:13 priority:60 color:red}
  53 node: {title: "n184" label: "CallBegin  184"  info1: "mode:    T
  54 visited: 32
  55 irg:     OO_PROGRAM_EXAMPLE_main
  56 arity: 1
  57 possible callees:
  58   0: PRIMA_set_a
  59 "}
  60 node: {title: "n184n166" label: "SymC &set_a  166"  info1: "mode:    P
  61 visited: 32
  62 irg:     OO_PROGRAM_EXAMPLE_main
  63 arity: 0
  64 "}
  65 edge: {sourcename: "n184" targetname: "n184n166" label: "0" class:16 priority:10}
  66 edge: { sourcename: "n184" targetname: "n182" class:2  priority:50 linestyle:dotted}
  67 node: {title: "n186" label: "ProjX 0 186"  info1: "mode:    X
  68 visited: 32
  69 irg:     OO_PROGRAM_EXAMPLE_main
  70 arity: 1
  71 "color: yellow}
  72 edge: {sourcename: "n186" targetname: "n184" label: "0" class:13 priority:60 color:red}
  73 edge: { sourcename: "n186" targetname: "n182" class:2  priority:50 linestyle:dotted}
  74 node: {title: "n135" label: "Block  135"  info1: "mode:    BB
  75 visited: 32
  76 irg:     PRIMA_set_a
  77 arity: 1 backedges:
  78 "color: lightyellow}
  79 edge: {sourcename: "n135" targetname: "n186" label: "0" class:13 priority:60 color:red}
  80 node: {title: "n136" label: "Start PRIMA_set_a  136"  info1: "mode:    T
  81 visited: 32
  82 irg:     PRIMA_set_a
  83 arity: 0
  84 start of method of type set_a
  85   param 0 type: class_prima_ptr
  86   param 1 type: int
  87 "color: blue}
  88 edge: { sourcename: "n136" targetname: "n135" class:2  priority:50 linestyle:dotted}
  89 node: {title: "n134" label: "ProjX 0 134"  info1: "mode:    X
  90 visited: 32
  91 irg:     PRIMA_set_a
  92 arity: 1
  93 "color: yellow}
  94 edge: {sourcename: "n134" targetname: "n136" label: "0" class:13 priority:60 color:red}
  95 edge: { sourcename: "n134" targetname: "n135" class:2  priority:50 linestyle:dotted}
  96 node: {title: "n133" label: "Block  133"  info1: "mode:    BB
  97 visited: 32
  98 irg:     PRIMA_set_a
  99 arity: 1 backedges:
 100 "color: lightyellow}
 101 edge: {sourcename: "n133" targetname: "n134" label: "0" class:13 priority:60 color:red}
 102 node: {title: "n178" label: "Jmp  178"  info1: "mode:    X
 103 visited: 32
 104 irg:     PRIMA_set_a
 105 arity: 0
 106 "}
 107 edge: { sourcename: "n178" targetname: "n133" class:2  priority:50 linestyle:dotted}
 108 node: {title: "n179" label: "Block  179"  info1: "mode:    BB
 109 visited: 32
 110 irg:     PRIMA_set_a
 111 arity: 1 backedges:
 112 "color: lightyellow}
 113 edge: {sourcename: "n179" targetname: "n178" label: "0" class:13 priority:60 color:red}
 114 node: {title: "n180" label: "EndReg  180"  info1: "mode:    T
 115 visited: 32
 116 irg:     PRIMA_set_a
 117 arity: 0
 118 "color: blue}
 119 edge: { sourcename: "n180" targetname: "n179" class:2  priority:50 linestyle:dotted}
 120 node: {title: "n185" label: "ProjX 0 185"  info1: "mode:    X
 121 visited: 32
 122 irg:     PRIMA_set_a
 123 arity: 1
 124 "color: yellow}
 125 edge: {sourcename: "n185" targetname: "n180" label: "0" class:13 priority:60 color:red}
 126 edge: { sourcename: "n185" targetname: "n179" class:2  priority:50 linestyle:dotted}
 127 node: {title: "n188" label: "Block  188"  info1: "mode:    BB
 128 visited: 32
 129 irg:     OO_PROGRAM_EXAMPLE_main
 130 arity: 1 backedges:
 131 "color: lightyellow}
 132 edge: {sourcename: "n188" targetname: "n185" label: "0" class:13 priority:60 color:red}
 133 node: {title: "n190" label: "CallBegin  190"  info1: "mode:    T
 134 visited: 32
 135 irg:     OO_PROGRAM_EXAMPLE_main
 136 arity: 1
 137 possible callees:
 138   0: PRIMA_c
 139 "}
 140 node: {title: "n190n165" label: "SymC &c  165"  info1: "mode:    P
 141 visited: 32
 142 irg:     OO_PROGRAM_EXAMPLE_main
 143 arity: 0
 144 "}
 145 edge: {sourcename: "n190" targetname: "n190n165" label: "0" class:16 priority:10}
 146 edge: { sourcename: "n190" targetname: "n188" class:2  priority:50 linestyle:dotted}
 147 node: {title: "n192" label: "ProjX 0 192"  info1: "mode:    X
 148 visited: 32
 149 irg:     OO_PROGRAM_EXAMPLE_main
 150 arity: 1
 151 "color: yellow}
 152 edge: {sourcename: "n192" targetname: "n190" label: "0" class:13 priority:60 color:red}
 153 edge: { sourcename: "n192" targetname: "n188" class:2  priority:50 linestyle:dotted}
 154 node: {title: "n152" label: "Block  152"  info1: "mode:    BB
 155 visited: 32
 156 irg:     PRIMA_c
 157 arity: 1 backedges:
 158 "color: lightyellow}
 159 edge: {sourcename: "n152" targetname: "n192" label: "0" class:13 priority:60 color:red}
 160 node: {title: "n153" label: "Start PRIMA_c  153"  info1: "mode:    T
 161 visited: 32
 162 irg:     PRIMA_c
 163 arity: 0
 164 start of method of type c
 165   param 0 type: class_prima_ptr
 166   param 1 type: int
 167 "color: blue}
 168 edge: { sourcename: "n153" targetname: "n152" class:2  priority:50 linestyle:dotted}
 169 node: {title: "n151" label: "ProjX 0 151"  info1: "mode:    X
 170 visited: 32
 171 irg:     PRIMA_c
 172 arity: 1
 173 "color: yellow}
 174 edge: {sourcename: "n151" targetname: "n153" label: "0" class:13 priority:60 color:red}
 175 edge: { sourcename: "n151" targetname: "n152" class:2  priority:50 linestyle:dotted}
 176 node: {title: "n150" label: "Block  150"  info1: "mode:    BB
 177 visited: 32
 178 irg:     PRIMA_c
 179 arity: 1 backedges:
 180 "color: lightyellow}
 181 edge: {sourcename: "n150" targetname: "n151" label: "0" class:13 priority:60 color:red}
 182 node: {title: "n170" label: "Jmp  170"  info1: "mode:    X
 183 visited: 32
 184 irg:     PRIMA_c
 185 arity: 0
 186 "}
 187 edge: { sourcename: "n170" targetname: "n150" class:2  priority:50 linestyle:dotted}
 188 node: {title: "n171" label: "Block  171"  info1: "mode:    BB
 189 visited: 32
 190 irg:     PRIMA_c
 191 arity: 1 backedges:
 192 "color: lightyellow}
 193 edge: {sourcename: "n171" targetname: "n170" label: "0" class:13 priority:60 color:red}
 194 node: {title: "n172" label: "EndReg  172"  info1: "mode:    T
 195 visited: 32
 196 irg:     PRIMA_c
 197 arity: 0
 198 "color: blue}
 199 edge: { sourcename: "n172" targetname: "n171" class:2  priority:50 linestyle:dotted}
 200 node: {title: "n191" label: "ProjX 0 191"  info1: "mode:    X
 201 visited: 32
 202 irg:     PRIMA_c
 203 arity: 1
 204 "color: yellow}
 205 edge: {sourcename: "n191" targetname: "n172" label: "0" class:13 priority:60 color:red}
 206 edge: { sourcename: "n191" targetname: "n171" class:2  priority:50 linestyle:dotted}
 207 node: {title: "n107" label: "Block  107"  info1: "mode:    BB
 208 visited: 32
 209 irg:     OO_PROGRAM_EXAMPLE_main
 210 arity: 1 backedges:
 211 "color: lightyellow}
 212 edge: {sourcename: "n107" targetname: "n191" label: "0" class:13 priority:60 color:red}
 213 node: {title: "n167" label: "FilterIs 1 167"  info1: "mode:    Is
 214 visited: 32
 215 irg:     PRIMA_c
 216 arity: 1 backedges:
 217 intra predecessor nodes:
 218   ProjT 159
 219 "color: yellow}
 220 node: {title: "n167n114" label: "0x5Is  114"  info1: "mode:    Is
 221 visited: 32
 222 irg:     OO_PROGRAM_EXAMPLE_main
 223 arity: 0
 224 Const of type type_unknown
 225 "color: yellow}
 226 edge: {sourcename: "n167" targetname: "n167n114" label: "0" class:16 priority:10}
 227 edge: { sourcename: "n167" targetname: "n152" class:2  priority:50 linestyle:dotted}
 228 node: {title: "n118" label: "ProjM 1 118"  info1: "mode:    M
 229 visited: 32
 230 irg:     OO_PROGRAM_EXAMPLE_main
 231 arity: 1
 232 "color: yellow}
 233 edge: {sourcename: "n118" targetname: "n110" label: "0" class:17 priority:10 color:blue}
 234 edge: { sourcename: "n118" targetname: "n109" class:2  priority:50 linestyle:dotted}
 235 node: {title: "n116" label: "Alloc  116"  info1: "mode:    T
 236 visited: 32
 237 irg:     OO_PROGRAM_EXAMPLE_main
 238 arity: 2
 239 allocating entity of type PRIMA
 240 "}
 241 node: {title: "n116n117" label: "SymC PRIMA size  117"  info1: "mode:    Iu
 242 visited: 32
 243 irg:     OO_PROGRAM_EXAMPLE_main
 244 arity: 0
 245 "}
 246 edge: {sourcename: "n116" targetname: "n118" label: "0" class:17 priority:10 color:blue}
 247 edge: {sourcename: "n116" targetname: "n116n117" label: "1" class:16 priority:10}
 248 edge: { sourcename: "n116" targetname: "n182" class:2  priority:50 linestyle:dotted}
 249 node: {title: "n115" label: "ProjP 2 115"  info1: "mode:    P
 250 visited: 32
 251 irg:     OO_PROGRAM_EXAMPLE_main
 252 arity: 1
 253 "color: yellow}
 254 edge: {sourcename: "n115" targetname: "n116" label: "0" class:1  priority:50}
 255 edge: { sourcename: "n115" targetname: "n182" class:2  priority:50 linestyle:dotted}
 256 node: {title: "n169" label: "FilterP 0 169"  info1: "mode:    P
 257 visited: 32
 258 irg:     PRIMA_c
 259 arity: 1 backedges:
 260 intra predecessor nodes:
 261   ProjT 159
 262 "color: yellow}
 263 edge: {sourcename: "n169" targetname: "n115" label: "0" class:16 priority:10}
 264 edge: { sourcename: "n169" targetname: "n152" class:2  priority:50 linestyle:dotted}
 265 node: {title: "n177" label: "FilterIs 1 177"  info1: "mode:    Is
 266 visited: 32
 267 irg:     PRIMA_set_a
 268 arity: 1 backedges:
 269 intra predecessor nodes:
 270   ProjT 140
 271 "color: yellow}
 272 node: {title: "n177n122" label: "0x2Is  122"  info1: "mode:    Is
 273 visited: 32
 274 irg:     OO_PROGRAM_EXAMPLE_main
 275 arity: 0
 276 Const of type type_unknown
 277 "color: yellow}
 278 edge: {sourcename: "n177" targetname: "n177n122" label: "0" class:16 priority:10}
 279 edge: { sourcename: "n177" targetname: "n135" class:2  priority:50 linestyle:dotted}
 280 node: {title: "n176" label: "FilterP 0 176"  info1: "mode:    P
 281 visited: 32
 282 irg:     PRIMA_set_a
 283 arity: 1 backedges:
 284 intra predecessor nodes:
 285   ProjT 140
 286 "color: yellow}
 287 edge: {sourcename: "n176" targetname: "n115" label: "0" class:16 priority:10}
 288 edge: { sourcename: "n176" targetname: "n135" class:2  priority:50 linestyle:dotted}
 289 node: {title: "n124" label: "ProjM 0 124"  info1: "mode:    M
 290 visited: 32
 291 irg:     OO_PROGRAM_EXAMPLE_main
 292 arity: 1
 293 "color: yellow}
 294 edge: {sourcename: "n124" targetname: "n116" label: "0" class:17 priority:10 color:blue}
 295 edge: { sourcename: "n124" targetname: "n182" class:2  priority:50 linestyle:dotted}
 296 node: {title: "n175" label: "FilterM 1 175"  info1: "mode:    M
 297 visited: 32
 298 irg:     PRIMA_set_a
 299 arity: 1 backedges:
 300 intra predecessor nodes:
 301   StartT 136
 302 "color: yellow}
 303 edge: {sourcename: "n175" targetname: "n124" label: "0" class:17 priority:10 color:blue}
 304 edge: { sourcename: "n175" targetname: "n135" class:2  priority:50 linestyle:dotted}
 305 node: {title: "n141" label: "Sel a 141"  info1: "mode:    P
 306 visited: 32
 307 irg:     PRIMA_set_a
 308 arity: 2
 309 Selecting entity of type int
 310   from entity of type PRIMA
 311 "}
 312 edge: {sourcename: "n141" targetname: "n175" label: "0" class:17 priority:10 color:blue}
 313 edge: {sourcename: "n141" targetname: "n176" label: "1" class:16 priority:10}
 314 edge: { sourcename: "n141" targetname: "n133" class:2  priority:50 linestyle:dotted}
 315 node: {title: "n138" label: "Store  138"  info1: "mode:    T
 316 visited: 32
 317 irg:     PRIMA_set_a
 318 arity: 3
 319 "}
 320 edge: {sourcename: "n138" targetname: "n175" label: "0" class:17 priority:10 color:blue}
 321 edge: {sourcename: "n138" targetname: "n141" label: "1" class:1  priority:50}
 322 edge: {sourcename: "n138" targetname: "n177" label: "2" class:16 priority:10}
 323 edge: { sourcename: "n138" targetname: "n133" class:2  priority:50 linestyle:dotted}
 324 node: {title: "n137" label: "ProjM 0 137"  info1: "mode:    M
 325 visited: 32
 326 irg:     PRIMA_set_a
 327 arity: 1
 328 "color: yellow}
 329 edge: {sourcename: "n137" targetname: "n138" label: "0" class:17 priority:10 color:blue}
 330 edge: { sourcename: "n137" targetname: "n133" class:2  priority:50 linestyle:dotted}
 331 node: {title: "n187" label: "FilterM 0 187"  info1: "mode:    M
 332 visited: 32
 333 irg:     OO_PROGRAM_EXAMPLE_main
 334 arity: 1 backedges:
 335 intra predecessor nodes:
 336   CallT 121
 337 "color: yellow}
 338 edge: {sourcename: "n187" targetname: "n137" label: "0" class:17 priority:10 color:blue}
 339 edge: { sourcename: "n187" targetname: "n188" class:2  priority:50 linestyle:dotted}
 340 node: {title: "n168" label: "FilterM 1 168"  info1: "mode:    M
 341 visited: 32
 342 irg:     PRIMA_c
 343 arity: 1 backedges:
 344 intra predecessor nodes:
 345   StartT 153
 346 "color: yellow}
 347 edge: {sourcename: "n168" targetname: "n187" label: "0" class:17 priority:10 color:blue}
 348 edge: { sourcename: "n168" targetname: "n152" class:2  priority:50 linestyle:dotted}
 349 node: {title: "n157" label: "Sel a 157"  info1: "mode:    P
 350 visited: 32
 351 irg:     PRIMA_c
 352 arity: 2
 353 Selecting entity of type int
 354   from entity of type PRIMA
 355 "}
 356 edge: {sourcename: "n157" targetname: "n168" label: "0" class:17 priority:10 color:blue}
 357 edge: {sourcename: "n157" targetname: "n169" label: "1" class:16 priority:10}
 358 edge: { sourcename: "n157" targetname: "n150" class:2  priority:50 linestyle:dotted}
 359 node: {title: "n156" label: "Load  156"  info1: "mode:    T
 360 visited: 32
 361 irg:     PRIMA_c
 362 arity: 2
 363 "}
 364 edge: {sourcename: "n156" targetname: "n168" label: "0" class:17 priority:10 color:blue}
 365 edge: {sourcename: "n156" targetname: "n157" label: "1" class:1  priority:50}
 366 edge: { sourcename: "n156" targetname: "n150" class:2  priority:50 linestyle:dotted}
 367 node: {title: "n155" label: "ProjIs 2 155"  info1: "mode:    Is
 368 visited: 32
 369 irg:     PRIMA_c
 370 arity: 1
 371 "color: yellow}
 372 edge: {sourcename: "n155" targetname: "n156" label: "0" class:1  priority:50}
 373 edge: { sourcename: "n155" targetname: "n150" class:2  priority:50 linestyle:dotted}
 374 node: {title: "n154" label: "AddIs  154"  info1: "mode:    Is
 375 visited: 32
 376 irg:     PRIMA_c
 377 arity: 2
 378 "}
 379 edge: {sourcename: "n154" targetname: "n155" label: "0" class:1  priority:50}
 380 edge: {sourcename: "n154" targetname: "n167" label: "1" class:16 priority:10}
 381 edge: { sourcename: "n154" targetname: "n150" class:2  priority:50 linestyle:dotted}
 382 node: {title: "n194" label: "FilterIs 0 194"  info1: "mode:    Is
 383 visited: 32
 384 irg:     OO_PROGRAM_EXAMPLE_main
 385 arity: 1 backedges:
 386 intra predecessor nodes:
 387   ProjT 112
 388 "color: yellow}
 389 edge: {sourcename: "n194" targetname: "n154" label: "0" class:16 priority:10}
 390 edge: { sourcename: "n194" targetname: "n107" class:2  priority:50 linestyle:dotted}
 391 node: {title: "n162" label: "ProjM 0 162"  info1: "mode:    M
 392 visited: 32
 393 irg:     PRIMA_c
 394 arity: 1
 395 "color: yellow}
 396 edge: {sourcename: "n162" targetname: "n156" label: "0" class:17 priority:10 color:blue}
 397 edge: { sourcename: "n162" targetname: "n150" class:2  priority:50 linestyle:dotted}
 398 node: {title: "n193" label: "FilterM 0 193"  info1: "mode:    M
 399 visited: 32
 400 irg:     OO_PROGRAM_EXAMPLE_main
 401 arity: 1 backedges:
 402 intra predecessor nodes:
 403   CallT 113
 404 "color: yellow}
 405 edge: {sourcename: "n193" targetname: "n162" label: "0" class:17 priority:10 color:blue}
 406 edge: { sourcename: "n193" targetname: "n107" class:2  priority:50 linestyle:dotted}
 407 node: {title: "n106" label: "Return  106"  info1: "mode:    X
 408 visited: 32
 409 irg:     OO_PROGRAM_EXAMPLE_main
 410 arity: 2
 411 "}
 412 edge: {sourcename: "n106" targetname: "n193" label: "0" class:14 priority:50 color:blue}
 413 edge: {sourcename: "n106" targetname: "n194" label: "1" class:1  priority:50}
 414 edge: { sourcename: "n106" targetname: "n107" class:2  priority:50 linestyle:dotted}
 415 node: {title: "n105" label: "Block  105"  info1: "mode:    BB
 416 visited: 32
 417 irg:     OO_PROGRAM_EXAMPLE_main
 418 arity: 1 backedges:
 419 "color: lightyellow}
 420 edge: {sourcename: "n105" targetname: "n106" label: "0" class:13 priority:60 color:red}
 421 node: {title: "n103" label: "End  103"  info1: "mode:    X
 422 visited: 32
 423 irg:     OO_PROGRAM_EXAMPLE_main
 424 arity: 2
 425 "color: blue}
 426 edge: { sourcename: "n103" targetname: "n105" class:2  priority:50 linestyle:dotted}
 427 }