179. Bvs relativo

conectar BVS con su opcode relativo.

Lección 179 de 356 · tests/chapter_01_cpu/test_179_BVS_relative.py

Requisito previo: el paso 171 añadió `instructions.bvs. En este paso, añade estas piezas a emulator/cpu/opcodes.py`:

from emulator.cpu.instructions import bvs

def bvs_relative(cpu: CPU):
    offset = relative(cpu)
    bvs(cpu, offset)

OPCODE_TABLE[0x70] = bvs_relative

Integra la importación y la asignación en las estructuras agrupadas ya existentes.

Por qué existe este paso

`relative consume y aplica el signo al desplazamiento, y luego el instructions.bvs` del paso 171 salta desde el PC posterior al operando cuando Overflow está activado.

Invariantes: `0x70` se asigna a un gestor de un argumento y consume su operando en ambos caminos; con Overflow activado se aplica el desplazamiento, y con Overflow desactivado PC se queda tras el operando. Las flags y la memoria no cambian. Idea errónea habitual: BVS no activa Overflow, y un salto no tomado sigue ocupando y consumiendo dos bytes de instrucción, incluido su opcode.

Fuera de alcance: el paso 180 añade de forma independiente `addressing_modes.indirect para JMP. La instrucción jmp` y las API de opcode JMP absoluto/indirecto llegan solo en los pasos posteriores 181-183 y no deben añadirse aquí.

Ejecutar esta lección

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

Implementación de ejemplo

from emulator.cpu.instructions import bvs

def bvs_relative(cpu: CPU):
    offset = relative(cpu)
    bvs(cpu, offset)

OPCODE_TABLE[0x70] = bvs_relative

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


def test_opcode_70_bvs_relative_branches_when_overflow_set():
    """Objective: BVS branches when Overflow is set."""
    cpu, bus, rom = make_cpu_with_rom()
    rom.write(0x0000, 0x70)
    rom.write(0x0001, 0x05)

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

    assert cpu.pc == 0x8007


def test_opcode_70_bvs_relative_does_not_branch_when_overflow_clear():
    """Objective: BVS does not branch when Overflow is clear."""
    cpu, bus, rom = make_cpu_with_rom()
    rom.write(0x0000, 0x70)
    rom.write(0x0001, 0x05)

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

    assert cpu.pc == 0x8002

Funciones de test (3)

test_bvs_relative_handler_exists_and_is_in_opcode_table
test_opcode_70_bvs_relative_branches_when_overflow_set
test_opcode_70_bvs_relative_does_not_branch_when_overflow_clear