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

   1 graph: { title: "ir graph of MEMORY_EXAMPLE_main"
   2 display_edge_labels: yes
   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 graph: { title: "g26" label: "MEMORY_EXAMPLE_main" status:clustered color:white
  28 graph: { title: "n76"  label: "Block 76" status:clustered color:yellow
  29 edge: {sourcename: "n76" targetname: "n77" label: "0" class:13 priority:60 color:red}
  30 node: {title: "n74" label: "End  74"  info1: "mode:    X
  31 visited: 18
  32 irg:     MEMORY_EXAMPLE_main
  33 arity: 1
  34 "color: blue}
  35 }
  36
  37 graph: { title: "n78"  label: "Block 78" status:clustered color:yellow
  38 edge: {sourcename: "n78" targetname: "n79" label: "0" class:13 priority:60 color:red}
  39 node: {title: "n77" label: "Return  77"  info1: "mode:    X
  40 visited: 18
  41 irg:     MEMORY_EXAMPLE_main
  42 arity: 2
  43 return in method of type main
  44   res 0 type: int
  45 "}
  46 edge: {sourcename: "n77" targetname: "n113" label: "0" class:14 priority:50 color:blue}
  47 edge: {sourcename: "n77" targetname: "n111" label: "1" class:1  priority:50}
  48 node: {title: "n113" label: "ProjM 0 113"  info1: "mode:    M
  49 visited: 18
  50 irg:     MEMORY_EXAMPLE_main
  51 arity: 1
  52 "color: yellow}
  53 edge: {sourcename: "n113" targetname: "n112" label: "0" class:17 priority:10 color:blue}
  54 node: {title: "n111" label: "ProjIu 2 111"  info1: "mode:    Iu
  55 visited: 18
  56 irg:     MEMORY_EXAMPLE_main
  57 arity: 1
  58 "color: yellow}
  59 edge: {sourcename: "n111" targetname: "n112" label: "0" class:1  priority:50}
  60 node: {title: "n112" label: "Load  112"  info1: "mode:    T
  61 visited: 18
  62 irg:     MEMORY_EXAMPLE_main
  63 arity: 2
  64 "}
  65 edge: {sourcename: "n112" targetname: "n95" label: "0" class:17 priority:10 color:blue}
  66 edge: {sourcename: "n112" targetname: "n87" label: "1" class:16 priority:10}
  67 }
  68
  69 graph: { title: "n80"  label: "Block 80" status:clustered color:yellow
  70 edge: {sourcename: "n80" targetname: "n110" label: "0" class:13 priority:60 color:red}
  71 edge: {sourcename: "n80" targetname: "n81" label: "1" class:13 priority:60 color:red}
  72 node: {title: "n79" label: "ProjX 1 79"  info1: "mode:    X
  73 visited: 18
  74 irg:     MEMORY_EXAMPLE_main
  75 arity: 1
  76 "color: yellow}
  77 edge: {sourcename: "n79" targetname: "n82" label: "0" class:13 priority:60 color:red}
  78 node: {title: "n81" label: "ProjX 0 81"  info1: "mode:    X
  79 visited: 18
  80 irg:     MEMORY_EXAMPLE_main
  81 arity: 1
  82 "color: yellow}
  83 edge: {sourcename: "n81" targetname: "n82" label: "0" class:13 priority:60 color:red}
  84 node: {title: "n82" label: "Cond  82"  info1: "mode:    T
  85 visited: 18
  86 irg:     MEMORY_EXAMPLE_main
  87 arity: 1
  88 "}
  89 edge: {sourcename: "n82" targetname: "n83" label: "0" class:1  priority:50}
  90 node: {title: "n83" label: "Projb Gt 83"  info1: "mode:    b
  91 visited: 18
  92 irg:     MEMORY_EXAMPLE_main
  93 arity: 1
  94 "color: yellow}
  95 edge: {sourcename: "n83" targetname: "n84" label: "0" class:1  priority:50}
  96 node: {title: "n84" label: "CmpT  84"  info1: "mode:    T
  97 visited: 18
  98 irg:     MEMORY_EXAMPLE_main
  99 arity: 2
 100 "}
 101 edge: {sourcename: "n84" targetname: "n109" label: "0" class:16 priority:10}
 102 edge: {sourcename: "n84" targetname: "n85" label: "1" class:1  priority:50}
 103 node: {title: "n85" label: "ProjIu 2 85"  info1: "mode:    Iu
 104 visited: 18
 105 irg:     MEMORY_EXAMPLE_main
 106 arity: 1
 107 "color: yellow}
 108 edge: {sourcename: "n85" targetname: "n86" label: "0" class:1  priority:50}
 109 node: {title: "n86" label: "Load  86"  info1: "mode:    T
 110 visited: 18
 111 irg:     MEMORY_EXAMPLE_main
 112 arity: 2
 113 "}
 114 edge: {sourcename: "n86" targetname: "n94" label: "0" class:14 priority:50 color:blue}
 115 edge: {sourcename: "n86" targetname: "n87" label: "1" class:16 priority:10}
 116 node: {title: "n94" label: "PhiM  94"  info1: "mode:    M
 117 visited: 18
 118 irg:     MEMORY_EXAMPLE_main
 119 arity: 2 backedges:
 120 "color: green}
 121 edge: {sourcename: "n94" targetname: "n104" label: "0" class:17 priority:10 color:blue}
 122 edge: {sourcename: "n94" targetname: "n95" label: "1" class:17 priority:10 color:blue}
 123 node: {title: "n95" label: "ProjM 0 95"  info1: "mode:    M
 124 visited: 18
 125 irg:     MEMORY_EXAMPLE_main
 126 arity: 1
 127 "color: yellow}
 128 edge: {sourcename: "n95" targetname: "n96" label: "0" class:17 priority:10 color:blue}
 129 node: {title: "n96" label: "Store  96"  info1: "mode:    T
 130 visited: 18
 131 irg:     MEMORY_EXAMPLE_main
 132 arity: 3
 133 "}
 134 edge: {sourcename: "n96" targetname: "n98" label: "0" class:14 priority:50 color:blue}
 135 edge: {sourcename: "n96" targetname: "n97" label: "1" class:16 priority:10}
 136 edge: {sourcename: "n96" targetname: "n85" label: "2" class:1  priority:50}
 137 node: {title: "n98" label: "ProjM 0 98"  info1: "mode:    M
 138 visited: 18
 139 irg:     MEMORY_EXAMPLE_main
 140 arity: 1
 141 "color: yellow}
 142 edge: {sourcename: "n98" targetname: "n99" label: "0" class:17 priority:10 color:blue}
 143 node: {title: "n99" label: "Store  99"  info1: "mode:    T
 144 visited: 18
 145 irg:     MEMORY_EXAMPLE_main
 146 arity: 3
 147 "}
 148 edge: {sourcename: "n99" targetname: "n103" label: "0" class:14 priority:50 color:blue}
 149 edge: {sourcename: "n99" targetname: "n87" label: "1" class:16 priority:10}
 150 edge: {sourcename: "n99" targetname: "n100" label: "2" class:1  priority:50}
 151 node: {title: "n103" label: "ProjM 0 103"  info1: "mode:    M
 152 visited: 18
 153 irg:     MEMORY_EXAMPLE_main
 154 arity: 1
 155 "color: yellow}
 156 edge: {sourcename: "n103" targetname: "n101" label: "0" class:17 priority:10 color:blue}
 157 node: {title: "n100" label: "ProjIu 2 100"  info1: "mode:    Iu
 158 visited: 18
 159 irg:     MEMORY_EXAMPLE_main
 160 arity: 1
 161 "color: yellow}
 162 edge: {sourcename: "n100" targetname: "n101" label: "0" class:1  priority:50}
 163 node: {title: "n101" label: "Load  101"  info1: "mode:    T
 164 visited: 18
 165 irg:     MEMORY_EXAMPLE_main
 166 arity: 2
 167 "}
 168 edge: {sourcename: "n101" targetname: "n102" label: "0" class:14 priority:50 color:blue}
 169 edge: {sourcename: "n101" targetname: "n97" label: "1" class:16 priority:10}
 170 node: {title: "n102" label: "ProjM 0 102"  info1: "mode:    M
 171 visited: 18
 172 irg:     MEMORY_EXAMPLE_main
 173 arity: 1
 174 "color: yellow}
 175 edge: {sourcename: "n102" targetname: "n86" label: "0" class:17 priority:10 color:blue}
 176 }
 177
 178 graph: { title: "n88"  label: "Block 88" status:clustered color:yellow
 179 edge: {sourcename: "n88" targetname: "n89" label: "0" class:13 priority:60 color:red}
 180 node: {title: "n110" label: "Jmp  110"  info1: "mode:    X
 181 visited: 18
 182 irg:     MEMORY_EXAMPLE_main
 183 arity: 0
 184 "}
 185 node: {title: "n104" label: "ProjM 0 104"  info1: "mode:    M
 186 visited: 18
 187 irg:     MEMORY_EXAMPLE_main
 188 arity: 1
 189 "color: yellow}
 190 edge: {sourcename: "n104" targetname: "n105" label: "0" class:17 priority:10 color:blue}
 191 node: {title: "n105" label: "Store  105"  info1: "mode:    T
 192 visited: 18
 193 irg:     MEMORY_EXAMPLE_main
 194 arity: 3
 195 "}
 196 edge: {sourcename: "n105" targetname: "n107" label: "0" class:14 priority:50 color:blue}
 197 edge: {sourcename: "n105" targetname: "n97" label: "1" class:1  priority:50}
 198 edge: {sourcename: "n105" targetname: "n106" label: "2" class:16 priority:10}
 199 node: {title: "n107" label: "ProjM 0 107"  info1: "mode:    M
 200 visited: 18
 201 irg:     MEMORY_EXAMPLE_main
 202 arity: 1
 203 "color: yellow}
 204 edge: {sourcename: "n107" targetname: "n108" label: "0" class:17 priority:10 color:blue}
 205 node: {title: "n108" label: "Store  108"  info1: "mode:    T
 206 visited: 18
 207 irg:     MEMORY_EXAMPLE_main
 208 arity: 3
 209 "}
 210 edge: {sourcename: "n108" targetname: "n93" label: "0" class:17 priority:10 color:blue}
 211 edge: {sourcename: "n108" targetname: "n87" label: "1" class:1  priority:50}
 212 edge: {sourcename: "n108" targetname: "n109" label: "2" class:16 priority:10}
 213 node: {title: "n97" label: "Sel VAR_B 97"  info1: "mode:    P
 214 visited: 18
 215 irg:     MEMORY_EXAMPLE_main
 216 arity: 2
 217 Selecting entity of type int
 218   from entity of type GlobalType
 219 "}
 220 edge: {sourcename: "n97" targetname: "n93" label: "0" class:17 priority:10 color:blue}
 221 edge: {sourcename: "n97" targetname: "n92" label: "1" class:16 priority:10}
 222 node: {title: "n87" label: "Sel VAR_A 87"  info1: "mode:    P
 223 visited: 18
 224 irg:     MEMORY_EXAMPLE_main
 225 arity: 2
 226 Selecting entity of type int
 227   from entity of type GlobalType
 228 "}
 229 edge: {sourcename: "n87" targetname: "n93" label: "0" class:17 priority:10 color:blue}
 230 edge: {sourcename: "n87" targetname: "n92" label: "1" class:16 priority:10}
 231 }
 232
 233 graph: { title: "n90"  label: "Block 90" status:clustered color:yellow
 234 edge: {sourcename: "n90" targetname: "n89" label: "0" class:13 priority:60 color:red}
 235 node: {title: "n109" label: "0x0Iu  109"  info1: "mode:    Iu
 236 visited: 18
 237 irg:     MEMORY_EXAMPLE_main
 238 arity: 0
 239 Const of type type_unknown
 240 "color: yellow}
 241 node: {title: "n106" label: "0x1Iu  106"  info1: "mode:    Iu
 242 visited: 18
 243 irg:     MEMORY_EXAMPLE_main
 244 arity: 0
 245 Const of type type_unknown
 246 "color: yellow}
 247 node: {title: "n93" label: "ProjM 1 93"  info1: "mode:    M
 248 visited: 18
 249 irg:     MEMORY_EXAMPLE_main
 250 arity: 1
 251 "color: yellow}
 252 edge: {sourcename: "n93" targetname: "n91" label: "0" class:17 priority:10 color:blue}
 253 node: {title: "n92" label: "ProjP 3 92"  info1: "mode:    P
 254 visited: 18
 255 irg:     MEMORY_EXAMPLE_main
 256 arity: 1
 257 "color: yellow}
 258 edge: {sourcename: "n92" targetname: "n91" label: "0" class:1  priority:50}
 259 node: {title: "n89" label: "ProjX 0 89"  info1: "mode:    X
 260 visited: 18
 261 irg:     MEMORY_EXAMPLE_main
 262 arity: 1
 263 "color: yellow}
 264 edge: {sourcename: "n89" targetname: "n91" label: "0" class:13 priority:60 color:red}
 265 node: {title: "n91" label: "Start  91"  info1: "mode:    T
 266 visited: 18
 267 irg:     MEMORY_EXAMPLE_main
 268 arity: 0
 269 start of method of type main
 270 "color: blue}
 271 }
 272
 273 }
 274
 275 }