Is there a control dependence graph builder?

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

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

Yes, I seemed to have blanked out there for minute and thought I needed something other than the post-dominance frontier.

Mark

Mark,

I am curious if you made any progress with the control dependence
work. It looks like I may need something similar.

Scott