为何在i386汇编代码中使用%ebx寄存器会触发段错误？

核心问题：x86-32 cdecl调用约定的寄存器规则 #

GCC在32位x86环境下采用cdecl调用约定，寄存器被严格分为两类：

• 调用者保存寄存器：%eax、%ecx、%edx，这类寄存器的值无需被被调用函数保存，函数可直接修改，调用者会自行处理值的留存逻辑。
• 被调用者保存寄存器：%ebx、%esi、%edi、%ebp，这类寄存器的原始值必须被被调用函数妥善保存（使用前压栈，退出前恢复），否则会破坏调用者的上下文环境，进而引发内存访问错误。

你的版本1直接修改了%ebx却未做保存恢复操作，而main函数作为调用者，可能原本在%ebx中存储了关键数据（比如全局数据基址、栈帧相关指针），函数返回后该寄存器值被破坏，导致后续代码访问非法内存地址，最终触发段错误。

而版本2使用的%ecx属于调用者保存寄存器，直接修改不会影响调用者的上下文，因此运行正常。

修复方案：正确保存并恢复%ebx #

修改版本1的汇编代码，在使用%ebx前将其值压栈保存，函数返回前弹出恢复：

写法一：直接操作栈指针 #

.globl addArgs
.text
addArgs:
    pushl %ebx          # 保存%ebx原始值到栈
    movl 8(%esp), %eax  # push后栈偏移+4，第一个参数从4(%esp)变为8(%esp)
    movl 12(%esp), %ebx # 第二个参数从8(%esp)变为12(%esp)
    addl %ebx, %eax
    popl %ebx           # 恢复%ebx原始值
    ret

写法二：通过ebp栈帧定位参数（更清晰，避免偏移计算错误） #

.globl addArgs
.text
addArgs:
    pushl %ebp
    movl %esp, %ebp
    pushl %ebx          # 保存%ebx
    
    movl 8(%ebp), %eax  # ebp+4是返回地址，ebp+8是第一个参数a
    movl 12(%ebp), %ebx # ebp+12是第二个参数b
    addl %ebx, %eax
    
    popl %ebx           # 恢复%ebx
    movl %ebp, %esp
    popl %ebp
    ret

验证修复 #

使用原编译命令重新编译：

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

运行程序将正常输出3，不会触发段错误。

内容的提问来源于stack exchange，提问作者Seizh7