[LLVMdev] post-dominance frontier

[Chris Lattner]

On Thu, 9 Nov 2006, Ryan M. Lefever wrote:

Sorry I never responded to this:

> 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?

LLVM doesn't use dummy entrance/exit nodes.  LLVM functions always have a 
single entry node (the first BB in the function) and multiple exits are 
handled specially.

-Chris

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

-Chris

-- 
http://nondot.org/sabre/
http://llvm.org/