指令应编号

Question

我遇到以下LLVM代码问题：

    %0 = load i64* %u
    %1 = load i64* %l
    %2 = icmp sgt i64 %1, %1
    br i1 %2, label %L1, label %L2
L2:
    ret void
    br label %L1
L1:

    %3 = load i64* %l
    %4 = sub i64 %3, 1
    store i64 %4, i64* %i

运行llc时，出现以下错误：

error: instruction expected to be numbered '%4'
%3 = load i64* %l

但我不明白为什么在%4之后它应该是%2。在%2和%4之间没有返回结果的指令。

我需要理解这一点，因为我正在编写一个LLVM代码生成器。

那么为什么在这里使用%3会出错？

Answer 1

基本块与指令共享相同的编号。因为ret是一个终止符，所以你有一个未命名（且无法访问）的基本块，就在它之后，所以你的代码相当于：

...
L2:
  ret void
%3:
  br label %L1
L1:
...

这就是为什么它希望下一个未命名的东西是%4。