nsz Git - libfirm/blob - testprograms/ref-results/GLOBAL_VAR_main-pure-wtypes.vcg

   1 graph: { title: "ir graph of GLOBAL_VAR_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: "n43" label: "Block  43"  info1: "mode:    BB
  28 visited: 11
  29 irg:     GLOBAL_VAR_main
  30 arity: 1 backedges:
  31 "color: lightyellow}
  32 edge: {sourcename: "n43" targetname: "n42" label: "0" class:13 priority:60 color:red}
  33 node: {title: "n44" label: "Start  44"  info1: "mode:    T
  34 visited: 11
  35 irg:     GLOBAL_VAR_main
  36 arity: 0
  37 start of method of type GLOBAL_VAR_main
  38 "color: blue}
  39 edge: { sourcename: "n44" targetname: "n43" class:2  priority:50 linestyle:dotted}
  40 node: {title: "n42" label: "ProjX 0 42"  info1: "mode:    X
  41 visited: 11
  42 irg:     GLOBAL_VAR_main
  43 arity: 1
  44 "color: yellow}
  45 edge: {sourcename: "n42" targetname: "n44" label: "0" class:13 priority:60 color:red}
  46 edge: { sourcename: "n42" targetname: "n43" class:2  priority:50 linestyle:dotted}
  47 node: {title: "n41" label: "Block  41"  info1: "mode:    BB
  48 visited: 11
  49 irg:     GLOBAL_VAR_main
  50 arity: 1 backedges:
  51 "color: lightyellow}
  52 edge: {sourcename: "n41" targetname: "n42" label: "0" class:13 priority:60 color:red}
  53 node: {title: "n47" label: "0x2Is  47"  info1: "mode:    Is
  54 visited: 11
  55 irg:     GLOBAL_VAR_main
  56 arity: 0
  57 Const of type type_unknown
  58 "color: yellow}
  59 edge: { sourcename: "n47" targetname: "n43" class:2  priority:50 linestyle:dotted}
  60 node: {title: "n49" label: "ProjP 3 49"  info1: "mode:    P
  61 visited: 11
  62 irg:     GLOBAL_VAR_main
  63 arity: 1
  64 "color: yellow}
  65 edge: {sourcename: "n49" targetname: "n44" label: "0" class:1  priority:50}
  66 edge: { sourcename: "n49" targetname: "n43" class:2  priority:50 linestyle:dotted}
  67 node: {title: "n50" label: "ProjM 1 50"  info1: "mode:    M
  68 visited: 11
  69 irg:     GLOBAL_VAR_main
  70 arity: 1
  71 "color: yellow}
  72 edge: {sourcename: "n50" targetname: "n44" label: "0" class:17 priority:10 color:blue}
  73 edge: { sourcename: "n50" targetname: "n43" class:2  priority:50 linestyle:dotted}
  74 node: {title: "n48" label: "Sel i 48"  info1: "mode:    P
  75 visited: 11
  76 irg:     GLOBAL_VAR_main
  77 arity: 2
  78 Selecting entity of type int
  79   from entity of type GlobalType
  80 "}
  81 edge: {sourcename: "n48" targetname: "n50" label: "0" class:17 priority:10 color:blue}
  82 edge: {sourcename: "n48" targetname: "n49" label: "1" class:16 priority:10}
  83 edge: { sourcename: "n48" targetname: "n41" class:2  priority:50 linestyle:dotted}
  84 node: {title: "n46" label: "Store  46"  info1: "mode:    T
  85 visited: 11
  86 irg:     GLOBAL_VAR_main
  87 arity: 3
  88 "}
  89 edge: {sourcename: "n46" targetname: "n50" label: "0" class:17 priority:10 color:blue}
  90 edge: {sourcename: "n46" targetname: "n48" label: "1" class:1  priority:50}
  91 edge: {sourcename: "n46" targetname: "n47" label: "2" class:16 priority:10}
  92 edge: { sourcename: "n46" targetname: "n41" class:2  priority:50 linestyle:dotted}
  93 node: {title: "n45" label: "ProjM 0 45"  info1: "mode:    M
  94 visited: 11
  95 irg:     GLOBAL_VAR_main
  96 arity: 1
  97 "color: yellow}
  98 edge: {sourcename: "n45" targetname: "n46" label: "0" class:17 priority:10 color:blue}
  99 edge: { sourcename: "n45" targetname: "n41" class:2  priority:50 linestyle:dotted}
 100 node: {title: "n40" label: "Return  40"  info1: "mode:    X
 101 visited: 11
 102 irg:     GLOBAL_VAR_main
 103 arity: 1
 104 return in method of type GLOBAL_VAR_main
 105 "}
 106 edge: {sourcename: "n40" targetname: "n45" label: "0" class:14 priority:50 color:blue}
 107 edge: { sourcename: "n40" targetname: "n41" class:2  priority:50 linestyle:dotted}
 108 node: {title: "n39" label: "Block  39"  info1: "mode:    BB
 109 visited: 11
 110 irg:     GLOBAL_VAR_main
 111 arity: 1 backedges:
 112 "color: lightyellow}
 113 edge: {sourcename: "n39" targetname: "n40" label: "0" class:13 priority:60 color:red}
 114 node: {title: "n37" label: "End  37"  info1: "mode:    X
 115 visited: 11
 116 irg:     GLOBAL_VAR_main
 117 arity: 0
 118 "color: blue}
 119 edge: { sourcename: "n37" targetname: "n39" class:2  priority:50 linestyle:dotted}
 120 node: {title: "e15" label: "ent i" color: yellow
 121  info1: "entity i (15)
 122   type:  int (11)
 123   owner: GlobalType (0)
 124   Does not overwrite other entities.
 125   Is not overwriten by other entities.
 126   allocation:  allocation_automatic
 127   visibility:  visibility_local
 128   variability: variability_uninitialized
 129   volatility:  volatility_non_volatile
 130   peculiarity: peculiarity_existent
 131   ld_name: no yet set
 132   offset:  -1
 133
 134 "
 135 }
 136 edge: { sourcename: "e15" targetname: "t11"class: 3 label: "type" color: red}
 137 node: {title: "t0" label: "class GlobalType" info1: "state: layout_undefined
 138 size: -1b,
 139 peculiarity: peculiarity_existent
 140 " color: green}
 141 edge: { sourcename: "t0" targetname: "e14"class: 12 label: "member" color:blue}
 142 edge: { sourcename: "t0" targetname: "e15"class: 12 label: "member" color:blue}
 143 node: {title: "e14" label: "ent GLOBAL_VAR_main" color: yellow
 144  info1: "entity GLOBAL_VAR_main (14)
 145   type:  GLOBAL_VAR_main (12)
 146   owner: GlobalType (0)
 147   Does not overwrite other entities.
 148   Is not overwriten by other entities.
 149   allocation:  allocation_static
 150   visibility:  visibility_local
 151   variability: variability_constant
 152   atomic value: SymC &GLOBAL_VAR_main
 153   volatility:  volatility_non_volatile
 154   peculiarity: peculiarity_existent
 155   ld_name: no yet set
 156   offset:  -1
 157   irg = 27
 158
 159 "
 160 }
 161 edge: { sourcename: "e14" targetname: "t12"class: 3 label: "type" color: red}
 162 edge: { sourcename: "e14" targetname: "n13"label: "value 0"}
 163 node: {title: "n13" label: "SymC &GLOBAL_VAR_main  13"  info1: "mode:    P
 164 visited: 1
 165 arity: 0
 166 kind addr_ent
 167 "}
 168 node: {title: "t12" label: "method GLOBAL_VAR_main" info1: "state: layout_fixed,
 169 mode: P,
 170 size: 32b,
 171 variadicity: variadicity_non_variadic
 172 params: 0
 173 results: 0
 174 "}
 175 node: {title: "t11" label: "primitive int" info1: "state: layout_fixed,
 176 mode: Is,
 177 size: 32b,
 178 "}
 179 node: {title: "t16" label: "class GLOBAL_VAR_mainframe_tp" info1: "state: layout_undefined
 180 size: -1b,
 181 peculiarity: peculiarity_existent
 182 " color: green}
 183 edge: { sourcename: "n48" targetname: "e15"class:2 priority:2 linestyle:dotted}
 184 }