ARM GCC 生成函数序言

我提到 ARM 工具链可以生成不同的函数序言。实际上，我看到两个 obj 文件（vmlinux）具有完全不同的函数序言：

第一种情况如下所示：

push {some registers maybe, fp, lr} (lr ommited in leaf function)

第二种情况如下所示：

push {some registers maybe, fp, sp, lr, pc} (i can confuse the order)

所以我看到第二个额外推动了 pc 和 sp。另外，我在崩溃实用程序（kdump 项目）中看到了一些评论，其中指出，内核堆栈帧应该具有格式 {..., fp, sp, lr, pc} 这让我更加困惑，因为我发现在某些情况下它不是真的。

1.) 我关于在函数序言中额外推送 pc 和 sp 需要一些 gcc 额外标志的说法正确吗？如果是的话，它们是什么？

2.) 这是做什么用的？基本上，据我所知，我只能使用 FP 和 LR 来展开堆栈，为什么我需要这个附加值？

3.）如果这件事与编译标志无关 - 我如何强制生成此扩展函数序言，目的是什么？

谢谢。

1.) 我关于在函数序言中额外推送 pc 和 sp 需要一些 gcc 额外标志的说法正确吗？如果是的话，它们是什么？

有许多 gcc 选项会影响堆栈帧（-march, -mtune等可能会影响所使用的指令）。就你而言，它是-mapcs-frame。还，-fomit-frame-pointer将从叶函数中删除框架。多个静态函数可以合并到一个生成函数中，进一步减少帧数。这APCS http://www.cl.cam.ac.uk/~fms27/teaching/2001-02/arm-project/02-sort/apcs.txt可能会导致代码稍微慢一些，但对于堆栈跟踪来说是必需的。

2.) 这是做什么用的？基本上，据我所知，我只能使用 FP 和 LR 来展开堆栈，为什么我需要这个附加值？

所有非参数（r0-r3）的寄存器都需要保存，因为它们在返回给调用者时需要恢复。编译器将在堆栈上分配额外的局部变量，因此sp几乎总是会改变的时候fp变化。为何pc已存储，见下文。

3.）如果这件事与编译标志无关 - 我如何强制生成此扩展函数序言，目的是什么？

正如您所猜测的，它是编译器标志。

; Prologue - setup
mov     ip, sp                 ; get a copy of sp.
stm     sp!, {fp, ip, lr, pc}  ; Save the frame on the stack. See Addendum
sub     fp, ip, #4             ; Set the new frame pointer.
    ...
; Epilogue - return
ldm     sp, {fp, sp, lr}       ; restore stack, frame pointer and old link.
    ...                        ; maybe more stuff here.
bx      lr                     ; return.