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 16: "interblock Data"
   9 classname 2:  "Block"
  10 classname 13: "Control Flow"
  11 classname 18: "Exception Control Flow for Interval Analysis"
  12 classname 14: "intrablock Memory"
  13 classname 17: "interblock Memory"
  14 classname 15: "Dominators"
  15 classname 3:  "Entity type"
  16 classname 4:  "Entity owner"
  17 classname 5:  "Method Param"
  18 classname 6:  "Method Res"
  19 classname 7:  "Super"
  20 classname 8:  "Union"
  21 classname 9:  "Points-to"
  22 classname 10: "Array Element Type"
  23 classname 11: "Overwrites"
  24 classname 12: "Member"
  25 infoname 1: "Attribute"
  26 infoname 2: "Verification errors"
  27 infoname 3: "Debug info"
  28 colorentry 100:    0   0    0
  29 colorentry 101:   20   0    0
  30 colorentry 102:   40   0    0
  31 colorentry 103:   60   0    0
  32 colorentry 104:   80   0    0
  33 colorentry 105:  100   0    0
  34 colorentry 106:  120   0    0
  35 colorentry 107:  140   0    0
  36 colorentry 108:  150   0    0
  37 colorentry 109:  180   0    0
  38 colorentry 110:  200   0    0
  39 colorentry 111:  220   0    0
  40 colorentry 112:  240   0    0
  41 colorentry 113:  255   0    0
  42 colorentry 113:  255  20   20
  43 colorentry 114:  255  40   40
  44 colorentry 115:  255  60   60
  45 colorentry 116:  255  80   80
  46 colorentry 117:  255 100  100
  47 colorentry 118:  255 120  120
  48 colorentry 119:  255 140  140
  49 colorentry 120:  255 150  150
  50 colorentry 121:  255 180  180
  51 colorentry 122:  255 200  200
  52 colorentry 123:  255 220  220
  53 colorentry 124:  255 240  240
  54 colorentry 125:  255 250  250
  55
  56 node: {title: "e20" label: "ent a_elem_ent" color: yellow
  57  info1: "entity a_elem_ent (20)
  58   type:  int (14)
  59   owner: a (18)
  60   allocation:  allocation_automatic
  61   visibility:  visibility_local
  62   variability: variability_uninitialized
  63   volatility:  volatility_non_volatile
  64   peculiarity: peculiarity_existent
  65   ld_name: no yet set
  66   offset:  -1 bits, -1 bytes
  67
  68 "
  69 }
  70 edge: { sourcename: "e20" targetname: "t14"class: 3 label: "type" color: red}
  71 node: {title: "t18" label: "array a" info1: "array type a (18)
  72   array [0 .. 0] of <int (14)>
  73   order: <0>
  74     entity a_elem_ent (20)
  75       type:  int (14)
  76       owner: a (18)
  77       allocation:  allocation_automatic
  78       visibility:  visibility_local
  79       variability: variability_uninitialized
  80       volatility:  volatility_non_volatile
  81       peculiarity: peculiarity_existent
  82       ld_name: no yet set
  83       offset:  -1 bits, -1 bytes
  84   visibility: visibility_external_allocated,
  85   state:      layout_undefined,
  86   size:       -1 Bits,
  87   alignment:  32 Bits,
  88
  89
  90 "
  91 }
  92 edge: { sourcename: "t18" targetname: "t14"class: 10 label: "arr elt tp" color:green}
  93 edge: { sourcename: "t18" targetname: "e20"class: 10 label: "arr ent" color: green}
  94 edge: { sourcename: "n21" targetname: "t18"label: "upper 0"}
  95 edge: { sourcename: "n22" targetname: "t18"label: "lower 0"}
  96 node: {title: "n21" label: "0x9Iu 21"  info1: "0x9 21
  97   mode:    Iu
  98   visited: 1
  99   arity:   0
 100   pred nodes:
 101     -1:    Block 3
 102   Private Attributes:
 103   Const of type type_unknown
 104 "
 105 color:yellow}
 106 node: {title: "n22" label: "0x0Iu 22"  info1: "0x0 22
 107   mode:    Iu
 108   visited: 1
 109   arity:   0
 110   pred nodes:
 111     -1:    Block 3
 112   Private Attributes:
 113   Const of type type_unknown
 114 "
 115 color:yellow}
 116 node: {title: "t14" label: "primitive int" info1: "primitive type int (14)
 117   visibility: visibility_external_allocated,
 118   state:      layout_fixed,
 119   size:       32 Bits,
 120   alignment:  32 Bits,
 121   mode:       Is,
 122
 123
 124 "
 125 }
 126 node: {title: "e17" label: "ent ARRAY-HEAP_EXAMPLE_main" color: yellow
 127  info1: "entity ARRAY-HEAP_EXAMPLE_main (17)
 128   type:  ARRAY-HEAP_EXAMPLE_main (15)
 129   owner: GlobalType (0)
 130   Does not overwrite other entities.
 131   Is not overwritten by other entities.
 132   allocation:  allocation_static
 133   visibility:  visibility_local
 134   variability: variability_constant
 135   calling convention: cdecl
 136   atomic value: SymC &ARRAY-HEAP_EXAMPLE_main
 137   volatility:  volatility_non_volatile
 138   peculiarity: peculiarity_existent
 139   ld_name: no yet set
 140   offset:  -1 bits, -1 bytes
 141   irg = 35
 142
 143 "
 144 }
 145 edge: { sourcename: "e17" targetname: "t15"class: 3 label: "type" color: red}
 146 edge: { sourcename: "e17" targetname: "n16"label: "value 0"}
 147 node: {title: "n16" label: "SymC &ARRAY-HEAP_EXAMPLE_main 16"  info1: "SymC &ARRAY-HEAP_EXAMPLE_main 16
 148   mode:    P
 149   visited: 1
 150   arity:   0
 151   pred nodes:
 152     -1:    Block 3
 153   Private Attributes:
 154   kind:   addr_ent
 155   entity: entity GlobalType.ARRAY-HEAP_EXAMPLE_main (17)
 156
 157   type of value: type_unknown
 158 "
 159 }
 160 node: {title: "t0" label: "class GlobalType" info1: "class type GlobalType (0)
 161   members:
 162     entity ARRAY-HEAP_EXAMPLE_main (17)
 163       type:  ARRAY-HEAP_EXAMPLE_main (15)
 164       owner: GlobalType (0)
 165       Does not overwrite other entities.
 166       Is not overwritten by other entities.
 167       allocation:  allocation_static
 168       visibility:  visibility_local
 169       variability: variability_constant
 170       calling convention: cdecl
 171       atomic value: SymC &ARRAY-HEAP_EXAMPLE_main
 172       volatility:  volatility_non_volatile
 173       peculiarity: peculiarity_existent
 174       ld_name: no yet set
 175       offset:  -1 bits, -1 bytes
 176       irg = 35
 177   supertypes:
 178   subtypes:
 179   peculiarity: peculiarity_existent
 180   visibility: visibility_external_allocated,
 181   state:      layout_undefined,
 182   size:       -1 Bits,
 183   alignment:  32 Bits,
 184
 185
 186 "
 187  color: green}
 188 edge: { sourcename: "t0" targetname: "e17"class: 12 label: "member" color:blue}
 189 node: {title: "t15" label: "method ARRAY-HEAP_EXAMPLE_main" info1: "method type ARRAY-HEAP_EXAMPLE_main (15)
 190   variadicity: variadicity_non_variadic
 191   return types: 1
 192     int
 193   parameter types: 0
 194   visibility: visibility_external_allocated,
 195   state:      layout_fixed,
 196   size:       32 Bits,
 197   alignment:  32 Bits,
 198   mode:       P,
 199
 200
 201 "
 202 }
 203 edge: { sourcename: "t15" targetname: "t14"class: 6 label: "res 0" color: green}
 204 node: {title: "t23" label: "class ARRAY-HEAP_EXAMPLE_mainframe_tp" info1: "class type ARRAY-HEAP_EXAMPLE_mainframe_tp (23)
 205   members:
 206   supertypes:
 207   subtypes:
 208   peculiarity: peculiarity_existent
 209   visibility: visibility_external_allocated,
 210   state:      layout_undefined,
 211   size:       -1 Bits,
 212   alignment:   0 Bits,
 213
 214
 215 "
 216  color: green}
 217 }