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

   1 graph: { title: "ir graph of ARRAY-HEAP_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: "e20" label: "ent a_elem_ent" color: yellow
  58  info1: "entity a_elem_ent (20)
  59   type:  int (14)
  60   owner: a (18)
  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: "e20" targetname: "t14"class: 3 label: "type" color: red}
  72 node: {title: "t18" label: "array a" info1: "array type a (18)
  73   array [0 .. 0] of <int (14)>
  74   order: <0>
  75     entity a_elem_ent (20)
  76       type:  int (14)
  77       owner: a (18)
  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: "t18" targetname: "t14"class: 10 label: "arr elt tp" color:green}
  94 edge: { sourcename: "t18" targetname: "e20"class: 10 label: "arr ent" color: green}
  95 edge: { sourcename: "n21" targetname: "t18"label: "upper 0"}
  96 edge: { sourcename: "n22" targetname: "t18"label: "lower 0"}
  97 node: {title: "n21" label: "0x9Iu 21"  info1: "0x9 21
  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: "n22" label: "0x0Iu 22"  info1: "0x0 22
 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: "e17" label: "ent ARRAY-HEAP_EXAMPLE_main" color: yellow
 128  info1: "entity ARRAY-HEAP_EXAMPLE_main (17)
 129   type:  ARRAY-HEAP_EXAMPLE_main (15)
 130   owner: GlobalType (0)
 131   Does not overwrite other entities.
 132   Is not overwritten by other entities.
 133   allocation:  allocation_static
 134   visibility:  visibility_local
 135   variability: variability_constant
 136   calling convention: cdecl
 137   atomic value: SymC &ARRAY-HEAP_EXAMPLE_main
 138   volatility:  volatility_non_volatile
 139   peculiarity: peculiarity_existent
 140   ld_name: no yet set
 141   offset:  -1 bits, -1 bytes
 142   irg = 35
 143
 144 "
 145 }
 146 edge: { sourcename: "e17" targetname: "t15"class: 3 label: "type" color: red}
 147 edge: { sourcename: "e17" targetname: "n16"label: "value 0"}
 148 node: {title: "n16" label: "SymC &ARRAY-HEAP_EXAMPLE_main 16"  info1: "SymC &ARRAY-HEAP_EXAMPLE_main 16
 149   mode:    P
 150   visited: 1
 151   arity:   0
 152   pred nodes:
 153     -1:    Block 3
 154   Private Attributes:
 155   kind:   addr_ent
 156   entity: entity GlobalType.ARRAY-HEAP_EXAMPLE_main (17)
 157
 158   type of value: type_unknown
 159 "
 160 }
 161 node: {title: "t0" label: "class GlobalType" info1: "class type GlobalType (0)
 162   members:
 163     entity ARRAY-HEAP_EXAMPLE_main (17)
 164       type:  ARRAY-HEAP_EXAMPLE_main (15)
 165       owner: GlobalType (0)
 166       Does not overwrite other entities.
 167       Is not overwritten by other entities.
 168       allocation:  allocation_static
 169       visibility:  visibility_local
 170       variability: variability_constant
 171       calling convention: cdecl
 172       atomic value: SymC &ARRAY-HEAP_EXAMPLE_main
 173       volatility:  volatility_non_volatile
 174       peculiarity: peculiarity_existent
 175       ld_name: no yet set
 176       offset:  -1 bits, -1 bytes
 177       irg = 35
 178   supertypes:
 179   subtypes:
 180   peculiarity: peculiarity_existent
 181   visibility: visibility_external_allocated,
 182   state:      layout_undefined,
 183   size:       -1 Bits,
 184   alignment:  32 Bits,
 185
 186
 187 "
 188  color: green}
 189 edge: { sourcename: "t0" targetname: "e17"class: 12 label: "member" color:blue}
 190 node: {title: "t15" label: "method ARRAY-HEAP_EXAMPLE_main" info1: "method type ARRAY-HEAP_EXAMPLE_main (15)
 191   variadicity: variadicity_non_variadic
 192   return types: 1
 193     int
 194   parameter types: 0
 195   visibility: visibility_external_allocated,
 196   state:      layout_fixed,
 197   size:       32 Bits,
 198   alignment:  32 Bits,
 199   mode:       P,
 200
 201
 202 "
 203 }
 204 edge: { sourcename: "t15" targetname: "t14"class: 6 label: "res 0" color: green}
 205 node: {title: "t23" label: "class ARRAY-HEAP_EXAMPLE_mainframe_tp" info1: "class type ARRAY-HEAP_EXAMPLE_mainframe_tp (23)
 206   members:
 207   supertypes:
 208   subtypes:
 209   peculiarity: peculiarity_existent
 210   visibility: visibility_external_allocated,
 211   state:      layout_undefined,
 212   size:       -1 Bits,
 213   alignment:   0 Bits,
 214
 215
 216 "
 217  color: green}
 218 }