汇编程序中的过程调用如何工作？

Question

我刚刚开始摆弄 ASM，我不确定我对过程调用的理解是否正确。

假设在代码中的某个时刻有一个过程调用

call dword ptr[123]

，并且该过程仅包含一个命令 ret：

ret 0004

此过程调用的效果是什么，返回值将存储在哪里？ 我在某处读到 2 个字节的返回值将存储在 AX 中，但是当我用（以及必要的 NOP）替换过程调用时，

mov AX, 0004

程序崩溃了。

Answer 1

在 x86 汇编器中，ret 指令的参数表示：

RET immediate

返回调用过程并从堆栈中弹出立即字节。

（引自英特尔® 64 和 IA-32 架构软件开发人员手册 < a href="http://www.intel.com/Assets/PDF/manual/253667.pdf" rel="noreferrer">Vol 2B)

因此，当您键入时：

ret 0004

您是在告诉 CPU 返回立即调用调用之后的指令，并从堆栈中弹出 4 个字节。 如果您在调用之前压入 4 个字节到堆栈中，那就太好了。

push eax
call dword ptr[123]

请注意，这与返回值无关。 事实上，Assembly 中的过程无法指定某个值是返回值。 这都是按照惯例完成的。 据我所知，大多数编译器都会使用 EAX 来保存返回值，但这只是因为调用函数会期望那里的结果。

因此，您的调用代码将是：

call dword ptr [123]
mov dword ptr [result], eax

返回值 4 的函数将是：

mov eax, 4
ret

Answer 2

这完全取决于所使用的调用约定。 我不会在这里重复维基百科的文章，只需阅读定义即可。

例如，在 C 调用约定中，返回值将位于 EAX/AX 中/AL。 您的单指令没有：它是一个 void 函数，带有大约 4 个字节的参数（可能是一个 int），不执行任何操作。 由于在此调用约定中清理堆栈是被调用者的责任，因此忽略此操作并将调用替换为“mov ax”是行不通的。

另外，我怀疑您在阅读 16 位文档时可能会修改 32 位程序集。 这不是一个大问题，但您应该意识到其中的差异。

Answer 3

我认为返回值没有存储在寄存器AX中

Answer 4

// possibly there are arguments pushed here
...
call dword ptr[123] // push next OP code offset in the stack and jump to procedure

// procedure
...
ret 0004 // pop offset, set EIP to that offset and decrease ESP by 4

如果我们在调用过程之前将参数推送到堆栈中，那么我们另外会减少 ESP。

如果有压入的参数，您的程序会崩溃，因为您没有弹出它们。 当前过程的返回偏移量将是错误的，因为它将从推送的参数之一获取一个值作为偏移量。