nsz Git - libfirm/blob - testprograms/ref-results/THREE_CFPRED_EXAMPLE_main.vcg

   1 graph: { title: "ir graph of THREE_CFPRED_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 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 graph: { title: "g26" label: "THREE_CFPRED_EXAMPLE_main" status:clustered color:white
  24 graph: { title: "n75"  label: "Block 75" status:clustered color:yellow
  25 edge: {sourcename: "n75" targetname: "n76" label: "0" class:13 color:red}
  26 node: {title: "n74" label: "End  74" color: blue info1: "visited: 8
  27 irg:     THREE_CFPRED_EXAMPLE_main
  28 arity: 0
  29 "}
  30 }
  31
  32 graph: { title: "n77"  label: "Block 77" status:clustered color:yellow
  33 edge: {sourcename: "n77" targetname: "n100" label: "0" class:13 color:red}
  34 edge: {sourcename: "n77" targetname: "n97" label: "1" class:13 color:red}
  35 edge: {sourcename: "n77" targetname: "n78" label: "2" class:13 color:red}
  36 node: {title: "n76" label: "Return  76"  info1: "visited: 8
  37 irg:     THREE_CFPRED_EXAMPLE_main
  38 arity: 2
  39 return in method of type THREE_CFPRED_EXAMPLE_main
  40   res 0 type: int
  41 "}
  42 edge: {sourcename: "n76" targetname: "n106" label: "0" class:14 color:blue}
  43 edge: {sourcename: "n76" targetname: "n103" label: "1" }
  44 node: {title: "n103" label: "PhiIs  103" color: green info1: "visited: 8
  45 irg:     THREE_CFPRED_EXAMPLE_main
  46 arity: 3 backedges:
  47 "}
  48 edge: {sourcename: "n103" targetname: "n105" label: "0" }
  49 edge: {sourcename: "n103" targetname: "n104" label: "1" }
  50 edge: {sourcename: "n103" targetname: "n104" label: "2" }
  51 }
  52
  53 graph: { title: "n101"  label: "Block 101" status:clustered color:yellow
  54 edge: {sourcename: "n101" targetname: "n102" label: "0" class:13 color:red}
  55 node: {title: "n100" label: "Jmp  100"  info1: "visited: 8
  56 irg:     THREE_CFPRED_EXAMPLE_main
  57 arity: 0
  58 "}
  59 }
  60
  61 graph: { title: "n98"  label: "Block 98" status:clustered color:yellow
  62 edge: {sourcename: "n98" targetname: "n99" label: "0" class:13 color:red}
  63 node: {title: "n97" label: "Jmp  97"  info1: "visited: 8
  64 irg:     THREE_CFPRED_EXAMPLE_main
  65 arity: 0
  66 "}
  67 }
  68
  69 graph: { title: "n79"  label: "Block 79" status:clustered color:yellow
  70 edge: {sourcename: "n79" targetname: "n80" label: "0" class:13 color:red}
  71 node: {title: "n78" label: "Jmp  78"  info1: "visited: 8
  72 irg:     THREE_CFPRED_EXAMPLE_main
  73 arity: 0
  74 "}
  75 }
  76
  77 graph: { title: "n81"  label: "Block 81" status:clustered color:yellow
  78 edge: {sourcename: "n81" targetname: "n82" label: "0" class:13 color:red}
  79 node: {title: "n99" label: "ProjX 0 99" color: yellow info1: "visited: 8
  80 irg:     THREE_CFPRED_EXAMPLE_main
  81 arity: 1
  82 "}
  83 edge: {sourcename: "n99" targetname: "n93" label: "0" class:13 color:red}
  84 node: {title: "n80" label: "ProjX 1 80" color: yellow info1: "visited: 8
  85 irg:     THREE_CFPRED_EXAMPLE_main
  86 arity: 1
  87 "}
  88 edge: {sourcename: "n80" targetname: "n93" label: "0" class:13 color:red}
  89 node: {title: "n93" label: "Cond  93"  info1: "visited: 8
  90 irg:     THREE_CFPRED_EXAMPLE_main
  91 arity: 1
  92 "}
  93 edge: {sourcename: "n93" targetname: "n94" label: "0" }
  94 node: {title: "n94" label: "Projb Eq 94" color: yellow info1: "visited: 8
  95 irg:     THREE_CFPRED_EXAMPLE_main
  96 arity: 1
  97 "}
  98 edge: {sourcename: "n94" targetname: "n95" label: "0" }
  99 node: {title: "n95" label: "CmpT  95"  info1: "visited: 8
 100 irg:     THREE_CFPRED_EXAMPLE_main
 101 arity: 2
 102 "}
 103 edge: {sourcename: "n95" targetname: "n96" label: "0" }
 104 edge: {sourcename: "n95" targetname: "n90" label: "1" }
 105 }
 106
 107 graph: { title: "n83"  label: "Block 83" status:clustered color:yellow
 108 edge: {sourcename: "n83" targetname: "n84" label: "0" class:13 color:red}
 109 node: {title: "n102" label: "ProjX 1 102" color: yellow info1: "visited: 8
 110 irg:     THREE_CFPRED_EXAMPLE_main
 111 arity: 1
 112 "}
 113 edge: {sourcename: "n102" targetname: "n87" label: "0" class:13 color:red}
 114 node: {title: "n82" label: "ProjX 0 82" color: yellow info1: "visited: 8
 115 irg:     THREE_CFPRED_EXAMPLE_main
 116 arity: 1
 117 "}
 118 edge: {sourcename: "n82" targetname: "n87" label: "0" class:13 color:red}
 119 node: {title: "n87" label: "Cond  87"  info1: "visited: 8
 120 irg:     THREE_CFPRED_EXAMPLE_main
 121 arity: 1
 122 "}
 123 edge: {sourcename: "n87" targetname: "n88" label: "0" }
 124 node: {title: "n88" label: "Projb Eq 88" color: yellow info1: "visited: 8
 125 irg:     THREE_CFPRED_EXAMPLE_main
 126 arity: 1
 127 "}
 128 edge: {sourcename: "n88" targetname: "n89" label: "0" }
 129 node: {title: "n89" label: "CmpT  89"  info1: "visited: 8
 130 irg:     THREE_CFPRED_EXAMPLE_main
 131 arity: 2
 132 "}
 133 edge: {sourcename: "n89" targetname: "n92" label: "0" }
 134 edge: {sourcename: "n89" targetname: "n90" label: "1" }
 135 node: {title: "n90" label: "ProjIs 0 90" color: yellow info1: "visited: 8
 136 irg:     THREE_CFPRED_EXAMPLE_main
 137 arity: 1
 138 "}
 139 edge: {sourcename: "n90" targetname: "n91" label: "0" }
 140 }
 141
 142 graph: { title: "n85"  label: "Block 85" status:clustered color:yellow
 143 edge: {sourcename: "n85" targetname: "n84" label: "0" class:13 color:red}
 144 node: {title: "n106" label: "ProjM 1 106" color: yellow info1: "visited: 8
 145 irg:     THREE_CFPRED_EXAMPLE_main
 146 arity: 1
 147 "}
 148 edge: {sourcename: "n106" targetname: "n86" label: "0" class:14 color:blue}
 149 node: {title: "n105" label: "0x5Is  105" color: yellow info1: "visited: 8
 150 irg:     THREE_CFPRED_EXAMPLE_main
 151 arity: 0
 152 Const of type type_unknown
 153 "}
 154 node: {title: "n104" label: "0x6Is  104" color: yellow info1: "visited: 8
 155 irg:     THREE_CFPRED_EXAMPLE_main
 156 arity: 0
 157 Const of type type_unknown
 158 "}
 159 node: {title: "n96" label: "0x3Is  96" color: yellow info1: "visited: 8
 160 irg:     THREE_CFPRED_EXAMPLE_main
 161 arity: 0
 162 Const of type type_unknown
 163 "}
 164 node: {title: "n92" label: "0x1Is  92" color: yellow info1: "visited: 8
 165 irg:     THREE_CFPRED_EXAMPLE_main
 166 arity: 0
 167 Const of type type_unknown
 168 "}
 169 node: {title: "n91" label: "ProjT 4 91" color: yellow info1: "visited: 8
 170 irg:     THREE_CFPRED_EXAMPLE_main
 171 arity: 1
 172 "}
 173 edge: {sourcename: "n91" targetname: "n86" label: "0" }
 174 node: {title: "n84" label: "ProjX 0 84" color: yellow info1: "visited: 8
 175 irg:     THREE_CFPRED_EXAMPLE_main
 176 arity: 1
 177 "}
 178 edge: {sourcename: "n84" targetname: "n86" label: "0" class:13 color:red}
 179 node: {title: "n86" label: "Start  86" color: blue info1: "visited: 8
 180 irg:     THREE_CFPRED_EXAMPLE_main
 181 arity: 0
 182 start of method of type THREE_CFPRED_EXAMPLE_main
 183   param 0 type: int
 184 "}
 185 }
 186
 187 }
 188
 189 }