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

   1 graph: { title: "ir graph of GlobalType_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: "visited: 32
  28 irg:     GlobalType_OO_PROGRAM_EXAMPLE_main
  29 arity: 1 backedges:
  30 " info2: "(is_Bad(pred) || is_Unknown(pred) || (get_irn_mode(pred) == mode_X) ) && Block node"color: lightyellow}
  31 edge: {sourcename: "n109" targetname: "n108" label: "0" class:13 priority:60 color:red}
  32 node: {title: "n110" label: "Start GlobalType_OO_PROGRAM_EXAMPLE_main  110"  info1: "visited: 32
  33 irg:     GlobalType_OO_PROGRAM_EXAMPLE_main
  34 arity: 0
  35 start of method of type OO_PROGRAM_EXAMPLE_main
  36 " info2: "mymode == mode_T && Start node"color: blue}
  37 edge: { sourcename: "n110" targetname: "n109" class:2  priority:50 linestyle:dotted}
  38 node: {title: "n108" label: "ProjX 0 108"  info1: "visited: 32
  39 irg:     GlobalType_OO_PROGRAM_EXAMPLE_main
  40 arity: 1
  41 "color: yellow}
  42 edge: {sourcename: "n108" targetname: "n110" label: "0" class:13 priority:60 color:red}
  43 edge: { sourcename: "n108" targetname: "n109" class:2  priority:50 linestyle:dotted}
  44 node: {title: "n182" label: "Block  182"  info1: "visited: 32
  45 irg:     GlobalType_OO_PROGRAM_EXAMPLE_main
  46 arity: 1 backedges:
  47 " info2: "(is_Bad(pred) || is_Unknown(pred) || (get_irn_mode(pred) == mode_X) ) && Block node"color: lightyellow}
  48 edge: {sourcename: "n182" targetname: "n108" label: "0" class:13 priority:60 color:red}
  49 node: {title: "n184" label: "CallBegin  184"  info1: "visited: 32
  50 irg:     GlobalType_OO_PROGRAM_EXAMPLE_main
  51 arity: 1
  52 possible callees:
  53   0: PRIMA_set_a
  54 "}
  55 node: {title: "n184n166" label: "&(PRIMA_set_a)P  166"  info1: "visited: 32
  56 irg:     GlobalType_OO_PROGRAM_EXAMPLE_main
  57 arity: 0
  58 Const of type type_unknown
  59 "color: yellow}
  60 edge: {sourcename: "n184" targetname: "n184n166" label: "0" class:16 priority:10}
  61 edge: { sourcename: "n184" targetname: "n182" class:2  priority:50 linestyle:dotted}
  62 node: {title: "n186" label: "ProjX 0 186"  info1: "visited: 32
  63 irg:     GlobalType_OO_PROGRAM_EXAMPLE_main
  64 arity: 1
  65 "color: yellow}
  66 edge: {sourcename: "n186" targetname: "n184" label: "0" class:13 priority:60 color:red}
  67 edge: { sourcename: "n186" targetname: "n182" class:2  priority:50 linestyle:dotted}
  68 node: {title: "n135" label: "Block  135"  info1: "visited: 32
  69 irg:     PRIMA_set_a
  70 arity: 1 backedges:
  71 " info2: "(is_Bad(pred) || is_Unknown(pred) || (get_irn_mode(pred) == mode_X) ) && Block node"color: lightyellow}
  72 edge: {sourcename: "n135" targetname: "n186" label: "0" class:13 priority:60 color:red}
  73 node: {title: "n136" label: "Start PRIMA_set_a  136"  info1: "visited: 32
  74 irg:     PRIMA_set_a
  75 arity: 0
  76 start of method of type set_a
  77   param 0 type: class_prima_ptr
  78   param 1 type: int
  79 " info2: "mymode == mode_T && Start node"color: blue}
  80 edge: { sourcename: "n136" targetname: "n135" class:2  priority:50 linestyle:dotted}
  81 node: {title: "n134" label: "ProjX 0 134"  info1: "visited: 32
  82 irg:     PRIMA_set_a
  83 arity: 1
  84 "color: yellow}
  85 edge: {sourcename: "n134" targetname: "n136" label: "0" class:13 priority:60 color:red}
  86 edge: { sourcename: "n134" targetname: "n135" class:2  priority:50 linestyle:dotted}
  87 node: {title: "n133" label: "Block  133"  info1: "visited: 32
  88 irg:     PRIMA_set_a
  89 arity: 1 backedges:
  90 " info2: "(is_Bad(pred) || is_Unknown(pred) || (get_irn_mode(pred) == mode_X) ) && Block node"color: lightyellow}
  91 edge: {sourcename: "n133" targetname: "n134" label: "0" class:13 priority:60 color:red}
  92 node: {title: "n178" label: "Jmp  178"  info1: "visited: 32
  93 irg:     PRIMA_set_a
  94 arity: 0
  95 " info2: "mymode == mode_X && Jmp node"}
  96 edge: { sourcename: "n178" targetname: "n133" class:2  priority:50 linestyle:dotted}
  97 node: {title: "n179" label: "Block  179"  info1: "visited: 32
  98 irg:     PRIMA_set_a
  99 arity: 1 backedges:
 100 " info2: "(is_Bad(pred) || is_Unknown(pred) || (get_irn_mode(pred) == mode_X) ) && Block node"color: lightyellow}
 101 edge: {sourcename: "n179" targetname: "n178" label: "0" class:13 priority:60 color:red}
 102 node: {title: "n180" label: "EndReg  180"  info1: "visited: 32
 103 irg:     PRIMA_set_a
 104 arity: 0
 105 "color: blue}
 106 edge: { sourcename: "n180" targetname: "n179" class:2  priority:50 linestyle:dotted}
 107 node: {title: "n185" label: "ProjX 0 185"  info1: "visited: 32
 108 irg:     PRIMA_set_a
 109 arity: 1
 110 "color: yellow}
 111 edge: {sourcename: "n185" targetname: "n180" label: "0" class:13 priority:60 color:red}
 112 edge: { sourcename: "n185" targetname: "n179" class:2  priority:50 linestyle:dotted}
 113 node: {title: "n188" label: "Block  188"  info1: "visited: 32
 114 irg:     GlobalType_OO_PROGRAM_EXAMPLE_main
 115 arity: 1 backedges:
 116 " info2: "(is_Bad(pred) || is_Unknown(pred) || (get_irn_mode(pred) == mode_X) ) && Block node"color: lightyellow}
 117 edge: {sourcename: "n188" targetname: "n185" label: "0" class:13 priority:60 color:red}
 118 node: {title: "n190" label: "CallBegin  190"  info1: "visited: 32
 119 irg:     GlobalType_OO_PROGRAM_EXAMPLE_main
 120 arity: 1
 121 possible callees:
 122   0: PRIMA_c
 123 "}
 124 node: {title: "n190n165" label: "&(PRIMA_c)P  165"  info1: "visited: 32
 125 irg:     GlobalType_OO_PROGRAM_EXAMPLE_main
 126 arity: 0
 127 Const of type type_unknown
 128 "color: yellow}
 129 edge: {sourcename: "n190" targetname: "n190n165" label: "0" class:16 priority:10}
 130 edge: { sourcename: "n190" targetname: "n188" class:2  priority:50 linestyle:dotted}
 131 node: {title: "n192" label: "ProjX 0 192"  info1: "visited: 32
 132 irg:     GlobalType_OO_PROGRAM_EXAMPLE_main
 133 arity: 1
 134 "color: yellow}
 135 edge: {sourcename: "n192" targetname: "n190" label: "0" class:13 priority:60 color:red}
 136 edge: { sourcename: "n192" targetname: "n188" class:2  priority:50 linestyle:dotted}
 137 node: {title: "n152" label: "Block  152"  info1: "visited: 32
 138 irg:     PRIMA_c
 139 arity: 1 backedges:
 140 " info2: "(is_Bad(pred) || is_Unknown(pred) || (get_irn_mode(pred) == mode_X) ) && Block node"color: lightyellow}
 141 edge: {sourcename: "n152" targetname: "n192" label: "0" class:13 priority:60 color:red}
 142 node: {title: "n153" label: "Start PRIMA_c  153"  info1: "visited: 32
 143 irg:     PRIMA_c
 144 arity: 0
 145 start of method of type c
 146   param 0 type: class_prima_ptr
 147   param 1 type: int
 148 " info2: "mymode == mode_T && Start node"color: blue}
 149 edge: { sourcename: "n153" targetname: "n152" class:2  priority:50 linestyle:dotted}
 150 node: {title: "n151" label: "ProjX 0 151"  info1: "visited: 32
 151 irg:     PRIMA_c
 152 arity: 1
 153 "color: yellow}
 154 edge: {sourcename: "n151" targetname: "n153" label: "0" class:13 priority:60 color:red}
 155 edge: { sourcename: "n151" targetname: "n152" class:2  priority:50 linestyle:dotted}
 156 node: {title: "n150" label: "Block  150"  info1: "visited: 32
 157 irg:     PRIMA_c
 158 arity: 1 backedges:
 159 " info2: "(is_Bad(pred) || is_Unknown(pred) || (get_irn_mode(pred) == mode_X) ) && Block node"color: lightyellow}
 160 edge: {sourcename: "n150" targetname: "n151" label: "0" class:13 priority:60 color:red}
 161 node: {title: "n170" label: "Jmp  170"  info1: "visited: 32
 162 irg:     PRIMA_c
 163 arity: 0
 164 " info2: "mymode == mode_X && Jmp node"}
 165 edge: { sourcename: "n170" targetname: "n150" class:2  priority:50 linestyle:dotted}
 166 node: {title: "n171" label: "Block  171"  info1: "visited: 32
 167 irg:     PRIMA_c
 168 arity: 1 backedges:
 169 " info2: "(is_Bad(pred) || is_Unknown(pred) || (get_irn_mode(pred) == mode_X) ) && Block node"color: lightyellow}
 170 edge: {sourcename: "n171" targetname: "n170" label: "0" class:13 priority:60 color:red}
 171 node: {title: "n172" label: "EndReg  172"  info1: "visited: 32
 172 irg:     PRIMA_c
 173 arity: 0
 174 "color: blue}
 175 edge: { sourcename: "n172" targetname: "n171" class:2  priority:50 linestyle:dotted}
 176 node: {title: "n191" label: "ProjX 0 191"  info1: "visited: 32
 177 irg:     PRIMA_c
 178 arity: 1
 179 "color: yellow}
 180 edge: {sourcename: "n191" targetname: "n172" label: "0" class:13 priority:60 color:red}
 181 edge: { sourcename: "n191" targetname: "n171" class:2  priority:50 linestyle:dotted}
 182 node: {title: "n107" label: "Block  107"  info1: "visited: 32
 183 irg:     GlobalType_OO_PROGRAM_EXAMPLE_main
 184 arity: 1 backedges:
 185 " info2: "(is_Bad(pred) || is_Unknown(pred) || (get_irn_mode(pred) == mode_X) ) && Block node"color: lightyellow}
 186 edge: {sourcename: "n107" targetname: "n191" label: "0" class:13 priority:60 color:red}
 187 node: {title: "n167" label: "FilterIs 1 167"  info1: "visited: 32
 188 irg:     PRIMA_c
 189 arity: 1 backedges:
 190 intra predecessor nodes:
 191   ProjT 159
 192 "color: yellow}
 193 node: {title: "n167n114" label: "0x5Is  114"  info1: "visited: 32
 194 irg:     GlobalType_OO_PROGRAM_EXAMPLE_main
 195 arity: 0
 196 Const of type type_unknown
 197 "color: yellow}
 198 edge: {sourcename: "n167" targetname: "n167n114" label: "0" class:16 priority:10}
 199 edge: { sourcename: "n167" targetname: "n152" class:2  priority:50 linestyle:dotted}
 200 node: {title: "n118" label: "ProjM 1 118"  info1: "visited: 32
 201 irg:     GlobalType_OO_PROGRAM_EXAMPLE_main
 202 arity: 1
 203 "color: yellow}
 204 edge: {sourcename: "n118" targetname: "n110" label: "0" class:17 priority:10 color:blue}
 205 edge: { sourcename: "n118" targetname: "n109" class:2  priority:50 linestyle:dotted}
 206 node: {title: "n116" label: "Alloc  116"  info1: "visited: 32
 207 irg:     GlobalType_OO_PROGRAM_EXAMPLE_main
 208 arity: 2
 209 allocating entity of type PRIMA
 210 "}
 211 node: {title: "n116n117" label: "SymC PRIMA size  117"  info1: "visited: 32
 212 irg:     GlobalType_OO_PROGRAM_EXAMPLE_main
 213 arity: 0
 214 "}
 215 edge: {sourcename: "n116" targetname: "n118" label: "0" class:17 priority:10 color:blue}
 216 edge: {sourcename: "n116" targetname: "n116n117" label: "1" class:16 priority:10}
 217 edge: { sourcename: "n116" targetname: "n182" class:2  priority:50 linestyle:dotted}
 218 node: {title: "n115" label: "ProjP 2 115"  info1: "visited: 32
 219 irg:     GlobalType_OO_PROGRAM_EXAMPLE_main
 220 arity: 1
 221 "color: yellow}
 222 edge: {sourcename: "n115" targetname: "n116" label: "0" class:1  priority:50}
 223 edge: { sourcename: "n115" targetname: "n182" class:2  priority:50 linestyle:dotted}
 224 node: {title: "n169" label: "FilterP 0 169"  info1: "visited: 32
 225 irg:     PRIMA_c
 226 arity: 1 backedges:
 227 intra predecessor nodes:
 228   ProjT 159
 229 "color: yellow}
 230 edge: {sourcename: "n169" targetname: "n115" label: "0" class:16 priority:10}
 231 edge: { sourcename: "n169" targetname: "n152" class:2  priority:50 linestyle:dotted}
 232 node: {title: "n177" label: "FilterIs 1 177"  info1: "visited: 32
 233 irg:     PRIMA_set_a
 234 arity: 1 backedges:
 235 intra predecessor nodes:
 236   ProjT 140
 237 "color: yellow}
 238 node: {title: "n177n122" label: "0x2Is  122"  info1: "visited: 32
 239 irg:     GlobalType_OO_PROGRAM_EXAMPLE_main
 240 arity: 0
 241 Const of type type_unknown
 242 "color: yellow}
 243 edge: {sourcename: "n177" targetname: "n177n122" label: "0" class:16 priority:10}
 244 edge: { sourcename: "n177" targetname: "n135" class:2  priority:50 linestyle:dotted}
 245 node: {title: "n176" label: "FilterP 0 176"  info1: "visited: 32
 246 irg:     PRIMA_set_a
 247 arity: 1 backedges:
 248 intra predecessor nodes:
 249   ProjT 140
 250 "color: yellow}
 251 edge: {sourcename: "n176" targetname: "n115" label: "0" class:16 priority:10}
 252 edge: { sourcename: "n176" targetname: "n135" class:2  priority:50 linestyle:dotted}
 253 node: {title: "n124" label: "ProjM 0 124"  info1: "visited: 32
 254 irg:     GlobalType_OO_PROGRAM_EXAMPLE_main
 255 arity: 1
 256 "color: yellow}
 257 edge: {sourcename: "n124" targetname: "n116" label: "0" class:17 priority:10 color:blue}
 258 edge: { sourcename: "n124" targetname: "n182" class:2  priority:50 linestyle:dotted}
 259 node: {title: "n175" label: "FilterM 1 175"  info1: "visited: 32
 260 irg:     PRIMA_set_a
 261 arity: 1 backedges:
 262 intra predecessor nodes:
 263   StartT 136
 264 "color: yellow}
 265 edge: {sourcename: "n175" targetname: "n124" label: "0" class:17 priority:10 color:blue}
 266 edge: { sourcename: "n175" targetname: "n135" class:2  priority:50 linestyle:dotted}
 267 node: {title: "n141" label: "Sel a 141"  info1: "visited: 32
 268 irg:     PRIMA_set_a
 269 arity: 2
 270 Selecting entity of type int
 271   from entity of type PRIMA
 272 "}
 273 edge: {sourcename: "n141" targetname: "n175" label: "0" class:17 priority:10 color:blue}
 274 edge: {sourcename: "n141" targetname: "n176" label: "1" class:16 priority:10}
 275 edge: { sourcename: "n141" targetname: "n133" class:2  priority:50 linestyle:dotted}
 276 node: {title: "n138" label: "Store  138"  info1: "visited: 32
 277 irg:     PRIMA_set_a
 278 arity: 3
 279 " info2: "mymode == mode_T && Store node"}
 280 edge: {sourcename: "n138" targetname: "n175" label: "0" class:17 priority:10 color:blue}
 281 edge: {sourcename: "n138" targetname: "n141" label: "1" class:1  priority:50}
 282 edge: {sourcename: "n138" targetname: "n177" label: "2" class:16 priority:10}
 283 edge: { sourcename: "n138" targetname: "n133" class:2  priority:50 linestyle:dotted}
 284 node: {title: "n137" label: "ProjM 0 137"  info1: "visited: 32
 285 irg:     PRIMA_set_a
 286 arity: 1
 287 "color: yellow}
 288 edge: {sourcename: "n137" targetname: "n138" label: "0" class:17 priority:10 color:blue}
 289 edge: { sourcename: "n137" targetname: "n133" class:2  priority:50 linestyle:dotted}
 290 node: {title: "n187" label: "FilterM 0 187"  info1: "visited: 32
 291 irg:     GlobalType_OO_PROGRAM_EXAMPLE_main
 292 arity: 1 backedges:
 293 intra predecessor nodes:
 294   CallT 121
 295 "color: yellow}
 296 edge: {sourcename: "n187" targetname: "n137" label: "0" class:17 priority:10 color:blue}
 297 edge: { sourcename: "n187" targetname: "n188" class:2  priority:50 linestyle:dotted}
 298 node: {title: "n168" label: "FilterM 1 168"  info1: "visited: 32
 299 irg:     PRIMA_c
 300 arity: 1 backedges:
 301 intra predecessor nodes:
 302   StartT 153
 303 "color: yellow}
 304 edge: {sourcename: "n168" targetname: "n187" label: "0" class:17 priority:10 color:blue}
 305 edge: { sourcename: "n168" targetname: "n152" class:2  priority:50 linestyle:dotted}
 306 node: {title: "n157" label: "Sel a 157"  info1: "visited: 32
 307 irg:     PRIMA_c
 308 arity: 2
 309 Selecting entity of type int
 310   from entity of type PRIMA
 311 "}
 312 edge: {sourcename: "n157" targetname: "n168" label: "0" class:17 priority:10 color:blue}
 313 edge: {sourcename: "n157" targetname: "n169" label: "1" class:16 priority:10}
 314 edge: { sourcename: "n157" targetname: "n150" class:2  priority:50 linestyle:dotted}
 315 node: {title: "n156" label: "Load  156"  info1: "visited: 32
 316 irg:     PRIMA_c
 317 arity: 2
 318 " info2: "mymode == mode_T && Load node"}
 319 edge: {sourcename: "n156" targetname: "n168" label: "0" class:17 priority:10 color:blue}
 320 edge: {sourcename: "n156" targetname: "n157" label: "1" class:1  priority:50}
 321 edge: { sourcename: "n156" targetname: "n150" class:2  priority:50 linestyle:dotted}
 322 node: {title: "n155" label: "ProjIs 2 155"  info1: "visited: 32
 323 irg:     PRIMA_c
 324 arity: 1
 325 "color: yellow}
 326 edge: {sourcename: "n155" targetname: "n156" label: "0" class:1  priority:50}
 327 edge: { sourcename: "n155" targetname: "n150" class:2  priority:50 linestyle:dotted}
 328 node: {title: "n154" label: "AddIs  154"  info1: "visited: 32
 329 irg:     PRIMA_c
 330 arity: 2
 331 "}
 332 edge: {sourcename: "n154" targetname: "n155" label: "0" class:1  priority:50}
 333 edge: {sourcename: "n154" targetname: "n167" label: "1" class:16 priority:10}
 334 edge: { sourcename: "n154" targetname: "n150" class:2  priority:50 linestyle:dotted}
 335 node: {title: "n194" label: "FilterIs 0 194"  info1: "visited: 32
 336 irg:     GlobalType_OO_PROGRAM_EXAMPLE_main
 337 arity: 1 backedges:
 338 intra predecessor nodes:
 339   ProjT 112
 340 "color: yellow}
 341 edge: {sourcename: "n194" targetname: "n154" label: "0" class:16 priority:10}
 342 edge: { sourcename: "n194" targetname: "n107" class:2  priority:50 linestyle:dotted}
 343 node: {title: "n162" label: "ProjM 0 162"  info1: "visited: 32
 344 irg:     PRIMA_c
 345 arity: 1
 346 "color: yellow}
 347 edge: {sourcename: "n162" targetname: "n156" label: "0" class:17 priority:10 color:blue}
 348 edge: { sourcename: "n162" targetname: "n150" class:2  priority:50 linestyle:dotted}
 349 node: {title: "n193" label: "FilterM 0 193"  info1: "visited: 32
 350 irg:     GlobalType_OO_PROGRAM_EXAMPLE_main
 351 arity: 1 backedges:
 352 intra predecessor nodes:
 353   CallT 113
 354 "color: yellow}
 355 edge: {sourcename: "n193" targetname: "n162" label: "0" class:17 priority:10 color:blue}
 356 edge: { sourcename: "n193" targetname: "n107" class:2  priority:50 linestyle:dotted}
 357 node: {title: "n106" label: "Return  106"  info1: "visited: 32
 358 irg:     GlobalType_OO_PROGRAM_EXAMPLE_main
 359 arity: 2
 360 " info2: "mymode == mode_X && Result X"}
 361 edge: {sourcename: "n106" targetname: "n193" label: "0" class:14 priority:50 color:blue}
 362 edge: {sourcename: "n106" targetname: "n194" label: "1" class:1  priority:50}
 363 edge: { sourcename: "n106" targetname: "n107" class:2  priority:50 linestyle:dotted}
 364 node: {title: "n105" label: "Block  105"  info1: "visited: 32
 365 irg:     GlobalType_OO_PROGRAM_EXAMPLE_main
 366 arity: 1 backedges:
 367 " info2: "((get_irn_op(pred) == op_Return) || is_Bad(pred) || (get_irn_op(pred) == op_Raise) || is_fragile_op(pred) ) && End Block node"color: lightyellow}
 368 edge: {sourcename: "n105" targetname: "n106" label: "0" class:13 priority:60 color:red}
 369 node: {title: "n103" label: "End  103"  info1: "visited: 32
 370 irg:     GlobalType_OO_PROGRAM_EXAMPLE_main
 371 arity: 2
 372 "color: blue}
 373 edge: { sourcename: "n103" targetname: "n105" class:2  priority:50 linestyle:dotted}
 374 }