024. Sta absolute

Добавление STA с абсолютной адресацией ($8D).

Урок 24 из 356 · tests/chapter_01_cpu/test_024_STA_absolute.py

Файл для обновления

emulator/cpu/opcodes.py

Расположения

opcodes.sta_absolute
opcodes.OPCODE_TABLE[$8D]

Зачем нужен этот шаг

Теперь STA нужен полный 16-битный адрес назначения. Урок повторно использует absolute и sta, демонстрируя, что изменение ширины операнда относится к адресации, а не к самой инструкции записи.

Полная реализация примера

# emulator/cpu/opcodes.py
def sta_absolute(cpu) -> None:
    address = absolute(cpu)
    sta(cpu, address)


OPCODE_TABLE = {
    # Preserve existing entries.
    0x8D: sta_absolute,
}

Важные инварианты

absolute потребляет сначала младший, затем старший байт
полученный 16-битный адрес передаётся напрямую в sta
$8D продвигает PC на три байта, включая опкод
сохранение A не изменяет Zero и Negative

Распространённое заблуждение

Два байта операнда кодируют один адрес назначения в формате little-endian; это не два значения для записи, и их нельзя читать как big-endian.

Вне рамок

индексированные опкоды STA с абсолютной адресацией
изменения в absolute или sta
тайминги циклов

Запустить этот урок

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

Пример реализации

Полная реализация примера

# emulator/cpu/opcodes.py
def sta_absolute(cpu) -> None:
    address = absolute(cpu)
    sta(cpu, address)


OPCODE_TABLE = {
    # Preserve existing entries.
    0x8D: sta_absolute,
}

Показать код тестаtest_024_STA_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
from tests.helpers import NEGATIVE_FLAG, ZERO_FLAG


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_sta_absolute_handler_exists_and_is_in_opcode_table():
    """
    Objective:
    Create in opcodes.py:
        def sta_absolute(cpu):
            addr = absolute(cpu)
            sta(cpu, addr)

    Then add:
        0x8D: sta_absolute
    """
    assert hasattr(opcodes, "sta_absolute")
    assert callable(opcodes.sta_absolute)
    assert list(inspect.signature(opcodes.sta_absolute).parameters) == ["cpu"]
    assert opcodes.OPCODE_TABLE[0x8D] is opcodes.sta_absolute


def test_opcode_8D_sta_absolute_stores_register_a():
    """
    Objective:
    8D 00 02 means STA $0200.
    Store register A into RAM $0200.
    """
    cpu, bus, rom = make_cpu_with_rom()
    rom.write(0x0000, 0x8D)
    rom.write(0x0001, 0x00)
    rom.write(0x0002, 0x02)

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

    assert bus.read(0x0200) == 0x42
    assert cpu.pc == 0x8003


def test_opcode_8D_sta_absolute_does_not_change_flags():
    """
    Objective:
    STA Absolute stores A but does not update flags.
    """
    cpu, bus, rom = make_cpu_with_rom()
    rom.write(0x0000, 0x8D)
    rom.write(0x0001, 0x00)
    rom.write(0x0002, 0x02)

    cpu.reset()
    cpu.a = 0x00
    cpu.p = NEGATIVE_FLAG
    cpu.step()

    assert bus.read(0x0200) == 0x00
    assert (cpu.p & ZERO_FLAG) == 0
    assert (cpu.p & NEGATIVE_FLAG) != 0

Тестовые функции (3)

test_sta_absolute_handler_exists_and_is_in_opcode_table
test_opcode_8D_sta_absolute_stores_register_a
test_opcode_8D_sta_absolute_does_not_change_flags