AArch64架构中，除-fomit-frame-pointer外x29与sp何时存在差异

在保留帧指针的AArch64编译模式下，你给出的fib函数是简单递归场景，栈空间固定且无动态调整，因此x29与sp全程（除序幕/尾声的瞬时步骤）保持一致。但在以下复杂场景中，二者会出现显著差异：

1. 动态栈空间分配（如变长数组VLA、alloca()） #

当函数需要在运行时动态分配栈空间时，编译器会直接调整sp来扩展/收缩栈，但x29会保持指向当前函数栈帧的起始位置（即序幕阶段设置的固定位置），此时二者必然不等。

比如以下包含变长数组的代码：

void func(int n) {
    char buf[n]; // 变长数组，运行时确定大小
    // 使用buf...
}

编译后的汇编会出现类似sub sp, sp, x0（根据n调整sp）的指令，此时x29仍指向栈帧起始，sp则指向动态分配后的栈顶，二者不再相等。

2. 栈上传递大量函数参数 #

AArch64 ABI规定前8个整数/指针参数通过x0-x7传递，超过8个的参数需要压入栈中。在调用这类函数前，当前函数会临时调整sp来预留参数空间，此时x29保持不变，二者产生差异。

例如调用一个接收10个参数的函数时，编译后的代码会先执行sub sp, sp, #16（预留两个参数的栈空间），然后将第9、10个参数存入栈中，此时sp已变化，但x29仍指向当前帧的起始。

3. 函数序幕/尾声的中间过渡步骤 #

虽然你给出的fib函数序幕是原子性的栈调整+帧指针设置，但部分函数的序幕/尾声可能存在分步操作：

• 序幕中，可能先调整sp，再存储x29，最后将x29设为sp——在这中间的瞬时状态下，x29还是上一帧的指针，与当前sp不等；
• 尾声中，可能先恢复sp的部分空间，再加载x29，这一阶段sp与x29也会存在差异。

这类差异是瞬时的，但也是二者不等的场景之一。

4. 信号处理上下文切换 #

当进程收到信号时，内核会将当前进程的上下文（包括寄存器状态）保存到信号栈中，并将sp切换到信号栈的栈顶。此时x29仍指向原进程正常执行时的栈帧起始，与信号栈的sp完全不同。这种场景下，帧指针x29是回溯原调用栈的关键依据——如果仅用sp，只能看到信号栈的内容，无法回到原进程的调用链。

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