094. Asl 绝对,X 寻址

添加 ASL Absolute,X。

第 94 / 356 · tests/chapter_01_cpu/test_094_ASL_absolute_x.py

在这一步中，用 Absolute,X 完成 ASL 寻址序列。

文件与符号

emulator/cpu/opcodes.py: asl_absolute_x, OPCODE_TABLE[0x1E]

为什么需要这一步

这是最后一个 ASL 寻址方面的改动。它将已有的 absolute_x 解析器与此前引入的内存 asl 实现组合在一起。

本步骤的建议实现

# emulator/cpu/opcodes.py
def asl_absolute_x(cpu: CPU):
    addr = absolute_x(cpu)
    asl(cpu, addr)

OPCODE_TABLE = {
    # existing entries unchanged
    0x1E: asl_absolute_x,
}

重要不变量

先解码小端 16 位基址，再加上 X
指令仍为三字节；X 是寄存器，而不是另一个操作数
asl 在有效地址上负责读取/修改/写回以及标志位更新
累加器保持不变

常见误解

对于 X=0x04 时的 1E 00 02，应将 X 加到 $0200 上，而不是加到任何一个操作数字节上。

本步骤不涉及

测试 095-101 引入的 LSR
修改 absolute_x 或 asl
跨页与读取/修改/写回周期时序

运行本课

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

示例实现

本步骤的建议实现

# emulator/cpu/opcodes.py
def asl_absolute_x(cpu: CPU):
    addr = absolute_x(cpu)
    asl(cpu, addr)

OPCODE_TABLE = {
    # existing entries unchanged
    0x1E: asl_absolute_x,
}

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


def test_opcode_1E_asl_absolute_x_shifts_indexed_memory_value():
    """Objective: 1E 00 02 with X=0x04 shifts RAM[$0204]."""
    cpu, bus, rom = make_cpu_with_rom()
    rom.write(0x0000, 0x1E)
    rom.write(0x0001, 0x00)
    rom.write(0x0002, 0x02)
    bus.write(0x0204, 0b0000_0011)

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

    assert bus.read(0x0204) == 0b0000_0110
    assert cpu.pc == 0x8003

测试函数 (2)

test_asl_absolute_x_handler_exists_and_is_in_opcode_table
test_opcode_1E_asl_absolute_x_shifts_indexed_memory_value