llvm - 获取类型 br 指令的标签字段中引用的基本 block 的第一条指令

Question

我正在尝试编写一个通行证来检查代码的控制流。给定 br 指令，我需要访问标签字段中引用的基本块。

例如，对于代码:

 for(i = 0; i < count; i++){
    sum = add(sum, array[i]);
  }

我得到 IR 代表

br i1 %cmp, label %for.body, label %for.end

现在，当我在传递中遇到此指令时，我需要确切地知道这些标签指向的位置。谁能告诉我我该怎么做？

Answer 1

调用 ->getOperand(1)和 ->getOperand(2)该指令的方法。这将分别为您提供第 1 个和第 2 个 BB。见 http://llvm.org/doxygen/classllvm_1_1User.html#abe1de1520a21f77ac57cc210bf0fb0b4