nsz Git - libfirm/blob - testprograms/ref-results/OO_PROGRAM_EXAMPLE_main-pure.vcg

   1 graph: { title: "ir graph of OO_PROGRAM_EXAMPLE_main"
   2 display_edge_labels: no
   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 infoname 1: "Attribute"
  23 infoname 2: "Verification errors"
  24
  25 node: {title: "n108" label: "Block  108"  info1: "visited: 15
  26 irg:     OO_PROGRAM_EXAMPLE_main
  27 arity: 1 backedges:
  28 " info2: "((get_irn_irg(n) && get_irn_irg(n) == irg)) && Block node has wrong irg attribute"color: lightyellow}
  29 edge: {sourcename: "n108" targetname: "n107" label: "0" class:13 color:red}
  30 node: {title: "n109" label: "Start  109"  info1: "visited: 15
  31 irg:     OO_PROGRAM_EXAMPLE_main
  32 arity: 0
  33 start of method of type OO_PROGRAM_EXAMPLE_main
  34 " info2: "mymode == mode_T && Start node"color: blue}
  35 edge: { sourcename: "n109" targetname: "n108" class:2 priority:2 linestyle:dotted}
  36 node: {title: "n107" label: "ProjX 0 107"  info1: "visited: 15
  37 irg:     OO_PROGRAM_EXAMPLE_main
  38 arity: 1
  39 "color: yellow}
  40 edge: {sourcename: "n107" targetname: "n109" label: "0" class:13 color:red}
  41 edge: { sourcename: "n107" targetname: "n108" class:2 priority:2 linestyle:dotted}
  42 node: {title: "n106" label: "Block  106"  info1: "visited: 15
  43 irg:     OO_PROGRAM_EXAMPLE_main
  44 arity: 1 backedges:
  45 " info2: "((get_irn_irg(n) && get_irn_irg(n) == irg)) && Block node has wrong irg attribute"color: lightyellow}
  46 edge: {sourcename: "n106" targetname: "n107" label: "0" class:13 color:red}
  47 node: {title: "n117" label: "ProjM 1 117"  info1: "visited: 15
  48 irg:     OO_PROGRAM_EXAMPLE_main
  49 arity: 1
  50 "color: yellow}
  51 edge: {sourcename: "n117" targetname: "n109" label: "0" class:14 color:blue}
  52 edge: { sourcename: "n117" targetname: "n108" class:2 priority:2 linestyle:dotted}
  53 node: {title: "n115" label: "Alloc  115"  info1: "visited: 15
  54 irg:     OO_PROGRAM_EXAMPLE_main
  55 arity: 2
  56 allocating entity of type PRIMA
  57 "}
  58 node: {title: "n115n116" label: "SymC PRIMA size  116"  info1: "visited: 15
  59 irg:     OO_PROGRAM_EXAMPLE_main
  60 arity: 0
  61 "}
  62 edge: {sourcename: "n115" targetname: "n117" label: "0" class:14 color:blue}
  63 edge: {sourcename: "n115" targetname: "n115n116" label: "1" }
  64 edge: { sourcename: "n115" targetname: "n106" class:2 priority:2 linestyle:dotted}
  65 node: {title: "n114" label: "ProjP 2 114"  info1: "visited: 15
  66 irg:     OO_PROGRAM_EXAMPLE_main
  67 arity: 1
  68 "color: yellow}
  69 edge: {sourcename: "n114" targetname: "n115" label: "0" }
  70 edge: { sourcename: "n114" targetname: "n106" class:2 priority:2 linestyle:dotted}
  71 node: {title: "n123" label: "ProjM 0 123"  info1: "visited: 15
  72 irg:     OO_PROGRAM_EXAMPLE_main
  73 arity: 1
  74 "color: yellow}
  75 edge: {sourcename: "n123" targetname: "n115" label: "0" class:14 color:blue}
  76 edge: { sourcename: "n123" targetname: "n106" class:2 priority:2 linestyle:dotted}
  77 node: {title: "n122" label: "Sel PRIMA_set_a 122"  info1: "visited: 15
  78 irg:     OO_PROGRAM_EXAMPLE_main
  79 arity: 2
  80 Selecting entity of type set_a
  81   from entity of type PRIMA
  82 "}
  83 edge: {sourcename: "n122" targetname: "n123" label: "0" class:14 color:blue}
  84 edge: {sourcename: "n122" targetname: "n114" label: "1" }
  85 edge: { sourcename: "n122" targetname: "n106" class:2 priority:2 linestyle:dotted}
  86 node: {title: "n120" label: "Call  120"  info1: "visited: 15
  87 irg:     OO_PROGRAM_EXAMPLE_main
  88 arity: 4
  89 calling method of type set_a
  90   param 0 type: class_prima_ptr
  91   param 1 type: int
  92 " info2: "get_Call_n_params(n) == get_method_n_params(mt) && Number of args for Call doesn't match number of args in non variadic type."}
  93 node: {title: "n120n121" label: "0x2Is  121"  info1: "visited: 15
  94 irg:     OO_PROGRAM_EXAMPLE_main
  95 arity: 0
  96 Const of type type_unknown
  97 "color: yellow}
  98 edge: {sourcename: "n120" targetname: "n123" label: "0" class:14 color:blue}
  99 edge: {sourcename: "n120" targetname: "n122" label: "1" }
 100 edge: {sourcename: "n120" targetname: "n114" label: "2" }
 101 edge: {sourcename: "n120" targetname: "n120n121" label: "3" }
 102 edge: { sourcename: "n120" targetname: "n106" class:2 priority:2 linestyle:dotted}
 103 node: {title: "n119" label: "ProjM 0 119"  info1: "visited: 15
 104 irg:     OO_PROGRAM_EXAMPLE_main
 105 arity: 1
 106 "color: yellow}
 107 edge: {sourcename: "n119" targetname: "n120" label: "0" class:14 color:blue}
 108 edge: { sourcename: "n119" targetname: "n106" class:2 priority:2 linestyle:dotted}
 109 node: {title: "n118" label: "Sel PRIMA_c 118"  info1: "visited: 15
 110 irg:     OO_PROGRAM_EXAMPLE_main
 111 arity: 2
 112 Selecting entity of type c
 113   from entity of type PRIMA
 114 "}
 115 edge: {sourcename: "n118" targetname: "n119" label: "0" class:14 color:blue}
 116 edge: {sourcename: "n118" targetname: "n114" label: "1" }
 117 edge: { sourcename: "n118" targetname: "n106" class:2 priority:2 linestyle:dotted}
 118 node: {title: "n112" label: "Call  112"  info1: "visited: 15
 119 irg:     OO_PROGRAM_EXAMPLE_main
 120 arity: 4
 121 calling method of type c
 122   param 0 type: class_prima_ptr
 123   param 1 type: int
 124   resul 0 type: int
 125 " info2: "get_Call_n_params(n) == get_method_n_params(mt) && Number of args for Call doesn't match number of args in non variadic type."}
 126 node: {title: "n112n113" label: "0x5Is  113"  info1: "visited: 15
 127 irg:     OO_PROGRAM_EXAMPLE_main
 128 arity: 0
 129 Const of type type_unknown
 130 "color: yellow}
 131 edge: {sourcename: "n112" targetname: "n119" label: "0" class:14 color:blue}
 132 edge: {sourcename: "n112" targetname: "n118" label: "1" }
 133 edge: {sourcename: "n112" targetname: "n114" label: "2" }
 134 edge: {sourcename: "n112" targetname: "n112n113" label: "3" }
 135 edge: { sourcename: "n112" targetname: "n106" class:2 priority:2 linestyle:dotted}
 136 node: {title: "n111" label: "ProjT 2 111"  info1: "visited: 15
 137 irg:     OO_PROGRAM_EXAMPLE_main
 138 arity: 1
 139 "color: yellow}
 140 edge: {sourcename: "n111" targetname: "n112" label: "0" }
 141 edge: { sourcename: "n111" targetname: "n106" class:2 priority:2 linestyle:dotted}
 142 node: {title: "n110" label: "ProjIs 0 110"  info1: "visited: 15
 143 irg:     OO_PROGRAM_EXAMPLE_main
 144 arity: 1
 145 " info2: "(mode == get_type_mode(get_method_res_type(mt, proj))) && Mode of Proj from Call doesn't match mode of result type."color: yellow}
 146 edge: {sourcename: "n110" targetname: "n111" label: "0" }
 147 edge: { sourcename: "n110" targetname: "n106" class:2 priority:2 linestyle:dotted}
 148 node: {title: "n124" label: "ProjM 0 124"  info1: "visited: 15
 149 irg:     OO_PROGRAM_EXAMPLE_main
 150 arity: 1
 151 "color: yellow}
 152 edge: {sourcename: "n124" targetname: "n112" label: "0" class:14 color:blue}
 153 edge: { sourcename: "n124" targetname: "n106" class:2 priority:2 linestyle:dotted}
 154 node: {title: "n105" label: "Return  105"  info1: "visited: 15
 155 irg:     OO_PROGRAM_EXAMPLE_main
 156 arity: 2
 157 return in method of type OO_PROGRAM_EXAMPLE_main
 158   res 0 type: int
 159 " info2: "mymode == mode_X && Result X"}
 160 edge: {sourcename: "n105" targetname: "n124" label: "0" class:14 color:blue}
 161 edge: {sourcename: "n105" targetname: "n110" label: "1" }
 162 edge: { sourcename: "n105" targetname: "n106" class:2 priority:2 linestyle:dotted}
 163 node: {title: "n104" label: "Block  104"  info1: "visited: 15
 164 irg:     OO_PROGRAM_EXAMPLE_main
 165 arity: 1 backedges:
 166 " info2: "((get_irn_irg(n) && get_irn_irg(n) == irg)) && Block node has wrong irg attribute"color: lightyellow}
 167 edge: {sourcename: "n104" targetname: "n105" label: "0" class:13 color:red}
 168 node: {title: "n103" label: "End  103"  info1: "visited: 15
 169 irg:     OO_PROGRAM_EXAMPLE_main
 170 arity: 0
 171 "color: blue}
 172 edge: { sourcename: "n103" targetname: "n104" class:2 priority:2 linestyle:dotted}
 173 }