174. Beq relativo

conectar BEQ con su opcode relativo.

Lección 174 de 356 · tests/chapter_01_cpu/test_174_BEQ_relative.py

Requisito previo: el paso 173 conectó BCS. En este paso, añade lo siguiente a `emulator/cpu/opcodes.py`:

from emulator.cpu.instructions import beq

def beq_relative(cpu: CPU):
    offset = relative(cpu)
    beq(cpu, offset)

OPCODE_TABLE[0xF0] = beq_relative

La importación y la asignación pueden fusionarse en las estructuras agrupadas ya existentes.

Por qué existe este paso

`relative proporciona el desplazamiento con signo posterior al operando, y el instructions.beq` del paso 166 salta cuando la flag Zero ya establecida está activada.

Invariantes: `0xF0 se despacha a un gestor de un argumento y consume su operando esté o no activada Zero; +5 desde 0x8002 llega a 0x8007`. No cambia ninguna flag ni memoria. Idea errónea habitual: BEQ no compara valores por sí mismo; solo observa Zero tal como la dejó una operación anterior.

Fuera de alcance: la conexión de opcodes de BNE/BPL/BMI/BVC/BVS corresponde a los pasos 175-179; el direccionamiento JMP indirecto corresponde al paso 180.

Ejecutar esta lección

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

Implementación de ejemplo

from emulator.cpu.instructions import beq

def beq_relative(cpu: CPU):
    offset = relative(cpu)
    beq(cpu, offset)

OPCODE_TABLE[0xF0] = beq_relative

Ver código del testtest_174_BEQ_relative.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_beq_relative_handler_exists_and_is_in_opcode_table():
    """Objective: create beq_relative(cpu) and add 0xF0 to OPCODE_TABLE."""
    assert hasattr(opcodes, "beq_relative")
    assert callable(opcodes.beq_relative)
    assert list(inspect.signature(opcodes.beq_relative).parameters) == ["cpu"]
    assert opcodes.OPCODE_TABLE[0xF0] is opcodes.beq_relative


def test_opcode_F0_beq_relative_branches_when_zero_set():
    """Objective: BEQ branches when Zero is set."""
    cpu, bus, rom = make_cpu_with_rom()
    rom.write(0x0000, 0xF0)
    rom.write(0x0001, 0x05)

    cpu.reset()
    cpu.flags.set_zero_flag(True)
    cpu.step()

    assert cpu.pc == 0x8007


def test_opcode_F0_beq_relative_does_not_branch_when_zero_clear():
    """Objective: BEQ does not branch when Zero is clear."""
    cpu, bus, rom = make_cpu_with_rom()
    rom.write(0x0000, 0xF0)
    rom.write(0x0001, 0x05)

    cpu.reset()
    cpu.flags.set_zero_flag(False)
    cpu.step()

    assert cpu.pc == 0x8002

Funciones de test (3)

test_beq_relative_handler_exists_and_is_in_opcode_table
test_opcode_F0_beq_relative_branches_when_zero_set
test_opcode_F0_beq_relative_does_not_branch_when_zero_clear