086. Instrucción dey

Añadir el comportamiento de la instrucción DEY.

Lección 86 de 356 · tests/chapter_01_cpu/test_086_instruction_dey.py

En este paso, añade únicamente dey; el Test 087 conecta el opcode una vez que el comportamiento ya existe.

Ubicación y símbolo en producción

emulator/cpu/instructions.py: `dey(cpu: CPU)`

Por qué existe este paso

DEY es responsable del decremento del registro Y y de sus efectos en el estado, independientemente de la decodificación. Se requiere el enmascarado para modelar el subdesbordamiento en un registro de 8 bits.

Implementación sugerida

def dey(cpu: CPU):
    result = cpu.y - 1
    result_8 = result & 0xFF

    # Set flags
    cpu.flags.set_negative_flag((result_8 & 0b1000_0000) != 0)
    cpu.flags.set_zero_flag(result_8 == 0)

    cpu.y = result_8

Invariantes importantes

Y da la vuelta de 0x00 a 0xFF
Zero y Negative reflejan el resultado enmascarado de 8 bits
Carry y Overflow se preservan; no se accede a memoria

Concepto erróneo habitual

DEY no es SBC aplicado a Y y no debe usar Carry como entrada de préstamo.

Fuera de alcance

importar dey y mapear el opcode 0x88 (test 087)
el comportamiento y despacho previos de INY
el trabajo posterior de ASL y el temporizado de ciclos

Ejecutar esta lección

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

Implementación de ejemplo

Implementación sugerida

def dey(cpu: CPU):
    result = cpu.y - 1
    result_8 = result & 0xFF

    # Set flags
    cpu.flags.set_negative_flag((result_8 & 0b1000_0000) != 0)
    cpu.flags.set_zero_flag(result_8 == 0)

    cpu.y = result_8

Ver código del testtest_086_instruction_dey.py

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


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


def test_dey_decrements_y_register():
    """Objective: Y decreases by one and remains an 8-bit register value."""
    cpu = make_cpu()
    cpu.y = 0x10

    dey(cpu)

    assert cpu.y == 0x0F


def test_dey_wraps_from_00_to_ff_and_sets_negative_flag():
    """Objective: 0x00 - 1 wraps to 0xFF and sets Negative flag."""
    cpu = make_cpu()
    cpu.y = 0x00

    dey(cpu)

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


def test_dey_sets_zero_flag_when_result_is_zero():
    """Objective: 0x01 - 1 becomes 0x00 and sets Zero flag."""
    cpu = make_cpu()
    cpu.y = 0x01

    dey(cpu)

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


def test_dey_does_not_modify_carry_or_overflow_flags():
    """Objective: DEY updates Z/N only; Carry and Overflow are preserved."""
    cpu = make_cpu()
    cpu.y = 0x10
    cpu.p |= CARRY_FLAG
    cpu.p |= OVERFLOW_FLAG

    dey(cpu)

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

Funciones de test (4)

test_dey_decrements_y_register
test_dey_wraps_from_00_to_ff_and_sets_negative_flag
test_dey_sets_zero_flag_when_result_is_zero
test_dey_does_not_modify_carry_or_overflow_flags