有条件地调用子程序在程序集中

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之前（如雨后春笋般冒出值以前压），你应该使用第一种方法。