LLVM IR中personality函数实现疑问及异常捕获需求

1. personality函数是否应接收输入？若应接收，参数为何出现垃圾值？ #

• personality函数必须接收符合平台规范的输入参数，这是LLVM异常处理机制的强制要求。以Windows平台为例，它的签名必须匹配系统定义的异常处理回调格式（比如对应__CxxFrameHandler3的参数结构），包含异常记录、上下文信息、帧指针等核心数据。
• 参数出现垃圾值的常见原因：
  • 自定义personality函数的签名或调用约定错误，比如参数类型不匹配、未使用平台要求的调用约定，导致栈布局混乱，参数读取异常。
  • LLVM IR中对personality函数的声明不符合规范，比如未指定正确的函数类型、调用约定属性，使得代码生成阶段传递参数时出现错误。
  • 全局try/catch的IR结构有误，比如invoke指令、landingpad块的配置不符合SEH要求，导致异常触发时传递给personality函数的上下文数据无效。

2. personality函数是否需直接跳转至landing pad，还是由LLVM后端根据返回结果处理？ #

• 不需要直接跳转。personality函数的核心职责是判定当前异常能否被对应的catch块处理，并返回标准化的处理结果：比如Windows下返回非0表示可处理，返回0表示异常需要向上传播。
• 跳转至landing pad的逻辑由平台的异常处理框架（如Windows SEH）负责执行，personality函数只需要向框架提供必要的上下文信息（比如landing pad的内存偏移、栈调整数据），无需手动实现跳转。

3. 是否有其他方式实现该需求，能否捕获段错误？ #

• 替代实现方案：
  • 复用平台原生的personality函数：比如Windows下直接使用Clang提供的__CxxFrameHandler3，只需在LLVM IR中正确生成全局的invoke/landingpad结构，将整个程序入口包裹在try块中，catch块设置为捕获所有异常类型（如catch i8* null）。
  • 平台原生异常机制包裹：在程序入口处直接使用Windows的__try/__except或Linux的sigaction等原生API实现全局捕获，这种方式无需自定义LLVM异常逻辑，但和自定义语言的IR集成度较低。
• 段错误捕获：
  • Windows下的段错误属于SEH结构化异常（对应EXCEPTION_ACCESS_VIOLATION），只要你的全局异常处理基于SEH机制，可以捕获。需要在personality函数中识别该异常类型，或在IR的catch块中配置为捕获所有异常。
  • 注意：LLVM默认的C++异常机制仅处理用户主动抛出的异常，要捕获系统级异常，必须确保landingpad配置支持SEH全类型异常，或直接使用平台原生的异常处理接口。

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