assembly - 从堆栈指针中减去对齐？

Question

我见过一段汇编代码，它在调用函数之前从堆栈指针中减去任何特定原因。减去的空间留空不使用:

sub    esp, 8    ; stack align
push   dword y
push   dword [x]
call   foo
add    esp, 16
mov    [x], eax

代码的作者添加了注释“stack align”，但我不知道“stack align”是什么意思，也不知道命令 sub esp, 8 如何帮助实现它。

有什么想法吗？

Answer 1

如果在输入函数时堆栈指针与缓存行对齐，则函数的执行可能会减轻缓存的压力。

因此，可以组织一个编译器系统来坚持在输入函数时 SP 在缓存行上对齐，并且编译器知道每个调用站点已使用了多少堆栈，重新对齐需要多少SP 在调用之前。

这将解释您的示例。我还没有看到很多编译器实际这样做，因为堆栈本身往往会以适度的距离增长/缩小，并且由于一次又一次地重用本地存储，总体上不会对缓存提出太多要求。

另一种用途是为被调用者分配工作空间，或者返回一个比寄存器容纳的更大的结果。编译器不会写这样的注释，所以有人可能会这样做。也许他知道自己在做什么；也许他没有。如果被调用的函数不需要这个空间，那么它只是一条浪费的指令。