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

Question

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

例如，对于代码：

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

我得到了 IR 代表

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

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

Answer 1

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