A Simple, Fast Dominance Algorithm

Keith D. Cooper, Timothy J. Harvey, and Ken Kennedy

http://www.cs.rice.edu/~keith/EMBED/dom.pdf

Also, a nice overview is given in these lecture notes:

http://llvm.cs.uiuc.edu/~vadve/CS526/public_html/Notes/4ssa.4up.pdf

To rebuild dominance information:

needs-dominance ( cfg -- )

To read the dominance data:

dom-children ( bb -- seq )

dom-parent ( bb -- bb' )