199. 指令 plp

实现 PLP 行为。

第 199 / 356 · tests/chapter_01_cpu/test_199_instruction_plp.py

在本步骤中，只修改 `emulator/cpu/instructions.py，添加 plp(cpu)。前置条件：STACK_BASE` 以及 RTI 中状态掩码的约定已存在。

本步骤存在的原因

PLP 把 S 前移到保存状态字节的位置，并在去除本模拟器模型中不持久化的第 4 位和第 5 位之后，用该字节替换 P。

建议实现

cpu.s = (cpu.s + 1) & 0xFF
flags = cpu.bus.read(0x0100 | cpu.s)
cpu.p = flags & 0b1100_1111

把这些语句放入 `def plp(cpu: CPU) 中；等价的 STACK_BASE + cpu.s` 地址同样指向栈页 $0100。

不变量：读取前先递增并环绕 S；替换而不是合并 P；清除第 4 位和第 5 位；精确恢复所有其余已保存的标志位；不要像 PLA 那样根据数值字节计算 Z 或 N。

常见误解：PLP 并不会有选择地把标志位或运算进旧的 P 中。这样做会残留一些本应被压栈状态显式清除的过期标志。

范围之外：注册操作码 $28 属于第 200 步。这里不得添加之后才引入的标志相关 API。

运行本课

uv run pytest tests/chapter_01_cpu/test_199_instruction_plp.py -v

示例实现

建议实现

cpu.s = (cpu.s + 1) & 0xFF
flags = cpu.bus.read(0x0100 | cpu.s)
cpu.p = flags & 0b1100_1111

查看测试代码test_199_instruction_plp.py

from emulator.cpu.instructions import plp
from tests.helpers import make_cpu


CARRY_FLAG = 1 << 0
ZERO_FLAG = 1 << 1
INTERRUPT_DISABLE_FLAG = 1 << 2
BREAK_FLAG = 1 << 4
ONE_FLAG = 1 << 5
OVERFLOW_FLAG = 1 << 6
NEGATIVE_FLAG = 1 << 7
STACK_BASE = 0x0100


def test_plp_pulls_status_from_stack_into_processor_status():
    """Objective: PLP restores status flags from $0100 | incremented S."""
    cpu = make_cpu()
    cpu.s = 0xFC
    saved_status = CARRY_FLAG | ZERO_FLAG | INTERRUPT_DISABLE_FLAG | OVERFLOW_FLAG | NEGATIVE_FLAG
    cpu.bus.write(STACK_BASE | 0xFD, saved_status)

    plp(cpu)

    assert cpu.p == saved_status


def test_plp_increments_stack_pointer_before_reading():
    """
    Objective:
    PLP must increment S before reading.

    With S = $FC, the pulled status comes from $01FD, not $01FC.
    """
    cpu = make_cpu()
    cpu.s = 0xFC
    cpu.bus.write(STACK_BASE | 0xFC, CARRY_FLAG)
    cpu.bus.write(STACK_BASE | 0xFD, NEGATIVE_FLAG)

    plp(cpu)

    assert cpu.p == NEGATIVE_FLAG
    assert cpu.s == 0xFD


def test_plp_restores_zero_and_negative_from_saved_status_bits():
    """
    Objective:
    PLP restores Z and N from the saved status byte.

    Unlike PLA, it does not compute Z/N from a pulled data value. It copies the
    saved flag bits.
    """
    cpu = make_cpu()
    cpu.s = 0xFC
    cpu.flags.set_zero_flag(False)
    cpu.flags.set_negative_flag(False)
    cpu.bus.write(STACK_BASE | 0xFD, ZERO_FLAG | NEGATIVE_FLAG)

    plp(cpu)

    assert cpu.flags.get_zero_flag() is True
    assert cpu.flags.get_negative_flag() is True


def test_plp_clears_break_and_unused_status_bits_from_pulled_status():
    """
    Objective:
    In this emulator model, bits 4 and 5 are not kept in cpu.p after PLP.

    PHP may push Break in the saved stack byte, but PLP should not keep Break as
    persistent CPU state.
    """
    cpu = make_cpu()
    cpu.s = 0xFC
    saved_status_with_break_and_unused = 0b0011_0000 | CARRY_FLAG | NEGATIVE_FLAG
    cpu.bus.write(STACK_BASE | 0xFD, saved_status_with_break_and_unused)

    plp(cpu)

    assert (cpu.p & BREAK_FLAG) == 0
    assert (cpu.p & ONE_FLAG) == 0
    assert cpu.p == (CARRY_FLAG | NEGATIVE_FLAG)


def test_plp_replaces_previous_processor_status():
    """
    Objective:
    PLP restores P from the stack. It does not merge old flags with new flags.

    Failure mode this catches:
    Using cpu.p |= flags would leave stale flags set.
    """
    cpu = make_cpu()
    cpu.s = 0xFC
    cpu.p = CARRY_FLAG | ZERO_FLAG | OVERFLOW_FLAG | NEGATIVE_FLAG
    cpu.bus.write(STACK_BASE | 0xFD, INTERRUPT_DISABLE_FLAG)

    plp(cpu)

    assert cpu.p == INTERRUPT_DISABLE_FLAG


def test_plp_stack_pointer_wraps_to_8_bits():
    """Objective: S is an 8-bit stack pointer and wraps before reading."""
    cpu = make_cpu()
    cpu.s = 0xFF
    cpu.bus.write(STACK_BASE | 0x00, CARRY_FLAG | NEGATIVE_FLAG)

    plp(cpu)

    assert cpu.p == (CARRY_FLAG | NEGATIVE_FLAG)
    assert cpu.s == 0x00

测试函数 (6)

test_plp_pulls_status_from_stack_into_processor_status
test_plp_increments_stack_pointer_before_reading
test_plp_restores_zero_and_negative_from_saved_status_bits
test_plp_clears_break_and_unused_status_bits_from_pulled_status
test_plp_replaces_previous_processor_status
test_plp_stack_pointer_wraps_to_8_bits