`testl` eax melawan eax?

Saya mencoba memahami beberapa pertemuan.

Perakitan sebagai berikut, saya tertarik pada testlbaris:

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

Saya mencoba memahami titik testlantara %eaxdan %eax? Saya pikir secara spesifik apa kode ini tidak penting, saya hanya mencoba memahami tes dengan dirinya sendiri - bukankah nilainya selalu benar?

Ini menguji apakah eax0, atau lebih, atau di bawah. Dalam hal ini, lompatan dilakukan jika eax0.

Arti dari testadalah untuk DAN argumen bersama-sama, dan periksa hasilnya untuk nol. Jadi kode ini menguji apakah EAX adalah nol atau tidak. jeakan melompat jika nol.

BTW, ini menghasilkan instruksi yang lebih kecil daripada cmp eax, 0yang merupakan alasan kompiler umumnya akan melakukannya dengan cara ini.

Instruksi tes melakukan operasi AND yang logis antara operan tetapi tidak menulis hasilnya kembali ke register. Hanya bendera yang diperbarui.

Dalam contoh Anda, test eax, eax akan menyetel flag nol jika eax adalah nol, tanda-flag jika bit tertinggi disetel dan beberapa flag lain juga.

Instruksi Jump if Equal (je) melompat jika flag nol disetel.

Anda dapat menerjemahkan kode ke kode yang lebih mudah dibaca seperti ini:

cmp eax, 0
je  somewhere

Itu memiliki fungsi yang sama tetapi membutuhkan beberapa byte lebih banyak ruang kode. Itulah alasan mengapa kompilator mengeluarkan tes, bukan perbandingan.

testseperti and, kecuali hanya menulis BENDERA, membiarkan kedua inputnya tidak diubah. Dengan dua input yang berbeda , ini berguna untuk menguji apakah beberapa bit semuanya nol, atau jika setidaknya ada satu bit yang disetel. (misalnya test al, 3set ZF jika EAX adalah kelipatan 4 (dan dengan demikian keduanya memiliki 2 bit rendah yang nol).

test eax,eaxmenyetel semua flag dengan cara yang persis sama seperti yang cmp eax, 0akan :

• CF dan OF dihapus (AND / TEST selalu melakukan itu; mengurangi nol tidak pernah menghasilkan carry)
• ZF, SF dan PF sesuai dengan nilai di EAX. ( a = a&a = a-0).
  (PF seperti biasa hanya diset sesuai dengan low 8 bits )

Kecuali untuk AF yang sudah usang (auxiliary-carry flag, digunakan oleh instruksi ASCII / BCD). TEST membiarkannya tidak terdefinisi , tetapi CMP menetapkannya "sesuai dengan hasil" . Karena mengurangi nol tidak dapat menghasilkan carry dari bit ke-4 hingga ke-5, CMP harus selalu menghapus AF.

TEST lebih kecil (tidak langsung) dan terkadang lebih cepat (dapat melakukan fusi makro menjadi uop pembanding dan cabang pada lebih banyak CPU dalam lebih banyak kasus daripada CMP). Itu membuat testidiom yang disukai untuk membandingkan register dengan nol . Ini adalah pengoptimalan lubang intip cmp reg,0yang dapat Anda gunakan terlepas dari arti semantiknya.

Satu-satunya alasan umum untuk menggunakan CMP dengan 0 langsung adalah saat Anda ingin membandingkan dengan operan memori. Misalnya, cmpb $0, (%esi)untuk memeriksa penghentian byte nol di akhir string gaya-C dengan panjang implisit.

AVX512F menambahkankortestw k1, k2 dan AVX512DQ / BW (Skylake-X tetapi bukan KNL) menambahkan ktestb/w/d/q k1, k2, yang beroperasi pada register topeng AVX512 (k0..k7) tetapi tetap mengatur BENDERA biasa seperti testhalnya, seperti halnya integer ORatau ANDinstruksi. (Semacam seperti SSE4 ptestatau SSE ucomiss: masukan dalam domain SIMD dan menghasilkan BENDERA integer.)

kortestw k1,k1adalah cara idiomatis untuk mencabangkan / cmovcc / setcc berdasarkan hasil perbandingan AVX512, menggantikan SSE / AVX2 (v)pmovmskb/ps/pd+ testatau cmp.

Penggunaan jzvs. jebisa membingungkan.

jzdan jesecara harfiah merupakan instruksi yang sama , yaitu opcode yang sama dalam kode mesin. Mereka melakukan hal yang sama, tetapi memiliki arti semantik yang berbeda bagi manusia . Disassembler (dan biasanya output asm dari compiler) hanya akan menggunakan satu, sehingga perbedaan semantik hilang.

cmpdan subatur ZF ketika kedua inputnya sama (yaitu hasil pengurangannya adalah 0). je(lompat jika sama) adalah sinonim yang relevan secara semantik.

test %eax,%eax/ and %eax,%eaxlagi menyetel ZF saat hasilnya nol, tetapi tidak ada uji "kesetaraan". ZF setelah pengujian tidak memberi tahu Anda apakah kedua operan itu sama. Jadi jz(lompat jika nol) adalah sinonim yang relevan secara semantik.

Potongan kode ini berasal dari subrutin yang diberikan penunjuk ke sesuatu, mungkin beberapa struct atau objek. Baris ke-2 membedakan penunjuk itu, mengambil nilai dari benda itu - mungkin itu sendiri penunjuk atau mungkin hanya int, disimpan sebagai anggota ke-2 (offset +4). Baris ke-3 dan ke-4 menguji nilai ini untuk nol (NULL jika itu pointer) dan lewati beberapa operasi berikut (tidak ditampilkan) jika nilainya nol.

Tes untuk nol terkadang dikodekan sebagai perbandingan dengan nilai nol literal langsung, tetapi kompiler (atau manusia?) Yang menulis ini mungkin mengira operasi test akan berjalan lebih cepat - dengan mempertimbangkan semua hal CPU modern seperti pipelining dan register mengganti nama. Ini dari sekumpulan trik yang sama yang memegang gagasan untuk membersihkan register dengan XOR EAX, EAX (yang saya lihat di plat nomor seseorang di Colorado!) Daripada MOV EAX yang jelas tapi mungkin lebih lambat, # 0 (saya menggunakan notasi yang lebih lama ).

Dalam asm, seperti perl, TMTOWTDI.

Jika eax nol maka akan melakukan lompatan bersyarat, jika tidak maka akan melanjutkan eksekusi pada 319e9

Dalam beberapa program, mereka dapat digunakan untuk memeriksa buffer overflow. Di bagian paling atas dari ruang yang dialokasikan, 0 ditempatkan. Setelah memasukkan data ke dalam tumpukan, ia mencari 0 di awal ruang yang dialokasikan untuk memastikan ruang yang dialokasikan tidak meluap.

Itu digunakan dalam latihan stack0 dari exploits-exercise untuk memeriksa apakah itu meluap dan jika tidak ada dan ada nol di sana, itu akan menampilkan "Coba lagi"

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

kita bisa melihat jg，jle Jika testl %edx,%edx. jle .L3kita dapat dengan mudah menemukan jle cocok (SF^OF)|ZF, jika% edx adalah nol, ZF = 1, tetapi jika% edx bukan nol dan -1, setelah testl, OF = 0, dan SF = 1, jadi benderanya = true, yang menerapkan jump. Maaf, bahasa Inggris saya buruk