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

   1 graph: { title: "ir graph of IF_WHILE_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:  "intrablock Data"
   8 classname 16: "interblock Data"
   9 classname 2:  "Block"
  10 classname 13: "Control Flow"
  11 classname 18: "Exception Control Flow for Interval Analysis"
  12 classname 14: "intrablock Memory"
  13 classname 17: "interblock Memory"
  14 classname 15: "Dominators"
  15 classname 3:  "Entity type"
  16 classname 4:  "Entity owner"
  17 classname 5:  "Method Param"
  18 classname 6:  "Method Res"
  19 classname 7:  "Super"
  20 classname 8:  "Union"
  21 classname 9:  "Points-to"
  22 classname 10: "Array Element Type"
  23 classname 11: "Overwrites"
  24 classname 12: "Member"
  25 infoname 1: "Attribute"
  26 infoname 2: "Verification errors"
  27 colorentry 100:    0   0    0
  28 colorentry 101:   20   0    0
  29 colorentry 102:   40   0    0
  30 colorentry 103:   60   0    0
  31 colorentry 104:   80   0    0
  32 colorentry 105:  100   0    0
  33 colorentry 106:  120   0    0
  34 colorentry 107:  140   0    0
  35 colorentry 108:  150   0    0
  36 colorentry 109:  180   0    0
  37 colorentry 110:  200   0    0
  38 colorentry 111:  220   0    0
  39 colorentry 112:  240   0    0
  40 colorentry 113:  255   0    0
  41 colorentry 113:  255  20   20
  42 colorentry 114:  255  40   40
  43 colorentry 115:  255  60   60
  44 colorentry 116:  255  80   80
  45 colorentry 117:  255 100  100
  46 colorentry 118:  255 120  120
  47 colorentry 119:  255 140  140
  48 colorentry 120:  255 150  150
  49 colorentry 121:  255 180  180
  50 colorentry 122:  255 200  200
  51 colorentry 123:  255 220  220
  52 colorentry 124:  255 240  240
  53 colorentry 125:  255 250  250
  54
  55 node: {title: "n23" label: "Start  23"  info1: "mode:    T
  56 visited: 17
  57 irg:     IF_WHILE_EXAMPLE_main
  58 arity: 0
  59 start of method of type main
  60 "color: blue}
  61 edge: { sourcename: "n23" targetname: "n22" class:2  priority:50 linestyle:dotted}
  62 node: {title: "n26" label: "ProjX 0 26"  info1: "mode:    X
  63 visited: 17
  64 irg:     IF_WHILE_EXAMPLE_main
  65 arity: 1
  66 "color: yellow}
  67 edge: {sourcename: "n26" targetname: "n23" label: "0" class:13 priority:60 color:red}
  68 edge: { sourcename: "n26" targetname: "n22" class:2  priority:50 linestyle:dotted}
  69 node: {title: "n22" label: "Block  22"  info1: "mode:    BB
  70 visited: 17
  71 irg:     IF_WHILE_EXAMPLE_main
  72 arity: 1 backedges:
  73 "color: lightyellow}
  74 edge: {sourcename: "n22" targetname: "n26" label: "0" class:13 priority:60 color:red}
  75 node: {title: "n39" label: "0x0Iu  39"  info1: "mode:    Iu
  76 visited: 17
  77 irg:     IF_WHILE_EXAMPLE_main
  78 arity: 0
  79 Const of type type_unknown
  80 "color: yellow}
  81 edge: { sourcename: "n39" targetname: "n22" class:2  priority:50 linestyle:dotted}
  82 node: {title: "n41" label: "Cmp  41"  info1: "mode:    T
  83 visited: 17
  84 irg:     IF_WHILE_EXAMPLE_main
  85 arity: 2
  86 "}
  87 edge: {sourcename: "n41" targetname: "n39" label: "0" class:16 priority:10}
  88 edge: {sourcename: "n41" targetname: "n39" label: "1" class:16 priority:10}
  89 edge: { sourcename: "n41" targetname: "n38" class:2  priority:50 linestyle:dotted}
  90 node: {title: "n42" label: "Projb Eq 42"  info1: "mode:    b
  91 visited: 17
  92 irg:     IF_WHILE_EXAMPLE_main
  93 arity: 1
  94 "color: yellow}
  95 edge: {sourcename: "n42" targetname: "n41" label: "0" class:1  priority:50}
  96 edge: { sourcename: "n42" targetname: "n38" class:2  priority:50 linestyle:dotted}
  97 node: {title: "n43" label: "Cond  43"  info1: "mode:    T
  98 visited: 17
  99 irg:     IF_WHILE_EXAMPLE_main
 100 arity: 1
 101 "}
 102 edge: {sourcename: "n43" targetname: "n42" label: "0" class:1  priority:50}
 103 edge: { sourcename: "n43" targetname: "n38" class:2  priority:50 linestyle:dotted}
 104 node: {title: "n45" label: "ProjX 1 45"  info1: "mode:    X
 105 visited: 17
 106 irg:     IF_WHILE_EXAMPLE_main
 107 arity: 1
 108 "color: yellow}
 109 edge: {sourcename: "n45" targetname: "n43" label: "0" class:13 priority:60 color:red}
 110 edge: { sourcename: "n45" targetname: "n38" class:2  priority:50 linestyle:dotted}
 111 node: {title: "n46" label: "Block  46"  info1: "mode:    BB
 112 visited: 17
 113 irg:     IF_WHILE_EXAMPLE_main
 114 arity: 1 backedges:
 115 "color: lightyellow}
 116 edge: {sourcename: "n46" targetname: "n45" label: "0" class:13 priority:60 color:red}
 117 node: {title: "n47" label: "Jmp  47"  info1: "mode:    X
 118 visited: 17
 119 irg:     IF_WHILE_EXAMPLE_main
 120 arity: 0
 121 "}
 122 edge: { sourcename: "n47" targetname: "n46" class:2  priority:50 linestyle:dotted}
 123 node: {title: "n32" label: "Block  32"  info1: "mode:    BB
 124 visited: 17
 125 irg:     IF_WHILE_EXAMPLE_main
 126 arity: 1 backedges:
 127 "color: lightyellow}
 128 edge: {sourcename: "n32" targetname: "n26" label: "0" class:13 priority:60 color:red}
 129 node: {title: "n35" label: "Jmp  35"  info1: "mode:    X
 130 visited: 17
 131 irg:     IF_WHILE_EXAMPLE_main
 132 arity: 0
 133 "}
 134 edge: { sourcename: "n35" targetname: "n32" class:2  priority:50 linestyle:dotted}
 135 node: {title: "n38" label: "Block  38"  info1: "mode:    BB
 136 visited: 17
 137 irg:     IF_WHILE_EXAMPLE_main
 138 arity: 2 backedges:
 139 "color: lightyellow}
 140 edge: {sourcename: "n38" targetname: "n35" label: "0" class:13 priority:60 color:red}
 141 edge: {sourcename: "n38" targetname: "n47" label: "1" class:13 priority:60 color:red}
 142 node: {title: "n44" label: "ProjX 0 44"  info1: "mode:    X
 143 visited: 17
 144 irg:     IF_WHILE_EXAMPLE_main
 145 arity: 1
 146 "color: yellow}
 147 edge: {sourcename: "n44" targetname: "n43" label: "0" class:13 priority:60 color:red}
 148 edge: { sourcename: "n44" targetname: "n38" class:2  priority:50 linestyle:dotted}
 149 node: {title: "n60" label: "Block  60"  info1: "mode:    BB
 150 visited: 17
 151 irg:     IF_WHILE_EXAMPLE_main
 152 arity: 1 backedges:
 153 "color: lightyellow}
 154 edge: {sourcename: "n60" targetname: "n44" label: "0" class:13 priority:60 color:red}
 155 node: {title: "n33" label: "0x0Iu  33"  info1: "mode:    Iu
 156 visited: 17
 157 irg:     IF_WHILE_EXAMPLE_main
 158 arity: 0
 159 Const of type type_unknown
 160 "color: yellow}
 161 edge: { sourcename: "n33" targetname: "n22" class:2  priority:50 linestyle:dotted}
 162 node: {title: "n58" label: "PhiIu  58"  info1: "mode:    Iu
 163 visited: 17
 164 irg:     IF_WHILE_EXAMPLE_main
 165 arity: 2 backedges:
 166 "color: green}
 167 edge: {sourcename: "n58" targetname: "n33" label: "0" class:16 priority:10}
 168 edge: {sourcename: "n58" targetname: "n53" label: "1" class:1  priority:50}
 169 edge: { sourcename: "n58" targetname: "n38" class:2  priority:50 linestyle:dotted}
 170 node: {title: "n34" label: "0x1Iu  34"  info1: "mode:    Iu
 171 visited: 17
 172 irg:     IF_WHILE_EXAMPLE_main
 173 arity: 0
 174 Const of type type_unknown
 175 "color: yellow}
 176 edge: { sourcename: "n34" targetname: "n22" class:2  priority:50 linestyle:dotted}
 177 node: {title: "n53" label: "PhiIu  53"  info1: "mode:    Iu
 178 visited: 17
 179 irg:     IF_WHILE_EXAMPLE_main
 180 arity: 2 backedges:
 181 "color: green}
 182 edge: {sourcename: "n53" targetname: "n34" label: "0" class:16 priority:10}
 183 edge: {sourcename: "n53" targetname: "n58" label: "1" class:1  priority:50}
 184 edge: { sourcename: "n53" targetname: "n38" class:2  priority:50 linestyle:dotted}
 185 node: {title: "n65" label: "SubIu  65"  info1: "mode:    Iu
 186 visited: 17
 187 irg:     IF_WHILE_EXAMPLE_main
 188 arity: 2
 189 "}
 190 edge: {sourcename: "n65" targetname: "n58" label: "0" class:16 priority:10}
 191 edge: {sourcename: "n65" targetname: "n53" label: "1" class:16 priority:10}
 192 edge: { sourcename: "n65" targetname: "n60" class:2  priority:50 linestyle:dotted}
 193 node: {title: "n29" label: "ProjM 1 29"  info1: "mode:    M
 194 visited: 17
 195 irg:     IF_WHILE_EXAMPLE_main
 196 arity: 1
 197 "color: yellow}
 198 edge: {sourcename: "n29" targetname: "n23" label: "0" class:17 priority:10 color:blue}
 199 edge: { sourcename: "n29" targetname: "n22" class:2  priority:50 linestyle:dotted}
 200 node: {title: "n76" label: "Return  76"  info1: "mode:    X
 201 visited: 17
 202 irg:     IF_WHILE_EXAMPLE_main
 203 arity: 2
 204 return in method of type main
 205   res 0 type: int
 206 "}
 207 edge: {sourcename: "n76" targetname: "n29" label: "0" class:17 priority:10 color:blue}
 208 edge: {sourcename: "n76" targetname: "n65" label: "1" class:1  priority:50}
 209 edge: { sourcename: "n76" targetname: "n60" class:2  priority:50 linestyle:dotted}
 210 node: {title: "n20" label: "Block  20"  info1: "mode:    BB
 211 visited: 17
 212 irg:     IF_WHILE_EXAMPLE_main
 213 arity: 1 backedges:
 214 "color: lightyellow}
 215 edge: {sourcename: "n20" targetname: "n76" label: "0" class:13 priority:60 color:red}
 216 node: {title: "n77" label: "End  77"  info1: "mode:    X
 217 visited: 17
 218 irg:     IF_WHILE_EXAMPLE_main
 219 arity: 0
 220 "color: blue}
 221 edge: { sourcename: "n77" targetname: "n20" class:2  priority:50 linestyle:dotted}
 222 edge: {sourcename: "n23" targetname: "n26" color: red linestyle: dashed}
 223 edge: {sourcename: "n23" targetname: "n29" color: red linestyle: dashed}
 224 edge: {sourcename: "n26" targetname: "n32" color: red linestyle: dashed}
 225 edge: {sourcename: "n26" targetname: "n22" color: red linestyle: dashed}
 226 edge: {sourcename: "n32" targetname: "n35" color: red linestyle: dashed}
 227 edge: {sourcename: "n35" targetname: "n38" color: red linestyle: dashed}
 228 edge: {sourcename: "n38" targetname: "n45" color: red linestyle: dashed}
 229 edge: {sourcename: "n38" targetname: "n43" color: red linestyle: dashed}
 230 edge: {sourcename: "n38" targetname: "n42" color: red linestyle: dashed}
 231 edge: {sourcename: "n38" targetname: "n41" color: red linestyle: dashed}
 232 edge: {sourcename: "n38" targetname: "n44" color: red linestyle: dashed}
 233 edge: {sourcename: "n38" targetname: "n58" color: red linestyle: dashed}
 234 edge: {sourcename: "n38" targetname: "n53" color: red linestyle: dashed}
 235 edge: {sourcename: "n45" targetname: "n46" color: red linestyle: dashed}
 236 edge: {sourcename: "n46" targetname: "n47" color: red linestyle: dashed}
 237 edge: {sourcename: "n47" targetname: "n38" color: red linestyle: dashed}
 238 edge: {sourcename: "n43" targetname: "n45" color: red linestyle: dashed}
 239 edge: {sourcename: "n43" targetname: "n44" color: red linestyle: dashed}
 240 edge: {sourcename: "n44" targetname: "n60" color: red linestyle: dashed}
 241 edge: {sourcename: "n60" targetname: "n76" color: red linestyle: dashed}
 242 edge: {sourcename: "n60" targetname: "n65" color: red linestyle: dashed}
 243 edge: {sourcename: "n76" targetname: "n20" color: red linestyle: dashed}
 244 edge: {sourcename: "n20" targetname: "n77" color: red linestyle: dashed}
 245 edge: {sourcename: "n65" targetname: "n76" color: red linestyle: dashed}
 246 edge: {sourcename: "n42" targetname: "n43" color: red linestyle: dashed}
 247 edge: {sourcename: "n41" targetname: "n42" color: red linestyle: dashed}
 248 edge: {sourcename: "n58" targetname: "n53" color: red linestyle: dashed}
 249 edge: {sourcename: "n58" targetname: "n65" color: red linestyle: dashed}
 250 edge: {sourcename: "n53" targetname: "n58" color: red linestyle: dashed}
 251 edge: {sourcename: "n53" targetname: "n65" color: red linestyle: dashed}
 252 edge: {sourcename: "n22" targetname: "n26" color: red linestyle: dashed}
 253 edge: {sourcename: "n22" targetname: "n23" color: red linestyle: dashed}
 254 edge: {sourcename: "n22" targetname: "n39" color: red linestyle: dashed}
 255 edge: {sourcename: "n22" targetname: "n29" color: red linestyle: dashed}
 256 edge: {sourcename: "n22" targetname: "n33" color: red linestyle: dashed}
 257 edge: {sourcename: "n22" targetname: "n34" color: red linestyle: dashed}
 258 edge: {sourcename: "n39" targetname: "n41" color: red linestyle: dashed}
 259 edge: {sourcename: "n39" targetname: "n41" color: red linestyle: dashed}
 260 edge: {sourcename: "n29" targetname: "n76" color: red linestyle: dashed}
 261 edge: {sourcename: "n33" targetname: "n58" color: red linestyle: dashed}
 262 edge: {sourcename: "n34" targetname: "n53" color: red linestyle: dashed}
 263 }