是否为少于四个参数的函数保留了必要的堆栈空间？

Question

刚开始学习x64程序集,我对函数,参数和堆栈有疑问.据我所知,函数中的前四个参数传递给Windows中的rcx,rdx,r8和r9寄存器(以及浮点数的xmm0-xmm3).所以带有四个参数的简单加法函数如下所示:

add:
   mov r10, rcx
   add r10, rdx
   add r10, r8
   add r10, r9
   mov rax, r10
   ret

但是,我遇到的文档提到了这一点:

每个函数至少必须在堆栈上保留32个字节(4个64位值).该空间允许将传递到函数中的寄存器轻松复制到众所周知的堆栈位置.不需要被调用函数将输入寄存器参数溢出到堆栈,但堆栈空间预留确保它可以在需要时使用.

所以,我必须预留堆栈空间,即使我做的功能需要四个参数或更低,或者是它只是一个建议？

Answer 1

您的引用来自文档的"调用约定"部分.至少,如果不从汇编代码中调用其他函数,则不必担心这一点.如果你这样做,那么除了其他方面,你必须尊重"红区"和堆栈对齐方面的考虑因素,你引用的建议是为了确保.

编辑:这篇文章阐明了"红区"和"影子空间"之间的区别.