llvm - 在 LLVM 中查找指令的后继列表

Question

我想获取 llvm 中每条指令的后继列表。如果我没理解错的话，对于除了branch(br)之外的所有指令，后继指令就是下一条。但是对于分支指令来说有点棘手。

例如，如果我有以下 C 代码:

int main() {
  int a = 7;
  int b = a * 2;

  int x;
  if (a < 3) {
    x = 10 + b;
  } else {
    x = 20 + a;
  }
  return b;

我得到以下字节码:

define i32 @main() #0 {
%1 = mul nsw i32 7, 2
%2 = icmp slt i32 7, 3
br i1 %2, label %3, label %5

; <label>:3:                                      ; preds = %0
%4 = add nsw i32 10, %1
br label %7

; <label>:5:                                      ; preds = %0
%6 = add nsw i32 20, 7
br label %7

; <label>:7:                                      ; preds = %5, %3
ret i32 %1
}

所以说明

br i1 %2, label %3, label %5

有2个继任者:

{%4 = add new i32 10, %1, %6 = add nsw i32 20, 7}

如何从指令中获取后继者？

注意:我实际上想做的是消除死代码。我知道 llvm 在实时分析库中有一些方法，例如 IsInstructionTriviallyDead() 。出于练习目的，我不打算使用它们。

Answer 1

您可以使用 getSuccessor(unsigned) 获取指令可以分支到的基本 block & getNumSuccessors() BranchInst 上的方法.给定一个 BasicBlock *BB，然后您可以通过 BB->front() 访问第一条指令.