我正在LLVM中进行一些分析，由于某些原因，我想找到可以在两个特定基本块之间执行的所有基本块。
例如，假设我们有两个名为A和B的基本块。现在，我想知道在执行基本块A之后和基本块B之前可以出现哪些基本块。
一种可能的解决方案是使用控件辉光图的可达性分析。例如，如果可以从C到达基本块A，并且可以从B到达基本块C，那么我们可以说C可以在A之后和B之前执行。
我在LLVM中唯一能找到的就是llvm/analysis/CFG.h中的该函数:
/// Determine whether instruction 'To' is reachable from 'From', without passing
/// through any blocks in ExclusionSet, returning true if uncertain.
///
/// Determine whether there is a path from From to To within a single function.
/// Returns false only if we can prove that once 'From' has been executed then
/// 'To' can not be executed. Conservatively returns true.
///
/// This function is linear with respect to the number of blocks in the CFG,
/// walking down successors from From to reach To, with a fixed threshold.
/// Using DT or LI allows us to answer more quickly. LI reduces the cost of
/// an entire loop of any number of blocks to be the same as the cost of a
/// single block. DT reduces the cost by allowing the search to terminate when
/// we find a block that dominates the block containing 'To'. DT is most useful
/// on branchy code but not loops, and LI is most useful on code with loops but
/// does not help on branchy code outside loops.
bool isPotentiallyReachable(
const Instruction *From, const Instruction *To,
const SmallPtrSetImpl<BasicBlock *> *ExclusionSet = nullptr,
const DominatorTree *DT = nullptr, const LoopInfo *LI = nullptr);
但是问题在于此功能过于保守，答案不确定。我想知道某些答案。
最佳答案
您正在寻找的概念称为统治。您想要由A主导并由B主导的块。为此，您制作或获得DominatorTree和PostDominatorTree，并查看树中位于A和B下方的部分。您可以从过程管理器中获得一个，如果您正在写通行证。
但是，请注意LLVM的代码是保守的，因为这种事情会很快变得复杂。在A之后执行(即由A主导)但返回或引发异常而不是分支到B的块呢？你想要那些吗？如果存在无限循环该怎么办？这些可能是故意的。如果可能引发异常并且处理程序未由B主导怎么办？这种事情充满了您必须考虑的情况。