llvm - LLVM C++ API 到底是什么

Question

我发现很难理解 LLVM C++ API。
LLVM C++ API 和 LLVM IR 之间有什么关系吗？另外，如何使用 LLVM C++ API？

Answer 1

为了(大大)简化，LLVM 是一个用于编写编译器的 C++ 库。它的 C++ API 是库用户用来实现编译器的外部接口(interface)。

LLVM IR 和 LLVM C++ API 的一部分(用于构建 IR 的部分)之间存在一定程度的对称性。感受这种对称性的一个非常好的资源是 http://llvm.org/demo/ 。例如，您可以编译以下 C 代码:

int factorial(int X) {
  if (X == 0) return 1;
  return X*factorial(X-1);
}

进入 LLVM IR:

define i32 @factorial(i32 %X) nounwind uwtable readnone {
  %1 = icmp eq i32 %X, 0
  br i1 %1, label %tailrecurse._crit_edge, label %tailrecurse

tailrecurse:                                      ; preds = %tailrecurse, %0
  %X.tr2 = phi i32 [ %2, %tailrecurse ], [ %X, %0 ]
  %accumulator.tr1 = phi i32 [ %3, %tailrecurse ], [ 1, %0 ]
  %2 = add nsw i32 %X.tr2, -1
  %3 = mul nsw i32 %X.tr2, %accumulator.tr1
  %4 = icmp eq i32 %2, 0
  br i1 %4, label %tailrecurse._crit_edge, label %tailrecurse

tailrecurse._crit_edge:                           ; preds = %tailrecurse, %0
  %accumulator.tr.lcssa = phi i32 [ 1, %0 ], [ %3, %tailrecurse ]
  ret i32 %accumulator.tr.lcssa
}

以及 C++ API 调用(我不会将其粘贴到此处，因为输出很长，但您可以自己尝试)。执行此操作后，您会看到，例如上面 IR 代码中的 icmp 指令的执行方式为:

ICmpInst* int1_5 = new ICmpInst(*label_4, ICmpInst::ICMP_EQ, int32_X, const_int32_1, "");

ICmpInst 是一个类，它是用于创建 icmp 指令的 C++ API 的一部分。 C++ API 的一个很好的引用是 Programmer's manual .