Sự khác biệt giữa "hoặc eax, eax" và "kiểm tra eax, eax"

Question

Sự khác biệt giữa or eax,eax và test eax,eax là gì? Tôi đã nhìn thấy trình biên dịch khác nhau sản xuất cả hai cho cùng một so sánh và như xa như tài liệu đi họ làm chính xác điều tương tự, vì vậy tôi tự hỏi tại sao họ không sử dụng tất cả test eax,eax. Suy nghĩ về nó and eax,eax sẽ thiết lập các lá cờ trong một thời trang giống hệt nhau hoặc là một trong hai nhưng tôi đã không nhìn thấy nó trong một trong hai freepascal, delphi, hoặc msVC++.

Tôi đã biên dịch một số khối asm trong delphi và kiểm tra nguồn lắp ráp và tất cả 3 biểu mẫu có độ dài chính xác như nhau trong mã opcodes và cũng đã kiểm tra hiệu suất intel PDF và nó cho biết chúng có cùng độ trễ và thông lượng.

Edit:
Câu hỏi đặt ra là đặc biệt về sự khác biệt giữa các trường hợp cụ thể test eax,eax, or eax,eax và and eax,eax. Tất cả 3 cung cấp kết quả hoàn toàn giống hệt nhau cho thanh ghi, cờ, độ dài opcode, độ trễ, thông lượng. Tuy nhiên, để thử nghiệm nếu 0, nếu không bằng 0, hoặc nếu đã ký, một số trình biên dịch sẽ sử dụng test eax,eax trong khi một số sử dụng or eax,eax và tôi đã tự hỏi tại sao chúng không phải là tất cả sử dụng test eax,eax vì nó làm cho mã rất rõ ràng hơn.

Edit2:
Để tham khảo tôi đang ở nhà và chỉ có và msvc cũ ++ và Delphi ở đây, nhưng thử nghiệm một biến nếu không, MSVC++ không test eax,eax, trong khi Delphi không or eax,eax.

Answer 1

Nói chung, sự khác biệt duy nhất giữa test và and là test <reg>, <reg> không sửa đổi các toán hạng của nó. Về cơ bản, test áp dụng thao tác and, loại bỏ phần không phải cờ của kết quả. Nếu toán hạng giống hệt nhau, kết quả sẽ giống nhau (như or).

test có thể là lựa chọn hướng dẫn cao cấp vì những thứ như hợp nhất vi mô. Kết quả là, test thường được ưu tiên trừ khi tính toán sẽ phải được lặp lại. Điều tương tự cũng xảy ra với cmp/sub.

Tìm kiếm tài liệu của Intel về "hợp nhất" và bạn nên tìm chi tiết.

Answer 2

Chỉ cần nhắc lại một chút, và thêm một chút vào, những gì @gsg chỉ ra, lệnh TEST thực hiện so sánh lô-gic logic (về cơ bản ANDing chúng bitwise nội bộ nhưng không lưu kết quả) của hai toán hạng và đặt cờ bộ xử lý theo kết quả của hoạt động đó. Lệnh OR thực hiện một OR hợp lý của nguồn với đích, lưu trữ kết quả trong đích và đặt cờ bộ vi xử lý theo kết quả. Cả hai đều ảnh hưởng đến cờ xử lý theo cùng một cách. Vì vậy, khi các toán hạng là giống hệt nhau, hành vi là như nhau. Không có sự khác biệt về cờ. Tuy nhiên, khi các toán hạng khác nhau, hành vi của chúng thì hoàn toàn khác. Bạn cũng có thể kiểm tra bằng không với and eax,eax cũng ảnh hưởng đến các cờ giống nhau.

Answer 3

Mạch để xác định nội dung của eax sau test eax, eax giống như trước khi lệnh đơn giản hơn mạch cần thiết để đến kết luận đó cho or eax, eax. Vì lý do này, test là tốt hơn.

Một số trình biên dịch có thể đã tạo ra or tại một thời điểm khi nó không tạo ra bất kỳ sự khác biệt nào (trước khi thực hiện ngoài trật tự), nhưng nó sẽ tạo sự khác biệt với một số bộ vi xử lý lỗi thời. các bộ vi xử lý sẽ rất tinh vi đến nỗi chúng sẽ nhận ra or eax, eax là thực sự tương đương với test eax, eax).

tôi không thể tìm thấy một tài liệu tham khảo biện minh rằng một số bộ vi xử lý hiện đại đang thực sự có thể suy ra rằng or reg, reg không sửa đổi reg, nhưng here is một câu trả lời khẳng định nó là trường hợp cho xchg reg, reg.