x86_64スタックを整列し、レジスタを保存しないでリカバリします。

Question

私はx86_64の割り込み処理ルーチンを書いています。 ABIは、C関数を呼び出す前に、スタックを16バイトに揃えなければならないと指定しています。 x86_64 ISAは、ISRへの入力時に、私のスタックが8バイトに整列することを指定します。私はスタックポインタを16バイトに合わせる必要があります。問題は私のC関数からの復帰時に、私は割り込みから正しく戻ることができるように（潜在的に）アンアラインドスタックポインタを回復する必要があるということです。

汎用レジスタを使わずにこれを行う方法があるのだろうか？

Answer 1

はここに置かとして質問に対する私のソリューションです：

pushq %rsp 
pushq (%rsp) 
andq $-0x10, %rsp 
    call function 
movq 8(%rsp), %rsp 

2つのプッシュが(%rsp)と8(%rsp)でそれがもともと持っていた同じアラインメント、および元%rspのコピーとスタックを残します。 andqはスタックを整列します。すでに16バイト整列されていた場合は何も変更されません.8バイト整列の場合は%rspから8を引いて、元の%rspは8(%rsp)と16(%rsp)になります。したがって、無条件に復元することができます8(%rsp)から。

Answer 2

アライメント操作がrspレジスタを破壊しているため、追加のレジスタを必要としません。私は、追加のレジスタを使用せずにそれを行うための唯一の方法は、追加のレジスタを使用していない唯一のポイントになり、メモリへの追加書き込み、読み出しを必要と疑う

push %rbp   ;save rbp for stack pointer 
mov %rsp, %rbp ;move old sp to rbp 
and $-0x10, %rsp ;align stack 
...     
...    ;if you want to use %rbp here, save it on the stack before 
... 
mov %rbp, %rsp ;old stack pointer 
pop %rbp 
iret 

Answer 3

に沿って何かをする必要があります。

私の現在のソリューションを提供します。私はrbpを格納するので、一時的な格納に使用してから、関数の呼び出しの前に復元することができます。この説明している他の人のように％のEBPを使用するよりもおそらく遅く

movq %rbp, -24(%rsp) //store original rbp 3 words beyond the stack 
movq %rsp, %rbp //store original rsp 
subq $8, %rsp //buy a word on the stack 
andq $-0x10, %rsp //16 byte align the stack (growing downwards) 
//We now have 1 or 2 words free on the stack (depending on the original 
// alignment). This is why we put rbp 3 words beyond the stack 
movq %rbp, (%rsp) //store the original rsp right here 
movq -24(%rbp), %rbp //restore original rbp 
call foo 
movq (%rsp), %rsp //restore original rsp 
iretq 

Answer 4

に答えるのをdrhirschに似ていますが、どの程度：

push %rsp 
    test $0xf, %rsp 
    jz aligned 
    push (%rsp) // duplicate the top of the stack 
aligned: 
    // now have 16-byte alignment with the original stack pointer 
    // on the top of the stack, either once or twice 
     : 
    pop %rsp 
    iret 

これはスタックがすでに8バイト整列であるという事実を利用しますプッシュ命令はメモリからプッシュされる値を読み取ることができることを理解されたい。