これまでの答えはどれも私の混乱の底に達していなかったので、自分の答えを追加したいと思います。
私が欠けていたのは、lea操作が括弧の使用をどのように扱うかとmovは異なるということです。
Cについて考えてみましょう。たとえば、私がlong呼び出す配列があるとしますarray。これで、式array[i]は逆参照を実行し、アドレスarray + i * sizeof(long)[1]のメモリから値をロードします。
一方、式について考えてみます&array[i]。これにはまだサブ式が含まれていますarray[i]が、逆参照は実行されません！の意味array[i]が変わりました。遅延を実行することを意味するのではなく、一種の仕様として機能し、&探しているメモリアドレスを通知します。必要に&応じて、を逆参照の「キャンセル」と考えることもできます。
2つのユースケースは多くの点で類似しているため、構文array[i]は共有されますが、&構文の解釈方法は変更の有無によって変わります。なしでは&、これは逆参照であり、実際には配列から読み取ります。では&、そうではありません。値array + i * sizeof(long)は引き続き計算されますが、逆参照されません。
状況はmovおよびと非常に似ていleaます。を使用するmovと、で発生しない逆参照が発生しleaます。これは、両方で発生する括弧の使用にもかかわらずです。たとえば、movq (%r8), %r9およびleaq (%r8), %r9。ではmov、これらの括弧は「逆参照」を意味します。leaそうではありません。これはarray[i]、がない場合にのみ「逆参照」を意味する方法に似ています&。
例は正しいです。
コードを検討する
movq (%rdi, %rsi, 8), %rbp
これにより、メモリ位置の値%rdi + %rsi * 8がレジスタにロードされ%rbpます。つまり、レジスタ%rdiの値とレジスタの値を取得します%rsi。後者に8を掛けてから、前者に追加します。この場所で値を見つけ、それをレジスターに入れ%rbpます。
このコードは、Cのラインに対応するx = array[i];、arrayとなる%rdiとiなる%rsiとxなります%rbp。8アレイに含まれるデータタイプの長さです。
次に、以下を使用する同様のコードを検討しますlea。
leaq (%rdi, %rsi, 8), %rbp
movq逆参照に対応するの使用と同様に、leaqここでの使用は逆参照しないことに対応します。この組立ラインはCラインに対応していx = &array[i];ます。&の意味がarray[i]逆参照から場所の指定に変わったことを思い出してください。同様に、を使用するとleaq、の意味が(%rdi, %rsi, 8)逆参照から場所の指定に変わります。
このコード行のセマンティクスは次のとおりです。%rdiレジスターの値とレジスターの値を取得します%rsi。後者に8を掛けてから、前者に追加します。この値をレジスターに入れ%rbpます。メモリからの負荷は含まれず、算術演算のみが含まれます[2]。
注私の記述の唯一の違いということleaqと、movqつまりは、movq間接参照を行い、そしてleaqません。実際、leaq説明を書くために、私は基本的にの説明をコピーして貼り付け、movq「この場所の値を見つける」を削除しました。
まとめると、movqvs leaqは括弧の使用を(%rsi)とのよう(%rdi, %rsi, 8)に異なる方法で扱うため、扱いが難しいです。でmovq（とを除く他のすべての命令leaで一方）、これらの括弧は、本物の間接参照を表すleaqそうではないと純粋に便利な構文です。
[1] arrayがの配列であるlong場合、式array[i]はアドレスから値をロードすると述べましたarray + i * sizeof(long)。これは本当ですが、対処すべき微妙な点があります。Cコードを書けば
long x = array[5];
これはタイピングと同じではありません
long x = *(array + 5 * sizeof(long));
それは私の以前の発言に基づいているはずですが、そうではありません。
何が起こっているのかというと、Cポインターの追加にはトリックがあります。pタイプの値を指すポインタがあるとしますT。この表現p + iは、「プラスバイトの位置」を意味するものではありません。代わりに、式は実際には「プラスバイトの位置」を意味します。pip + i pi * sizeof(T)
これの利便性は、「次の値」を取得するためp + 1に、の代わりに記述する必要があることですp + 1 * sizeof(T)。
つまり、Cコードlong x = array[5];は実際には
long x = *(array + 5)
Cは自動的にを乗算する5からsizeof(long)です。
このStackOverflowの質問のコンテキストでは、これはどのように関連していますか？これは、「アドレスarray + i * sizeof(long)」と言っても、「array + i * sizeof(long)」がCの式として解釈されることを意味するものではありません。私はsizeof(long)自分の答えをより明確にするために自分で乗算を行っていますが、そのため、この式をCとして読み取るべきではないことを理解してください。C構文を使用する通常の数学と同じように。
[2]補足：すべてのlea演算は算術演算であるため、その引数は実際に有効なアドレスを参照する必要はありません。このため、逆参照することを意図していない可能性のある値に対して純粋な演算を実行するためによく使用されます。例えば、ccと-O2最適化の並進
long f(long x) {
return x * 5;
}
次のようになります（無関係な行は削除されます）：
f:
leaq (%rdi, %rdi, 4), %rax # set %rax to %rdi + %rdi * 4
ret