tests/if-multi2.lst.exp.dot

   1 digraph G {
   2 node [shape=box]
   3 "ENTRY" -> "10"
   4 "ENTRY" -> "15"
   5 "10" [label="10: BBlock"]
   6 "15" [label="15: BBlock"]
   7 "20" [label="20: BBlock"]
   8 "30" [label="30: BBlock"]
   9 "40" [label="40: BBlock"]
  10 "99" [label="99: BBlock"]
  11 "10" -> "20" [label="($a1 == 0)"]
  12 "10" -> "30" [label="($a1 == 1)"]
  13 "10" -> "40"
  14 "15" -> "20"
  15 "20" -> "99"
  16 "30" -> "99"
  17 "40" -> "99"
  18 }