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 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: "e14" label: "ent a" color: yellow
  28  info1: "entity a (14)
  29   type:  int (11)
  30   owner: PRIMA (12)
  31   Does not overwrite other entities.
  32   Is not overwriten by other entities.
  33   allocation:  allocation_automatic
  34   visibility:  visibility_local
  35   variability: variability_uninitialized
  36   volatility:  volatility_non_volatile
  37   peculiarity: peculiarity_existent
  38   ld_name: no yet set
  39   offset:  -1
  40
  41 "
  42 }
  43 edge: { sourcename: "e14" targetname: "t11"class: 3 label: "type" color: red}
  44 node: {title: "t12" label: "class PRIMA" info1: "state: layout_undefined
  45 size: -1b,
  46 peculiarity: peculiarity_existent
  47 " color: green}
  48 edge: { sourcename: "t12" targetname: "e14"class: 12 label: "member" color:blue}
  49 edge: { sourcename: "t12" targetname: "e17"class: 12 label: "member" color:blue}
  50 edge: { sourcename: "t12" targetname: "e20"class: 12 label: "member" color:blue}
  51 node: {title: "e17" label: "ent PRIMA_set_a" color: yellow
  52  info1: "entity set_a (17)
  53   type:  set_a (15)
  54   owner: PRIMA (12)
  55   Does not overwrite other entities.
  56   Is not overwriten by other entities.
  57   allocation:  allocation_static
  58   visibility:  visibility_local
  59   variability: variability_constant
  60   atomic value: SymC &set_a
  61   volatility:  volatility_non_volatile
  62   peculiarity: peculiarity_existent
  63   ld_name: PRIMA_set_a
  64   offset:  -1
  65   irg = 68
  66
  67 "
  68 }
  69 edge: { sourcename: "e17" targetname: "t15"class: 3 label: "type" color: red}
  70 edge: { sourcename: "e17" targetname: "n16"label: "value 0"}
  71 node: {title: "n16" label: "SymC &set_a  16"  info1: "mode:    P
  72 visited: 9
  73 arity: 0
  74 kind addr_ent
  75 "}
  76 node: {title: "t15" label: "method set_a" info1: "state: layout_fixed,
  77 mode: P,
  78 size: 32b,
  79 variadicity: variadicity_non_variadic
  80 params: 2
  81 results: 0
  82 "}
  83 edge: { sourcename: "t15" targetname: "t13"class: 5 label: "param 0" color: green}
  84 edge: { sourcename: "t15" targetname: "t11"class: 5 label: "param 1" color: green}
  85 node: {title: "t13" label: "pointer class_prima_ptr" info1: "state: layout_fixed,
  86 mode: P,
  87 size: 32b,
  88 "}
  89 edge: { sourcename: "t13" targetname: "t12"class: 9 label: "points to" color:green}
  90 node: {title: "t11" label: "primitive int" info1: "state: layout_fixed,
  91 mode: Is,
  92 size: 32b,
  93 "}
  94 node: {title: "e20" label: "ent PRIMA_c" color: yellow
  95  info1: "entity c (20)
  96   type:  c (18)
  97   owner: PRIMA (12)
  98   Does not overwrite other entities.
  99   Is not overwriten by other entities.
 100   allocation:  allocation_static
 101   visibility:  visibility_local
 102   variability: variability_constant
 103   atomic value: SymC &c
 104   volatility:  volatility_non_volatile
 105   peculiarity: peculiarity_existent
 106   ld_name: PRIMA_c
 107   offset:  -1
 108   irg = 90
 109
 110 "
 111 }
 112 edge: { sourcename: "e20" targetname: "t18"class: 3 label: "type" color: red}
 113 edge: { sourcename: "e20" targetname: "n19"label: "value 0"}
 114 node: {title: "n19" label: "SymC &c  19"  info1: "mode:    P
 115 visited: 9
 116 arity: 0
 117 kind addr_ent
 118 "}
 119 node: {title: "t18" label: "method c" info1: "state: layout_fixed,
 120 mode: P,
 121 size: 32b,
 122 variadicity: variadicity_non_variadic
 123 params: 2
 124 results: 1
 125 "}
 126 edge: { sourcename: "t18" targetname: "t13"class: 5 label: "param 0" color: green}
 127 edge: { sourcename: "t18" targetname: "t11"class: 5 label: "param 1" color: green}
 128 edge: { sourcename: "t18" targetname: "t11"class: 6 label: "res 0" color: green}
 129 node: {title: "t79" label: "class cframe_tp" info1: "state: layout_undefined
 130 size: -1b,
 131 peculiarity: peculiarity_existent
 132 " color: green}
 133 }