ARM函数调用中LR寄存器的值：原理、问题与最佳实践

1次阅读

没有评论

共计 1790 个字符，预计需要花费 5 分钟才能阅读完成。

在 ARM 架构开发中，函数调用是基础操作，而 LR（Link Register）寄存器则是实现函数调用的关键组件。今天我们就来聊聊 LR 寄存器的工作原理、常见问题以及如何正确使用它。

LR 寄存器（R14）在 ARM 架构中担任着 ” 连接寄存器 ” 的角色，它的主要作用是保存函数返回地址。当执行 BL（Branch with Link）指令时，处理器会自动将下一条指令的地址（即返回地址）存入 LR 寄存器。

函数调用时：CPU 将返回地址存入 LR
函数返回时：通常使用 ”BX LR” 指令跳转回调用点

有意思的是，LR 的值在每次函数调用时都会被覆盖，这就引出了我们后面要讨论的问题。

在实际开发中，LR 寄存器的管理常常会遇到以下问题：

嵌套调用问题
当函数 A 调用函数 B，函数 B 又调用函数 C 时，如果不在函数 B 中保存 LR 的值，函数 C 的调用会覆盖 LR 中原先保存的返回地址（原本应该返回到函数 A 的地址）。
中断上下文问题
在中断服务程序 (ISR) 中，LR 会被赋予特殊值（如 0xFFFFFFF9），如果不正确处理，可能导致无法正确返回。
栈溢出风险
如果递归调用过深，不断压栈保存 LR 可能导致栈溢出。
ROP 攻击隐患
错误的 LR 管理可能被利用进行面向返回编程 (ROP) 攻击。

最常用的方法是在函数开头将 LR 压栈，在返回前弹出：

my_function:
    PUSH {LR}       @ 保存返回地址
    ...             @ 函数体
    POP {PC}        @ 恢复并跳转

这种方法的优势是简单可靠，但需要注意栈平衡。

在 C 代码中使用内联汇编时，需要明确声明对 LR 的修改：

void my_function() {
    asm volatile("push {lr}\\n"
        "...\n"          @ 你的汇编代码
        "pop {pc}"
        : : : "lr");    @ 告诉编译器 LR 会被修改
}

在中断处理程序中，需要特别注意 LR 的特殊值。通常的解决方案是：

isr_handler:
    PUSH {LR}           @ 保存特殊 LR 值
    ...                 @ ISR 处理
    POP {PC}            @ 特殊返回

@ 嵌套函数调用示例
.global main
main:
    BL function_a       @ 调用函数 A
    B exit              @ 退出

function_a:
    PUSH {LR}           @ 保存返回地址
    BL function_b       @ 调用函数 B
    POP {PC}            @ 返回到 main

function_b:
    PUSH {LR}           @ 再次保存
    ...                 @ B 的函数体
    POP {PC}            @ 返回到 A

void function_b() {
    // C 函数会自动处理 LR 保存
    printf("Inside function_b\n");
}

void function_a() {
    // 内联汇编调用 function_b
    asm volatile("push {lr}\\n"
        "bl function_b\n"
        "pop {pc}"
        : : : "lr");
}

int main() {function_a();
    return 0;
}