如何檢查x86_64程序集中的寄存器是否爲零

Question

我試圖檢查x86_64彙編代碼中的值是否爲零。我知道這通常包含一個cmp變體，然後是jmp變體，但我不確定要使用的確切說明。

Answer 1

如果您剛剛使用的前修改ZF的指令，只需檢查標誌，並使用JZ或JE跳。例如

and rax, rbx ; ZF was modified 
jz is_zero ; so to check if rax is zero, a single jump is enough 

如果沒有設置ZF，則需要明確地執行此操作。最顯而易見的方法是

cmp rax, 0 
je equal_zero 

但是，由於cmp較長，如果你看一下輸出二進制中，test或有時and, or優先

83F800 cmp eax, 0 
09C0 or eax, eax 
85C0 test eax, eax 

產生的代碼將是

test rax, rax 
jz is_zero 

你可以從編譯器中獲取程序集輸出，並通過在線工具（如gcc godbolt

012）進行檢查或查看

瞭解更多：http://en.wikibooks.org/wiki/X86_Assembly/Control_Flow

Answer 2

test %eax, %eax ; set ZF to 1 if eax == 0 
je 0x804f430  ; jump to 0x00804f4 if ZF == 1 

ZF是單個比特零標誌將被設置爲1，如果eax等於零。 je將採取跳轉到0x804f430如果ZF被設置爲1