195. 指令 pla

实现 PLA 行为。

第 195 / 356 · tests/chapter_01_cpu/test_195_instruction_pla.py

在本步骤中，只修改 `emulator/cpu/instructions.py，添加 pla(cpu)。前置条件：STACK_BASE` 以及零标志/负标志的设置函数均已存在。

本步骤存在的原因

出栈操作先把 S 前移到已占用的栈槽位，把该字节载入 A，再根据新载入的累加器值推导出 Z 和 N。

建议实现

cpu.s = (cpu.s + 1) & 0xFF
cpu.a = cpu.bus.read(0x0100 | cpu.s)
cpu.flags.set_zero_flag(cpu.a == 0)
cpu.flags.set_negative_flag((cpu.a & 0x80) != 0)

把这些语句放入 `def pla(cpu: CPU) 中。可以使用 STACK_BASE 以及等价的第 7 位掩码 0b1000_0000`。

不变量：读取前先递增并环绕 S；读取栈页 $0100；用取出的字节替换 A；只更新 Z 和 N，用第 7 位来判断 N；其余状态位保持不变。

常见误解：PLA 并不只是反向的 PHA。与 PHA 不同，它会根据 A 更新 Z 和 N，但并不会替换整个状态寄存器。

范围之外：注册操作码 $68 属于第 196 步。PHP 和 PLP 分别从第 197 步和第 199 步开始，这里不得添加它们的 API 或行为。

运行本课

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

示例实现

建议实现

cpu.s = (cpu.s + 1) & 0xFF
cpu.a = cpu.bus.read(0x0100 | cpu.s)
cpu.flags.set_zero_flag(cpu.a == 0)
cpu.flags.set_negative_flag((cpu.a & 0x80) != 0)

查看测试代码test_195_instruction_pla.py

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


CARRY_FLAG = 1 << 0
ZERO_FLAG = 1 << 1
OVERFLOW_FLAG = 1 << 6
NEGATIVE_FLAG = 1 << 7
STACK_BASE = 0x0100


def test_pla_pulls_value_from_stack_into_accumulator():
    """Objective: PLA reads from $0100 | incremented S and stores that value in A."""
    cpu = make_cpu()
    cpu.s = 0xFC
    cpu.bus.write(STACK_BASE | 0xFD, 0x42)

    pla(cpu)

    assert cpu.a == 0x42


def test_pla_increments_stack_pointer_before_reading():
    """
    Objective:
    PLA must increment S before reading.

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

    pla(cpu)

    assert cpu.a == 0x22
    assert cpu.s == 0xFD


def test_pla_sets_zero_flag_when_pulled_value_is_zero():
    """Objective: PLA updates Zero from the pulled accumulator value."""
    cpu = make_cpu()
    cpu.s = 0xFC
    cpu.bus.write(STACK_BASE | 0xFD, 0x00)
    cpu.flags.set_zero_flag(False)

    pla(cpu)

    assert cpu.a == 0x00
    assert cpu.flags.get_zero_flag() is True


def test_pla_clears_zero_flag_when_pulled_value_is_not_zero():
    """Objective: PLA clears Zero when the pulled value is non-zero."""
    cpu = make_cpu()
    cpu.s = 0xFC
    cpu.bus.write(STACK_BASE | 0xFD, 0x01)
    cpu.flags.set_zero_flag(True)

    pla(cpu)

    assert cpu.a == 0x01
    assert cpu.flags.get_zero_flag() is False


def test_pla_sets_negative_flag_when_bit_7_is_set():
    """
    Objective:
    PLA updates Negative from bit 7 of the pulled value.

    $80 is binary 1000_0000, so Negative must be set.
    """
    cpu = make_cpu()
    cpu.s = 0xFC
    cpu.bus.write(STACK_BASE | 0xFD, 0x80)
    cpu.flags.set_negative_flag(False)

    pla(cpu)

    assert cpu.a == 0x80
    assert cpu.flags.get_negative_flag() is True


def test_pla_does_not_set_negative_flag_for_bit_6_only():
    """
    Objective:
    Catch the common mask bug: Negative is bit 7, not bit 6.

    $40 is binary 0100_0000. Bit 6 is set, but Negative must remain clear.
    """
    cpu = make_cpu()
    cpu.s = 0xFC
    cpu.bus.write(STACK_BASE | 0xFD, 0x40)
    cpu.flags.set_negative_flag(True)

    pla(cpu)

    assert cpu.a == 0x40
    assert cpu.flags.get_negative_flag() is False


def test_pla_preserves_flags_other_than_zero_and_negative():
    """
    Objective:
    PLA updates only Zero and Negative.

    Carry and Overflow must keep their previous values.
    """
    cpu = make_cpu()
    cpu.s = 0xFC
    cpu.bus.write(STACK_BASE | 0xFD, 0x01)
    cpu.p = CARRY_FLAG | ZERO_FLAG | OVERFLOW_FLAG | NEGATIVE_FLAG

    pla(cpu)

    assert cpu.flags.get_zero_flag() is False
    assert cpu.flags.get_negative_flag() is False
    assert (cpu.p & CARRY_FLAG) != 0
    assert (cpu.p & OVERFLOW_FLAG) != 0


def test_pla_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, 0xAB)

    pla(cpu)

    assert cpu.a == 0xAB
    assert cpu.s == 0x00

测试函数 (8)

test_pla_pulls_value_from_stack_into_accumulator
test_pla_increments_stack_pointer_before_reading
test_pla_sets_zero_flag_when_pulled_value_is_zero
test_pla_clears_zero_flag_when_pulled_value_is_not_zero
test_pla_sets_negative_flag_when_bit_7_is_set
test_pla_does_not_set_negative_flag_for_bit_6_only
test_pla_preserves_flags_other_than_zero_and_negative
test_pla_stack_pointer_wraps_to_8_bits