084. Instrucción iny

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

Lección 84 de 356 · tests/chapter_01_cpu/test_084_instruction_iny.py

En este paso, añade únicamente iny, antes de su mapeo de opcode en el Test 085 y del trabajo de DEY en los Tests 086-087.

Ubicación y símbolo en producción

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

Por qué existe este paso

INY incrementa el registro Y independientemente de la decodificación del opcode y debe emular un registro de 8 bits pese a los enteros sin límite de Python.

Implementación sugerida

def iny(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 0xFF a 0x00
Zero y Negative se calculan a partir del resultado enmascarado
Carry, Overflow, la memoria y otros registros permanecen sin cambios

Concepto erróneo habitual

El incremento no activa Carry cuando Y da la vuelta; INY solo actualiza Z y N.

Fuera de alcance

el despacho del opcode 0xC8 (test 085)
el comportamiento y despacho de DEY (tests 086-087)
el trabajo posterior de ASL y el temporizado de ciclos

Ejecutar esta lección

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

Implementación de ejemplo

Implementación sugerida

def iny(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_084_instruction_iny.py

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


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


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

    iny(cpu)

    assert cpu.y == 0x11


def test_iny_wraps_from_ff_to_00_and_sets_zero_flag():
    """Objective: 0xFF + 1 wraps to 0x00 and sets Zero flag."""
    cpu = make_cpu()
    cpu.y = 0xFF

    iny(cpu)

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


def test_iny_sets_negative_flag_when_result_has_bit_7_set():
    """Objective: 0x7F + 1 becomes 0x80, so Negative flag is set."""
    cpu = make_cpu()
    cpu.y = 0x7F

    iny(cpu)

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


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

    iny(cpu)

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

Funciones de test (4)

test_iny_increments_y_register
test_iny_wraps_from_ff_to_00_and_sets_zero_flag
test_iny_sets_negative_flag_when_result_has_bit_7_set
test_iny_does_not_modify_carry_or_overflow_flags