158. Cpx absoluto

añade el opcode CPX absoluto ``0xEC``.

Lección 158 de 356 · tests/chapter_01_cpu/test_158_CPX_absolute.py

Por qué existe este paso

CPX absoluto extiende la comparación a un byte en cualquier parte de la memoria de la CPU manteniendo la decodificación little-endian de direcciones fuera de la primitiva de CPX.

En este paso, completa CPX añadiendo exactamente lo siguiente a `emulator/cpu/opcodes.py`:

def cpx_absolute(cpu: CPU):
    addr = absolute(cpu)
    value = cpu.bus.read(addr)
    cpx(cpu, value)

OPCODE_TABLE = {
    ...
    0xEC: cpx_absolute,
}

`emulator/cpu/addressing_modes.py::absolute obtiene una palabra little-endian mediante CPU.fetch_word; EC 00 02 compara por tanto X con el valor en $0200`. Solo cambian C/Z/N; X, la memoria y Overflow son invariantes, y el opcode más la palabra avanzan PC tres bytes.

Concepto erróneo: la palabra del operando es una dirección, no un valor comparado de 16 bits. Fuera de alcance: la instrucción CPY y sus tres opcodes (lecciones 159-162).

Ejecutar esta lección

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

Implementación de ejemplo

Por qué existe este paso

def cpx_absolute(cpu: CPU):
    addr = absolute(cpu)
    value = cpu.bus.read(addr)
    cpx(cpu, value)

OPCODE_TABLE = {
    ...
    0xEC: cpx_absolute,
}

Ver código del testtest_158_CPX_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


CARRY_FLAG = 1 << 0


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_cpx_absolute_handler_exists_and_is_in_opcode_table():
    """Objective: create cpx_absolute(cpu) and add 0xEC to OPCODE_TABLE."""
    assert hasattr(opcodes, "cpx_absolute")
    assert callable(opcodes.cpx_absolute)
    assert list(inspect.signature(opcodes.cpx_absolute).parameters) == ["cpu"]
    assert opcodes.OPCODE_TABLE[0xEC] is opcodes.cpx_absolute


def test_opcode_EC_cpx_absolute_reads_memory_value():
    """Objective: EC 00 02 means compare X with RAM[$0200]."""
    cpu, bus, rom = make_cpu_with_rom()
    rom.write(0x0000, 0xEC)
    rom.write(0x0001, 0x00)
    rom.write(0x0002, 0x02)
    bus.write(0x0200, 0x10)

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

    assert (cpu.p & CARRY_FLAG) != 0
    assert cpu.pc == 0x8003

Funciones de test (2)

test_cpx_absolute_handler_exists_and_is_in_opcode_table
test_opcode_EC_cpx_absolute_reads_memory_value