汇编使用BP搭建栈帧时能否不操作SP使用pusha/popa指令

核心疑问 #

在使用BP寄存器搭建栈帧的汇编过程中，是否存在无需额外操作SP即可正常使用pusha/popa指令的方法？是存在规避SP值干扰的适配方案，还是应当放弃pusha/popa，改为手动压入、弹出过程中用到的寄存器？

异常复现代码 #

var1 dw 8
var2 dw 1
res dw ?


CODESEG
proc plus
pusha
mov bp,sp


    mov ax, [bp+6];var1
    mov bx, [bp+4];var2
    add ax, bx
    mov [res], ax
    

popa
ret 4
endp plus


start :
    mov ax, @data
    mov ds, ax
    
    push [var1]
    push [var2]
    call plus
    
    mov dl, [byte ptr res]
    add dl,30h
    mov ah,2h
    int 21h

故障原因 #

上述代码无法正常运行的根源是：16位模式下pusha指令会按固定顺序依次压入AX、CX、DX、BX、SP、BP、SI、DI共8个16位寄存器，其中压入的SP值为pusha执行前的瞬时SP值；popa则按逆序弹出上述寄存器值。原代码在pusha执行完成后才执行mov bp, sp设置栈帧基址，pusha压入的16字节寄存器数据、栈上存储的旧SP值会直接打乱栈帧结构，预设的参数偏移量[bp+6]、[bp+4]完全错位，无法正确读取传入的参数。

解决方案 #

• 方案1：调整栈帧基址设置顺序，无需额外操作SP
  不需要手动修改SP，只需要把mov bp, sp的操作移动到pusha指令之前执行，在栈指针因寄存器保存发生变动前就锁定栈帧基址即可。此时pusha后续带来的SP变动完全不会影响BP记录的栈基址，参数偏移计算和不使用pusha时完全一致，是最简便的适配方案。修改后的plus过程核心代码如下：

  proc plus
  mov bp, sp  ; 优先固定栈帧基址，此时SP指向call指令压入的返回地址
  pusha       ; 再执行全寄存器保存，后续SP变动不影响已设置的BP值
      mov ax, [bp+6]; 读取var1，偏移量和原预期一致
      mov bx, [bp+4]; 读取var2
      add ax, bx
      mov [res], ax
  popa
  ret 4
  endp plus
  

• 方案2：手动压入/弹出需要保护的寄存器
  也可以放弃使用pusha/popa，仅在过程开头压入当前过程会修改的寄存器，过程返回前对应弹出即可。这种写法不会引入多余的栈操作，代码体积和运行效率都优于全量压入所有寄存器的pusha/popa，也不需要调整栈帧设置顺序，偏移计算逻辑和原写法完全匹配。比如示例中的plus过程仅修改了AX、BX两个寄存器，只需要在开头加push ax、push bx，返回前加pop bx、pop ax即可。

内容的提问来源于stack exchange，提问作者maya