035. Ldx 绝对Y变址

添加 LDX 绝对Y变址（$BE）。

第 35 / 356 · tests/chapter_01_cpu/test_035_LDX_absolute_y.py

要更新的文件

emulator/cpu/opcodes.py

位置

opcodes.ldx_absolute_y
opcodes.OPCODE_TABLE[$BE]

为什么需要这一步

本课通过复用既有的绝对Y变址辅助函数，补全了现阶段可用的 LDX 操作码家族。与其他基于内存的形式一样，处理函数先解析并读取操作数，再把它的值传给 ldx。

完整示例实现

# emulator/cpu/opcodes.py
def ldx_absolute_y(cpu: CPU):
    addr = absolute_y(cpu)
    value = cpu.bus.read(addr)
    ldx(cpu, value)


OPCODE_TABLE = {
    # Preserve existing entries.
    0xBE: ldx_absolute_y,
}

重要不变式

$BE 映射到 ldx_absolute_y
小端序的基地址用 Y 而不是 X 进行变址
变址后地址处的字节被传给 ldx
消耗两个操作数字节，因此整条指令使 PC 前进 3 字节

常见误区

不要让绝对Y变址在 $00 页内回绕；与零页Y变址不同，它变址后的地址是一个 16 位结果。

超出范围

存储 X 和加载 Y 的指令
对 absolute_y 或 ldx 的改动
周期时序和跨页惩罚

运行本课

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

示例实现

完整示例实现

# emulator/cpu/opcodes.py
def ldx_absolute_y(cpu: CPU):
    addr = absolute_y(cpu)
    value = cpu.bus.read(addr)
    ldx(cpu, value)


OPCODE_TABLE = {
    # Preserve existing entries.
    0xBE: ldx_absolute_y,
}

查看测试代码test_035_LDX_absolute_y.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_ldx_absolute_y_handler_exists_and_is_in_opcode_table():
    """Objective: create ldx_absolute_y(cpu) and add 0xBE to OPCODE_TABLE."""
    assert hasattr(opcodes, "ldx_absolute_y")
    assert callable(opcodes.ldx_absolute_y)
    assert list(inspect.signature(opcodes.ldx_absolute_y).parameters) == ["cpu"]
    assert opcodes.OPCODE_TABLE[0xBE] is opcodes.ldx_absolute_y


def test_opcode_BE_ldx_absolute_y_loads_register_x():
    """Objective: BE 00 02 with Y=0x04 reads RAM[$0204] into X."""
    cpu, bus, rom = make_cpu_with_rom()
    rom.write(0x0000, 0xBE)
    rom.write(0x0001, 0x00)
    rom.write(0x0002, 0x02)
    bus.write(0x0204, 0x42)

    cpu.reset()
    cpu.y = 0x04
    cpu.step()

    assert cpu.x == 0x42
    assert cpu.pc == 0x8003

测试函数 (2)

test_ldx_absolute_y_handler_exists_and_is_in_opcode_table
test_opcode_BE_ldx_absolute_y_loads_register_x