ARM Cortex-M0中.ARM.exidx节prel31地址转实际地址的疑问

1. 地址是否应该匹配？ #

是的，转换后的地址必须和map文件中的函数地址一致。.ARM.exidx中的prel31条目本质是指向对应函数的栈展开/异常处理代码的地址（通常是函数起始地址或展开逻辑入口），map文件记录的是链接后的最终虚拟地址，二者理应一一对应。

2. 正确的prel31转换方法 #

Linux内核的prel31_to_addr宏是针对内核特定内存布局设计的，并不适配Cortex-M0这类嵌入式裸机环境的链接规则，这是你转换失败的核心原因。

prel31是基于当前条目运行时地址的带符号相对偏移，具体转换步骤如下：

• 提取prel31字段：.ARM.exidx中以0x7f结尾的条目，低2位固定为0b11（对应0x7f的最后两位），高31位是带符号的偏移量（最高位为符号位）。
• 具体计算逻辑：
  1. 获取当前prel31条目的运行时加载地址（不是文件偏移，需用map文件中.ARM.exidx节的起始地址加上条目在节内的偏移），记为entry_addr。
  2. 从条目中取出高31位偏移：offset = (entry_value >> 2) & 0x7FFFFFFF。
  3. 将31位偏移符号扩展为32位有符号数：若offset的第30位（最高位）为1，说明是负偏移，需执行offset |= 0x80000000补全符号位。
  4. 最终目标地址 = entry_addr + offset。

以下是可直接用在嵌入式环境的C语言实现示例：

#include <stdint.h>

uint32_t convert_prel31(uint32_t entry_value, uint32_t entry_addr) {
    int32_t offset = (entry_value >> 2);
    // 符号扩展为32位有符号数
    offset = (offset << 1) >> 1;
    return entry_addr + offset;
}

3. 常见避坑点 #

• 区分文件偏移和加载地址：objdump导出的是条目在二进制文件中的偏移，而prel31是基于运行时加载地址计算的，必须使用map文件中标注的.ARM.exidx节加载地址。
• 小端模式处理：Cortex-M0是小端架构，读取32位条目时要确保字节序正确，避免因字节反转导致偏移提取错误。
• 内核宏的局限性：Linux内核的prel31_to_addr可能包含内核特定的内存偏移或区域校验逻辑，完全不适合裸机嵌入式场景。

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