LLVMSharp函数封送异常：调试模式下浮点加法程序崩溃排查

看起来你踩了托管/非托管交互里一个典型的坑——调用约定不匹配导致的栈帧错位，调试模式的严格校验刚好把这个问题揪了出来，整数参数没出问题只是因为它们的传递规则对不匹配的容忍度更高而已。

先拆解下你的问题核心：

• 你生成的IR里用了@main作为函数名，这很容易混淆系统程序入口的调用规则，LLVM生成的main和托管代码调用的普通函数，调用约定逻辑完全不同；
• 你没显式指定调用约定，LLVM默认的调用约定和CLR调试模式下预期的规则不匹配，尤其是浮点数参数的传递（x64平台下浮点参数用XMM寄存器，栈布局和整数完全不一样，一点点错位就会触发栈校验错误）。

下面是具体的解决步骤：

1. 修改LLVM IR，显式指定调用约定并改名 #

把你的IR调整成这样（以Windows x64平台为例，其他平台可对应修改调用约定）：

define double @addDoubles(double %x, double %y) #0 {
entry:
  %tmp = fadd double %x, %y
  ret double %tmp
}

attributes #0 = { "calling-convention"="win64" "target-cpu"="x86-64" }

• 把函数名从main改成addDoubles，彻底避免和系统入口函数的规则冲突；
• 显式添加win64调用约定属性，确保LLVM生成的代码严格遵循x64 Windows的参数传递规则（前4个浮点参数用XMM寄存器，返回值存入XMM0）。

2. 调整托管代码的P/Invoke声明，严格匹配调用约定 #

在C#的封送声明里，必须和LLVM的调用约定完全对应：

[DllImport("YourCompiledLLVMDll.dll", CallingConvention = CallingConvention.Winapi)]
public static extern double addDoubles(double x, double y);

• CallingConvention.Winapi在x64 Windows下等价于win64调用约定，和LLVM的设置完全对齐；
• 确保DLL路径指向你用LLVM编译生成的动态链接库。

3. 验证汇编代码的正确性（可选但推荐） #

用LLVM的llc工具把IR转成汇编，检查参数传递是否符合预期：

llc -filetype=asm your_ir_file.ir -o output.s

打开生成的output.s，你应该能看到类似这样的片段：

addDoubles:
        movsd   %xmm1, -8(%rsp)
        movsd   %xmm0, -16(%rsp)
        movsd   -16(%rsp), %xmm0
        addsd   -8(%rsp), %xmm0
        ret

这里xmm0和xmm1用来接收传入的两个double，返回值存入xmm0，完全符合win64调用约定的规则。

4. 确认调试模式的栈校验设置 #

调试模式下CLR会启用/RTCs（栈帧校验），任何栈不平衡都会立刻触发崩溃。请确保：

• 托管代码里的参数数量、类型和LLVM函数完全一致；
• 没有手动修改栈指针的不安全代码。

为什么整数参数没问题？因为x64下整数参数的传递规则（前4个用RCX/RDX/R8/R9寄存器）对调用约定不匹配的容错性更高，而浮点数的寄存器传递和栈布局更敏感，一点点错位就会触发栈损坏检测。

内容的提问来源于stack exchange，提问作者Chase R Lewis