调用方 - 调用方在程序集中保存了寄存器和调用约定?

问题描述

我正在阅读 Assembly x86-64 (AT&T) 中的调用约定,但有几个问题:

  1. 调用者是否需要备份所有调用者保存的寄存器,即使是那些被调用函数不会改变的寄存器?或者我们总是备份所有的

  2. 关于 calle 的相同问题

  3. 我读到:

enter image description here

并且不明白这一点...顺序如何与可变数量的参数相关?即使我们按相同的顺序推送,我认为它也会 100% 找到。

解决方法

Caller Saves 与 Scratch 和 Call Clobbered 相同,这可能是这些术语中描述性最强的。

调用者是否需要备份所有调用者保存的寄存器,即使是那些被调用函数不会改变的寄存器?还是我们总是备份所有这些?

你的问题的答案取决于这些调用破坏寄存器的用途——或者换句话说,因为不能保证它们所持有的值在调用后是相同的,那么如果这些值很重要(即在调用后使用但不能以其他方式重现),则必须保留它们。但是,如果它们不是重要的值,则不必保留它们。呼叫者可以决定。 (并且保留比必要更多的调用破坏寄存器并没有任何违法行为。)

不过,通常情况下,调用者会简单地避免调用破坏寄存器的值,该值在调用之前定义并在调用之后使用 - 而不是将调用破坏寄存器与调用者保存策略一起使用。

被调用者保存的术语与保留的调用相同,可能更具描述性。

只要所有调用者和被调用者都遵守相同的调用约定,那么调用保留寄存器中的值就可以保证在调用中保持不变,因此调用者可以依赖它们。


早期,计算机使用堆内存,但不一定使用堆栈内存!当添加堆栈(以支持递归和高效局部变量)时,现在有两个可动态增长的实体,因此决定最有效地使用空闲内存是将未使用的内存(或间隙)放在堆和堆栈之间,通过使栈向下生长到间隙(传统的堆向上生长)。

由于堆栈从高处开始,并按内存地址向下增长,因此按相反顺序推送参数意味着它们在顺序内存地址中以正向顺序出现。对于除了堆栈上的一些参数之外,还传递寄存器中的一些参数的调用约定,逻辑是寄存器代表堆栈的底部,即前几个参数(并且尚未保存在那里),尽管被调用者可以保存它们在堆栈的底部,并实现一个代表所有参数的连续内存块。这对于 varargs 实现很有帮助,在这种实现中,被调用者不知道任何给定调用传递了多少实际参数,因为对于 varargs,不同的调用者将使用不同数量的参数进行调用。