LLVM后端依据目标平台ABI（如System V或AAPCS）决定结构体参数传递方式：小结构体（≤2机器字）可能拆入寄存器，含浮点字段需SSE/NEON支持，packed或未对齐结构体强制栈传参；byval仅表语义，实际可优化为指针传递；返回值处理依赖LowerReturn/LowerCall协同，大结构体启用sret机制；尾调用优化对此敏感，布局不一致将导致静默降级。
LLVM后端如何传递结构体参数
结构体参数不直接进寄存器，除非它足够小且满足ABI约束。LLVM后端会先查目标平台的ABI规范（比如System V ABI或AAPCS），再决定是用寄存器、栈还是混合方式传参。
常见错误现象：clang 编译含大结构体参数的函数时，生成的IR里出现大量%struct.X* byval，但后端生成汇编后却没看到对应栈拷贝——其实是被优化掉了，或者被降级为隐式指针传参。
- 小于等于两个机器字（如x86-64下≤16字节）的结构体，可能拆成多个整数寄存器（如
RDI,RSI）或一个向量寄存器（XMM0） - 含浮点字段的结构体需额外检查调用约定是否启用SSE/NEON；否则可能退化为全栈传递
- 含未对齐字段或
packed属性的结构体，强制走栈传参，且后端不会自动插入对齐填充 - LLVM IR中
byval属性只表示“按值传递语义”，不代表实际内存拷贝一定发生——后端可内联、消去或转为寄存器直传
结构体返回值在SelectionDAG阶段怎么处理
返回值处理比参数更敏感，因为涉及调用者和被调用者之间的协议一致性。LLVM后端在LowerReturn和LowerCall中协同判断：谁负责分配返回缓冲区？谁负责清理？
典型场景：一个返回struct { int a; double b; }的函数，在x86-64上会被SelectionDAG拆成两个SDValue，分别映射到RAX和RDX；但在ARM64上，若结构体跨寄存器边界，则必须通过隐式sret参数传递。
- 当结构体大小 ≤ 2 × 寄存器宽度，且所有字段类型都匹配目标寄存器类（如i32/f64 → GPR/FPR），才尝试寄存器返回
-
sret（structure return）机制本质是编译器悄悄在函数签名开头加一个%struct.T* noalias nocapture参数，由调用者分配内存、传地址，被调用者写入 - 如果结构体含非POD成员（如C++虚表指针、析构函数标记），LLVM IR层就会强制插入
sret，后端不再尝试寄存器优化 - 自定义后端必须重载
TargetLowering::CanLowerReturn和getRawRegisterNumber等函数，否则默认行为可能违反ABI
自定义后端里结构体ABI适配的关键钩子
你不能只靠改TargetLowering::LowerCall就搞定结构体；真正起作用的是ABI描述模块，比如RISC-V后端的RISCVABIInfo，它决定了每个结构体字段该进哪个寄存器类、是否需要padding、是否允许位域打包。
容易踩的坑：TargetLowering::getFunctionCC返回的调用约定没同步更新，导致isStructReturnInReg判断失效；或者computeStackFrameLayout没考虑结构体字段对齐，造成栈访问越界。
- 必须实现
CCState::AnalyzeFormalArguments和CCState::AnalyzeReturn，它们驱动整个ABI决策流 - 结构体字段的
Alignment来自DataLayout，但ABI可覆盖它——例如某些嵌入式ABI要求所有结构体字段自然对齐到4字节，不管DataLayout设成什么 - 测试时别只看IR生成，要用
llc -march=yourtarget -debug-only=isel观察SelectionDAG节点是否真的把结构体字段分发到预期寄存器 - 如果结构体含
__attribute__((vector_size))字段，后端需显式支持向量寄存器传参，否则会fallback到非法指令序列
为什么尾调用优化（TCO）对结构体参数特别危险
尾调用要求调用前后栈帧完全兼容，而结构体参数/返回值的ABI处理极易破坏这种兼容性。比如前一个函数用sret传结构体，后一个函数却用寄存器返回，LLVM后端在TailCallOpt pass里会直接拒绝优化，并静默降级为普通调用。
错误信息示例：Cannot tail call: argument types do not match between caller and callee，但实际问题常出在结构体布局差异，而非类型名不一致。
- 即使两个函数签名完全相同，若编译时用了不同
-mabi选项（如lp64vsilp32），结构体字段对齐和寄存器分配策略就不同，TCO会被禁用 - 结构体作为参数时，
byval的align属性若被前端忽略（如Clang未从__attribute__((aligned(N)))推导），后端看到的对齐信息错误，导致TCO检查失败 - LLVM 15+ 在
TargetLowering::ShouldFoldAtomicLoadIntoSelect附近新增了TCO兼容性预检，但仅覆盖标量——结构体仍依赖手工验证 - 最稳妥的做法：对关键路径上的结构体函数，显式用
__attribute__((regparm(0)))或__attribute__((sysv_abi))锁定ABI，避免后端猜测
结构体参数和返回值的ABI处理不是“写完LowerCall就能跑通”的事，它横跨DataLayout、TargetLowering、CallingConv、SelectionDAG和CodeEmitter五个层级，任意一层的对齐假设或寄存器类定义偏差，都会导致生成代码在运行时崩溃或静默错误。
