Hi, In browsing through the LLVM source, I don't currently see an implementation for a control dependence graph builder. Am I overlooking something? It doesn't look like LLVM currently provides a way to build the post-dominance frontier of the reverse CFG, either. Dominators.h mentions forward dominators, but I believe all this is referring to is dominators as opposed to post-dominators, not dominators on the CFG versus dominators on the reverse-CFG. I just wanted to make certain I'm not overlooking anything before I decide if I want to go off and build this myself. Thanks, Mark -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20090602/9b6bca0e/attachment.html>
On Tue, Jun 2, 2009 at 2:38 PM, Mark Lacey<superoptimizer at gmail.com> wrote:> In browsing through the LLVM source, I don't currently see an implementation > for a control dependence graph builder. Am I overlooking something?No, I don't think there is one. I think an implementation would be welcome if you're willing to contribute one.> It doesn't look like LLVM currently provides a way to build the > post-dominance frontier of the reverse CFG, either. Dominators.h mentions > forward dominators, but I believe all this is referring to is dominators as > opposed to post-dominators, not dominators on the CFG versus dominators on > the reverse-CFG.Try PostDominators.h. -Eli
the DominanceFrontierBase class constructor specifies a parameter isPostDom which I assume builds the reverse dominance frontier On Tue, Jun 2, 2009 at 2:38 PM, Mark Lacey <superoptimizer at gmail.com> wrote:> Hi, > > In browsing through the LLVM source, I don't currently see an > implementation for a control dependence graph builder. Am I overlooking > something? > > It doesn't look like LLVM currently provides a way to build the > post-dominance frontier of the reverse CFG, either. Dominators.h mentions > forward dominators, but I believe all this is referring to is dominators as > opposed to post-dominators, not dominators on the CFG versus dominators on > the reverse-CFG. > > I just wanted to make certain I'm not overlooking anything before I decide > if I want to go off and build this myself. > > Thanks, > > Mark > > > _______________________________________________ > LLVM Developers mailing list > LLVMdev at cs.uiuc.edu http://llvm.cs.uiuc.edu > http://lists.cs.uiuc.edu/mailman/listinfo/llvmdev > >-------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20090602/e43ece3b/attachment.html>
On Tue, Jun 2, 2009 at 3:05 PM, Eli Friedman <eli.friedman at gmail.com> wrote:> > Try PostDominators.h. >Yes, I seemed to have blanked out there for minute and thought I needed something other than the post-dominance frontier. Mark -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20090602/14b37457/attachment.html>