207. Неявные опкоды управления флагами

подключить неявные опкоды управления флагами.

Урок 207 из 356 · tests/chapter_01_cpu/test_207_flag_control_implied_opcodes.py

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

На этом шаге обновите импорт инструкций и `OPCODE_TABLE в emulator/cpu/opcodes.py. Функции из шага 206 становятся исполняемыми через emulator/cpu/cpu.py::CPU.step`.

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

# Add clc, sec, cli, sei, cld, sed, clv to the instruction import.
OPCODE_TABLE = {
    # existing entries
    0x18: clc,
    0x38: sec,
    0x58: cli,
    0x78: sei,
    0xD8: cld,
    0xF8: sed,
    0xB8: clv,
}

Инвариант: каждое отображение диспетчеризует напрямую в операцию с одним аргументом; каждая инструкция занимает один байт, поэтому одна лишь выборка опкода продвигает PC к следующему байту, и меняется только целевой флаг. Распространённое заблуждение — добавить режим адресации, потребляющий операнд, либо перепутать местами пары опкодов установки/сброса.

Вне рамок: NOP и опкод $EA относятся к шагам 208-209, а семантика доставки прерываний — это более позднее поведение.

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

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

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

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

# Add clc, sec, cli, sei, cld, sed, clv to the instruction import.
OPCODE_TABLE = {
    # existing entries
    0x18: clc,
    0x38: sec,
    0x58: cli,
    0x78: sei,
    0xD8: cld,
    0xF8: sed,
    0xB8: clv,
}

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

import inspect

import pytest

from emulator.bus.cpu_bus import CpuBus
from emulator.cpu import opcodes
from emulator.cpu.cpu import CPU
from emulator.cpu.instructions import clc, cld, cli, clv, sec, sed, sei
from emulator.memory.fake_rom import FakeROM


CARRY_FLAG = 1 << 0
INTERRUPT_DISABLE_FLAG = 1 << 2
DECIMAL_FLAG = 1 << 3
OVERFLOW_FLAG = 1 << 6


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


@pytest.mark.parametrize(
    ("opcode", "instruction"),
    [
        (0x18, clc),
        (0x38, sec),
        (0x58, cli),
        (0x78, sei),
        (0xD8, cld),
        (0xF8, sed),
        (0xB8, clv),
    ],
)
def test_flag_control_opcodes_are_in_opcode_table(opcode, instruction):
    """Objective: each official flag-control opcode maps to the right function."""
    assert opcodes.OPCODE_TABLE[opcode] is instruction


@pytest.mark.parametrize("instruction", [clc, sec, cli, sei, cld, sed, clv])
def test_flag_control_instruction_signatures_take_only_cpu(instruction):
    """Objective: implied instructions do not need operand arguments."""
    assert list(inspect.signature(instruction).parameters) == ["cpu"]


@pytest.mark.parametrize(
    ("opcode", "initial_p", "expected_flag", "flag_mask"),
    [
        (0x18, CARRY_FLAG, False, CARRY_FLAG),
        (0x38, 0x00, True, CARRY_FLAG),
        (0x58, INTERRUPT_DISABLE_FLAG, False, INTERRUPT_DISABLE_FLAG),
        (0x78, 0x00, True, INTERRUPT_DISABLE_FLAG),
        (0xD8, DECIMAL_FLAG, False, DECIMAL_FLAG),
        (0xF8, 0x00, True, DECIMAL_FLAG),
        (0xB8, OVERFLOW_FLAG, False, OVERFLOW_FLAG),
    ],
)
def test_flag_control_opcodes_change_their_target_flag(
    opcode,
    initial_p,
    expected_flag,
    flag_mask,
):
    """Objective: executing each opcode changes exactly its intended flag."""
    cpu, bus, rom = make_cpu_with_rom()
    rom.write(0x0000, opcode)

    cpu.reset()
    cpu.p = initial_p
    cpu.step()

    assert bool(cpu.p & flag_mask) is expected_flag


def test_flag_control_opcodes_do_not_fetch_operand_bytes():
    """
    Objective:
    Flag-control opcodes are one byte long.

    The byte after the opcode is the next instruction, not an operand.
    """
    cpu, bus, rom = make_cpu_with_rom()
    rom.write(0x0000, 0x38)  # SEC
    rom.write(0x0001, 0x99)

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

    assert cpu.flags.get_carry_flag() is True
    assert cpu.pc == 0x8001

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

test_flag_control_opcodes_are_in_opcode_table
test_flag_control_instruction_signatures_take_only_cpu
test_flag_control_opcodes_change_their_target_flag
test_flag_control_opcodes_do_not_fetch_operand_bytes