c++ - 如何从 LLVM 中的终止符指令中删除后继指令

Question

对于基本 block ，我想将条件跳转更改为无条件跳转。因此，如果一个基本 block 有两个后继者，我想删除其中一个后继者的边。我希望基本 block 直接跳转到其中一个后继者。我该怎么做？

为了说明我的观点，我想改变

      A
    /  \
   /    \
  B      C

到

     A
      \
       \
        C

Answer 1

我认为最简单的方法就是创建一个新的无条件分支指令，然后用它替换旧的。所以，像这样:

#include "llvm/Transforms/Utils/BasicBlockUtils.h"

BranchInst* Old = ...
BranchInst* New = BranchInst::Create(Old->getSuccessor(X));
ReplaceInstWithInst(Old, New);

X 为 0 或 1，具体取决于您想要“真”分支还是“假”分支。