104. Rol acumulador

exponer ROL A como opcode ``0x2A``.

Lección 104 de 356 · tests/chapter_01_cpu/test_104_ROL_accumulator.py

En este paso, tras las lecciones 102-103 que definen `rol y rol_a`, añade las importaciones de ROL que necesitan los opcodes y la entrada de despacho de acumulador. Los modos de memoria posteriores y ROR permanecen en sus pasos numerados.

Implementación sugerida en las ubicaciones de producción

la lista de importaciones de `emulator/cpu/opcodes.py` gana::

rol, rol_a

`emulator/cpu/opcodes.py::OPCODE_TABLE` gana::

0x2A: rol_a,

Por qué existe este paso

El modo de acumulador no necesita adaptador porque `rol_a(cpu)` ya coincide con la firma del manejador de opcode.

Invariantes: obtener `0x2A avanza el PC una vez antes del despacho; rol_a` no consume ningún operando, así que el PC final es start+1, solo se rota A, y sus banderas C/Z/N conservan la semántica de la lección 103.

Concepto erróneo: no crees un envoltorio de modo de direccionamiento ni llames a `rol con A. El modo de acumulador ocupa un byte y se corresponde directamente con rol_a`.

Fuera de alcance: los adaptadores de opcode de memoria `0x26, 0x36, 0x2E y 0x3E` son las lecciones 105-108; todo el despacho de ROR es a partir de la lección 111.

Ejecutar esta lección

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

Código del testtest_104_ROL_accumulator.py

Esta lección no incluye una implementación de ejemplo; se muestra el código del test.

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


def test_opcode_2A_rol_accumulator_rotates_a_and_advances_pc_by_one():
    """Objective: 2A means ROL A, so only A is rotated and PC advances by 1."""
    cpu, bus, rom = make_cpu_with_rom()
    rom.write(0x0000, 0x2A)

    cpu.reset()
    cpu.a = 0b0000_0011
    cpu.step()

    assert cpu.a == 0b0000_0110
    assert cpu.pc == 0x8001


def test_opcode_2A_rol_accumulator_uses_old_carry_as_new_bit_0():
    """Objective: old Carry=1 is inserted into A bit 0."""
    cpu, bus, rom = make_cpu_with_rom()
    rom.write(0x0000, 0x2A)

    cpu.reset()
    cpu.p |= CARRY_FLAG
    cpu.a = 0b0000_0010
    cpu.step()

    assert cpu.a == 0b0000_0101
    assert (cpu.p & CARRY_FLAG) == 0


def test_opcode_2A_rol_accumulator_sets_carry_from_old_a_bit_7():
    """Objective: old A bit 7 becomes Carry."""
    cpu, bus, rom = make_cpu_with_rom()
    rom.write(0x0000, 0x2A)

    cpu.reset()
    cpu.a = 0b1000_0001
    cpu.step()

    assert cpu.a == 0b0000_0010
    assert (cpu.p & CARRY_FLAG) != 0