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

   1 graph: { title: "ir graph of All_graphs"
   2 display_edge_labels: no
   3 layoutalgorithm: mindepth
   4 manhattan_edges: yes
   5 port_sharing: no
   6 orientation: bottom_to_top
   7 classname 1: "Data"
   8 classname 2: "Block"
   9 classname 13:"Control Flow"
  10 classname 14:"Memory"
  11 classname 15:"Dominators"
  12 classname 3: "Entity type"
  13 classname 4: "Entity owner"
  14 classname 5: "Method Param"
  15 classname 6: "Method Res"
  16 classname 7: "Super"
  17 classname 8: "Union"
  18 classname 9: "Points-to"
  19 classname 10: "Array Element Type"
  20 classname 11: "Overwrites"
  21 classname 12: "Member"
  22
  23 graph: { title: "g35" label: "GlobalType_OO_PROGRAM_EXAMPLE_main" status:clustered color:white
  24 graph: { title: "n104"  label: "Block 104" status:clustered color:yellow
  25 edge: {sourcename: "n104" targetname: "n105" label: "0" class:13 color:red}
  26 node: {title: "n103" label: "End  103" color: blue info1: "visited: 48
  27 irg:     GlobalType_OO_PROGRAM_EXAMPLE_main
  28 arity: 0
  29 "}
  30 }
  31
  32 graph: { title: "n106"  label: "Block 106" status:clustered color:yellow
  33 edge: {sourcename: "n106" targetname: "n191" label: "0" class:13 color:red}
  34 node: {title: "n105" label: "Return  105"  info1: "visited: 48
  35 irg:     GlobalType_OO_PROGRAM_EXAMPLE_main
  36 arity: 2
  37 "}
  38 edge: {sourcename: "n105" targetname: "n193" label: "0" class:14 color:blue}
  39 edge: {sourcename: "n105" targetname: "n194" label: "1" }
  40 node: {title: "n193" label: "FilterM 0 193" color: yellow info1: "visited: 48
  41 irg:     GlobalType_OO_PROGRAM_EXAMPLE_main
  42 arity: 1 backedges:
  43 intra predecessor nodes:
  44   CallT 112
  45 "}
  46 edge: {sourcename: "n193" targetname: "n161" label: "0" class:14 color:blue}
  47 node: {title: "n194" label: "FilterIs 0 194" color: yellow info1: "visited: 48
  48 irg:     GlobalType_OO_PROGRAM_EXAMPLE_main
  49 arity: 1 backedges:
  50 intra predecessor nodes:
  51   ProjT 111
  52 "}
  53 edge: {sourcename: "n194" targetname: "n153" label: "0" }
  54 }
  55
  56 graph: { title: "n188"  label: "Block 188" status:clustered color:yellow
  57 edge: {sourcename: "n188" targetname: "n185" label: "0" class:13 color:red}
  58 node: {title: "n187" label: "FilterM 0 187" color: yellow info1: "visited: 48
  59 irg:     GlobalType_OO_PROGRAM_EXAMPLE_main
  60 arity: 1 backedges:
  61 intra predecessor nodes:
  62   CallT 120
  63 "}
  64 edge: {sourcename: "n187" targetname: "n136" label: "0" class:14 color:blue}
  65 node: {title: "n192" label: "ProjX 0 192" color: yellow info1: "visited: 48
  66 irg:     GlobalType_OO_PROGRAM_EXAMPLE_main
  67 arity: 1
  68 "}
  69 edge: {sourcename: "n192" targetname: "n190" label: "0" class:13 color:red}
  70 node: {title: "n190" label: "CallBegin  190"  info1: "visited: 48
  71 irg:     GlobalType_OO_PROGRAM_EXAMPLE_main
  72 arity: 1
  73 possible callees:
  74   0: PRIMA_c
  75 "}
  76 node: {title: "n190n165" label: "&(PRIMA_c)P  165" color: yellow info1: "visited: 48
  77 irg:     GlobalType_OO_PROGRAM_EXAMPLE_main
  78 arity: 0
  79 Const of type type_unknown
  80 "}
  81 edge: {sourcename: "n190" targetname: "n190n165" label: "0" }
  82 }
  83
  84 graph: { title: "n182"  label: "Block 182" status:clustered color:yellow
  85 edge: {sourcename: "n182" targetname: "n107" label: "0" class:13 color:red}
  86 node: {title: "n123" label: "ProjM 0 123" color: yellow info1: "visited: 48
  87 irg:     GlobalType_OO_PROGRAM_EXAMPLE_main
  88 arity: 1
  89 "}
  90 edge: {sourcename: "n123" targetname: "n115" label: "0" class:14 color:blue}
  91 node: {title: "n114" label: "ProjP 2 114" color: yellow info1: "visited: 48
  92 irg:     GlobalType_OO_PROGRAM_EXAMPLE_main
  93 arity: 1
  94 "}
  95 edge: {sourcename: "n114" targetname: "n115" label: "0" }
  96 node: {title: "n115" label: "Alloc  115"  info1: "visited: 48
  97 irg:     GlobalType_OO_PROGRAM_EXAMPLE_main
  98 arity: 2
  99 allocating entity of type PRIMA
 100 "}
 101 node: {title: "n115n116" label: "SymC PRIMA size  116"  info1: "visited: 48
 102 irg:     GlobalType_OO_PROGRAM_EXAMPLE_main
 103 arity: 0
 104 "}
 105 edge: {sourcename: "n115" targetname: "n117" label: "0" class:14 color:blue}
 106 edge: {sourcename: "n115" targetname: "n115n116" label: "1" }
 107 node: {title: "n186" label: "ProjX 0 186" color: yellow info1: "visited: 48
 108 irg:     GlobalType_OO_PROGRAM_EXAMPLE_main
 109 arity: 1
 110 "}
 111 edge: {sourcename: "n186" targetname: "n184" label: "0" class:13 color:red}
 112 node: {title: "n184" label: "CallBegin  184"  info1: "visited: 48
 113 irg:     GlobalType_OO_PROGRAM_EXAMPLE_main
 114 arity: 1
 115 possible callees:
 116   0: PRIMA_set_a
 117 "}
 118 node: {title: "n184n166" label: "&(PRIMA_set_a)P  166" color: yellow info1: "visited: 48
 119 irg:     GlobalType_OO_PROGRAM_EXAMPLE_main
 120 arity: 0
 121 Const of type type_unknown
 122 "}
 123 edge: {sourcename: "n184" targetname: "n184n166" label: "0" }
 124 }
 125
 126 graph: { title: "n108"  label: "Block 108" status:clustered color:yellow
 127 edge: {sourcename: "n108" targetname: "n107" label: "0" class:13 color:red}
 128 node: {title: "n117" label: "ProjM 1 117" color: yellow info1: "visited: 48
 129 irg:     GlobalType_OO_PROGRAM_EXAMPLE_main
 130 arity: 1
 131 "}
 132 edge: {sourcename: "n117" targetname: "n109" label: "0" class:14 color:blue}
 133 node: {title: "n107" label: "ProjX 0 107" color: yellow info1: "visited: 48
 134 irg:     GlobalType_OO_PROGRAM_EXAMPLE_main
 135 arity: 1
 136 "}
 137 edge: {sourcename: "n107" targetname: "n109" label: "0" class:13 color:red}
 138 node: {title: "n109" label: "Start GlobalType_OO_PROGRAM_EXAMPLE_main  109" color: blue info1: "visited: 48
 139 irg:     GlobalType_OO_PROGRAM_EXAMPLE_main
 140 arity: 0
 141 start of method of type OO_PROGRAM_EXAMPLE_main
 142 "}
 143 }
 144
 145 }
 146
 147 graph: { title: "g68" label: "PRIMA_set_a" status:clustered color:white
 148 graph: { title: "n179"  label: "Block 179" status:clustered color:yellow
 149 edge: {sourcename: "n179" targetname: "n178" label: "0" class:13 color:red}
 150 node: {title: "n185" label: "ProjX 0 185" color: yellow info1: "visited: 48
 151 irg:     PRIMA_set_a
 152 arity: 1
 153 "}
 154 edge: {sourcename: "n185" targetname: "n180" label: "0" class:13 color:red}
 155 node: {title: "n180" label: "EndReg  180" color: blue info1: "visited: 48
 156 irg:     PRIMA_set_a
 157 arity: 0
 158 "}
 159 }
 160
 161 graph: { title: "n132"  label: "Block 132" status:clustered color:yellow
 162 edge: {sourcename: "n132" targetname: "n133" label: "0" class:13 color:red}
 163 node: {title: "n136" label: "ProjM 0 136" color: yellow info1: "visited: 48
 164 irg:     PRIMA_set_a
 165 arity: 1
 166 "}
 167 edge: {sourcename: "n136" targetname: "n137" label: "0" class:14 color:blue}
 168 node: {title: "n137" label: "Store  137"  info1: "visited: 48
 169 irg:     PRIMA_set_a
 170 arity: 3
 171 "}
 172 edge: {sourcename: "n137" targetname: "n175" label: "0" class:14 color:blue}
 173 edge: {sourcename: "n137" targetname: "n140" label: "1" }
 174 edge: {sourcename: "n137" targetname: "n177" label: "2" }
 175 node: {title: "n140" label: "Sel a 140"  info1: "visited: 48
 176 irg:     PRIMA_set_a
 177 arity: 2
 178 Selecting entity of type int
 179   from entity of type PRIMA
 180 "}
 181 edge: {sourcename: "n140" targetname: "n175" label: "0" class:14 color:blue}
 182 edge: {sourcename: "n140" targetname: "n176" label: "1" }
 183 node: {title: "n178" label: "Jmp  178"  info1: "visited: 48
 184 irg:     PRIMA_set_a
 185 arity: 0
 186 "}
 187 }
 188
 189 graph: { title: "n134"  label: "Block 134" status:clustered color:yellow
 190 edge: {sourcename: "n134" targetname: "n186" label: "0" class:13 color:red}
 191 node: {title: "n175" label: "FilterM 1 175" color: yellow info1: "visited: 48
 192 irg:     PRIMA_set_a
 193 arity: 1 backedges:
 194 intra predecessor nodes:
 195   StartT 135
 196 "}
 197 edge: {sourcename: "n175" targetname: "n123" label: "0" class:14 color:blue}
 198 node: {title: "n176" label: "FilterP 0 176" color: yellow info1: "visited: 48
 199 irg:     PRIMA_set_a
 200 arity: 1 backedges:
 201 intra predecessor nodes:
 202   ProjT 139
 203 "}
 204 edge: {sourcename: "n176" targetname: "n114" label: "0" }
 205 node: {title: "n177" label: "FilterIs 1 177" color: yellow info1: "visited: 48
 206 irg:     PRIMA_set_a
 207 arity: 1 backedges:
 208 intra predecessor nodes:
 209   ProjT 139
 210 "}
 211 node: {title: "n177n121" label: "0x2Is  121" color: yellow info1: "visited: 48
 212 irg:     GlobalType_OO_PROGRAM_EXAMPLE_main
 213 arity: 0
 214 Const of type type_unknown
 215 "}
 216 edge: {sourcename: "n177" targetname: "n177n121" label: "0" }
 217 node: {title: "n133" label: "ProjX 0 133" color: yellow info1: "visited: 48
 218 irg:     PRIMA_set_a
 219 arity: 1
 220 "}
 221 edge: {sourcename: "n133" targetname: "n135" label: "0" class:13 color:red}
 222 node: {title: "n135" label: "Start PRIMA_set_a  135" color: blue info1: "visited: 48
 223 irg:     PRIMA_set_a
 224 arity: 0
 225 start of method of type set_a
 226   param 0 type: class_prima_ptr
 227   param 1 type: int
 228 "}
 229 }
 230
 231 }
 232
 233 graph: { title: "g90" label: "PRIMA_c" status:clustered color:white
 234 graph: { title: "n171"  label: "Block 171" status:clustered color:yellow
 235 edge: {sourcename: "n171" targetname: "n170" label: "0" class:13 color:red}
 236 node: {title: "n191" label: "ProjX 0 191" color: yellow info1: "visited: 48
 237 irg:     PRIMA_c
 238 arity: 1
 239 "}
 240 edge: {sourcename: "n191" targetname: "n172" label: "0" class:13 color:red}
 241 node: {title: "n172" label: "EndReg  172" color: blue info1: "visited: 48
 242 irg:     PRIMA_c
 243 arity: 0
 244 "}
 245 }
 246
 247 graph: { title: "n149"  label: "Block 149" status:clustered color:yellow
 248 edge: {sourcename: "n149" targetname: "n150" label: "0" class:13 color:red}
 249 node: {title: "n161" label: "ProjM 0 161" color: yellow info1: "visited: 48
 250 irg:     PRIMA_c
 251 arity: 1
 252 "}
 253 edge: {sourcename: "n161" targetname: "n155" label: "0" class:14 color:blue}
 254 node: {title: "n153" label: "AddIs  153"  info1: "visited: 48
 255 irg:     PRIMA_c
 256 arity: 2
 257 "}
 258 edge: {sourcename: "n153" targetname: "n154" label: "0" }
 259 edge: {sourcename: "n153" targetname: "n167" label: "1" }
 260 node: {title: "n154" label: "ProjIs 2 154" color: yellow info1: "visited: 48
 261 irg:     PRIMA_c
 262 arity: 1
 263 "}
 264 edge: {sourcename: "n154" targetname: "n155" label: "0" }
 265 node: {title: "n155" label: "Load  155"  info1: "visited: 48
 266 irg:     PRIMA_c
 267 arity: 2
 268 "}
 269 edge: {sourcename: "n155" targetname: "n168" label: "0" class:14 color:blue}
 270 edge: {sourcename: "n155" targetname: "n156" label: "1" }
 271 node: {title: "n156" label: "Sel a 156"  info1: "visited: 48
 272 irg:     PRIMA_c
 273 arity: 2
 274 Selecting entity of type int
 275   from entity of type PRIMA
 276 "}
 277 edge: {sourcename: "n156" targetname: "n168" label: "0" class:14 color:blue}
 278 edge: {sourcename: "n156" targetname: "n169" label: "1" }
 279 node: {title: "n170" label: "Jmp  170"  info1: "visited: 48
 280 irg:     PRIMA_c
 281 arity: 0
 282 "}
 283 }
 284
 285 graph: { title: "n151"  label: "Block 151" status:clustered color:yellow
 286 edge: {sourcename: "n151" targetname: "n192" label: "0" class:13 color:red}
 287 node: {title: "n168" label: "FilterM 1 168" color: yellow info1: "visited: 48
 288 irg:     PRIMA_c
 289 arity: 1 backedges:
 290 intra predecessor nodes:
 291   StartT 152
 292 "}
 293 edge: {sourcename: "n168" targetname: "n187" label: "0" class:14 color:blue}
 294 node: {title: "n169" label: "FilterP 0 169" color: yellow info1: "visited: 48
 295 irg:     PRIMA_c
 296 arity: 1 backedges:
 297 intra predecessor nodes:
 298   ProjT 158
 299 "}
 300 edge: {sourcename: "n169" targetname: "n114" label: "0" }
 301 node: {title: "n167" label: "FilterIs 1 167" color: yellow info1: "visited: 48
 302 irg:     PRIMA_c
 303 arity: 1 backedges:
 304 intra predecessor nodes:
 305   ProjT 158
 306 "}
 307 node: {title: "n167n113" label: "0x5Is  113" color: yellow info1: "visited: 48
 308 irg:     GlobalType_OO_PROGRAM_EXAMPLE_main
 309 arity: 0
 310 Const of type type_unknown
 311 "}
 312 edge: {sourcename: "n167" targetname: "n167n113" label: "0" }
 313 node: {title: "n150" label: "ProjX 0 150" color: yellow info1: "visited: 48
 314 irg:     PRIMA_c
 315 arity: 1
 316 "}
 317 edge: {sourcename: "n150" targetname: "n152" label: "0" class:13 color:red}
 318 node: {title: "n152" label: "Start PRIMA_c  152" color: blue info1: "visited: 48
 319 irg:     PRIMA_c
 320 arity: 0
 321 start of method of type c
 322   param 0 type: class_prima_ptr
 323   param 1 type: int
 324 "}
 325 }
 326
 327 }
 328
 329 }