211. Форматтер трассировки CPU

добавьте `emulator/debug/cpu_trace.py::format_cpu_trace`.

Урок 211 из 356 · tests/chapter_01_cpu/test_211_cpu_trace_formatter.py

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

На этом шаге добавьте форматтер, который обеспечивает наблюдаемость до сравнения с ROM-логом, не связывая отладку с выполнением CPU. Его строка сообщает следующий PC/опкод и значения регистров A, X, Y, P и S до выполнения:

8000 A9 A:00 X:00 Y:00 P:04 S:FD

Предлагаемая реализация

from __future__ import annotations
from typing import TYPE_CHECKING

if TYPE_CHECKING:
    from emulator.cpu.cpu import CPU


def format_cpu_trace(cpu: CPU):
    opcode = cpu.bus.read(cpu.pc)
    return f"{cpu.pc:04X} {opcode:02X} A:{cpu.a:02X} X:{cpu.x:02X} Y:{cpu.y:02X} P:{cpu.p:02X} S:{cpu.s:02X}"

Инварианты: форматирование выполняет одно чтение шины без продвижения, возвращает поля в верхнем регистре шестнадцатеричной системы фиксированной ширины и оставляет PC, регистры и флаги неизменными. Не используйте CPU.fetch_byte() и не вызывайте CPU.step(); оба варианта смешивают наблюдение с выполнением, а fetch_byte() продвигает PC. Вне рамок: поддержка ROM и картриджа относится к последующим пронумерованным шагам.

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

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

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

Предлагаемая реализация

from __future__ import annotations
from typing import TYPE_CHECKING

if TYPE_CHECKING:
    from emulator.cpu.cpu import CPU


def format_cpu_trace(cpu: CPU):
    opcode = cpu.bus.read(cpu.pc)
    return f"{cpu.pc:04X} {opcode:02X} A:{cpu.a:02X} X:{cpu.x:02X} Y:{cpu.y:02X} P:{cpu.p:02X} S:{cpu.s:02X}"

Показать код тестаtest_211_cpu_trace_formatter.py

import inspect
from pathlib import Path

from emulator.debug.cpu_trace import format_cpu_trace
from tests.helpers import load_program, make_cpu_with_rom, write_reset_vector


def test_cpu_trace_file_exists_inside_emulator_debug():
    """
    Objective:
    Create the trace formatter in emulator/debug/cpu_trace.py.

    Why here:
    Debug tracing is observability, not CPU execution logic. Keeping it outside
    cpu.py prevents tracing concerns from coupling to instruction behavior.
    """
    assert Path("emulator/debug/cpu_trace.py").exists()


def test_format_cpu_trace_function_exists_and_takes_cpu():
    """Objective: expose format_cpu_trace(cpu) as a small read-only formatter."""
    assert callable(format_cpu_trace)
    assert list(inspect.signature(format_cpu_trace).parameters) == ["cpu"]


def test_format_cpu_trace_outputs_minimal_cpu_state_before_execution():
    """
    Objective:
    Trace should show the opcode at current PC and CPU registers before step().
    """
    cpu, bus, rom = make_cpu_with_rom()
    write_reset_vector(rom, 0x8000)
    load_program(rom, 0x8000, [0xA9, 0x42])

    cpu.reset()
    cpu.a = 0x00
    cpu.x = 0x11
    cpu.y = 0x22
    cpu.p = 0x04
    cpu.s = 0xFD

    trace = format_cpu_trace(cpu)

    assert trace == "8000 A9 A:00 X:11 Y:22 P:04 S:FD"


def test_format_cpu_trace_is_read_only():
    """
    Objective:
    Formatting a trace must not mutate CPU state.

    Failure mode this catches:
    Calling cpu.fetch_byte() inside the trace formatter would increment PC.
    """
    cpu, bus, rom = make_cpu_with_rom()
    write_reset_vector(rom, 0x8000)
    load_program(rom, 0x8000, [0xEA])

    cpu.reset()
    cpu.a = 0x12
    cpu.x = 0x34
    cpu.y = 0x56
    cpu.p = 0x78
    cpu.s = 0x9A

    before = (cpu.pc, cpu.a, cpu.x, cpu.y, cpu.p, cpu.s)
    format_cpu_trace(cpu)
    after = (cpu.pc, cpu.a, cpu.x, cpu.y, cpu.p, cpu.s)

    assert after == before


def test_format_cpu_trace_changes_after_cpu_step_because_cpu_state_changed():
    """
    Objective:
    Trace does not execute instructions, but it should reflect state changes made
    by normal CPU.step() calls.

    Program:
        LDA #$42
        NOP
    """
    cpu, bus, rom = make_cpu_with_rom()
    write_reset_vector(rom, 0x8000)
    load_program(rom, 0x8000, [0xA9, 0x42, 0xEA])

    cpu.reset()

    first_trace = format_cpu_trace(cpu)
    cpu.step()
    second_trace = format_cpu_trace(cpu)

    assert first_trace == "8000 A9 A:00 X:00 Y:00 P:04 S:FD"
    assert second_trace == "8002 EA A:42 X:00 Y:00 P:04 S:FD"

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

test_cpu_trace_file_exists_inside_emulator_debug
test_format_cpu_trace_function_exists_and_takes_cpu
test_format_cpu_trace_outputs_minimal_cpu_state_before_execution
test_format_cpu_trace_is_read_only
test_format_cpu_trace_changes_after_cpu_step_because_cpu_state_changed