nsz Git - libfirm/blob - testprograms/ref-results/ARRAY-STACK_EXAMPLE_main-wtypes.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: "Data"
   8 classname 2: "Block"
   9 classname 3: "Entity type"
  10 classname 4: "Entity owner"
  11 classname 5: "Method Param"
  12 classname 6: "Method Res"
  13 classname 7: "Super"
  14 classname 8: "Union"
  15 classname 9: "Points-to"
  16 classname 10: "Array Element Type"
  17 classname 11: "Overwrites"
  18 classname 12: "Member"
  19
  20 graph: { title: "g33" label: "ARRAY-STACK_EXAMPLE_main" status:clustered color:white
  21 graph: { title: "n47"  label: "Block 47" status:clustered color:yellow
  22 edge: {sourcename: "n47" targetname: "n48" label: "0" color: red}
  23 node: {title: "n46" label: "End  46" color: blue info1: "visited: 10
  24 irg:     ARRAY-STACK_EXAMPLE_main
  25 arity: 0
  26 "}
  27 }
  28
  29 graph: { title: "n49"  label: "Block 49" status:clustered color:yellow
  30 edge: {sourcename: "n49" targetname: "n50" label: "0" color: red}
  31 node: {title: "n48" label: "Return  48"  info1: "visited: 10
  32 irg:     ARRAY-STACK_EXAMPLE_main
  33 arity: 2
  34 return in method of type main
  35   res 0 type: int
  36 "}
  37 edge: {sourcename: "n48" targetname: "n60" label: "0" color: blue}
  38 edge: {sourcename: "n48" targetname: "n53" label: "1" }
  39 node: {title: "n60" label: "ProjM 0 60" color: yellow info1: "visited: 10
  40 irg:     ARRAY-STACK_EXAMPLE_main
  41 arity: 1
  42 "}
  43 edge: {sourcename: "n60" targetname: "n54" label: "0" color: blue}
  44 node: {title: "n53" label: "ProjIs 2 53" color: yellow info1: "visited: 10
  45 irg:     ARRAY-STACK_EXAMPLE_main
  46 arity: 1
  47 "}
  48 edge: {sourcename: "n53" targetname: "n54" label: "0" }
  49 node: {title: "n54" label: "Load  54"  info1: "visited: 10
  50 irg:     ARRAY-STACK_EXAMPLE_main
  51 arity: 2
  52 "}
  53 edge: {sourcename: "n54" targetname: "n59" label: "0" color: blue}
  54 edge: {sourcename: "n54" targetname: "n55" label: "1" }
  55 node: {title: "n55" label: "Sel a_tp_elem_ent 55"  info1: "visited: 10
  56 irg:     ARRAY-STACK_EXAMPLE_main
  57 arity: 3
  58 Selecting entity of type int
  59   from entity of type a_tp
  60 "}
  61 edge: {sourcename: "n55" targetname: "n59" label: "0" color: blue}
  62 edge: {sourcename: "n55" targetname: "n57" label: "1" }
  63 edge: {sourcename: "n55" targetname: "n56" label: "2" }
  64 node: {title: "n57" label: "Sel a 57"  info1: "visited: 10
  65 irg:     ARRAY-STACK_EXAMPLE_main
  66 arity: 2
  67 Selecting entity of type a_tp
  68   from entity of type mainframe_tp
  69 "}
  70 edge: {sourcename: "n57" targetname: "n59" label: "0" color: blue}
  71 edge: {sourcename: "n57" targetname: "n58" label: "1" }
  72 }
  73
  74 graph: { title: "n51"  label: "Block 51" status:clustered color:yellow
  75 edge: {sourcename: "n51" targetname: "n50" label: "0" color: red}
  76 node: {title: "n59" label: "ProjM 1 59" color: yellow info1: "visited: 10
  77 irg:     ARRAY-STACK_EXAMPLE_main
  78 arity: 1
  79 "}
  80 edge: {sourcename: "n59" targetname: "n52" label: "0" color: blue}
  81 node: {title: "n58" label: "ProjP 2 58" color: yellow info1: "visited: 10
  82 irg:     ARRAY-STACK_EXAMPLE_main
  83 arity: 1
  84 "}
  85 edge: {sourcename: "n58" targetname: "n52" label: "0" }
  86 node: {title: "n56" label: "0x3Iu  56" color: yellow info1: "visited: 10
  87 irg:     ARRAY-STACK_EXAMPLE_main
  88 arity: 0
  89 Const of type type_unknown
  90 "}
  91 node: {title: "n50" label: "ProjX 0 50" color: yellow info1: "visited: 10
  92 irg:     ARRAY-STACK_EXAMPLE_main
  93 arity: 1
  94 "}
  95 edge: {sourcename: "n50" targetname: "n52" label: "0" color: red}
  96 node: {title: "n52" label: "Start  52" color: blue info1: "visited: 10
  97 irg:     ARRAY-STACK_EXAMPLE_main
  98 arity: 0
  99 start of method of type main
 100 "}
 101 }
 102
 103 }
 104
 105 node: {title: "e19" label: "ent a_tp_elem_ent" color: yellow
 106  info1: "
 107 id: e19
 108 allocation:  allocation_automatic
 109 visibility:  visibility_local
 110 variability: variability_uninitialized
 111 volatility:  volatility_non_volatile
 112 peculiarity: peculiarity_existent
 113 name:    a_tp_elem_ent
 114 ld_name: no yet set
 115 offset:  -1"
 116 }
 117 edge: { sourcename: "e19" targetname: "t11"class: 3 label: "type" color: red}
 118 node: {title: "t16" label: "array a_tp" info1: "state: layout_undefined
 119 size: -1B,
 120 "}
 121 edge: { sourcename: "t16" targetname: "t11"class: 10 label: "arr elt tp" color:green}
 122 edge: { sourcename: "t16" targetname: "e19"class: 10 label: "arr ent" color: green}
 123 edge: { sourcename: "n20" targetname: "t16"label: "upper 0"}
 124 edge: { sourcename: "n21" targetname: "t16"label: "lower 0"}
 125 node: {title: "n20" label: "0x9Iu  20" color: yellow info1: "visited: 2
 126 arity: 0
 127 Const of type type_unknown
 128 "}
 129 node: {title: "n21" label: "0x0Iu  21" color: yellow info1: "visited: 2
 130 arity: 0
 131 Const of type type_unknown
 132 "}
 133 node: {title: "t11" label: "primitive int" info1: "state: layout_fixed,
 134 mode: Is,
 135 size: 4B,
 136 "}
 137 node: {title: "e35" label: "ent a" color: yellow
 138  info1: "
 139 id: e35
 140 allocation:  allocation_automatic
 141 visibility:  visibility_local
 142 variability: variability_uninitialized
 143 volatility:  volatility_non_volatile
 144 peculiarity: peculiarity_existent
 145 name:    a
 146 ld_name: no yet set
 147 offset:  -1"
 148 }
 149 edge: { sourcename: "e35" targetname: "t16"class: 3 label: "type" color: red}
 150 node: {title: "t22" label: "class mainframe_tp" info1: "state: layout_undefined
 151 size: -1B,
 152 peculiarity: peculiarity_existent
 153 " color: green}
 154 edge: { sourcename: "t22" targetname: "e35"class: 12 label: "member" color:blue}
 155 node: {title: "e15" label: "ent ARRAY-STACK_EXAMPLE_main" color: yellow
 156  info1: "
 157 id: e15
 158 allocation:  allocation_static
 159 visibility:  visibility_local
 160 variability: variability_constant
 161 volatility:  volatility_non_volatile
 162 peculiarity: peculiarity_existent
 163 name:    ARRAY-STACK_EXAMPLE_main
 164 ld_name: ARRAY-STACK_EXAMPLE_main
 165 offset:  -1
 166 irg = g33"
 167 }
 168 edge: { sourcename: "e15" targetname: "t13"class: 3 label: "type" color: red}
 169 edge: { sourcename: "e15" targetname: "n14"label: "value 0"}
 170 node: {title: "n14" label: "&(ARRAY-STACK_EXAMPLE_main)P  14" color: yellow info1: "visited: 2
 171 arity: 0
 172 Const of type type_unknown
 173 "}
 174 node: {title: "t12" label: "class ARRAY-STACK_EXAMPLE" info1: "state: layout_undefined
 175 size: -1B,
 176 peculiarity: peculiarity_existent
 177 " color: green}
 178 edge: { sourcename: "t12" targetname: "e15"class: 12 label: "member" color:blue}
 179 node: {title: "t13" label: "method main" info1: "state: layout_fixed,
 180 mode: P,
 181 size: 4B,
 182 "}
 183 edge: { sourcename: "t13" targetname: "t11"class: 6 label: "res 0" color: green}
 184 edge: { sourcename: "n55" targetname: "e19"class: 2 priority: 2 linestyle: dotted}
 185 edge: { sourcename: "n57" targetname: "e35"class: 2 priority: 2 linestyle: dotted}
 186 }