LLVM:无法选择:内部%llvm.spu.si.sf

Question

我收到了这个错误

> clang -std=c99 -c derivative.c -o derivative.a
fatal error: error in backend: Cannot select: intrinsic %llvm.spu.si.sf

当我尝试用Clang编译这个简单的C程序时

#include <stdio.h>
#include <math.h>

int N = 100;
double H = 0.001;
double PI = 3.14159265;

void derive(double* input, long elements, double* output) {
  for (int i = 1; i < elements - 1; i++) {
    output[i - 1] = (input[i + 1] - input[i - 1])/ (2 * H);
  }
}

int main() {
  double f[N];
  double f_prime[N - 2];

  for (int i = 0; i < N; i++) {
    f[i] = sin(i * 2 * PI / (double)N);
  }

  derive(f, N, f_prime);

  for (int i = 0; i < N - 2; i++) {
    printf("%f  %f\n", i * 2 * PI / (double)N, f_prime[i]);
  }
}

我已经在网上搜索过了，但还没有找到解决办法。

当我编译到Bitcode时，它会编译，但是执行转储核心。

> clang -emit-llvm -c derivative.c -o derivative.bc
> lli derivative.bc
lli: BitcodeReader.cpp:283: llvm::Value* llvm::BitcodeReaderValueList::getValueFwdRef(unsigned int, llvm::Type*): Assertion `(Ty == 0 || Ty == V->getType()) && "Type mismatch in value table!"' failed.
0  lli             0x0000000000c6fb02
1  lli             0x0000000000c6ff93
2  libpthread.so.0 0x00007f304d7dbbd0
3  libc.so.6       0x00007f304ca19037 gsignal + 55
4  libc.so.6       0x00007f304ca1c698 abort + 328
5  libc.so.6       0x00007f304ca11e03
6  libc.so.6       0x00007f304ca11eb2
7  lli             0x000000000052eeb0 llvm::BitcodeReaderValueList::getConstantFwdRef(unsigned int, llvm::Type*) + 0
8  lli             0x0000000000538943 llvm::BitcodeReader::ParseFunctionBody(llvm::Function*) + 10275
9  lli             0x000000000053acb1 llvm::BitcodeReader::Materialize(llvm::GlobalValue*, std::string*) + 241
10 lli             0x0000000000535195 llvm::BitcodeReader::MaterializeModule(llvm::Module*, std::string*) + 85
11 lli             0x0000000000c0a82f llvm::Module::MaterializeAllPermanently(std::string*) + 31
12 lli             0x00000000005360fc llvm::ParseBitcodeFile(llvm::MemoryBuffer*, llvm::LLVMContext&, std::string*) + 44
13 lli             0x00000000004f70b7
14 lli             0x00000000004e74f3 main + 339
15 libc.so.6       0x00007f304ca03ea5 __libc_start_main + 245
16 lli             0x00000000004f0f41
Stack dump:
0.  Program arguments: lli derivative.bc 
Aborted (core dumped)

在bc文件上尝试llvm-dis会产生几乎相同的核心转储。

编辑：我试图找到最小的失败示例，问题似乎是通过常量定义数组大小。

这是失败的：

int main() {
  int N = 100;
  double f[N];
}

这样做是可行的：

int main() {
  double f[100];
}

EDIT2

将int N = 100更改为const int N = 100使程序使用Clang进行编译。变量应该是const，这是有意义的，但另一方面，如果变量不是const，gcc -std=c99 -Wall derivative.c -lm就不会抱怨。

Answer 1

这是bug：https://bugs.launchpad.net/ubuntu/+source/llvm-3.2/+bug/1131614。看起来他们盲目地修补llvm+clang，却不知道自己在做什么。

Answer 2

致命错误消息表示您在编译器中发现了一个错误。尝试在llvm.org/ bug中报告bug。