nsz Git - libfirm/blob - testprograms/ref-results/PRIMA_c-type.vcg

   1 graph: { title: "ir graph of PRIMA_c"
   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 2:  "Block"
   9 classname 3:  "Entity type"
  10 classname 4:  "Entity owner"
  11 classname 5:  "Method Param"
  12 classname 6:  "Method Res"
  13 classname 7:  "Super"
  14 classname 8:  "Union"
  15 classname 9:  "Points-to"
  16 classname 10: "Array Element Type"
  17 classname 11: "Overwrites"
  18 classname 12: "Member"
  19 classname 13: "Control Flow"
  20 classname 14: "intrablock Memory"
  21 classname 15: "Dominators"
  22 classname 16: "interblock Data"
  23 classname 17: "interblock Memory"
  24 classname 18: "Exception Control Flow for Interval Analysis"
  25 classname 19: "Postdominators"
  26 infoname 1: "Attribute"
  27 infoname 2: "Verification errors"
  28 infoname 3: "Debug info"
  29 colorentry 100:    0   0    0
  30 colorentry 101:   20   0    0
  31 colorentry 102:   40   0    0
  32 colorentry 103:   60   0    0
  33 colorentry 104:   80   0    0
  34 colorentry 105:  100   0    0
  35 colorentry 106:  120   0    0
  36 colorentry 107:  140   0    0
  37 colorentry 108:  150   0    0
  38 colorentry 109:  180   0    0
  39 colorentry 110:  200   0    0
  40 colorentry 111:  220   0    0
  41 colorentry 112:  240   0    0
  42 colorentry 113:  255   0    0
  43 colorentry 113:  255  20   20
  44 colorentry 114:  255  40   40
  45 colorentry 115:  255  60   60
  46 colorentry 116:  255  80   80
  47 colorentry 117:  255 100  100
  48 colorentry 118:  255 120  120
  49 colorentry 119:  255 140  140
  50 colorentry 120:  255 150  150
  51 colorentry 121:  255 180  180
  52 colorentry 122:  255 200  200
  53 colorentry 123:  255 220  220
  54 colorentry 124:  255 240  240
  55 colorentry 125:  255 250  250
  56
  57 node: {title: "e17" label: "ent a" color: yellow
  58  info1: "entity a (17)
  59   type:  int (14)
  60   owner: PRIMA (15)
  61   Does not overwrite other entities.
  62   Is not overwritten by other entities.
  63   allocation:  allocation_automatic
  64   visibility:  visibility_local
  65   variability: variability_uninitialized
  66   volatility:  volatility_non_volatile
  67   peculiarity: peculiarity_existent
  68   ld_name: no yet set
  69   offset:  -1 bits, -1 bytes
  70
  71 "
  72 }
  73 edge: { sourcename: "e17" targetname: "t14"class: 3 label: "type" color: red}
  74 node: {title: "t15" label: "class PRIMA" info1: "class type PRIMA (15)
  75   members:
  76     entity a (17)
  77       type:  int (14)
  78       owner: PRIMA (15)
  79       Does not overwrite other entities.
  80       Is not overwritten by other entities.
  81       allocation:  allocation_automatic
  82       visibility:  visibility_local
  83       variability: variability_uninitialized
  84       volatility:  volatility_non_volatile
  85       peculiarity: peculiarity_existent
  86       ld_name: no yet set
  87       offset:  -1 bits, -1 bytes
  88     entity set_a (20)
  89       type:  set_a (18)
  90       owner: PRIMA (15)
  91       Does not overwrite other entities.
  92       Is not overwritten by other entities.
  93       allocation:  allocation_static
  94       visibility:  visibility_local
  95       variability: variability_constant
  96       calling convention: cdecl
  97       atomic value: SymC &set_a
  98       volatility:  volatility_non_volatile
  99       peculiarity: peculiarity_existent
 100       ld_name: PRIMA_set_a
 101       offset:  -1 bits, -1 bytes
 102       irg = 73
 103     entity c (23)
 104       type:  c (21)
 105       owner: PRIMA (15)
 106       Does not overwrite other entities.
 107       Is not overwritten by other entities.
 108       allocation:  allocation_static
 109       visibility:  visibility_local
 110       variability: variability_constant
 111       calling convention: cdecl
 112       atomic value: SymC &c
 113       volatility:  volatility_non_volatile
 114       peculiarity: peculiarity_existent
 115       ld_name: PRIMA_c
 116       offset:  -1 bits, -1 bytes
 117       irg = 96
 118   supertypes:
 119   subtypes:
 120   peculiarity: peculiarity_existent
 121   visibility: visibility_external_allocated,
 122   state:      layout_undefined,
 123   size:       -1 Bits,
 124   alignment:  32 Bits,
 125
 126
 127 "
 128  color: green}
 129 edge: { sourcename: "t15" targetname: "e17"class: 12 label: "member" color:blue}
 130 edge: { sourcename: "t15" targetname: "e20"class: 12 label: "member" color:blue}
 131 edge: { sourcename: "t15" targetname: "e23"class: 12 label: "member" color:blue}
 132 node: {title: "e20" label: "ent PRIMA_set_a" color: yellow
 133  info1: "entity set_a (20)
 134   type:  set_a (18)
 135   owner: PRIMA (15)
 136   Does not overwrite other entities.
 137   Is not overwritten by other entities.
 138   allocation:  allocation_static
 139   visibility:  visibility_local
 140   variability: variability_constant
 141   calling convention: cdecl
 142   atomic value: SymC &set_a
 143   volatility:  volatility_non_volatile
 144   peculiarity: peculiarity_existent
 145   ld_name: PRIMA_set_a
 146   offset:  -1 bits, -1 bytes
 147   irg = 73
 148
 149 "
 150 }
 151 edge: { sourcename: "e20" targetname: "t18"class: 3 label: "type" color: red}
 152 edge: { sourcename: "e20" targetname: "n19"label: "value 0"}
 153 node: {title: "n19" label: "SymC &set_a 19"  info1: "SymC &set_a 19
 154   mode:    P
 155   visited: 7
 156   arity:   0
 157   pred nodes:
 158     -1:    Block 3
 159   Private Attributes:
 160   kind:   addr_ent
 161   entity: entity PRIMA.set_a (20)
 162
 163   type of value: type_unknown
 164 "
 165 }
 166 node: {title: "t18" label: "method set_a" info1: "method type set_a (18)
 167   variadicity: variadicity_non_variadic
 168   return types: 0
 169   parameter types: 2
 170     class_prima_ptr
 171     int
 172   visibility: visibility_external_allocated,
 173   state:      layout_fixed,
 174   size:       32 Bits,
 175   alignment:  32 Bits,
 176   mode:       P,
 177
 178
 179 "
 180 }
 181 edge: { sourcename: "t18" targetname: "t16"class: 5 label: "param 0" color: green}
 182 edge: { sourcename: "t18" targetname: "t14"class: 5 label: "param 1" color: green}
 183 node: {title: "t16" label: "pointer class_prima_ptr" info1: "pointer type class_prima_ptr (16)
 184   points to PRIMA (15)
 185   visibility: visibility_external_allocated,
 186   state:      layout_fixed,
 187   size:       32 Bits,
 188   alignment:  32 Bits,
 189   mode:       P,
 190
 191
 192 "
 193 }
 194 edge: { sourcename: "t16" targetname: "t15"class: 9 label: "points to" color:green}
 195 node: {title: "t14" label: "primitive int" info1: "primitive type int (14)
 196   visibility: visibility_external_allocated,
 197   state:      layout_fixed,
 198   size:       32 Bits,
 199   alignment:  32 Bits,
 200   mode:       Is,
 201
 202
 203 "
 204 }
 205 node: {title: "e23" label: "ent PRIMA_c" color: yellow
 206  info1: "entity c (23)
 207   type:  c (21)
 208   owner: PRIMA (15)
 209   Does not overwrite other entities.
 210   Is not overwritten by other entities.
 211   allocation:  allocation_static
 212   visibility:  visibility_local
 213   variability: variability_constant
 214   calling convention: cdecl
 215   atomic value: SymC &c
 216   volatility:  volatility_non_volatile
 217   peculiarity: peculiarity_existent
 218   ld_name: PRIMA_c
 219   offset:  -1 bits, -1 bytes
 220   irg = 96
 221
 222 "
 223 }
 224 edge: { sourcename: "e23" targetname: "t21"class: 3 label: "type" color: red}
 225 edge: { sourcename: "e23" targetname: "n22"label: "value 0"}
 226 node: {title: "n22" label: "SymC &c 22"  info1: "SymC &c 22
 227   mode:    P
 228   visited: 7
 229   arity:   0
 230   pred nodes:
 231     -1:    Block 3
 232   Private Attributes:
 233   kind:   addr_ent
 234   entity: entity PRIMA.c (23)
 235
 236   type of value: type_unknown
 237 "
 238 }
 239 node: {title: "t21" label: "method c" info1: "method type c (21)
 240   variadicity: variadicity_non_variadic
 241   return types: 1
 242     int
 243   parameter types: 2
 244     class_prima_ptr
 245     int
 246   visibility: visibility_external_allocated,
 247   state:      layout_fixed,
 248   size:       32 Bits,
 249   alignment:  32 Bits,
 250   mode:       P,
 251
 252
 253 "
 254 }
 255 edge: { sourcename: "t21" targetname: "t16"class: 5 label: "param 0" color: green}
 256 edge: { sourcename: "t21" targetname: "t14"class: 5 label: "param 1" color: green}
 257 edge: { sourcename: "t21" targetname: "t14"class: 6 label: "res 0" color: green}
 258 node: {title: "t84" label: "class cframe_tp" info1: "class type cframe_tp (84)
 259   members:
 260   supertypes:
 261   subtypes:
 262   peculiarity: peculiarity_existent
 263   visibility: visibility_external_allocated,
 264   state:      layout_undefined,
 265   size:       -1 Bits,
 266   alignment:   0 Bits,
 267
 268
 269 "
 270  color: green}
 271 }