自定义LLVM-IR编译器可变变量实现错误求助

错误原因分析 #

你当前的LLVM代码存在两个核心问题：

1. 类型不匹配：%i是i32*类型（指针），但你直接将%i.0（同样是i32*指针）当作i32值存储到%i中，违反了LLVM的类型系统规则。
2. 错误的变量内存模型：可变变量只需要一次alloca分配内存空间，后续修改值时直接操作该内存即可，不需要每次创建新的%i.n指针。同时，访问变量值时必须通过load指令从指针指向的内存中读取，不能直接使用指针本身。

修正后的LLVM代码 #

@.str_0 = private unnamed_addr constant [4 x i8] c"%i\0A\00"
declare i32 @printf(i8*, ...) nounwind

define i32 @add(i32 %a, i32 %b) nounwind {
entry:
    %t1 = add i32 %a, %b
    ret i32 %t1
}

define i32 @main() nounwind {
entry:
    ; 仅为可变变量i分配一次内存空间（i32*类型）
    %i = alloca i32
    ; 初始化i的值为0：将i32类型的0存储到%i指向的内存
    store i32 0, i32* %i
    ; 加载i当前的值，用于循环条件判断
    %i_val_init = load i32, i32* %i
    %t2 = icmp slt i32 %i_val_init, 10
    br i1 %t2, label %lb1, label %lb2

lb1:
    ; 加载i的值，用于printf输出
    %i_val_print = load i32, i32* %i
    %t3 = getelementptr [4 x i8], [4 x i8]* @.str_0, i32 0, i32 0
    %t4 = call i32 @printf(i8* %t3, i32 %i_val_print)
    ; 加载i的值，传入add函数计算
    %i_val_add = load i32, i32* %i
    %t5 = call i32 @add(i32 %i_val_add, i32 1)
    ; 将计算结果存储回i的内存空间，完成变量修改
    store i32 %t5, i32* %i
    ; 加载i的新值，判断是否继续循环
    %i_val_loop = load i32, i32* %i
    %t6 = icmp slt i32 %i_val_loop, 10
    br i1 %t6, label %lb1, label %lb2

lb2:
    ret i32 0
}

关键实现要点 #

• 变量内存分配：可变变量在作用域入口处通过alloca分配一次指针类型的内存空间，后续整个作用域内复用该指针。
• 值的访问：每次需要使用变量的值时，必须通过load指令从指针指向的内存中读取，得到对应的值类型（如i32）。
• 值的修改：修改变量时，直接通过store指令将新的数值（值类型）写入指针指向的内存，无需创建新的指针。
• 循环/递归场景支持：这种模型天然支持循环和递归，因为每次循环迭代或递归调用都会复用已分配的内存，通过load/store操作更新值，不会产生类型冲突或内存冗余。

内容的提问来源于stack exchange，提问作者johron