185. Jsr absoluto

conectar el opcode JSR absoluto $20.

Lección 185 de 356 · tests/chapter_01_cpu/test_185_JSR_absolute.py

Requisito previo: el paso 184 añadió `jsr. En este paso, añade estos cambios en emulator/cpu/opcodes.py`:

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

def jsr_absolute(cpu: CPU):
    addr = absolute(cpu)
    jsr(cpu, addr)

OPCODE_TABLE = {
    # existing entries...
    0x20: jsr_absolute,
}

Opcode

0x20 -> JSR $hhhh

Objetivo

crear jsr_absolute(cpu), usar absolute(cpu), y luego jsr(cpu, addr).

Guía para el estudiante

JSR absoluto usa un operando de 16 bits en little-endian como dirección de la subrutina.

Ejemplo

20 34 12 -> JSR $1234

Pasos de ejecución

1. CPU.step() fetches opcode 0x20.
2. absolute(cpu) fetches operand bytes 34 12 and returns $1234.
3. PC now points to the next instruction, $8003 in these tests.
4. jsr(cpu, $1234) pushes return address $8002.
5. PC becomes $1234.

Error común

No llames a jmp(cpu, addr). JSR debe apilar primero la dirección de retorno.

Por qué existe este paso

`absolute consume el destino de dos bytes, dejando PC en la siguiente instrucción para que jsr` pueda apilar PC-menos-uno y saltar. Invariantes: un paso consume el opcode más el operando, apila primero el byte alto y luego el bajo, decrementa S dos veces, cambia PC al destino, y preserva el estado. Concepto erróneo: compartir el modo de direccionamiento de JMP no convierte a JSR en un simple salto.

Fuera de alcance: `rts` y el opcode $60 son los pasos 186-187. BRK, RTI, y los futuros ayudantes generales de pila no forman parte de esta transición.

Ejecutar esta lección

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

Implementación de ejemplo

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

def jsr_absolute(cpu: CPU):
    addr = absolute(cpu)
    jsr(cpu, addr)

OPCODE_TABLE = {
    # existing entries...
    0x20: jsr_absolute,
}

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


STACK_BASE = 0x0100


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


def test_opcode_20_jsr_absolute_jumps_to_subroutine_address():
    """Objective: 20 34 12 means JSR $1234, so PC becomes $1234."""
    cpu, bus, rom = make_cpu_with_rom()
    rom.write(0x0000, 0x20)
    rom.write(0x0001, 0x34)
    rom.write(0x0002, 0x12)

    cpu.reset()
    cpu.step()

    assert cpu.pc == 0x1234


def test_opcode_20_jsr_absolute_pushes_return_address_to_stack():
    """
    Objective:
    After fetching opcode + 2-byte operand, PC is $8003.
    JSR pushes $8002, high byte first, low byte second.
    """
    cpu, bus, rom = make_cpu_with_rom()
    rom.write(0x0000, 0x20)
    rom.write(0x0001, 0x34)
    rom.write(0x0002, 0x12)

    cpu.reset()
    cpu.step()

    assert bus.read(STACK_BASE | 0xFD) == 0x80
    assert bus.read(STACK_BASE | 0xFC) == 0x02
    assert cpu.s == 0xFB


def test_opcode_20_jsr_absolute_does_not_behave_like_jmp():
    """
    Objective:
    JSR must save a return address. If jsr_absolute accidentally calls jmp,
    PC may be correct, but the stack will not contain the return address.
    """
    cpu, bus, rom = make_cpu_with_rom()
    rom.write(0x0000, 0x20)
    rom.write(0x0001, 0x34)
    rom.write(0x0002, 0x12)

    cpu.reset()
    cpu.step()

    assert cpu.pc == 0x1234
    assert bus.read(STACK_BASE | 0xFD) == 0x80
    assert bus.read(STACK_BASE | 0xFC) == 0x02

Funciones de test (4)

test_jsr_absolute_handler_exists_and_is_in_opcode_table
test_opcode_20_jsr_absolute_jumps_to_subroutine_address
test_opcode_20_jsr_absolute_pushes_return_address_to_stack
test_opcode_20_jsr_absolute_does_not_behave_like_jmp