乘以寄存器时汇编中的分段错误？

Question

我试图将以下 C 代码转换为程序集。这是C代码：

typedef struct {
    int x;
    int y;
} point;


int square_distance( point * p ) {
    return p->x * p->x + p->y * p->y;  
}

我的汇编代码如下：

square_distance:

.LFB23:
    .cfi_startproc
    movl    (%edi), %edx
    imull   %edx, %edx
    movl    4(%edi), %eax
    imull   %eax, %eax
    addl    %edx, %eax
    ret
    .cfi_endproc

当我尝试运行此程序时出现分段错误。有人可以解释为什么吗？谢谢！我将不胜感激！

Answer 1

您的代码是 32 位代码 (x86)，但您应用了用于 64 位代码 (x64) 的调用约定。这显然行不通。

x86 调用约定是传递堆栈上的所有参数。

x64调用约定是传递rdi中的第一个参数，rsi中的第二个，rdx中的第三个等。（如果超过3个参数，我不确定使用哪些寄存器，这也可能取决于您的平台）。

您的代码对于 x64 代码可能或多或少是正确的，应该是这样的：

square_distance:
    movl    (%rdi), %edx
    imull   %edx, %edx
    movl    4(%rdi), %eax
    imull   %eax, %eax
    addl    %edx, %eax
    ret

对于 x86 代码，参数在堆栈上传递，相应的正确代码如下所示：

square_distance:
    movl    4(%esp), edx
    movl    (%edx), eax
    imull   eax, eax
    movl    4(%edx), edx
    imull   edx, edx
    addl    edx, eax
    ret

一般而言，调用约定主题非常广泛，根据平台的不同还有其他调用约定，即使在同一平台内，在某些情况下也可能存在不同的调用约定。

Answer 2

只是想补充Jabberwocky answer。因为我的名声不足以评论。

调用函数时传递参数的方式（也称为调用约定）与架构和操作系统（OS）不同。你可以从这个wiki找到许多常见的调用约定

从 wiki 我们可以知道 *nix 上的 x64 调用约定是通过 RDI、RSI、RDX、RCX、R8、R9 寄存器传递前六个参数，而其他通过堆栈传递。