nsz Git - libfirm/blob - testprograms/ref-results/ARRAY-STACK_EXAMPLE_main-all.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"classname 4: "Entity owner"classname 5: "Method Param"classname 6: "Method Res"classname 7: "Super"classname 8: "Union"classname 9: "Points-to"classname 10: "Array Element Type"classname 11: "Overwrites"classname 12: "Member"
  10 graph: { title: "n45" label: "45" status:clustered color:yellow
  11 edge: {sourcename: "n45 " targetname: "n46" label: "0" color: red}
  12 node: {title: "n44" label: "End  44" color: blue info1: "visited: 13
  13 "}
  14 }
  15
  16 graph: { title: "n47" label: "47" status:clustered color:yellow
  17 edge: {sourcename: "n47 " targetname: "n48" label: "0" color: red}
  18 node: {title: "n46" label: "Return  46"  info1: "visited: 14
  19 "}
  20 edge: {sourcename: "n46 " targetname: "n58" label: "0" color: blue}
  21 edge: {sourcename: "n46 " targetname: "n51" label: "1" }
  22 node: {title: "n51" label: "ProjIs 2 51" color: yellow info1: "visited: 14
  23 "}
  24 edge: {sourcename: "n51 " targetname: "n52" label: "0" }
  25 node: {title: "n52" label: "Load  52"  info1: "visited: 14
  26 "}
  27 edge: {sourcename: "n52 " targetname: "n57" label: "0" color: blue}
  28 edge: {sourcename: "n52 " targetname: "n53" label: "1" }
  29 node: {title: "n53" label: "Sel a_tp_elem_ent 53"  info1: "visited: 14
  30 "}
  31 edge: {sourcename: "n53 " targetname: "n57" label: "0" color: blue}
  32 edge: {sourcename: "n53 " targetname: "n55" label: "1" }
  33 edge: {sourcename: "n53 " targetname: "n54" label: "2" }
  34 node: {title: "n55" label: "Sel a 55"  info1: "visited: 14
  35 "}
  36 edge: {sourcename: "n55 " targetname: "n57" label: "0" color: blue}
  37 edge: {sourcename: "n55 " targetname: "n56" label: "1" }
  38 node: {title: "n58" label: "ProjM 0 58" color: yellow info1: "visited: 14
  39 "}
  40 edge: {sourcename: "n58 " targetname: "n52" label: "0" color: blue}
  41 }
  42
  43 graph: { title: "n49" label: "49" status:clustered color:yellow
  44 edge: {sourcename: "n49 " targetname: "n48" label: "0" color: red}
  45 node: {title: "n48" label: "ProjX 0 48" color: yellow info1: "visited: 15
  46 "}
  47 edge: {sourcename: "n48 " targetname: "n50" label: "0" color: red}
  48 node: {title: "n50" label: "Start  50" color: blue info1: "visited: 15
  49 "}
  50 node: {title: "n54" label: "0x3Iu  54" color: yellow info1: "visited: 15
  51 "}
  52 node: {title: "n56" label: "ProjP 2 56" color: yellow info1: "visited: 15
  53 "}
  54 edge: {sourcename: "n56 " targetname: "n50" label: "0" }
  55 node: {title: "n57" label: "ProjM 1 57" color: yellow info1: "visited: 15
  56 "}
  57 edge: {sourcename: "n57 " targetname: "n50" label: "0" color: blue}
  58 }
  59
  60 node: {title: "n61" label: "Bad  61"  info1: "visited: 0
  61 "}
  62 node: {title: "e30" label: "ent a_tp_elem_ent" color: yellow
  63  info1: "
  64 id: e30
  65 allocation:  automatic allocated
  66 visibility:  local
  67 variability: uninitialized
  68 volatility:  non_volatile
  69 peculiarity: existent
  70 name:    a_tp_elem_ent
  71 ld_name: a_tp_a_tp_elem_ent
  72 offset:  -1"
  73 }
  74 edge: { sourcename: "e30" targetname: "t10"class: 3 label: "type" color: red}
  75 node: {title: "t29" label: "array a_tp" info1: "state: layout_undefined
  76 size: -1B,
  77 "}
  78 edge: { sourcename: "t29" targetname: "t10"class: 10 label: "arr elt tp" color:green}
  79 edge: { sourcename: "t29" targetname: "e30"class: 10 label: "arr ent" color: green}
  80 node: {title: "t10" label: "primitive int" info1: "state: layout_fixed,
  81 mode: Is,
  82 size: 4B,
  83 "}
  84 node: {title: "e33" label: "ent a" color: yellow
  85  info1: "
  86 id: e33
  87 allocation:  automatic allocated
  88 visibility:  local
  89 variability: uninitialized
  90 volatility:  non_volatile
  91 peculiarity: existent
  92 name:    a
  93 ld_name: mainframe_tp_a
  94 offset:  -1"
  95 }
  96 edge: { sourcename: "e33" targetname: "t29"class: 3 label: "type" color: red}
  97 node: {title: "t15" label: "class mainframe_tp" info1: "state: layout_undefined
  98 size: -1B,
  99 " color: green}
 100 edge: { sourcename: "t15" targetname: "e33"class: 12 label: "member" color:blue}
 101 node: {title: "e14" label: "ent main" color: yellow
 102  info1: "
 103 id: e14
 104 allocation:  static allocated
 105 visibility:  local
 106 variability: constant
 107 volatility:  non_volatile
 108 peculiarity: existent
 109 name:    main
 110 ld_name: ARRAY-STACK_EXAMPLE_main
 111 offset:  -1
 112 irg = g27"
 113 }
 114 edge: { sourcename: "e14" targetname: "t12"class: 3 label: "type" color: red}
 115 edge: { sourcename: "e14" targetname: "n13"label: "value 0"}
 116 node: {title: "n13" label: "&(ARRAY-STACK_EXAMPLE_main)P  13" color: yellow info1: "visited: 2
 117 "}
 118 node: {title: "t11" label: "class ARRAY-STACK_EXAMPLE" info1: "state: layout_undefined
 119 size: -1B,
 120 " color: green}
 121 edge: { sourcename: "t11" targetname: "e14"class: 12 label: "member" color:blue}
 122 node: {title: "t12" label: "method main" info1: "state: layout_fixed,
 123 mode: P,
 124 size: 4B,
 125 "}
 126 edge: { sourcename: "t12" targetname: "t10"class: 6 label: "res 0" color: green}
 127 edge: { sourcename: "n53" targetname: "e30"class: 2 priority: 2 linestyle: dotted}
 128 edge: { sourcename: "n55" targetname: "e33"class: 2 priority: 2 linestyle: dotted}
 129 }