为什么使用 %ebx 寄存器会导致我的汇编代码出现分段错误

Question

我正在编写一小段 i386 汇编代码，并在使用 %ebx 寄存器时遇到分段错误。我希望能了解一些关于为什么会发生这种情况的见解。

我有两个版本的非常简单的汇编函数。该函数的目的是将两个整数参数相加。当我使用 %ecx 寄存器时，该函数可以正常工作。但是，当我切换到使用 ebx 寄存器时，会导致分段错误。这是两个版本的代码：

版本 1（导致分段错误）：

.globl addArgs
.text
addArgs:
    movl 4(%esp), %eax
    movl 8(%esp), %ebx
    addl %ebx, %eax
    ret

关于 ebx 寄存器，我缺少什么具体信息吗？

所以下面的版本完美运行。

版本 2（工作正常）：

.globl addArgs
.text
addArgs:
    movl 4(%esp), %eax
    movl 8(%esp), %ecx
    addl %ecx, %eax
    ret

我正在32位x86系统上编译我的代码并使用GCC进行编译。

如果是的话，这里是使用该函数的 C 代码：

#include <stdio.h>

int addArgs();

int main(){
    int a = 1, b = 2;
    printf("%d\n",  addArgs(a, b));
    return 0;
}

这就是我编译它的方式：

$ gcc -march=i386 -m32 -g  addArg_asm.s addArg.c -o addArg

Answer 1

例程如何通信和行为有一些规则，包括一个如何将参数传递给另一个，如何维护堆栈，以及它们可以自由使用哪些寄存器以及必须保留哪些寄存器。这些称为应用程序二进制接口 (ABI)。 x86 架构上使用的一种 ABI 是 System V 应用程序二进制接口。您的编译器可能正在使用此 ABI 或类似的东西。

System V ABI 指定

%ebp

、

%ebx

、

%edi

、

%esi

和

%esp

必须由被调用函数保存 — 当它返回到调用函数时，这些寄存器必须包含相同的值当例程被调用时他们就这样做了。因此，您的编译器可能会使用

%ebx

来保存一个通过调用您的函数而不会改变的值。当您更改

%ebx

时，您就违反了此要求。

System V ABI 指定

%ecx

和

%edx

是临时寄存器，并且被调用的例程不必为调用者保留它们的值。因此，您的编译器将不会依赖于

%ecx

在函数调用中保存值。

这是八个通用寄存器中的七个。第八个，

%eax

，是一个暂存寄存器，只不过它用于返回一个值。