c++ - 我怎样才能从 LLVM 中的 BasicBlock 中识别一个 backedge

Question

我正在编写一个 LLVM pass，用于分析和修改生成的 IR 代码。有没有办法识别后边，我的意思是知道 BasicBlock 的后继者是否实际上在路径中的某个位置。

Answer 1

是的，有。

首先，请注意您需要区分“到 BB 的每条路径都必须经过 A”和“从 A 到 BB 的某些路径”。

我认为您正在寻找第一种情况 - 判断基本 block BB 的后继 A 是否是执行必须经过才能到达 B 的基本 block 。

当这种情况发生时，我们说“A支配B”。检查支配地位的接口(interface)是通过 DominatorTree类(添加到您的通行证的 getAnalysisUsage 函数中。有关示例，请参见 writing an llvm pass)。