XenonRecomp项目中函数边界分析问题的处理经验

在XenonRecomp项目开发过程中，开发者遇到了一个关于函数边界分析的典型问题。这个问题表现为在某些函数的末尾调用其他函数时，XenonRecomp的printFunctionCall功能无法正确解析跳转目标符号，导致出现"ERROR b XXXXXXXX"的错误提示。

问题现象分析

该问题主要出现在PPC代码的转换过程中。从原始PPC代码中可以观察到，某些函数在末尾会调用其他函数，而这些被调用的函数地址并不在.pdata段中定义。具体表现为：

1. 源函数在末尾通过分支指令跳转到目标函数
2. 目标函数的结构比较特殊，源函数会根据需要调用其不同偏移位置
3. XenonRecomp无法正确识别这些跳转目标

根本原因

经过深入分析，发现问题主要由以下两个因素导致：

1. 函数边界识别错误：XenonRecomp的函数边界分析器在处理紧密相邻的函数时出现误判。例如，当两个函数地址仅相差8字节时，分析器可能无法正确区分它们。

2. 无效指令干扰：在函数之间存在的帧处理程序（frame handlers）被错误识别为有效指令。这些数据实际上是指针地址，但被误解析为PPC指令，导致后续分析出错。

解决方案

针对上述问题，可以采用以下解决方法：

1. 手动定义函数大小：对于紧密相邻的函数，可以在配置中显式定义函数的边界和大小，避免自动分析出错。

2. 标记无效指令区域：在配置文件中使用invalid_instructions段来明确标记那些实际上是数据而非代码的区域。例如：

invalid_instructions = [
    { start = 0x82A3FD80, end = 0x82A3FD88 }
]

3. 正确声明寄存器保存/恢复函数：确保所有必要的寄存器操作函数都在TOML配置中正确定义，特别是那些用于异常处理的特殊函数。

经验总结

在处理类似问题时，开发者应当：

1. 仔细检查原始PPC代码和生成的重编译代码的对应关系
2. 注意函数之间的间隔和边界情况
3. 对非代码区域进行明确标记
4. 确保所有必要的辅助函数都已正确定义

通过这些问题处理经验，我们可以更好地理解XenonRecomp的工作原理，并在遇到类似问题时能够快速定位和解决。对于PPC架构新手来说，特别需要注意区分代码和数据的边界，这是保证重编译正确性的关键。