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 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 node: {title: "e19" label: "ent a_tp_elem_ent" color: yellow
  28  info1: "entity a_tp_elem_ent (19)
  29   type:  int (11)
  30   owner: a_tp (16)
  31   allocation:  allocation_automatic
  32   visibility:  visibility_local
  33   variability: variability_uninitialized
  34   volatility:  volatility_non_volatile
  35   peculiarity: peculiarity_existent
  36   ld_name: no yet set
  37   offset:  -1
  38
  39 "
  40 }
  41 edge: { sourcename: "e19" targetname: "t11"class: 3 label: "type" color: red}
  42 node: {title: "t16" label: "array a_tp" info1: "state: layout_undefined
  43 size: -1b,
  44 "}
  45 edge: { sourcename: "t16" targetname: "t11"class: 10 label: "arr elt tp" color:green}
  46 edge: { sourcename: "t16" targetname: "e19"class: 10 label: "arr ent" color: green}
  47 edge: { sourcename: "n20" targetname: "t16"label: "upper 0"}
  48 edge: { sourcename: "n21" targetname: "t16"label: "lower 0"}
  49 node: {title: "n20" label: "0x9Iu  20"  info1: "mode:    Iu
  50 visited: 1
  51 arity: 0
  52 Const of type type_unknown
  53 "color: yellow}
  54 node: {title: "n21" label: "0x0Iu  21"  info1: "mode:    Iu
  55 visited: 1
  56 arity: 0
  57 Const of type type_unknown
  58 "color: yellow}
  59 node: {title: "t11" label: "primitive int" info1: "state: layout_fixed,
  60 mode: Is,
  61 size: 32b,
  62 "}
  63 node: {title: "e35" label: "ent a" color: yellow
  64  info1: "entity a (35)
  65   type:  a_tp (16)
  66   owner: mainframe_tp (22)
  67   Does not overwrite other entities.
  68   Is not overwriten by other entities.
  69   allocation:  allocation_automatic
  70   visibility:  visibility_local
  71   variability: variability_uninitialized
  72   volatility:  volatility_non_volatile
  73   peculiarity: peculiarity_existent
  74   ld_name: no yet set
  75   offset:  -1
  76
  77 "
  78 }
  79 edge: { sourcename: "e35" targetname: "t16"class: 3 label: "type" color: red}
  80 node: {title: "t22" label: "class mainframe_tp" info1: "state: layout_undefined
  81 size: -1b,
  82 peculiarity: peculiarity_existent
  83 " color: green}
  84 edge: { sourcename: "t22" targetname: "e35"class: 12 label: "member" color:blue}
  85 node: {title: "e15" label: "ent ARRAY-STACK_EXAMPLE_main" color: yellow
  86  info1: "entity main (15)
  87   type:  main_tp (13)
  88   owner: ARRAY-STACK_EXAMPLE (12)
  89   Does not overwrite other entities.
  90   Is not overwriten by other entities.
  91   allocation:  allocation_static
  92   visibility:  visibility_local
  93   variability: variability_constant
  94   atomic value: SymC &main
  95   volatility:  volatility_non_volatile
  96   peculiarity: peculiarity_existent
  97   ld_name: ARRAY-STACK_EXAMPLE_main
  98   offset:  -1
  99   irg = 33
 100
 101 "
 102 }
 103 edge: { sourcename: "e15" targetname: "t13"class: 3 label: "type" color: red}
 104 edge: { sourcename: "e15" targetname: "n14"label: "value 0"}
 105 node: {title: "n14" label: "SymC &main  14"  info1: "mode:    P
 106 visited: 1
 107 arity: 0
 108 kind addr_ent
 109 "}
 110 node: {title: "t12" label: "class ARRAY-STACK_EXAMPLE" info1: "state: layout_undefined
 111 size: -1b,
 112 peculiarity: peculiarity_existent
 113 " color: green}
 114 edge: { sourcename: "t12" targetname: "e15"class: 12 label: "member" color:blue}
 115 node: {title: "t13" label: "method main_tp" info1: "state: layout_fixed,
 116 mode: P,
 117 size: 32b,
 118 variadicity: variadicity_non_variadic
 119 params: 0
 120 results: 1
 121 "}
 122 edge: { sourcename: "t13" targetname: "t11"class: 6 label: "res 0" color: green}
 123 }