compilation - 如何在 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 中的支配一样容易地检查后支配？

Answer 1

大部分PostDominatorTree的方法继承自 DominatorTreeBase , 包括 dominates .所以这与 llvm::DominatorTree 相同

您可以在“继承自 llvm::DominatorTreeBase< NodeT, IsPostDom > 的公共(public)成员函数”下找到 doxygen 文档。