compiler-construction - 在 LLVM 中查找基本 block 的后继列表

Question

在 LLVM 中，BasicBlock 具有属性 getSinglePredecessor() 和 getSingleSuccessor()，但我需要获取基本块的后继和前驱的完整列表。我怎样才能在 llvm 中实现这一点？

我的代码是

        virtual bool runOnFunction(Function &F) {

        for (Function::iterator b = F.begin(), be = F.end(); b != be; ++b) { 
        //Here I need to get the predecessor and successsor of the basic block b 
    }
}

Answer 1

我同意 BasicBlock 没有直接属性。相反，您可以 get the terminator instruction 基本块，然后遍历其 successors 。

或者，基于将 source code 读取到 BasicBlock 类，您可以从 BasicBlock 实例创建 pred_iterator 和 succ_iterator。例如:

for (Function::iterator b = F.begin(), be = F.end(); b != be; ++b)
{
    BasicBlock* bb = dyn_cast<BasicBlock>(&*b);
    for (pred_iterator pit = pred_begin(bb), pet = pred_end(bb); pit != pet; ++pit)