x86 程序集:即使实现正确,交换函数的输出也不正确

Kid*_*dsm 2 assembly swap x86-16

我一直在研究交换函数,或者最终使用 x86 程序集实现冒泡排序。

我的代码还包括一个函数,该函数稍后为另一个函数重构给定数字(从 - 到 +,反之亦然),我在测试交换函数之前调用了该函数

这是到目前为止的代码:

org  100h
jmp main

    numToNeg dw -9
    toSwap1 db 'a'
    toSwap2 db 'b'

    param1 equ 8 
    swap1 equ 12
    swap2 equ 14



main: 

    push offset numToNeg
    call refactor

    mov ax, numToNeg
    call print_num     

    PRINTN 

    PRINTN "Before Swap:"

    mov al, toSwap1
    Call print_al_chr ;This function prints the given char inside al
    mov al, toSwap2
    Call print_al_chr 

    push offset toSwap1
    push offset toSwap2

    call swap

    PRINTN

    PRINTN "After Swap:"

    mov al, toSwap1
    Call print_al_chr
    mov al, toSwap2
    Call print_al_chr

PROC refactor 
    push bp
    push bx
    push ax
    mov bp, sp  

    mov bx, [bp + param1] 
    mov ax, [bx]

    not ax
    inc ax 

    mov [bx], ax     

    pop ax
    pop bx
    pop bp
    retn 2

ENDP refactor  

PROC swap 
    push bp
    push ax
    push cx
    push bx
    push di

    mov di, [bp + swap1]
    mov ax, [di]
    mov bx, [bp + swap2]
    mov cx, [bx]
    mov [bx], ax
    mov [di], cx

    pop di
    pop bx
    pop cx
    pop ax
    pop bp
    retn 4
ENDP swap
Run Code Online (Sandbox Code Playgroud)

现在我 100% 确定交换函数是正确的,所以问题出在我的主函数中,但我自己无法弄清楚。当我调试代码时,堆栈对我来说看起来不错,现在我很困惑:/

需要明确的是,函数“print_al_chr”确实在工作,并且实现在我每次导入的另一个文件中。一开始我认为问题可能出在我一开始使用的“equ”上,但我很确定我传递的值确实是正确的,因为在函数中我推送了 5 个寄存器,总共占用10个字节的空间,所以参数应该在12和14的位置。

感谢:D

编辑:问题是我使用了 8 位寄存器的 16 位寄存器即时(AX 和 CX 的 AH 和 CL Instant),我也忘记在函数开始时设置 BP,就像我在重构函数中所做的那样。感谢大家的耐心和帮助:D

ecm*_*ecm 6

mov bp, sp在此功能中缺少一个:

PROC swap 
    push bp
    push ax
    push cx
    push bx
    push di

    mov di, [bp + swap1]
Run Code Online (Sandbox Code Playgroud)

您为每个变量保留了一个字节:

    toSwap1 db 'a'
    toSwap2 db 'b'
Run Code Online (Sandbox Code Playgroud)

但是随后您使用了 16 位字加载和存储:

    mov di, [bp + swap1]
    mov ax, [di]
    mov bx, [bp + swap2]
    mov cx, [bx]
    mov [bx], ax
    mov [di], cx
Run Code Online (Sandbox Code Playgroud)

正如di指向toSwap1 一样,我在这里引用的最后一条指令将覆盖两个变量。(如果您设置bp正确,就会发生这种情况。)


您在函数末尾缺少程序终止调用:

main: 

    push offset numToNeg
    call refactor
[...]
    mov al, toSwap2
    Call print_al_chr

PROC refactor 
Run Code Online (Sandbox Code Playgroud)

如果这确实适用于 86-DOS 兼容系统,则应在最后一次调用print_al_chr之后添加以下内容

    mov ax, 4C00h
    int 21h
Run Code Online (Sandbox Code Playgroud)

另一个注意事项:堆栈帧变量的param1swap1swap2 equ可能更接近于定义使用它们的这些函数的位置。这将更容易验证它们是否正确。

  • @Michael Petch:“这样你的第一个参数总是在 BP+2 处,第二个参数在 BP+4 处等等。” -- 不正确,在这种设置下,“word [bp+2]”保存近返回地址,“word [bp+4]”是第一个参数。 (2认同)
  • @ecm 抱歉,当我输入该评论时,我实际上忘记了堆栈上的 BP。 (2认同)