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: "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 "}
  25 }
  26
  27 graph: { title: "n49"  label: "Block 49" status:clustered color:yellow
  28 edge: {sourcename: "n49" targetname: "n50" label: "0" color: red}
  29 node: {title: "n48" label: "Return  48"  info1: "visited: 10
  30 return in method of type main
  31   res 0 type: int
  32 "}
  33 edge: {sourcename: "n48" targetname: "n60" label: "0" color: blue}
  34 edge: {sourcename: "n48" targetname: "n53" label: "1" }
  35 node: {title: "n60" label: "ProjM 0 60" color: yellow info1: "visited: 10
  36 "}
  37 edge: {sourcename: "n60" targetname: "n54" label: "0" color: blue}
  38 node: {title: "n53" label: "ProjIs 2 53" color: yellow info1: "visited: 10
  39 "}
  40 edge: {sourcename: "n53" targetname: "n54" label: "0" }
  41 node: {title: "n54" label: "Load  54"  info1: "visited: 10
  42 "}
  43 edge: {sourcename: "n54" targetname: "n59" label: "0" color: blue}
  44 edge: {sourcename: "n54" targetname: "n55" label: "1" }
  45 node: {title: "n55" label: "Sel a_tp_elem_ent 55"  info1: "visited: 10
  46 Selecting entity of type int
  47   from entity of type a_tp
  48 "}
  49 edge: {sourcename: "n55" targetname: "n59" label: "0" color: blue}
  50 edge: {sourcename: "n55" targetname: "n57" label: "1" }
  51 edge: {sourcename: "n55" targetname: "n56" label: "2" }
  52 node: {title: "n57" label: "Sel a 57"  info1: "visited: 10
  53 Selecting entity of type a_tp
  54   from entity of type mainframe_tp
  55 "}
  56 edge: {sourcename: "n57" targetname: "n59" label: "0" color: blue}
  57 edge: {sourcename: "n57" targetname: "n58" label: "1" }
  58 }
  59
  60 graph: { title: "n51"  label: "Block 51" status:clustered color:yellow
  61 edge: {sourcename: "n51" targetname: "n50" label: "0" color: red}
  62 node: {title: "n59" label: "ProjM 1 59" color: yellow info1: "visited: 10
  63 "}
  64 edge: {sourcename: "n59" targetname: "n52" label: "0" color: blue}
  65 node: {title: "n58" label: "ProjP 2 58" color: yellow info1: "visited: 10
  66 "}
  67 edge: {sourcename: "n58" targetname: "n52" label: "0" }
  68 node: {title: "n56" label: "0x3Iu  56" color: yellow info1: "visited: 10
  69 Const of type type_unknown
  70 "}
  71 node: {title: "n50" label: "ProjX 0 50" color: yellow info1: "visited: 10
  72 "}
  73 edge: {sourcename: "n50" targetname: "n52" label: "0" color: red}
  74 node: {title: "n52" label: "Start  52" color: blue info1: "visited: 10
  75 start of method of type main
  76 "}
  77 }
  78
  79 }
  80
  81 node: {title: "e18" label: "ent a_tp_elem_ent" color: yellow
  82  info1: "
  83 id: e18
  84 allocation:  allocation_automatic
  85 visibility:  visibility_local
  86 variability: variability_uninitialized
  87 volatility:  volatility_non_volatile
  88 peculiarity: peculiarity_existent
  89 name:    a_tp_elem_ent
  90 ld_name: no yet set
  91 offset:  -1"
  92 }
  93 edge: { sourcename: "e18" targetname: "t12"class: 3 label: "type" color: red}
  94 node: {title: "t17" label: "array a_tp" info1: "state: layout_undefined
  95 size: -1B,
  96 "}
  97 edge: { sourcename: "t17" targetname: "t12"class: 10 label: "arr elt tp" color:green}
  98 edge: { sourcename: "t17" targetname: "e18"class: 10 label: "arr ent" color: green}
  99 edge: { sourcename: "n19" targetname: "t17"label: "upper 0"}
 100 edge: { sourcename: "n20" targetname: "t17"label: "lower 0"}
 101 node: {title: "n19" label: "0x9Iu  19" color: yellow info1: "visited: 2
 102 Const of type type_unknown
 103 "}
 104 node: {title: "n20" label: "0x0Iu  20" color: yellow info1: "visited: 2
 105 Const of type type_unknown
 106 "}
 107 node: {title: "t12" label: "primitive int" info1: "state: layout_fixed,
 108 mode: Is,
 109 size: 4B,
 110 "}
 111 node: {title: "e35" label: "ent a" color: yellow
 112  info1: "
 113 id: e35
 114 allocation:  allocation_automatic
 115 visibility:  visibility_local
 116 variability: variability_uninitialized
 117 volatility:  volatility_non_volatile
 118 peculiarity: peculiarity_existent
 119 name:    a
 120 ld_name: no yet set
 121 offset:  -1"
 122 }
 123 edge: { sourcename: "e35" targetname: "t17"class: 3 label: "type" color: red}
 124 node: {title: "t21" label: "class mainframe_tp" info1: "state: layout_undefined
 125 size: -1B,
 126 peculiarity: peculiarity_existent
 127 " color: green}
 128 edge: { sourcename: "t21" targetname: "e35"class: 12 label: "member" color:blue}
 129 node: {title: "e16" label: "ent main" color: yellow
 130  info1: "
 131 id: e16
 132 allocation:  allocation_static
 133 visibility:  visibility_local
 134 variability: variability_constant
 135 volatility:  volatility_non_volatile
 136 peculiarity: peculiarity_existent
 137 name:    main
 138 ld_name: ARRAY-STACK_EXAMPLE_main
 139 offset:  -1
 140 irg = g33"
 141 }
 142 edge: { sourcename: "e16" targetname: "t14"class: 3 label: "type" color: red}
 143 edge: { sourcename: "e16" targetname: "n15"label: "value 0"}
 144 node: {title: "n15" label: "&(ARRAY-STACK_EXAMPLE_main)P  15" color: yellow info1: "visited: 2
 145 Const of type type_unknown
 146 "}
 147 node: {title: "t13" label: "class ARRAY-STACK_EXAMPLE" info1: "state: layout_undefined
 148 size: -1B,
 149 peculiarity: peculiarity_existent
 150 " color: green}
 151 edge: { sourcename: "t13" targetname: "e16"class: 12 label: "member" color:blue}
 152 node: {title: "t14" label: "method main" info1: "state: layout_fixed,
 153 mode: P,
 154 size: 4B,
 155 "}
 156 edge: { sourcename: "t14" targetname: "t12"class: 6 label: "res 0" color: green}
 157 edge: { sourcename: "n55" targetname: "e18"class: 2 priority: 2 linestyle: dotted}
 158 edge: { sourcename: "n57" targetname: "e35"class: 2 priority: 2 linestyle: dotted}
 159 }