Cとアセンブリどのように動作するのですか？

Question

コンパイラがさまざまな方法でコードを生成するので、どのようにC言語とアセンブリを混在させることができますか？たとえば、多くのCコンパイラは、関数呼び出し時にスタックにプッシュするのではなくレジスタを使用します。 C関数を呼び出す代わりにレジスタを設定するのではなく、スタックに引数をプッシュする別のコンパイラによって作成されたオブジェクトファイルを使用してアセンブリコードを作成したりリンクしたりすると、メモリの場所が適切になります。

私の推測では、Cコンパイラアセンブリの出力はそれほど巧妙なやり方で行いましたが、違いはなく、まだ動作しますが、表示されないアセンブリコードを確認することはできませんそれは動作します。

私はコンパイラを書いているので誰でも私の質問に答えることができ、これを知る必要があるので、将来私はCモジュールとリンクしたいと思います。

Answer 1

関数の呼び出しに使用される規則は、「アプリケーションバイナリインターフェイス」（ABI）の一部です。このインターフェイスがと指定されている場合、仕様に準拠するすべてのコードをリンクできます。

C言語の標準ABIはありませんが、ほとんどの一般的なプラットフォームでは、デファクトスタンダードABIを効果的に生成する1つの一般的なCコンパイラがあります（Windowsの場合は1つ、x86の場合は32ビットと64ビット）。 1つはARMのLinux用など）。 ABIは、多数の別々の "呼び出し規約"を指定することがあります.Cコンパイラは、通常、ベンダー拡張を使用して関数宣言のポイントで目的の規約を指定できるようにします。

逆に、Cコンパイラのドキュメント化されたABIやオブジェクトコードの既存のビットがない場合は、一般的にはそれを正常にリンク（または相互作用）することはできません。