linux - gcc x64 堆栈操作

Question

我试图理解 gcc x64 组织堆栈的方式，一个小程序生成这个 asm

(gdb) disassemble *main
Dump of assembler code for function main:
0x0000000000400534 <main+0>:    push   rbp
0x0000000000400535 <main+1>:    mov    rbp,rsp
0x0000000000400538 <main+4>:    sub    rsp,0x30
0x000000000040053c <main+8>:    mov    DWORD PTR [rbp-0x14],edi
0x000000000040053f <main+11>:   mov    QWORD PTR [rbp-0x20],rsi
0x0000000000400543 <main+15>:   mov    DWORD PTR [rsp],0x7
0x000000000040054a <main+22>:   mov    r9d,0x6
0x0000000000400550 <main+28>:   mov    r8d,0x5
0x0000000000400556 <main+34>:   mov    ecx,0x4
0x000000000040055b <main+39>:   mov    edx,0x3
0x0000000000400560 <main+44>:   mov    esi,0x2
0x0000000000400565 <main+49>:   mov    edi,0x1
0x000000000040056a <main+54>:   call   0x4004c7 <addAll>
0x000000000040056f <main+59>:   mov    DWORD PTR [rbp-0x4],eax
0x0000000000400572 <main+62>:   mov    esi,DWORD PTR [rbp-0x4]
0x0000000000400575 <main+65>:   mov    edi,0x400688
0x000000000040057a <main+70>:   mov    eax,0x0
0x000000000040057f <main+75>:   call   0x400398 <printf@plt>
0x0000000000400584 <main+80>:   mov    eax,0x0
0x0000000000400589 <main+85>:   leave
0x000000000040058a <main+86>:   ret

1. 为什么它最多保留 0x30 个字节来保存 edi 和 rsi
2. 我没有看到任何地方根据ABI 的要求恢复edi 和rsi 的值。
3. edi 和 rsi 保存在 delta 0x20 - 0x14 = 0xC 的位置，不是连续区域，这有意义吗？

下面是源码

int mix(int a,int b,int c,int d,int e,int f, int g){
    return a | b | c | d | e | f |g;
}
int addAll(int a,int b,int c,int d,int e,int f, int g){
    return a+b+c+d+e+f+g+mix(a,b,c,d,e,f,g);
}
int main(int argc,char **argv){
    int total;
    total = addAll(1,2,3,4,5,6,7);
    printf("result is %d\n",total);
    return 0;
}

编辑看起来堆栈已经存储了 esi，rdi，第 7 个参数调用 addAll 和 total ，它应该占用 4x8 = 32 (0x20) 字节，它四舍五入到 0x30 一些原因。

Answer 1

1. 我不知道你的原始代码，但局部变量也存储在堆栈中，当你有一些局部变量时，空间也会被“分配”。同样出于对齐的原因，他可能会“四舍五入”到下一个 16 的倍数。我猜你有一个本地地址，用于将 addAll 的结果传递给 printf，并将其存储在 rbp-04。

2. 我刚刚查看了您的链接 ABI - 哪里说被调用方必须恢复 rdi 和 rsi？它说已经在第 15 页，脚注:

   Note that in contrast to the Intel386 ABI, %rdi, and %rsi belong to the called function, not the caller.

   Afaik 它们用于将第一个参数传递给被调用者。

3. 0xC 是 12。这也是来自对齐，如你所见，他只需要存储 edi 而不是 rdi，出于对齐目的，我假设他将其对齐在 4 字节边界上，而 si 是 rsi，这是 64 位并在 8 字节边界上对齐。