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: "Data"
   8 classname 2: "Block"
   9 classname 13:"Control Flow"
  10 classname 14:"Memory"
  11 classname 15:"Dominators"
  12 classname 3: "Entity type"
  13 classname 4: "Entity owner"
  14 classname 5: "Method Param"
  15 classname 6: "Method Res"
  16 classname 7: "Super"
  17 classname 8: "Union"
  18 classname 9: "Points-to"
  19 classname 10: "Array Element Type"
  20 classname 11: "Overwrites"
  21 classname 12: "Member"
  22
  23 node: {title: "n42" label: "Block  42" color: lightyellow info1: "visited: 8
  24 irg:     GLOBAL_VAR_main
  25 arity: 1 backedges:
  26 "}
  27 edge: {sourcename: "n42" targetname: "n41" label: "0" class:13 color:red}
  28 node: {title: "n43" label: "Start  43" color: blue info1: "visited: 8
  29 irg:     GLOBAL_VAR_main
  30 arity: 0
  31 start of method of type GLOBAL_VAR_main
  32 "}
  33 edge: { sourcename: "n43" targetname: "n42" class:2 priority:2 linestyle:dotted}
  34 node: {title: "n41" label: "ProjX 0 41" color: yellow info1: "visited: 8
  35 irg:     GLOBAL_VAR_main
  36 arity: 1
  37 "}
  38 edge: {sourcename: "n41" targetname: "n43" label: "0" class:13 color:red}
  39 edge: { sourcename: "n41" targetname: "n42" class:2 priority:2 linestyle:dotted}
  40 node: {title: "n40" label: "Block  40" color: lightyellow info1: "visited: 8
  41 irg:     GLOBAL_VAR_main
  42 arity: 1 backedges:
  43 "}
  44 edge: {sourcename: "n40" targetname: "n41" label: "0" class:13 color:red}
  45 node: {title: "n46" label: "0x2Is  46" color: yellow info1: "visited: 8
  46 irg:     GLOBAL_VAR_main
  47 arity: 0
  48 Const of type type_unknown
  49 "}
  50 edge: { sourcename: "n46" targetname: "n42" class:2 priority:2 linestyle:dotted}
  51 node: {title: "n48" label: "ProjP 3 48" color: yellow info1: "visited: 8
  52 irg:     GLOBAL_VAR_main
  53 arity: 1
  54 "}
  55 edge: {sourcename: "n48" targetname: "n43" label: "0" }
  56 edge: { sourcename: "n48" targetname: "n42" class:2 priority:2 linestyle:dotted}
  57 node: {title: "n49" label: "ProjM 1 49" color: yellow info1: "visited: 8
  58 irg:     GLOBAL_VAR_main
  59 arity: 1
  60 "}
  61 edge: {sourcename: "n49" targetname: "n43" label: "0" class:14 color:blue}
  62 edge: { sourcename: "n49" targetname: "n42" class:2 priority:2 linestyle:dotted}
  63 node: {title: "n47" label: "Sel i 47"  info1: "visited: 8
  64 irg:     GLOBAL_VAR_main
  65 arity: 2
  66 Selecting entity of type int
  67   from entity of type GlobalType
  68 "}
  69 edge: {sourcename: "n47" targetname: "n49" label: "0" class:14 color:blue}
  70 edge: {sourcename: "n47" targetname: "n48" label: "1" }
  71 edge: { sourcename: "n47" targetname: "n40" class:2 priority:2 linestyle:dotted}
  72 node: {title: "n45" label: "Store  45"  info1: "visited: 8
  73 irg:     GLOBAL_VAR_main
  74 arity: 3
  75 "}
  76 edge: {sourcename: "n45" targetname: "n49" label: "0" class:14 color:blue}
  77 edge: {sourcename: "n45" targetname: "n47" label: "1" }
  78 edge: {sourcename: "n45" targetname: "n46" label: "2" }
  79 edge: { sourcename: "n45" targetname: "n40" class:2 priority:2 linestyle:dotted}
  80 node: {title: "n44" label: "ProjM 0 44" color: yellow info1: "visited: 8
  81 irg:     GLOBAL_VAR_main
  82 arity: 1
  83 "}
  84 edge: {sourcename: "n44" targetname: "n45" label: "0" class:14 color:blue}
  85 edge: { sourcename: "n44" targetname: "n40" class:2 priority:2 linestyle:dotted}
  86 node: {title: "n39" label: "Return  39"  info1: "visited: 8
  87 irg:     GLOBAL_VAR_main
  88 arity: 1
  89 return in method of type GLOBAL_VAR_main
  90 "}
  91 edge: {sourcename: "n39" targetname: "n44" label: "0" class:14 color:blue}
  92 edge: { sourcename: "n39" targetname: "n40" class:2 priority:2 linestyle:dotted}
  93 node: {title: "n38" label: "Block  38" color: lightyellow info1: "visited: 8
  94 irg:     GLOBAL_VAR_main
  95 arity: 1 backedges:
  96 "}
  97 edge: {sourcename: "n38" targetname: "n39" label: "0" class:13 color:red}
  98 node: {title: "n37" label: "End  37" color: blue info1: "visited: 8
  99 irg:     GLOBAL_VAR_main
 100 arity: 0
 101 "}
 102 edge: { sourcename: "n37" targetname: "n38" class:2 priority:2 linestyle:dotted}
 103 node: {title: "e15" label: "ent i" color: yellow
 104  info1: "
 105 id: e15
 106 allocation:  allocation_automatic
 107 visibility:  visibility_local
 108 variability: variability_uninitialized
 109 volatility:  volatility_non_volatile
 110 peculiarity: peculiarity_existent
 111 name:    i
 112 ld_name: no yet set
 113 offset:  -1"
 114 }
 115 edge: { sourcename: "e15" targetname: "t11"class: 3 label: "type" color: red}
 116 node: {title: "t0" label: "class GlobalType" info1: "state: layout_undefined
 117 size: -1B,
 118 peculiarity: peculiarity_existent
 119 " color: green}
 120 edge: { sourcename: "t0" targetname: "e14"class: 12 label: "member" color:blue}
 121 edge: { sourcename: "t0" targetname: "e15"class: 12 label: "member" color:blue}
 122 node: {title: "e14" label: "ent GLOBAL_VAR_main" color: yellow
 123  info1: "
 124 id: e14
 125 allocation:  allocation_static
 126 visibility:  visibility_local
 127 variability: variability_constant
 128 volatility:  volatility_non_volatile
 129 peculiarity: peculiarity_existent
 130 name:    GLOBAL_VAR_main
 131 ld_name: no yet set
 132 offset:  -1
 133 irg = g27"
 134 }
 135 edge: { sourcename: "e14" targetname: "t12"class: 3 label: "type" color: red}
 136 edge: { sourcename: "e14" targetname: "n13"label: "value 0"}
 137 node: {title: "n13" label: "&(GlobalType_GLOBAL_VAR_main)P  13" color: yellow info1: "visited: 1
 138 arity: 0
 139 Const of type type_unknown
 140 "}
 141 node: {title: "t12" label: "method GLOBAL_VAR_main" info1: "state: layout_fixed,
 142 mode: P,
 143 size: 4B,
 144 "}
 145 node: {title: "t11" label: "primitive int" info1: "state: layout_fixed,
 146 mode: Is,
 147 size: 4B,
 148 "}
 149 node: {title: "t16" label: "class GLOBAL_VAR_mainframe_tp" info1: "state: layout_undefined
 150 size: -1B,
 151 peculiarity: peculiarity_existent
 152 " color: green}
 153 edge: { sourcename: "n47" targetname: "e15"class:2 priority:2 linestyle:dotted}
 154 }