eax'a karşı "test" eax?

Bazı meclisleri anlamaya çalışıyorum.

Montaj aşağıdaki gibi, testlsatırla ilgileniyorum :

000319df  8b4508        movl   0x08(%ebp), %eax  
000319e2  8b4004        movl   0x04(%eax), %eax  
000319e5  85c0          testl  %eax, %eax  
000319e7  7407          je     0x000319f0  

Ben o noktayı anlamaya çalışıyorum testlarasında %eaxve %eax? Bu kodun ayrıntılarının önemli olmadığını düşünüyorum, sadece testi kendi başına anlamaya çalışıyorum - değer her zaman doğru olmaz mıydı?

eax0 mı , üstü veya altı mı olduğunu test eder . Bu durumda, eax0 ise atlama yapılır .

Bunun anlamı testargümanları birlikte AND ve sonucu sıfır için kontrol etmektir. Bu kod, EAX'in sıfır olup olmadığını test eder. jesıfır ise atlayacak.

BTW, bu cmp eax, 0, derleyicilerin genellikle bu şekilde yapmasının nedeni olduğundan daha küçük bir talimat oluşturur .

Test talimatı, işlenenler arasında mantıksal bir AND işlemi yapar, ancak sonucu bir kayda geri yazmaz. Yalnızca bayraklar güncellenir.

Örneğinizde, test eax, eax, eax sıfırsa sıfır bayrağını, en yüksek bit ayarlanmışsa işaret bayrağını ve diğer bazı bayrakları da ayarlayacaktır.

Eşit (je) komutu sıfır bayrağı ayarlanmışsa atlarsa Atla.

Kodu aşağıdaki gibi daha okunabilir bir koda çevirebilirsiniz:

cmp eax, 0
je  somewhere

Bu aynı işlevselliğe sahiptir, ancak bazı baytlar daha fazla kod alanı gerektirir. Derleyicinin karşılaştırma yerine bir test yayınlamasının nedeni budur.

testgibi andsadece değiştirilmemiş hem girdileri bırakarak BAYRAK yazar hariç. İki farklı girişle, bazı bitlerin tümünün sıfır olup olmadığını veya en az birinin ayarlanmış olup olmadığını test etmek için kullanışlıdır. (örneğin test al, 3, EAX 4'ün katı ise (ve bu nedenle her iki düşük 2 biti de sıfırlanmışsa) ZF'yi ayarlar.

test eax,eaxTüm bayrakları tamamen aynı şekilde ayarlar cmp eax, 0olur :

• CF ve OF temizlendi (VE / TEST bunu her zaman yapar; sıfır çıkarmak asla bir taşıma oluşturmaz)
• EAX'teki değere göre ZF, SF ve PF. ( a = a&a = a-0).
  (Her zamanki gibi PF yalnızca düşük 8 bit'e göre ayarlanır )

Eski AF (ASCII / BCD talimatları tarafından kullanılan yardımcı taşıma bayrağı) hariç. TEST onu tanımsız bırakır , ancak CMP onu "sonuca göre" ayarlar . Sıfırın çıkarılması 4. bitten 5. bite bir taşıma üretemeyeceğinden, CMP her zaman AF'yi temizlemelidir.

TEST daha küçüktür (ani değildir) ve bazen daha hızlıdır (CMP'den daha fazla durumda daha fazla CPU üzerinde bir karşılaştırma ve dallanma ile makro kaynaşabilir). Bu, testbir kaydı sıfıra karşı karşılaştırmak için tercih edilen deyimi yapar . cmp reg,0Anlamsal anlamı ne olursa olsun kullanabileceğiniz bir gözetleme deliği optimizasyonudur .

CMP'yi anında 0 ile kullanmanın tek yaygın nedeni, bir bellek işleneni ile karşılaştırmak istediğiniz zamandır. Örneğin, cmpb $0, (%esi)örtük uzunlukta bir C tarzı dizenin sonunda sonlandırıcı bir sıfır baytı kontrol etmek için.

AVX512F eklerkortestw k1, k2 ve AVX512DQ / BW (Skylake-X ama KNL değil) ekler ktestb/w/d/q k1, k2, bu AVX512 maske kayıtları (k0..k7) üzerinde çalışır, ancak yine testde tam sayı ORveya ANDtalimatlarda olduğu gibi normal FLAGS ayarlar . (SSE4 ptestveya SSE gibi sıralama ucomiss: SIMD etki alanındaki girişler ve tamsayı BAYRAKLAR ile sonuçlanır.)

kortestw k1,k1SSE / AVX2 (v)pmovmskb/ps/pd+ testveya yerine geçerek, AVX512 karşılaştırma sonucuna göre dallanma / cmovcc / setcc'nin deyimsel yoludur cmp.

Kullanımı jzvs. jekafa karıştırıcı olabilir.

jzve jekelimenin tam anlamıyla aynı talimattır , yani makine kodunda aynı işlem kodu. Aynı şeyi yaparlar, ancak insanlar için farklı anlamsal anlamları vardır . Dağıtıcılar (ve genellikle derleyicilerden gelen asm çıktısı) yalnızca bir tane kullanır, bu nedenle anlamsal ayrım kaybolur.

cmpve subiki girişi eşit olduğunda ZF'yi ayarlayın (yani çıkarma sonucu 0'dır). je(eşitse zıpla) anlamsal olarak ilişkili eşanlamlı.

test %eax,%eax/ and %eax,%eaxsonuç sıfır olduğunda ZF'yi tekrar ayarlar, ancak "eşitlik" testi yoktur. Testten sonra ZF size iki işlenenin eşit olup olmadığını söylemez. Yani jz(sıfırsa zıpla) anlamsal olarak alakalı eşanlamlı.

Bu kod parçası, bir şeye, muhtemelen bir yapıya veya nesneye işaretçi verilen bir alt yordamdan. 2. satır, o şeyden bir değer getirerek bu işaretçiyi referans alır - muhtemelen kendisi bir işaretçi veya belki de sadece bir int, 2. üyesi olarak saklanır (ofset +4). 3. ve 4. satırlar bu değeri sıfır için test eder (bir işaretçi ise NULL) ve sıfır ise aşağıdaki birkaç işlemi (gösterilmemiştir) atlar.

Sıfır testi bazen anlık gerçek sıfır değeriyle karşılaştırılarak kodlanır, ancak bunu yazan derleyici (veya insan?), Ardışık düzen ve kayıt gibi tüm modern CPU öğelerini dikkate alarak bir test operasyonunun daha hızlı çalışacağını düşünebilirdi. yeniden adlandırma. Açık ama belki de daha yavaş olan MOV EAX, # 0 (daha eski bir notasyon kullanıyorum) yerine XOR EAX, EAX (Colorado'da birinin plakasında gördüğüm!) ).

Asm'de, perl gibi, TMTOWTDI.

Eax sıfırsa koşullu atlamayı gerçekleştirecek, aksi takdirde yürütmeye 319e9'da devam edecektir.

Bazı programlarda bir arabellek taşmasını kontrol etmek için kullanılabilirler. Ayrılan alanın en üstüne bir 0 yerleştirilir. Yığına veri girdikten sonra, tahsis edilen alanın taşmadığından emin olmak için tahsis edilen alanın en başında 0'ı arar.

Bu, istismar egzersizlerinin stack0 alıştırmasında, taşıp taşmadığını kontrol etmek için kullanıldı ve eğer yoksa ve orada sıfır varsa, "Tekrar dene" ifadesini gösterecekti.

0x080483f4 <main+0>:    push   ebp
0x080483f5 <main+1>:    mov    ebp,esp
0x080483f7 <main+3>:    and    esp,0xfffffff0
0x080483fa <main+6>:    sub    esp,0x60                     
0x080483fd <main+9>:    mov    DWORD PTR [esp+0x5c],0x0 ;puts a zero on stack
0x08048405 <main+17>:   lea    eax,[esp+0x1c]
0x08048409 <main+21>:   mov    DWORD PTR [esp],eax
0x0804840c <main+24>:   call   0x804830c <gets@plt>
0x08048411 <main+29>:   mov    eax,DWORD PTR [esp+0x5c] 
0x08048415 <main+33>:   test   eax,eax                  ; checks if its zero
0x08048417 <main+35>:   je     0x8048427 <main+51>
0x08048419 <main+37>:   mov    DWORD PTR [esp],0x8048500 
0x08048420 <main+44>:   call   0x804832c <puts@plt>
0x08048425 <main+49>:   jmp    0x8048433 <main+63>
0x08048427 <main+51>:   mov    DWORD PTR [esp],0x8048529
0x0804842e <main+58>:   call   0x804832c <puts@plt>
0x08048433 <main+63>:   leave
0x08048434 <main+64>:   ret

biz görebiliyordu JG , JLE Eğer testl %edx,%edx. jle .L3bunu kolay bulabiliriz jle giysidir (SF^OF)|ZF% edx sıfır değildir ve -1, testl sonra eğer% edx, ZF = 1 sıfırsa, ancak, OF = 0 ve SF = 1, bu yüzden atlama uygulayan bayrak = true, üzgünüm, İngilizcem zayıf