汇编中的尾递归

Question

我正在尝试学习一点汇编。我使用 NASM 而不是 AT&T 语法。

这是我的第一个程序，它比较两个命令行参数并输出最小的一个（如果它们相等，则优先选择第一个）。

我想我做错了。我注意到堆栈随着每次“调用”比较而增长，因此我可以通过尾递归优化来使其更好。但是，我不知道如何正确地做到这一点。我是否应该将此处所有出现的“call”替换为其他内容，例如 jmp？ 我读到，跳跃的方式还取决于您如何与 linux 内核和/或 libc 有关“函数”对象的链接（我不与 libc 链接，因此没有主“函数”），这让我感到困惑，所以我我想我来这里是为了寻求简单的简短建议。

另外，我遇​​到的另一个问题是，在“jg”后立即执行“jl”是多么愚蠢，如果“jl”跳转实际上更改了标志内容，因此“jg”也跳转，这可能会导致不必要的行为。是否存在双向“原子”跳跃？

section .data
    usage:  db 'Please provide two strings',10
    usageLen:   equ $-usage
    bigger:     db 'It is bigger!',10
    biggerLen: equ $-bigger
    smaller:    db 'It is smaller!',10
    smallerLen: equ $-smaller

section .text
    global _start

_start:
    pop ebx ; argc
    cmp ebx, 3
    jne usage_exit

    pop eax ; argv[0]
    pop eax
    pop ebx
    call compare ;

usage_exit:
    mov eax, 4 ; sys_write
    mov ebx, 1 ; int fd = stdout
    mov ecx, usage 
    mov edx, usageLen 
    int 80h ; call kernel

    mov eax, 1  ; sys_exit
    mov ebx, 0  ; int status = 0
    int 80h ;   call kernel

report:
    mov ecx, eax
    mov edx, ebx 
    mov eax, 4 ; sys_write
    mov ebx, 1 ; int fd = stdout
    int 80h ; call kernel

    mov eax, 1  ; sys_exit
    mov ebx, 0  ; int status = 0
    int 80h ;   call kernel (exit)

compare:
    push eax
    push ebx
    mov eax, [eax]
    mov ebx, [ebx]

    test ax, ax
    jz is_smaller
    test bx, bx
    jz is_bigger

    cmp ax, bx
    jl is_smaller
    jg is_bigger
    ; if the same, try next positions
    pop ebx
    pop eax
    inc eax
    inc ebx
    call compare

is_smaller:
    mov eax, smaller
    mov ebx, smallerLen
    call report

is_bigger:
    mov eax, bigger
    mov ebx, biggerLen
    call report

Answer 1

是的，您应该将 call 替换为 jmp。一般来说，当您希望调用返回时在下一行继续执行时，您应该使用 call。在您的代码中，执行永远不会返回，因为 compare 只是一个循环，因此 jmp 是进入下一次迭代的正确方法。您拥有的两个通话报告实例也是如此。

至于你的第二个问题， jl 不会更改标志，因此在其之后调用 jg 没有问题。