是否所有函数都有一个“函数序言”，可以减少本地人的堆栈指针？答案

【问题标题】：do all functions have a "function prologue" that decrements the stack pointer for locals?是否所有函数都有一个“函数序言”，可以减少本地人的堆栈指针？
【发布时间】：2018-05-01 23:16:51
【问题描述】：

我有几个关于装配的基本问题。

在汇编中编写函数时，是否所有函数都有“函数序言”？我看到一些在线编写的功能，但他们没有，这让我感到困惑。我认为您总是需要它来通过递减堆栈来获取新的基指针和局部变量？

此外，每个压栈指令是否都需要堆栈指针的减法指令，因为我们总是希望堆栈指针位于堆栈顶部，如果不是，为什么？所以如果

 push %eax
 sub $4, %esp

我的最后一个问题是，是否有任何资源可以用外行的方式解释组装？

【问题讨论】：

序言不是绝对必要的，但如果没有提供展开或调试信息，它确实有助于调试器。 push 指令隐式地从堆栈指针中减去 4，这就是拥有它的全部意义所在。详情请参考组装教程。
如果 push 对你有用，你为什么要从堆栈指针中分出？
汇编语言本身并不关心你做什么。但是，您与之互操作的代码可能会关心。
您可以使用sub 快速分配一块堆栈。比如说，你需要 128 字节的缓冲区，你可以做sub $128, %esp。想象一下，不得不做 32 个pushes 的垃圾。
@cloudiebro 当你想在堆栈上腾出空间但不关心内存有什么内容时，你会减少堆栈指针。一个非常常见的用例。

标签： assembly x86 nasm att

【解决方案1】：

制作自己的示例相当简单，只需要在函数中的堆栈上添加一些东西（不会优化掉）。

unsigned int more_fun ( unsigned int );
void fun_too ( unsigned int *);
void fun ( void )
{
    unsigned int ra;
    unsigned int ray[64];
    for(ra=0;ra<64;ra++) ray[ra]=more_fun(ra);
    fun_too(ray);
}



0000000000000000 <fun>:
   0:   53                      push   %rbx
   1:   31 db                   xor    %ebx,%ebx
   3:   48 81 ec 10 01 00 00    sub    $0x110,%rsp
   a:   64 48 8b 04 25 28 00    mov    %fs:0x28,%rax
  11:   00 00 
  13:   48 89 84 24 08 01 00    mov    %rax,0x108(%rsp)
  1a:   00 
  1b:   31 c0                   xor    %eax,%eax
  1d:   0f 1f 00                nopl   (%rax)
  20:   89 df                   mov    %ebx,%edi
  22:   e8 00 00 00 00          callq  27 <fun+0x27>
  27:   89 04 9c                mov    %eax,(%rsp,%rbx,4)
  2a:   48 83 c3 01             add    $0x1,%rbx
  2e:   48 83 fb 40             cmp    $0x40,%rbx
  32:   75 ec                   jne    20 <fun+0x20>
  34:   48 89 e7                mov    %rsp,%rdi
  37:   e8 00 00 00 00          callq  3c <fun+0x3c>
  3c:   48 8b 84 24 08 01 00    mov    0x108(%rsp),%rax
  43:   00 
  44:   64 48 33 04 25 28 00    xor    %fs:0x28,%rax
  4b:   00 00 
  4d:   75 09                   jne    58 <fun+0x58>
  4f:   48 81 c4 10 01 00 00    add    $0x110,%rsp
  56:   5b                      pop    %rbx
  57:   c3                      retq

（它没有链接，因此调用中的立即数为零，因此链接器可以填写它们）

正如 Jester 在 cmets 中指出的那样，您可以代替向 rsp 减去或添加一个常量，而是放入一长串推送和弹出。这只是浪费代码空间和执行时间，加减法更有意义。

现在有人可能会争辩说，您可以实现这段代码，这样每次通过循环时，您都会推送 more_fun(); 的结果。仅根据函数需要增加堆栈，并根据需要使用推送，而不是从 rsp 中减去。但是在返回时，您希望在一条指令中添加到 rsp，而不是在单个 pop 或 pop 循环上浪费时间和空间。这个解决方案作为编译器作者更难调试，作为编译器输出的用户/读者更难理解。（如果您想在堆栈上保持 64 位对齐，并说这里的 unsigned int 是 32 位，如图所示，那么您将燃烧更多指令来解决这个问题）

【讨论】：