LLVM IR中字符串常量需显式声明为全局常量，如@.str = private unnamed_addr constant [6 x i8] c"Hello\00"；其类型为[6 x i8]数组，须用getelementptr转为i8*指针后才能传给printf等函数。
LLVM IR 中怎么定义字符串常量
LLVM 不像 C 那样直接写 "Hello" 就完事——它要求字符串必须作为全局常量显式声明，且类型是 i8*（指向字节的指针）。最常用方式是用 @.str = private unnamed_addr constant [6 x i8] c"Hello\00" 这类语法。
注意三点：
-
[6 x i8]表示 6 字节数组（"Hello"是 5 字符 + 末尾\00）； -
private和unnamed_addr是推荐修饰符，避免链接冲突和优化问题； - 不能漏掉
c前缀，否则 LLVM 会当成整数数组而非字节序列。
怎么把字符串地址传给 printf
printf 在 LLVM IR 中签名是 i32 (i8*, ...)，所以它第一个参数必须是 i8* 类型。你不能直接传 @.str，因为那是个全局变量（类型是 [6 x i8]*），得用 getelementptr 转成指针：
%str_ptr = getelementptr inbounds [6 x i8], [6 x i8]* @.str, i32 0, i32 0
这行本质是取数组首元素地址，结果类型才是 i8*。之后才能传给 call：
call i32 (i8*, ...) @printf(i8* %str_ptr)
常见错误：漏掉 inbounds 或写错索引（比如写成 i32 0, i32 1），导致验证失败或运行时崩。
为什么不能用 inttoptr 或 bitcast 硬转
有人试过 bitcast [6 x i8]* @.str to i8*，看起来更短，但这是危险操作：
- LLVM 优化器可能在后续 pass 中把
@.str合并或重排，而bitcast不带语义保证； -
getelementptr是 LLVM 官方推荐的“安全取址”方式，能被所有后端正确识别和优化； - Clang 输出的 IR 永远用
getelementptr，不是巧合——它是 ABI 兼容性锚点。
完整可跑的最小 IR 示例
以下 IR 可直接用 lli 执行（需确保系统有 printf）：
@.str = private unnamed_addr constant [14 x i8] c"Hello, %s!\00"
declare i32 @printf(i8*, ...)
define i32 @main() {
%0 = getelementptr inbounds [14 x i8], [14 x i8]* @.str, i32 0, i32 0
%1 = call i32 (i8*, ...) @printf(i8* %0)
ret i32 0
}关键细节：字符串末尾必须有 \00，declare 必须在 define 前，且 @printf 名字不能加引号或改大小写——符号名大小写敏感，拼错就链接失败。
真正容易卡住的地方，往往不是语法，而是字符串长度算错、GEP 索引写反、或者忘了 declare —— 这些错误在 llc 或 lli 报错时，提示信息非常模糊，得逐行核对类型匹配。
