些細なMacOSアセンブリ64ビットプログラムのスタックアライメントが正しくない

Question

引数付きの簡単なコンソールアセンブリプログラムを作成しようとしています。ここで

.section __TEXT,__text 

.globl _main 

_main: 

    movl $0, %edi 
    callq _exit 

コンパイルとリンクのスクリプトです：ここでは、コードです

as test.s -o test.o 
ld test.o -e _main -o test -lc 

今プログラムセグメンテーションフォールトで失敗、または引数の個数に応じて、エラーなしで実行し、次のいずれか

$ ./test 
Segmentation fault: 11 
$ ./test 1 
$ ./test 1 2 
$ ./test 1 2 3 
Segmentation fault: 11 
$ ./test 1 2 3 4 
$ ./test 1 2 3 4 5 
Segmentation fault: 11 

など。 LLDBの下

私はより多くの有益なエラーを参照してください。

確か

Process 16318 stopped 
* thread #1, queue = 'com.apple.main-thread', stop reason = EXC_BAD_ACCESS (code=EXC_I386_GPFLT) 
    frame #0: 0x00007fffad14b2fa libdyld.dylib`stack_not_16_byte_aligned_error 
libdyld.dylib`stack_not_16_byte_aligned_error: 
-> 0x7fffad14b2fa <+0>: movdqa %xmm0, (%rsp) 
    0x7fffad14b2ff <+5>: int3 

libdyld.dylib`_dyld_func_lookup: 
    0x7fffad14b300 <+0>: pushq %rbp 
    0x7fffad14b301 <+1>: movq %rsp, %rbp 

、私はプログラムの最初の行で実行を停止した場合、私はスタックが16バイトは、いくつかの引数に整列されていないことを確認それは別のもののために整列されています。 System V ABI for AMD64の状態が、その：

The stack pointer holds the address of the byte with lowest address which is part of the stack. It is guaranteed to be 16-byte aligned at process entry.

は、私が何をしないのですか？

Answer 1

私はOS X上で、カーネルはスタックアライメントがmainになることを保証しないと思います。スタックを手動で配置する必要があります。幸いにも、これはむしろ簡単です。スタックポインタの少なくとも4ビットをゼロにするだけです。場合は、あなたはどこか、元のスタックポインタを格納することを確認し、引数ベクトルやその他のデータをフェッチする必要があります。

_main: 
    mov %rsp,%rax # copy original stack pointer 
    and $-16,%rsp # align stack to 16 bytes 
    push %rax  # save original stack pointer 
    push %rbp  # establish... 
    mov %rsp,%rbp # ...stack frame 
    ...    # business logic here 
    leave   # tear down stack frame 
    pop %rsp   # restore original stack pointer 
    ...    # exit process 

はまた、精神的にあなたのスタック・アライメントを追跡する必要があります。スタック・アライメントが、何もしないmainを持つことが容易になり、あなたがそれで、通常のスタックフレームを使用することができますので、あなたの実際の主な機能を呼び出すことがあります

_main: 
    mov %rsp,%rbx # save original stack pointer 
    and $-16,%rsp # align stack to 16 bytes 
    call _my_main # call actual main function 
    mov %rbx,%rsp # restore original stack pointer 
    ...    # exit process 

をあなたの特定の例のプログラムでは、あなただけのこの最小限を使用することができますコード：

_main: 
    and $-16,%rsp # align stack to 16 bytes 
    xor %edi,%edi # set exit status to zero 
    call _exit  # exit program