tests/dom-idom.lst.exp.dot

   1 digraph G {
   2 node [shape=box]
   3 "ENTRY" -> "0"
   4 "0" [label="0: BBlock(#9)
   5 idom: None"]
   6 "1" [label="1: BBlock(#8)
   7 idom: 0"]
   8 "2" [label="2: BBlock(#7)
   9 idom: 1"]
  10 "3" [label="3: BBlock(#2)
  11 idom: 1"]
  12 "4" [label="4: BBlock(#1)
  13 idom: 3"]
  14 "5" [label="5: BBlock(#6)
  15 idom: 1"]
  16 "6" [label="6: BBlock(#5)
  17 idom: 5"]
  18 "7" [label="7: BBlock(#3)
  19 idom: 5"]
  20 "8" [label="8: BBlock(#4)
  21 idom: 5"]
  22 "0" -> "1"
  23 "1" -> "2" [label="else"]
  24 "1" -> "5" [label="($r0)"]
  25 "2" -> "3"
  26 "3" -> "1" [label="($r1)"]
  27 "3" -> "4" [label="else"]
  28 "5" -> "6" [label="else"]
  29 "5" -> "8" [label="($r2)"]
  30 "6" -> "7"
  31 "7" -> "3"
  32 "8" -> "7"
  33 }