x86/x64ディスプレースメントアドレッシングを追加

Question

私はx86/x64 CPU命令用のコンパイラを作成しています。私は人々が 'ディスプレースメント'アドレスの意味を理解できないようです。たとえば、Add命令の詳細は次のとおりです。 http://www.c-jump.com/CIS77/CPU/x86/X77_0150_encoding_add_edx_displacement.htm

通常のメモリアドレスにレジスタが追加された場合にadd命令を実装しようとしています。問題は、アドレスが「変位アドレス」であることです。これは、アドレスが命令位置からのオフセットである符号付きの値であることを意味しますか？

Answer 1

間接的なオペランドのいくつかの異なる形式は、x86にあります

1. [REG]
2. [REG +変位]
3. [変位]
4. [REG *定数+のREG ]
5. [reg *定数+ reg +変位]

"ディスプレースメント"は残りのアドレスに追加される単なる定数です。アドレス以外に定数以外の成分がない場合、それは依然として「変位」と呼ばれます。これは、主に他のアドレッシングフォームとの整合性のためです。

それを見て別の方法は、すべてのアドレスの形式であることである

[REG *定数+のREG +変位] 0

の値を可能にするコンポーネントのそれぞれに

[ディスプレースメント]フォームは、ディスプレースメント以外のすべてのコンポーネントがゼロであるエンコーディングにすぎません。

コンパイラライターとして、最後の2つの形式は特に興味深いものです。彼らはpArray[index]->field + 1のようなものを1つの命令でエンコードすることを容易にします。

Answer 2

「置換を行う特別な追加」はありません。そのページは不必要に混乱しています。これは、通常のメモリオペランドエンコーディングの一部です。

addは、すべてのALU-OPSであると同様に符号化されるかなり標準命令である：先としてax/eax/raxを使用して、ソース（04 ib）として先としてalを使用して、即時のための特別な場合があるのと（+ 05 imm）、add r/m, immの3つのバージョン（8ビット宛先の1つ、より広い宛先と8ビットソースの拡張、1つはより広い宛先、広いソース用）、そしてもちろんadd r, r/mとadd r/m, rの3つのバージョンがあります。

これはちょうどadd r, r/mの特殊なケースです。r/mは、ディスプレースメントの形式を取っています。ModRM encodingの注＃1を参照してください。

したがって、それらは単にadd edx, [sdword]を意味します。 （ただし、regフィールドを正しくエンコードしていないと、edxは010ではなく011ではありません）

Answer 3

このページは正確ではありません。あなたが逆アセンブラの出力でそれを見るかもしれないので、それが話す "変位を加える"は、add r[16|32], r/m[16|32]またはadd edx, [0xdisp]という形式を指しています。仮定すると、それは

• がedxレジスタ宛先を符号化及びそれに0x15の値を与えるにModR/Mバイトの実効アドレスと32ビットのディスプレースメントを指定し、オペコード0x03とADD命令について話（インテルを参照®64およびIA-32アーキテクチャーソフトウェア開発者マニュアル第2巻、41ページ、表2-2）。
• この命令の効果は、メモリアドレスdispのdwordをedxの内容に追加することです。
• 命令の実際のエンコーディングは、1バイトのディスプレースメントのために\x03\x15\x00\x00\x00\x01です。