`testl` eax chống lại eax?

Question

Tôi đang cố gắng hiểu một số hội đồng.

Việc lắp ráp như sau, tôi quan tâm trong dòng testl:

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

Tôi cố gắng để hiểu rằng điểm testl giữa %eax và %eax? Tôi nghĩ rằng các chi tiết cụ thể của mã này không quan trọng, tôi chỉ cố gắng để hiểu bài kiểm tra với chính nó - sẽ không phải giá trị luôn luôn đúng?

Answer 1

Kiểm tra xem eax là 0 hoặc cao hơn hoặc thấp hơn. Trong trường hợp này, bước nhảy được thực hiện nếu eax là 0.

Answer 2

Ý nghĩa của test là VÀ đối số cùng nhau và kiểm tra kết quả bằng không. Vì vậy, mã này kiểm tra nếu EAX là số không hay không. je sẽ nhảy nếu không.

BTW, điều này tạo ra một lệnh nhỏ hơn cmp eax, 0 đó là lý do mà trình biên dịch nói chung sẽ làm theo cách này.

Answer 3

Nếu eax là zero nó sẽ thực hiện các bước nhảy có điều kiện, nếu không nó sẽ tiếp tục thực hiện tại 319e9

Answer 4

Các hướng dẫn kiểm tra thực hiện một VÀ tác hợp lý giữa các toán hạng nhưng không ghi kết quả vào một thanh ghi. Chỉ các cờ được cập nhật.

Trong ví dụ của bạn kiểm tra eax, eax sẽ đặt cờ số không nếu eax bằng 0, cờ ký hiệu nếu đặt bit cao nhất và một số cờ khác.

Jump nếu lệnh Equal (je) nhảy nếu cờ zero được đặt.

Bạn có thể dịch mã để mã dễ đọc hơn như thế này:

cmp eax, 0 
je somewhere 

Đó có chức năng tương tự nhưng đòi hỏi một số byte nhiều mã không gian. Đó là lý do tại sao trình biên dịch phát ra một bài kiểm tra thay vì so sánh.

Answer 5

Đoạn mã này là từ một chương trình con đã được đưa ra một con trỏ đến một cái gì đó, có thể là một số cấu trúc hoặc đối tượng. Dòng thứ hai dereferences con trỏ, lấy một giá trị từ điều đó - có thể chính nó là một con trỏ hoặc có thể chỉ là một int, được lưu trữ như là thành viên thứ 2 của nó (offset +4). Các dòng thứ 3 và thứ 4 kiểm tra giá trị này cho số không (NULL nếu đó là một con trỏ) và bỏ qua một vài thao tác sau (không được hiển thị) nếu nó bằng 0. Các thử nghiệm cho không đôi khi được mã hóa như là một so sánh với một giá trị bằng không trực tiếp bằng chữ, nhưng trình biên dịch (hoặc con người?) Người đã viết này có thể nghĩ rằng một testl op sẽ chạy nhanh hơn - xem xét tất cả các công cụ CPU hiện đại như pipelining và đăng ký đổi tên. Đó là từ cùng một túi thủ thuật giữ ý tưởng thanh toán bù trừ một đăng ký với XOR EAX, EAX (mà tôi nhìn thấy trên tấm giấy phép của ai đó ở Colorado!) Chứ không phải là rõ ràng nhưng có thể chậm hơn MOV EAX, # 0 (tôi sử dụng một ký hiệu cũ hơn).

Trong asm, như perl, TMTOWTDI.

Answer 6

test giống như and, ngoại trừ nó chỉ viết CỜ, để lại cả hai yếu tố đầu vào chưa được sửa đổi. Với hai đầu vào khác nhau, nó rất hữu ích để kiểm tra xem một số bit có bằng không hoặc nếu ít nhất một giá trị được đặt. (ví dụ.test al, 3 đặt ZF nếu EAX là bội số của 4 (và do đó có cả 2 bit thấp của nó bằng 0).

---

test eax,eax bộ tất cả các lá cờ chính xác cùng một cách mà cmp eax, 0 sẽ:

• CF và HÀNH xóa (AND/TEST luôn luôn làm điều đó, và trừ không bao giờ tạo ra một carry)
• ZF, SF và PF theo giá trị trong EAX. (a = a&a = a-0)

(Ngoại trừ các lỗi thời cờ AF (phụ-carry, được sử dụng bởi các hướng dẫn ASCII/BCD). TEST leaves it undefined, nhưng CMP sets it "according to the result". Kể từ khi trừ zero không thể tạo ra một carry từ 4 đến chút 5th, CMP nên luôn luôn rõ ràng AF).

---

KIỂM TRA nhỏ hơn (không có ngay) và đôi khi nhanh hơn (có thể kết hợp macro thành uop so sánh và chi nhánh trên nhiều CPU hơn trong nhiều trường hợp hơn CMP). That makes test the preferred idiom for testing a register for zero or not.

Lý do phổ biến duy nhất để sử dụng CMP với 0 ngay lập tức là khi bạn muốn so sánh với toán hạng bộ nhớ (ví dụ: cmpb $0, (%esi) để kiểm tra byte không kết thúc ở cuối chuỗi C-style dài) .

---

AVX512F thêm kortestw k1, k2 và AVX512DQ/BW (Skylake nhưng không KNL) thêm ktestb/w/d/q k1, k2, mà hoạt động trên AVX512 thanh ghi mặt nạ (k0..k7) nhưng vẫn thiết FLAGS thường xuyên như test không, giống như cách mà số nguyên OR hoặc AND hướng dẫn.

kortestw k1,k1 là cách thành ngữ này sang cành/cmovcc/setcc dựa trên một AVX512 so sánh kết quả, thay thế SSE/AVX2 (v)pmovmskb/ps/pd + test hoặc cmp.

---

Sử dụng jz vs je thể gây nhầm lẫn.

jz and je are literally the same instruction, tức là cùng một mã opcode trong mã máy. Họ làm điều tương tự, nhưng có ý nghĩa ngữ nghĩa khác nhau cho con người. Disassemblers (và đầu ra asm thường từ các trình biên dịch) sẽ chỉ bao giờ sử dụng một, do đó sự khác biệt ngữ nghĩa bị mất.

cmp và sub đặt ZF khi hai đầu vào của chúng bằng nhau (tức là kết quả trừ là 0). je (nhảy nếu bằng nhau) là từ đồng nghĩa có liên quan về ngữ nghĩa.

test %eax,%eax/and %eax,%eax lại đặt ZF khi kết quả bằng 0, nhưng không có kiểm tra "bình đẳng". ZF sau khi kiểm tra không cho bạn biết liệu hai toán hạng có bằng nhau hay không. Vì vậy, jz (nhảy nếu không) là từ đồng nghĩa ngữ nghĩa có liên quan.

Answer 7

Trong một số chương trình, chúng có thể được sử dụng để kiểm tra tràn bộ đệm. Ở phía trên cùng của không gian được phân bổ một 0 được đặt.Sau khi nhập dữ liệu vào ngăn xếp, nó tìm kiếm 0 ngay từ đầu của không gian được phân bổ để đảm bảo không gian được cấp phát không bị tràn.

Nó được sử dụng trong việc thực hiện stack0 của khai thác-bài tập để kiểm tra xem nó đã được tràn và nếu có wasnt và đã có một số không ở đó, nó sẽ hiển thị "Thử lại"

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 

Answer 8

chúng ta có thể nhìn thấy jg, jle Nếu testl %edx,%edx. jle .L3 chúng ta dễ dàng có thể tìm jle là phù hợp với (SF^OF)|ZF, nếu% edx là zero, ZF = 1, nhưng nếu% edx không phải là zero và là -1, sau khi testl, OF = 0, và SF = 1, vì vậy cờ = true, mà thực hiện nhảy .xin lỗi, tiếng Anh của tôi kém