有條件地調用子程序在程序集中

Question

我正在學習x86程序集。我想知道你是如何有條件地調用子程序的。 據我所知，跳轉到標籤不起作用，因爲返回地址沒有存儲，因此它不知道在哪裏返回。

cmp bx, 0 
jz zero ; how do I do this correctly ? 
; do something else and exit 

zero: 
; do something 
ret 

Answer 1

那麼它的工作原理，如果你不需要返回到該地址。通常情況下，你可以構建你的代碼，這樣的話。

否則，您將不得不使用Jxx指令來跳轉呼叫站點或以其他方式構造圍繞此限制的代碼。在這種情況下，反向測試應該工作：

cmp bx, 0 
    jnz not_zero 
    call zero 
    ; fall through here, return or do what you want 
not_zero: 
    ; do something else and exit 
    ; ... 
    ret 

zero: 
    ; do something 
    ret 

編輯2016年4月25日：由於@Peter科德斯在評論中提到，下面的代碼可能會執行得要命。見例如this article爲解釋爲什麼。

@Manny Ds在評論中的建議激勵我寫下如下內容。它可能不是清潔劑或更好，但它是另一種方式來構建它：

push back_from_zero ; Push where we want to return after possibly branching to 'zero' 
    cmp bx, 0 
    jz zero ; branch if bx==0 
    add esp, 4 ; adjust stack in case we didn't branch 
back_from_zero: ; returning from the zero branch here or continuing from above 
    ; do something else and exit 

zero: 
    ; do something 
    ret 

它明確地推堆棧上的返回地址，因此zero函數可以返回，或從棧中彈出值（add esp, 4）如果我們不要調用函數（重新調整爲堆棧）。請注意，如果您希望它在16位或64位模式下工作，您需要稍做調整。

Answer 2

我相信正確的方法是使用call指令。這相當於使用更高級的編程語言的函數調用。 PC存儲在堆棧中，因此zero:子程序結束時的ret可以完成它應有的功能。

Answer 3

乾淨的方式做到這一點很簡單：

cmp bx,0 
    jnz notzero 
    ; handle case for zero here 
    jmp after_notzero 
notzero: 
    ; handle case for not zero here 
after_notzero: 
    ; continue with rest of processing 

我知道了如果其他情況沒有更好的辦法。好吧，如果這兩個機構必須直接返回之後，你可以這樣做：

cp bx,0 
    jnz notzero: 
    ; handle case for zero here 
    ret 

notzero: 
    ; handle case for not zero here 
    ret 

如果一些處理必須發生在RET之前（如雨後春筍般冒出值以前壓），你應該使用第一種方法。