code-generation - 这个 LLVM 注册号有什么问题？

Question

我正在为我正在学习的一门课程编写一个简单的类 C 语言的编译器。这段代码：

int main() {
    printInt(not(0));
    return 0;
}

int not(int n) {
    if (n == 0) {
        return 1;
    } else {
        int result = 0;
        return result;
    }
}

..我天真地编译成这个位码：

declare void @printInt(i32)
declare void @printDouble(double)
declare void @printString(i8*)
declare i32 @readInt()
declare double @readDouble()

define i32 @main() {
entry:
    %0 = call i32 @not(i32 0)
    call void @printInt(i32 %0)
    ret i32 0
    unreachable
}

define i32 @not(i32 %n_0) {
entry:
    %0 = icmp eq i32 %n_0, 0
    br i1 %0, label %lab0, label %lab1
lab0:
    ret i32 1
    br label %lab2
lab1:
    %result_0 = alloca i32 
    store i32 0, i32* %result_0
    %1 = load i32* %result_0
    ret i32 %1
    br label %lab2
lab2:
    unreachable
}

但是，opt 不接受该代码。

opt: core023.ll:25:5: error: instruction expected to be numbered '%2'
%1 = load i32* %result_0

现在，根据我对未命名临时寄存器的理解，它们应该从 0 开始按顺序编号。这里就是这种情况。但显然“%1 = sub..”行应该编号为 %2。这是为什么？%0 和 %1 之间的任何指令是否增加了序列号？或者也许这只是其他东西的后续故障？

Answer 1

在 LLVM 中，所有可以有名字但没有名字的东西都被分配了一个数字。这也包括基本块。在你的情况下

lab0:
    ret i32 1
    br label %lab2

定义了两个基本块，因为每条终止指令都结束一个基本块。这意味着，从概念上讲，您的代码被解析为

lab0:
    ret i32 1
1:
    br label %lab2

之后的下一个空闲数字是 2。

为了防止这样的奇怪行为，我建议始终明确命名基本块。