在cc65项目中实现寄存器压栈/弹栈宏的注意事项

在6502汇编开发中，寄存器状态的保存与恢复是常见需求。cc65汇编器提供了强大的宏功能，可以帮助开发者简化这一过程。本文将探讨如何正确实现寄存器压栈(push)和弹栈(pull)的宏操作。

寄存器操作宏的基本实现

首先，我们可以定义基础的单个寄存器操作宏：

.macro _pushReg register
    .if (register = 'a' || register = 'A')
        pha
    .elseif (register = 'x' || register = 'X')
        phx
    .elseif (register = 'y' || register = 'Y')
        phy
    .else
        .error .sprintf("未知寄存器 %s", .string(register))
    .endif
.endmacro

.macro _pullReg register
    .if (register = 'a' || register = 'A')
        pla
    .elseif (register = 'x' || register = 'X')
        plx
    .elseif (register = 'y' || register = 'Y')
        ply
    .else
        .error .sprintf("未知寄存器 %s", .string(register))
    .endif
.endmacro

这些宏可以处理单个寄存器的压栈和弹栈操作，并提供了基本的错误检查。

多寄存器操作的挑战

当我们需要处理多个寄存器时，情况会变得复杂。理想情况下，我们希望有一个宏能够记住之前压入了哪些寄存器，以便后续自动以正确的顺序弹出它们。

错误的方法：使用.define/.ifdef

初学者可能会尝试使用.define和.ifdef来记录压入的寄存器：

.macro _pushRegs registers
    .repeat .strlen(registers), index
        _pushReg {.strat(registers, index)}
    .endrepeat
    .ifdef __pushedRegisters__
        .undefine __pushedRegisters__
    .endif
    .define __pushedRegisters__ registers
.endmacro

然而，这种方法存在以下问题：

1. .ifdef检查的是符号(symbol)而非宏定义
2. 宏参数在预处理阶段就被展开，无法在运行时动态检查
3. 无法正确处理嵌套的寄存器保存/恢复场景

正确的实现方法：使用变量记录状态

更可靠的解决方案是使用汇编变量来记录当前压入的寄存器状态：

_pregs  .set 0  ; 寄存器状态变量

.macro pushRegs regs
    .if (::_pregs <> 0)
        .error "发现未配对的pushRegs"
    .else
        ; 解析寄存器字符串并设置状态位
        .repeat .strlen(regs), index
            .if .strat(regs, index) = 'a'
                ::_pregs .set ::_pregs .bitor $01
            .elseif .strat(regs, index) = 'x'
                ::_pregs .set ::_pregs .bitor $02
            .elseif .strat(regs, index) = 'y'
                ::_pregs .set ::_pregs .bitor $04
            .else
                .error "无效寄存器"
            .endif
        .endrepeat
        
        ; 按顺序压入寄存器
        .if (::_pregs .bitand $01) pha .endif
        .if (::_pregs .bitand $02) phx .endif
        .if (::_pregs .bitand $04) phy .endif
    .endif
.endmacro

.macro pullRegs
    .if (::_pregs = 0)
        .error "发现未配对的pullRegs"
    .else
        ; 按相反顺序弹出寄存器
        .if (::_pregs .bitand $04) ply .endif
        .if (::_pregs .bitand $02) plx .endif
        .if (::_pregs .bitand $01) pla .endif
        ::_pregs .set 0  ; 重置状态
    .endif
.endmacro

关键实现要点

1. 状态跟踪：使用_pregs变量记录当前压入的寄存器组合，每位代表一个寄存器
2. 错误检查：确保push/pull操作成对出现，避免栈不平衡
3. 顺序保证：压入顺序与弹出顺序相反，符合栈的LIFO特性
4. 作用域处理：使用::确保变量在全局作用域可见

使用示例

.segment "CODE"

main:
    pushRegs "axy"  ; 压入A,X,Y寄存器
    ; ... 执行操作 ...
    pullRegs        ; 弹出Y,X,A寄存器
    
    pushRegs "x"    ; 仅压入X寄存器
    ; ... 执行操作 ...
    pullRegs        ; 弹出X寄存器
    rts

扩展建议

1. 可以扩展支持大写字母的寄存器名称
2. 添加对65C02特有指令的支持
3. 考虑嵌套调用场景下的处理
4. 增加对PSR(处理器状态寄存器)的支持