LLVM编译i32被截断为i8：返回值异常问题求助

问题根源 #

终端的进程退出码本质是无符号8位整数（范围0-255），当程序返回的i32值超出这个范围时，系统会自动对256取模。2000除以256的余数正好是208（2000 % 256 = 208），所以终端显示的是取模后的结果——这和LLVM IR的存储、加载逻辑无关，也不是编译环节出了问题。

解决方案 #

1. 用printf输出完整结果 #

如果需要完整展示i32类型的数值，别依赖进程退出码，直接调用C标准库的printf输出。示例LLVM IR代码如下：

declare i32 @printf(i8*, ...)

@str = private constant [13 x i8] c"Result: %d\0A\00"

define i32 @main() {
  %val = alloca i32, align 4
  store i32 2000, i32* %val, align 4
  %loaded = load i32, i32* %val, align 4
  ; 调用printf打印加载的值
  call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([13 x i8], [13 x i8]* @str, i32 0, i32 0), i32 %loaded)
  ret i32 0 ; 退出码返回0表示程序正常执行
}

编译时记得链接C标准库：

llc your_code.ll -o your_code.s
gcc your_code.s -o your_program
./your_program

运行后终端会直接显示Result: 2000。

2. 限制返回值在0-255区间 #

如果一定要用进程退出码返回结果，必须保证返回的i32值在0-255之间，超出范围就会被自动截断。比如返回200的话，终端就能正确显示200。

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