llvm ir中可变参数函数签名必须在函数类型末尾用...显式标记，且至少含一个固定参数，如i32 (i8*, ...)；...前后不可有空格，且须位于参数列表最右端。
LLVM IR里怎么写可变参数函数签名
可变参数函数在LLVM IR中靠函数类型末尾的...显式标记，不是靠名字或注释。它必须至少有一个固定参数，否则语法非法。
常见错误是直接照搬C头文件写法（比如printf(void)），但LLVM IR不接受零固定参数的可变函数。正确写法必须带前置类型：
-
i32 (i8*, ...)—— 对应C的int printf(const char*, ...) -
void (i32, i32, ...)—— 至少两个固定参数，后面跟可变部分 -
float (ptr, ...)—— 第一个参数是泛型指针，后面任意
注意：...前后**不能有空格**，且必须出现在参数列表最右端；写成i32(...)或i32 (..., i32)都会被llvm-as拒绝。
@llvm.va_start这类Intrinsic怎么配合使用
LLVM不提供va_arg语句级语法糖，所有可变参数访问都靠三条Intrinsic + 一条va_arg指令协同完成。它们不是普通函数调用，不能直接call @printf那样用。
关键点：
-
@llvm.va_start必须在alloca分配的%struct.va_list上执行，且只能调用一次 -
va_arg是**指令**，不是函数：写法是%val = va_arg ptr %ap, i32，类型必须显式给出 -
@llvm.va_copy和@llvm.va_end操作的是ptr（即%struct.va_list*），不是%struct.va_list本身 - 漏掉
@llvm.va_end不会导致编译失败，但可能引发运行时栈损坏（尤其在嵌套调用中）
示例片段：
%ap = alloca %struct.va_list call void @llvm.va_start(ptr %ap) %x = va_arg ptr %ap, i32 %y = va_arg ptr %ap, double call void @llvm.va_end(ptr %ap)
为什么不能直接用%0、%1访问可变参数
LLVM IR的SSA模型要求每个值有唯一定义点，而可变参数数量不确定，无法在函数签名阶段为“第N个可变参数”生成固定编号的%N局部变量。所有可变参数都封装在va_list结构体里，必须通过va_arg指令动态提取。
常见误解：
- 以为
define i32 @f(i32 %a, ...)里的%a之后还能写%b、%c——不行，只有%a是合法命名参数 - 试图用
load从某个偏移读取可变参数——LLVM不暴露栈帧布局，va_list内容由后端决定 - 在
va_arg里传入不匹配的类型（如用i64取实际是float的参数）——行为未定义，通常导致位模式错乱
可变参数函数的属性和优化限制
含...的函数默认禁用很多优化，因为编译器无法静态分析参数个数与类型。即使你手动加nounwind或readonly，也无法启用tail call或inlining。
实操建议：
- 避免在热路径上频繁调用可变参数函数；若逻辑固定，优先改用显式参数列表（如
log_error(i32 code, ptr msg, i32 line)） - 如果必须保留可变接口，可在IR层面用
optnone显式标记，防止优化器误判va_arg序列 -
byval参数不能和...共存——LLVM语法禁止在可变参数函数中声明结构体按值传递参数
最易忽略的一点：...只控制调用约定，不改变函数体内对va_list的操作逻辑；哪怕你写了个“空壳”可变函数，也必须完整走va_start→va_arg×N→va_end流程，否则后端生成的机器码可能崩溃。
