Önceki cevapların hiçbiri kendi karışıklığımın dibine ulaşamadı, bu yüzden kendi cevaplarımı eklemek istiyorum.
Eksik olduğum şey, leaişlemlerin parantez kullanımını nasıl yaptığından farklı olmasıdır mov.
Ben bir dizi var C. edelim söz hakkından düşünün longben çağrısı array. Şimdi ifade array[i], adresteki bellekten değeri yükleyerek bir dereference gerçekleştirirarray + i * sizeof(long) [1] .
Öte yandan, ifadeyi düşünün &array[i]. Bu hala alt ifadeyi içerir array[i], ancak silme işlemi gerçekleştirilmez! Anlamı array[i]değişti. Artık bir erteleme yapmak anlamına gelmez, bunun yerine hangi bellek adresini aradığımızı söyleyen bir tür spesifikasyon görevi görür &. İsterseniz, alternatif olarak& olarak dereference "iptal" olarak .
İki kullanım durumu birçok yönden benzer olduğu için sözdizimini paylaşırlar array[i], ancak &sözdiziminin nasıl yorumlandığına dair değişikliklerin varlığı veya yokluğu . Olmadan &, bir dereference ve aslında diziden okur. İle &değil. Değer array + i * sizeof(long)hala hesaplanıyor, ancak kayıttan çıkarılmadı.
Durum ile çok benzer movve lea. İle mov, gerçekleşmeyen bir dereference oluşur lea. Bu, her ikisinde de bulunan parantezlerin kullanılmasına rağmen. Örneğin, movq (%r8), %r9ve leaq (%r8), %r9. İle mov, bu parantez "dereference" anlamına gelir; ile leadeğil. Bu, array[i]sadece yokken sadece "dereference" anlamına gelir &.
Bir örnek sırayla.
Kodu düşünün
movq (%rdi, %rsi, 8), %rbp
Bu, bellek konumundaki değeri %rdi + %rsi * 8kayıt defterine yükler %rbp. Yani: kayıttaki %rdideğeri ve kayıttaki değeri alın %rsi. İkincisini 8 ile çarpın ve sonra birincisine ekleyin. Bu konumdaki değeri bulun ve kayıt defterine yerleştirin %rbp.
Bu kod x = array[i];, arrayolur %rdive iolur %rsive xolur C çizgisine karşılık gelir %rbp. 8Dizisi içinde ihtiva edilen veri türü uzunluğudur.
Şimdi aşağıdakileri kullanan benzer kodu düşünün lea:
leaq (%rdi, %rsi, 8), %rbp
Sadece kullanımı gibi movqdereferencing karşılık, kullanımı leaqburada tekabül değil dereferencing. Bu montaj hattı C hattına karşılık gelir x = &array[i];. Unutmayın ki , kayıt silme işleminin &anlamını array[i]basitçe bir konum belirlemeye değiştirir. Aynı şekilde, leaqdeğişikliklerin kullanımı(%rdi, %rsi, 8) kaldırma bir konum belirlemeye kadar değiştirir.
Bu kod satırının semantiği aşağıdaki gibidir: kayıttaki %rdideğeri ve kayıttaki değeri alın %rsi. İkincisini 8 ile çarpın ve sonra birincisine ekleyin. Bu değeri kayıt defterine yerleştirin%rbp . Bellekten yük yoktur, sadece aritmetik işlemler [2].
Not my açıklamaları arasındaki tek fark o leaqve movqolmasıdır movqbir dereference yapar ve leaqyapmaz. Aslında, leaqaçıklamayı yazmak için , temelde açıklamasını kopyalayıp yapıştırdım movqve "Bu konumda değeri bul" u kaldırdım.
Özetlemek gerekirse: movqvs. leaqçok zordur çünkü parantez kullanımını içeride (%rsi)ve (%rdi, %rsi, 8)farklı şekilde ele alırlar . In movq(ve diğer tüm talimat hariç leaoysa) bu parantezler, gerçek bir dereference belirtmek leaqonlar değil ve tamamen uygun sözdizimi vardır.
[1] arrayBir dizi olduğunda longifadenin array[i]değeri adresten yüklediğini söyledim array + i * sizeof(long). Bu doğrudur, ancak ele alınması gereken bir incelik vardır. C kodunu yazarsam
long x = array[5];
bu yazmakla aynı şey değil
long x = *(array + 5 * sizeof(long));
Önceki ifadelerime dayanması gerektiği anlaşılıyor , ama değil.
Neler oluyor C işaretçisinin eklenmesinin bir hilesi var. Diyelim ki ptip değerlere işaret eden bir işaretçi var T. İfadesi p + iyapar değil ortalama "adresinde konum partı ibayt". Bunun yerine, ifade p + i aslında " partı i * sizeof(T)bayttaki konum" anlamına gelir .
Bunun kolaylığı, "bir sonraki değeri" elde etmek için sadece yazmak p + 1yerinep + 1 * sizeof(T) .
Bu, C kodunun long x = array[5];aslında
long x = *(array + 5)
C otomatik çarpma nedeniyle 5tarafından sizeof(long).
Peki bu StackOverflow sorusu bağlamında, bunların hepsi nasıl alakalı? Ben "Adres derken demektir array + i * sizeof(long)", ben do not "için demek array + i * sizeof(long)" C ifadesi olarak yorumlanmalıdır. sizeof(long)Cevabımı daha açık hale getirmek için kendi kendime çarpımı yapıyorum , ancak bu nedenle bu ifadenin C olarak okunmaması gerektiğini anlıyorum. Tıpkı C sözdizimini kullanan normal matematik gibi.
[2] Yan not: her leaşey aritmetik işlemler olduğundan, argümanlarının aslında geçerli adresleri ifade etmesi gerekmez. Bu nedenle, genellikle kayıttan çıkarılması amaçlanmayan değerler üzerinde saf aritmetik yapmak için kullanılır. Örneğin, ccile -O2optimizasyon çevirir
long f(long x) {
return x * 5;
}
aşağıdakilere (alakasız çizgiler kaldırıldı):
f:
leaq (%rdi, %rdi, 4), %rax # set %rax to %rdi + %rdi * 4
ret