我很难理解为什么这个x86汇编代码在OSX上与gcc 4.2.1(llvm)编译得很好,但在运行可执行文件时会出现分段错误:
.globl _main
_main:
push %rbp
mov %rsp, %rbp
mov $1, %rbx
push %rbx
lea L_.str0(%rip), %rdi
mov %rbx, %rsi
call _printf
pop %rbx
pop %rbp
ret
.section __TEXT,__cstring,cstring_literals
L_.str0:
.asciz "%d \000"
我观察到如果pop %rbx
行在call _printf
之前移动,那么程序就能正常工作。但它为什么要以原来的形式失败呢?
答案 0 :(得分:3)
以下问题详细解答了这个问题:How to print argv[0] in NASM?以及x86 Assembly on a Mac。在MacOSX上编程程序集时,它本质上是一个问题。
总结:
printf
)。一个简单的解决方案是在调用之前对齐堆栈指针(即,按照Sys V要求对齐16个字节的倍数),并在调用后恢复它:
.globl _main
_main:
push %rbp
mov %rsp, %rbp
mov $1, %rbx
lea L_.str0(%rip), %rdi
mov %rbx, %rsi
push %rbx
mov %rsp, %rax ; Save copy of the stack pointer (SP)
and $-16, %rsp ; Align the SP to the nearest multiple of 16.
sub $8, %rsp ; Pad the SP by 8 bytes so that when we ...
push %rax ; push the saved SP (=8 bytes on a 64-bit OS),
; we remain aligned to 16 bytes (8+8 = 16).
call _printf
pop %rax ; retrieve the saved SP
mov %rax, %rsp ; restore SP using saved value.
pop %rbx
pop %rbp
ret
.section __TEXT,__cstring,cstring_literals
L_.str0:
.asciz "%d \000"