c++ - 检查 LLVM pass 中的后缘

Question

我正在编写一个修改中间代码的 LLVM pass。我想检查基本 block 的每个终止指令，看它是否有后沿。为了更清楚，在下面的示例中，我想看看是否到达标签land.lhs.true或if.end，需要向后跳转。

entry:
  %pa = alloca %struct.Vertex, align 4
  .........
  br i1 %cmp, label %land.lhs.true, label %if.end

Answer 1

不确定这里所说的向后边缘或向后跳转是什么意思，因为 LLVM 中间代码在内存中没有明确的布局。您应该认为每个函数中的基本 block 没有明确的顺序，也没有明确分配内存地址。这是在发出汇编代码时由后端处理的。