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