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

   1 graph: { title: "ir graph of ARRAY-STACK_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 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: "e21" label: "ent a_tp_elem_ent" color: yellow
  58  info1: "entity a_tp_elem_ent (21)
  59   type:  int (14)
  60   owner: a_tp (19)
  61   allocation:  allocation_automatic
  62   visibility:  visibility_local
  63   variability: variability_uninitialized
  64   volatility:  volatility_non_volatile
  65   peculiarity: peculiarity_existent
  66   ld_name: no yet set
  67   offset:  -1 bits, -1 bytes
  68
  69 "
  70 }
  71 edge: { sourcename: "e21" targetname: "t14"class: 3 label: "type" color: red}
  72 node: {title: "t19" label: "array a_tp" info1: "array type a_tp (19)
  73   array [0 .. 0] of <int (14)>
  74   order: <0>
  75     entity a_tp_elem_ent (21)
  76       type:  int (14)
  77       owner: a_tp (19)
  78       allocation:  allocation_automatic
  79       visibility:  visibility_local
  80       variability: variability_uninitialized
  81       volatility:  volatility_non_volatile
  82       peculiarity: peculiarity_existent
  83       ld_name: no yet set
  84       offset:  -1 bits, -1 bytes
  85   visibility: visibility_external_allocated,
  86   state:      layout_undefined,
  87   size:       -1 Bits,
  88   alignment:  32 Bits,
  89
  90
  91 "
  92 }
  93 edge: { sourcename: "t19" targetname: "t14"class: 10 label: "arr elt tp" color:green}
  94 edge: { sourcename: "t19" targetname: "e21"class: 10 label: "arr ent" color: green}
  95 edge: { sourcename: "n22" targetname: "t19"label: "upper 0"}
  96 edge: { sourcename: "n23" targetname: "t19"label: "lower 0"}
  97 node: {title: "n22" label: "0x9Iu 22"  info1: "0x9 22
  98   mode:    Iu
  99   visited: 1
 100   arity:   0
 101   pred nodes:
 102     -1:    Block 3
 103   Private Attributes:
 104   Const of type type_unknown
 105 "
 106 color:yellow}
 107 node: {title: "n23" label: "0x0Iu 23"  info1: "0x0 23
 108   mode:    Iu
 109   visited: 1
 110   arity:   0
 111   pred nodes:
 112     -1:    Block 3
 113   Private Attributes:
 114   Const of type type_unknown
 115 "
 116 color:yellow}
 117 node: {title: "t14" label: "primitive int" info1: "primitive type int (14)
 118   visibility: visibility_external_allocated,
 119   state:      layout_fixed,
 120   size:       32 Bits,
 121   alignment:  32 Bits,
 122   mode:       Is,
 123
 124
 125 "
 126 }
 127 node: {title: "e38" label: "ent a" color: yellow
 128  info1: "entity a (38)
 129   type:  a_tp (19)
 130   owner: mainframe_tp (24)
 131   Does not overwrite other entities.
 132   Is not overwritten by other entities.
 133   allocation:  allocation_automatic
 134   visibility:  visibility_local
 135   variability: variability_uninitialized
 136   volatility:  volatility_non_volatile
 137   peculiarity: peculiarity_existent
 138   ld_name: no yet set
 139   offset:  -1 bits, -1 bytes
 140
 141 "
 142 }
 143 edge: { sourcename: "e38" targetname: "t19"class: 3 label: "type" color: red}
 144 node: {title: "t24" label: "class mainframe_tp" info1: "class type mainframe_tp (24)
 145   members:
 146     entity a (38)
 147       type:  a_tp (19)
 148       owner: mainframe_tp (24)
 149       Does not overwrite other entities.
 150       Is not overwritten by other entities.
 151       allocation:  allocation_automatic
 152       visibility:  visibility_local
 153       variability: variability_uninitialized
 154       volatility:  volatility_non_volatile
 155       peculiarity: peculiarity_existent
 156       ld_name: no yet set
 157       offset:  -1 bits, -1 bytes
 158   supertypes:
 159   subtypes:
 160   peculiarity: peculiarity_existent
 161   visibility: visibility_external_allocated,
 162   state:      layout_undefined,
 163   size:       -1 Bits,
 164   alignment:  32 Bits,
 165
 166
 167 "
 168  color: green}
 169 edge: { sourcename: "t24" targetname: "e38"class: 12 label: "member" color:blue}
 170 node: {title: "e18" label: "ent ARRAY-STACK_EXAMPLE_main" color: yellow
 171  info1: "entity main (18)
 172   type:  main_tp (16)
 173   owner: ARRAY-STACK_EXAMPLE (15)
 174   Does not overwrite other entities.
 175   Is not overwritten by other entities.
 176   allocation:  allocation_static
 177   visibility:  visibility_local
 178   variability: variability_constant
 179   calling convention: cdecl
 180   atomic value: SymC &main
 181   volatility:  volatility_non_volatile
 182   peculiarity: peculiarity_existent
 183   ld_name: ARRAY-STACK_EXAMPLE_main
 184   offset:  -1 bits, -1 bytes
 185   irg = 36
 186
 187 "
 188 }
 189 edge: { sourcename: "e18" targetname: "t16"class: 3 label: "type" color: red}
 190 edge: { sourcename: "e18" targetname: "n17"label: "value 0"}
 191 node: {title: "n17" label: "SymC &main 17"  info1: "SymC &main 17
 192   mode:    P
 193   visited: 1
 194   arity:   0
 195   pred nodes:
 196     -1:    Block 3
 197   Private Attributes:
 198   kind:   addr_ent
 199   entity: entity ARRAY-STACK_EXAMPLE.main (18)
 200
 201   type of value: type_unknown
 202 "
 203 }
 204 node: {title: "t15" label: "class ARRAY-STACK_EXAMPLE" info1: "class type ARRAY-STACK_EXAMPLE (15)
 205   members:
 206     entity main (18)
 207       type:  main_tp (16)
 208       owner: ARRAY-STACK_EXAMPLE (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 &main
 216       volatility:  volatility_non_volatile
 217       peculiarity: peculiarity_existent
 218       ld_name: ARRAY-STACK_EXAMPLE_main
 219       offset:  -1 bits, -1 bytes
 220       irg = 36
 221   supertypes:
 222   subtypes:
 223   peculiarity: peculiarity_existent
 224   visibility: visibility_external_allocated,
 225   state:      layout_undefined,
 226   size:       -1 Bits,
 227   alignment:  32 Bits,
 228
 229
 230 "
 231  color: green}
 232 edge: { sourcename: "t15" targetname: "e18"class: 12 label: "member" color:blue}
 233 node: {title: "t16" label: "method main_tp" info1: "method type main_tp (16)
 234   variadicity: variadicity_non_variadic
 235   return types: 1
 236     int
 237   parameter types: 0
 238   visibility: visibility_external_allocated,
 239   state:      layout_fixed,
 240   size:       32 Bits,
 241   alignment:  32 Bits,
 242   mode:       P,
 243
 244
 245 "
 246 }
 247 edge: { sourcename: "t16" targetname: "t14"class: 6 label: "res 0" color: green}
 248 }