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: "n42" label: "Block  42"  info1: "mode:    BB
  28 visited: 11
  29 irg:     GLOBAL_VAR_main
  30 arity: 1 backedges:
  31 "color: lightyellow}
  32 edge: {sourcename: "n42" targetname: "n41" label: "0" class:13 priority:60 color:red}
  33 node: {title: "n43" label: "Start  43"  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: "n43" targetname: "n42" class:2  priority:50 linestyle:dotted}
  40 node: {title: "n41" label: "ProjX 0 41"  info1: "mode:    X
  41 visited: 11
  42 irg:     GLOBAL_VAR_main
  43 arity: 1
  44 "color: yellow}
  45 edge: {sourcename: "n41" targetname: "n43" label: "0" class:13 priority:60 color:red}
  46 edge: { sourcename: "n41" targetname: "n42" class:2  priority:50 linestyle:dotted}
  47 node: {title: "n40" label: "Block  40"  info1: "mode:    BB
  48 visited: 11
  49 irg:     GLOBAL_VAR_main
  50 arity: 1 backedges:
  51 "color: lightyellow}
  52 edge: {sourcename: "n40" targetname: "n41" label: "0" class:13 priority:60 color:red}
  53 node: {title: "n46" label: "0x2Is  46"  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: "n46" targetname: "n42" class:2  priority:50 linestyle:dotted}
  60 node: {title: "n48" label: "ProjP 3 48"  info1: "mode:    P
  61 visited: 11
  62 irg:     GLOBAL_VAR_main
  63 arity: 1
  64 "color: yellow}
  65 edge: {sourcename: "n48" targetname: "n43" label: "0" class:1  priority:50}
  66 edge: { sourcename: "n48" targetname: "n42" class:2  priority:50 linestyle:dotted}
  67 node: {title: "n49" label: "ProjM 1 49"  info1: "mode:    M
  68 visited: 11
  69 irg:     GLOBAL_VAR_main
  70 arity: 1
  71 "color: yellow}
  72 edge: {sourcename: "n49" targetname: "n43" label: "0" class:17 priority:10 color:blue}
  73 edge: { sourcename: "n49" targetname: "n42" class:2  priority:50 linestyle:dotted}
  74 node: {title: "n47" label: "Sel i 47"  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: "n47" targetname: "n49" label: "0" class:17 priority:10 color:blue}
  82 edge: {sourcename: "n47" targetname: "n48" label: "1" class:16 priority:10}
  83 edge: { sourcename: "n47" targetname: "n40" class:2  priority:50 linestyle:dotted}
  84 node: {title: "n45" label: "Store  45"  info1: "mode:    T
  85 visited: 11
  86 irg:     GLOBAL_VAR_main
  87 arity: 3
  88 "}
  89 edge: {sourcename: "n45" targetname: "n49" label: "0" class:17 priority:10 color:blue}
  90 edge: {sourcename: "n45" targetname: "n47" label: "1" class:1  priority:50}
  91 edge: {sourcename: "n45" targetname: "n46" label: "2" class:16 priority:10}
  92 edge: { sourcename: "n45" targetname: "n40" class:2  priority:50 linestyle:dotted}
  93 node: {title: "n44" label: "ProjM 0 44"  info1: "mode:    M
  94 visited: 11
  95 irg:     GLOBAL_VAR_main
  96 arity: 1
  97 "color: yellow}
  98 edge: {sourcename: "n44" targetname: "n45" label: "0" class:17 priority:10 color:blue}
  99 edge: { sourcename: "n44" targetname: "n40" class:2  priority:50 linestyle:dotted}
 100 node: {title: "n39" label: "Return  39"  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: "n39" targetname: "n44" label: "0" class:14 priority:50 color:blue}
 107 edge: { sourcename: "n39" targetname: "n40" class:2  priority:50 linestyle:dotted}
 108 node: {title: "n38" label: "Block  38"  info1: "mode:    BB
 109 visited: 11
 110 irg:     GLOBAL_VAR_main
 111 arity: 1 backedges:
 112 "color: lightyellow}
 113 edge: {sourcename: "n38" targetname: "n39" label: "0" class:13 priority:60 color:red}
 114 node: {title: "n36" label: "End  36"  info1: "mode:    X
 115 visited: 11
 116 irg:     GLOBAL_VAR_main
 117 arity: 0
 118 "color: blue}
 119 edge: { sourcename: "n36" targetname: "n38" class:2  priority:50 linestyle:dotted}
 120 node: {title: "e14" label: "ent i" color: yellow
 121  info1: "
 122 id: e14
 123 allocation:  allocation_automatic
 124 visibility:  visibility_local
 125 variability: variability_uninitialized
 126 volatility:  volatility_non_volatile
 127 peculiarity:  peculiarity_existent
 128 name:         i
 129 ld_name:      no yet set
 130 offset(bits): -1"
 131 }
 132 edge: { sourcename: "e14" targetname: "t10"class: 3 label: "type" color: red}
 133 node: {title: "t0" label: "class GlobalType" info1: "state: layout_undefined
 134 size: -1b,
 135 peculiarity: peculiarity_existent
 136 " color: green}
 137 edge: { sourcename: "t0" targetname: "e13"class: 12 label: "member" color:blue}
 138 edge: { sourcename: "t0" targetname: "e14"class: 12 label: "member" color:blue}
 139 node: {title: "e13" label: "ent GLOBAL_VAR_main" color: yellow
 140  info1: "
 141 id: e13
 142 allocation:  allocation_static
 143 visibility:  visibility_local
 144 variability: variability_constant
 145 volatility:  volatility_non_volatile
 146 peculiarity:  peculiarity_existent
 147 name:         GLOBAL_VAR_main
 148 ld_name:      no yet set
 149 offset(bits): -1
 150 irg = g26"
 151 }
 152 edge: { sourcename: "e13" targetname: "t11"class: 3 label: "type" color: red}
 153 edge: { sourcename: "e13" targetname: "n12"label: "value 0"}
 154 node: {title: "n12" label: "SymC &GLOBAL_VAR_main  12"  info1: "mode:    P
 155 visited: 1
 156 arity: 0
 157 "}
 158 node: {title: "t11" label: "method GLOBAL_VAR_main" info1: "state: layout_fixed,
 159 mode: P,
 160 size: 32b,
 161 variadicity: variadicity_non_variadic
 162 params: 0
 163 results: 0
 164 "}
 165 node: {title: "t10" label: "primitive int" info1: "state: layout_fixed,
 166 mode: Is,
 167 size: 32b,
 168 "}
 169 node: {title: "t15" label: "class GLOBAL_VAR_mainframe_tp" info1: "state: layout_undefined
 170 size: -1b,
 171 peculiarity: peculiarity_existent
 172 " color: green}
 173 edge: { sourcename: "n47" targetname: "e14"class:2 priority:2 linestyle:dotted}
 174 }