[LLVMdev] post-dominance frontier

[Ryan M. Lefever]

In the literature (see below for a reference), when a dominance frontier 
is computed, it is computed from a CFG that contains a dummy entry node 
and dummy exit node.  Further, those dummy nodes are potential members 
of the (post-)dominance frontier for a given basic block.  In LLVM, I 
could not figure out a way to determine if the dummy entry node is a 
member of the post-dominance frontier of a basic block.  Is there a way 
to get that information?

Regards,
Ryan


* "Efficiently Computing Static Single Assignment Form and the Control 
Dependence Graph" by Cytron, Ferrante, Rosen, Wegman, and Zadeck

-- 
Ryan M. Lefever  [http://www.ews.uiuc.edu/~lefever]