命令がLLVMの別のものを支配しているかどうかを見つける方法？

Question

llvm::DominatorTreeクラスを使用すると、ある命令が別の命令を支配しているかどうかを知ることができます。そうするために必要な機能が用意されています参照

http://llvm.org/doxygen/classllvm_1_1DominatorTree.html

DT = DominatorTree(Func); 
... 
... 
DT.dominates(I1,I2); 

はしかし、同じ機能がllvm::PostDominatorTree構造体では使用できません。実際には、後者のdoxygenのページはほとんど空です：

http://llvm.org/doxygen/structllvm_1_1PostDominatorTree.html

は、LLVMでの優位性と同じように簡単にpostdominanceをチェックする方法はありますか？

Answer 1

PostDominatorTreeのメソッドの大部分はDominatorTreeBaseから継承され、dominatesを含みます。したがって、これは次の場合と同じですllvm::DominatorTree

doxygenのドキュメントは、「llvm::DominatorTreeBase< NodeT, IsPostDom >から継承したパブリックメンバー関数」に記載されています。