【发布时间】:2020-10-01 22:50:31
【问题描述】:
我了解到,如果被调用者使用了任何caller saved registers (rax rdx rcx rsi rdi r8 r9 r10 r11),那么它必须在调用者的call 指令之前保存并在调用者之后恢复。
通过下面的例子,
int read();
void print(int i);
int main()
{
int a = read();
int b = read();
int c = read();
int d = read();
int e = read();
int f = read();
int g = read();
print(a);
print(b);
print(c);
print(d);
print(e);
print(f);
print(g);
}
注意
-
变量
a - g应该使用所有callee saved registers (rbp rsp rbx r12 r13 r14 r15)。而且我们不能同时使用rbp或rsp,因为它们都必须用于寻址堆栈内存。 -
read和print来自某个外部编译单元。因此,当我们编译当前编译单元时,特别是在为main函数分配寄存器期间,我们并不真正了解它们的调用方保存寄存器的使用情况。
在 godbolt 和 -O3 中,它编译为以下内容
main:
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbp
pushq %rbx
subq $24, %rsp # spill here
call read()
movl %eax, 12(%rsp) # spill here
call read()
movl %eax, %ebx
call read()
movl %eax, %r15d
call read()
movl %eax, %r14d
call read()
movl %eax, %r13d
call read()
movl %eax, %r12d
call read()
movl 12(%rsp), %edi
movl %eax, %ebp
call print(int)
movl %ebx, %edi
call print(int)
movl %r15d, %edi
call print(int)
movl %r14d, %edi
call print(int)
movl %r13d, %edi
call print(int)
movl %r12d, %edi
call print(int)
movl %ebp, %edi
call print(int)
addq $24, %rsp
xorl %eax, %eax
popq %rbx
popq %rbp
popq %r12
popq %r13
popq %r14
popq %r15
ret
注意
-
变量
a溢出到12(%rsp)。 -
我们不需要泄漏任何
caller saved registers,因为它们根本没有被使用,结果证明在这里更有效。
我的问题
-
看起来,如果我们不使用
caller saved registers,我们真的不需要处理它们。因此,我们什么时候应该使用caller saved registers? -
对于像
read和print这样的被调用者,因为我们不知道他们的寄存器使用情况,我们应该如何为caller saved registers做溢出?
谢谢
【问题讨论】:
标签: x86 compiler-construction x86-64 calling-convention register-allocation