c - インラインアセンブラ：どのスクラッチレジスタを使用できますか？

Question

インラインアセンブラをCのような言語の関数に挿入する場合、スクラッチに使用できるレジスタについての規則は何ですか？asmブロックに入る前に保存する必要のあるすべてのレジスタの値を保存するのはコンパイラの責任ですか？これらのレジスタの値をどこかに格納し、asmブロックを終了する前にそれらを復元するのはプログラマーの責任ですか？典型的な規則はありますか、それともこれは非常に実装固有ですか？

Answer 1

インラインアセンブリは、定義上、コンパイラ固有です。

インラインアセンブリをサポートするほとんどのコンパイラには、アセンブリによって変更されるレジスタを示すことができる構文があります。その後、コンパイラーは、必要に応じてこれらのレジスターを保存および復元できます。

Answer 2

これは非常にコンパイラ固有です。ただし、現実的な例として、x86でgccを使用してみましょう。形式は次のとおりです。

asm ( assembler template
    : output operands               (optional)
    : input operands                (optional)
    : list of clobbered registers       (optional)
    );  

「破壊されたレジスタのリスト」とは、コードが使用しているレジスタをコンパイラに通知することです。

簡単なメモリコピーコードは次のとおりです。

asm ("movl $count, %%ecx;
      up: lodsl;    
      stosl;
      loop up;"
    :           /* no output */
    :"S"(src), "D"(dst) /* input */
    :"%ecx", "%eax" );  /* clobbered list */    

これらの指示を考えると、gccはブロック内の他のものにeaxとecxを使用しません。

詳細はこちら。

Answer 3

ここでいくつかの呼び出し規約でレジスタの使用法を読むことができます。