159. Instrucción cpy

implementa el comportamiento de CPY independiente del direccionamiento.

Lección 159 de 356 · tests/chapter_01_cpu/test_159_instruction_cpy.py

Por qué existe este paso

CPY necesita una primitiva de comparación orientada a valores para que todas las formas de direccionamiento usen las mismas reglas de flags de ausencia de préstamo, igualdad y resta con wraparound.

En este paso, tras CPX, añade exactamente este símbolo a `emulator/cpu/instructions.py`:

def cpy(cpu: CPU, value: int):
    result_8 = (cpu.y - value) & 0xFF

    # Flags:
    cpu.flags.set_carry_flag(cpu.y >= value)
    cpu.flags.set_zero_flag(cpu.y == value)
    cpu.flags.set_negative_flag((result_8 & 0b1000_0000) !=0)

La resta hace wraparound únicamente para derivar Negative; Carry representa la ausencia de préstamo sin signo y Zero representa la igualdad. Y, el operando, la memoria, A, X, PC y Overflow son invariantes porque CPY no almacena ningún resultado de la resta.

Concepto erróneo: CPY ni consume el flag Carry existente ni escribe de vuelta en Y. Fuera de alcance: importar `cpy en emulator/cpu/opcodes.py` y sus handlers inmediato, de página cero y absoluto (lecciones 160-162).

Ejecutar esta lección

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

Implementación de ejemplo

Por qué existe este paso

def cpy(cpu: CPU, value: int):
    result_8 = (cpu.y - value) & 0xFF

    # Flags:
    cpu.flags.set_carry_flag(cpu.y >= value)
    cpu.flags.set_zero_flag(cpu.y == value)
    cpu.flags.set_negative_flag((result_8 & 0b1000_0000) !=0)

Ver código del testtest_159_instruction_cpy.py

from emulator.cpu.instructions import cpy
from tests.helpers import NEGATIVE_FLAG, ZERO_FLAG, make_cpu


CARRY_FLAG = 1 << 0
OVERFLOW_FLAG = 1 << 6


def test_cpy_sets_carry_when_y_is_greater_than_value():
    """Objective: Carry means Y >= value for CPY."""
    cpu = make_cpu()
    cpu.y = 0x10

    cpy(cpu, 0x01)

    assert (cpu.p & CARRY_FLAG) != 0
    assert (cpu.p & ZERO_FLAG) == 0
    assert (cpu.p & NEGATIVE_FLAG) == 0


def test_cpy_sets_carry_and_zero_when_y_equals_value():
    """Objective: Y == value sets both Carry and Zero."""
    cpu = make_cpu()
    cpu.y = 0x10

    cpy(cpu, 0x10)

    assert (cpu.p & CARRY_FLAG) != 0
    assert (cpu.p & ZERO_FLAG) != 0
    assert (cpu.p & NEGATIVE_FLAG) == 0


def test_cpy_clears_carry_and_sets_negative_when_y_is_less_than_value():
    """Objective: Y < value clears Carry; wrapped subtraction can set Negative."""
    cpu = make_cpu()
    cpu.y = 0x01

    cpy(cpu, 0x02)

    assert (cpu.p & CARRY_FLAG) == 0
    assert (cpu.p & ZERO_FLAG) == 0
    assert (cpu.p & NEGATIVE_FLAG) != 0


def test_cpy_does_not_modify_y_or_overflow_flag():
    """Objective: CPY only updates C/Z/N; Y and Overflow are preserved."""
    cpu = make_cpu()
    cpu.y = 0x10
    cpu.p |= OVERFLOW_FLAG

    cpy(cpu, 0x01)

    assert cpu.y == 0x10
    assert (cpu.p & OVERFLOW_FLAG) != 0

Funciones de test (4)

test_cpy_sets_carry_when_y_is_greater_than_value
test_cpy_sets_carry_and_zero_when_y_equals_value
test_cpy_clears_carry_and_sets_negative_when_y_is_less_than_value
test_cpy_does_not_modify_y_or_overflow_flag