c++ - 在 LLVM 中，你如何检查一个 block 是否是一个合并 block

Question

我正在编写一个 LLVM Pass。我的通行证需要知道哪个 block 是合并 block ，即具有多于 1 个前驱的 block 。我如何在我的代码中对此进行测试？

Answer 1

您可以像这样遍历所有前辈:

#include "llvm/Support/CFG.h"
BasicBlock *BB = ...;

for (pred_iterator PI = pred_begin(BB), E = pred_end(BB); PI != E; ++PI) {
  BasicBlock *Pred = *PI;
  // ...
}

你可以使用这个验证一个 BB 是否有多个前任:

BasicBlock *BB = ...;

if (BB->getSinglePredecessor() != null) /// one predecessor
{ ... } 
else /// more than one predecessor
{ ... }