llvm 未定义的实验内在函数

Question

我正在尝试编辑 llvm ir 代码：

define { double, double } @add(double, double, double, double) local_unnamed_addr #0 {
  %5 = call double @llvm.experimental.constrained.fadd(double %0, double %2, metadata !"round.downward", metadata !"fpexcept.ignore")
  %6 = fadd double %1, %3
  %7 = insertvalue { double, double } undef, double %5, 0
  %8 = insertvalue { double, double } %7, double %6, 1
  ret { double, double } %8
}

在第 2 行使用来自 llvm 的实验性内在函数，可以找到该文档here

使用 llvm-as 编译 llvm 代码时，出现错误：

use of undefined value '@llvm.experimental.constrained.fadd'

我用来编译成二进制的代码是：

/usr/local/opt/llvm/bin/llvm-as interval.ll -o interval.bc

为了使用实验性内在函数，我需要添加任何特殊标志吗？

Answer 1

将@llvm.experimental.constrained.fadd 更改为@llvm.experimental.constrained.fadd.f64 并添加声明declare double @llvm.experimental.constrained.fadd.f64(double, double, metadata, metadata)

Answer 2

问题是，对于 llvm 中使用的每个函数，您都需要在文件中的某处声明它。