100. Lsr 绝对寻址

添加 LSR Absolute。

第 100 / 356 · tests/chapter_01_cpu/test_100_LSR_absolute.py

在这一步中，通过已有的 16 位绝对寻址解析器暴露内存 LSR。

文件与符号

emulator/cpu/opcodes.py: lsr_absolute, OPCODE_TABLE[0x4E]

为什么需要这一步

在完成零页形式之后，这次改动通过已有的 16 位 absolute 解析器暴露内存 LSR，同时保留指令层的实现。

本步骤的建议实现

# emulator/cpu/opcodes.py
def lsr_absolute(cpu: CPU):
    addr = absolute(cpu)
    lsr(cpu, addr)

OPCODE_TABLE = {
    # existing entries unchanged
    0x4E: lsr_absolute,
}

重要不变量

absolute(cpu) 先解码低字节再解码高字节
两个操作数字节使这成为一条三字节指令
lsr 读取并写回有效地址，并替换 C/Z/N
A 与索引寄存器保持不变

常见误解

对于 4E 00 02，小端目标地址是 $0200，而不是 $0002。

本步骤不涉及

测试 101 中的 LSR Absolute,X
对绝对寻址或 LSR 行为的改动
周期时序与跨页行为

运行本课

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

示例实现

本步骤的建议实现

# emulator/cpu/opcodes.py
def lsr_absolute(cpu: CPU):
    addr = absolute(cpu)
    lsr(cpu, addr)

OPCODE_TABLE = {
    # existing entries unchanged
    0x4E: lsr_absolute,
}

查看测试代码test_100_LSR_absolute.py

import inspect

from emulator.bus.cpu_bus import CpuBus
from emulator.cpu import opcodes
from emulator.cpu.cpu import CPU
from emulator.memory.fake_rom import FakeROM


def make_cpu_with_rom():
    rom = FakeROM()
    rom.write(0x7FFC, 0x00)
    rom.write(0x7FFD, 0x80)
    bus = CpuBus(program_rom=rom)
    return CPU(bus), bus, rom


def test_lsr_absolute_handler_exists_and_is_in_opcode_table():
    """Objective: create lsr_absolute(cpu) and add 0x4E to OPCODE_TABLE."""
    assert hasattr(opcodes, "lsr_absolute")
    assert callable(opcodes.lsr_absolute)
    assert list(inspect.signature(opcodes.lsr_absolute).parameters) == ["cpu"]
    assert opcodes.OPCODE_TABLE[0x4E] is opcodes.lsr_absolute


def test_opcode_4E_lsr_absolute_shifts_memory_value():
    """Objective: 4E 00 02 means LSR $0200, so RAM[$0200] is shifted."""
    cpu, bus, rom = make_cpu_with_rom()
    rom.write(0x0000, 0x4E)
    rom.write(0x0001, 0x00)
    rom.write(0x0002, 0x02)
    bus.write(0x0200, 0b0000_0110)

    cpu.reset()
    cpu.step()

    assert bus.read(0x0200) == 0b0000_0011
    assert cpu.pc == 0x8003

测试函数 (2)

test_lsr_absolute_handler_exists_and_is_in_opcode_table
test_opcode_4E_lsr_absolute_shifts_memory_value