182. Jmp absoluto

conectar el opcode JMP absoluto $4C.

Lección 182 de 356 · tests/chapter_01_cpu/test_182_JMP_absolute.py

Requisito previo: el paso 181 añadió `jmp. En este paso, añade estos cambios en emulator/cpu/opcodes.py` (incluyendo importaciones y entrada en la tabla):

from emulator.cpu.instructions import jmp
from emulator.cpu.addressing_modes import absolute

def jmp_absolute(cpu: CPU):
    addr = absolute(cpu)
    jmp(cpu, addr)

OPCODE_TABLE = {
    # existing entries...
    0x4C: jmp_absolute,
}

Opcode

0x4C -> JMP $hhhh

Objetivo

crear jmp_absolute(cpu), usar absolute(cpu), y luego jmp(cpu, addr).

Guía para el estudiante

JMP absoluto es diferente de LDA absoluto.

Para LDA $1234:

A = memory[$1234]

Para JMP $1234:

PC = $1234

Por eso el manejador del opcode no debe leer de memoria en la dirección destino. El operando absoluto ya es el nuevo valor de PC.

Por qué existe este paso

`absolute consume los dos bytes del operando en formato little-endian y devuelve su valor de 16 bits; jmp lo asigna. Invariantes: un paso consume tres bytes antes de reemplazar PC, se preservan flags/registros/pila/memoria, y solo se mapea $4C. Concepto erróneo: a diferencia de los manejadores de carga, este manejador no debe leer cpu.bus.read(addr)`.

Fuera de alcance: JMP indirecto y el opcode $6C son el paso 183; JSR y sus efectos sobre la pila son los pasos 184-185.

Ejecutar esta lección

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

Implementación de ejemplo

from emulator.cpu.instructions import jmp
from emulator.cpu.addressing_modes import absolute

def jmp_absolute(cpu: CPU):
    addr = absolute(cpu)
    jmp(cpu, addr)

OPCODE_TABLE = {
    # existing entries...
    0x4C: jmp_absolute,
}

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


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


def test_opcode_4C_jmp_absolute_sets_pc_to_operand_address():
    """Objective: 4C 34 12 means JMP $1234, so PC becomes $1234."""
    cpu, bus, rom = make_cpu_with_rom()
    rom.write(0x0000, 0x4C)
    rom.write(0x0001, 0x34)
    rom.write(0x0002, 0x12)

    cpu.reset()
    cpu.step()

    assert cpu.pc == 0x1234


def test_opcode_4C_jmp_absolute_does_not_read_target_memory_as_new_pc():
    """
    Objective:
    JMP $1234 jumps to $1234 directly.

    It must not do:
        PC = memory[$1234]
    """
    cpu, bus, rom = make_cpu_with_rom()
    rom.write(0x0000, 0x4C)
    rom.write(0x0001, 0x34)
    rom.write(0x0002, 0x12)
    bus.write(0x1234, 0x99)

    cpu.reset()
    cpu.step()

    assert cpu.pc == 0x1234

Funciones de test (3)

test_jmp_absolute_handler_exists_and_is_in_opcode_table
test_opcode_4C_jmp_absolute_sets_pc_to_operand_address
test_opcode_4C_jmp_absolute_does_not_read_target_memory_as_new_pc