125. Instruction or a

implementar el comportamiento de ORA independiente del direccionamiento.

Lección 125 de 356 · tests/chapter_01_cpu/test_125_instruction_or_a.py

Por qué existe este paso

Una única primitiva de ORA orientada a valores centraliza el resultado del OR inclusivo y las reglas de flags antes de que los manejadores de opcode introduzcan las formas de direccionamiento individuales.

En este paso, tras completar AND en las lecciones 116-124, añade solo este símbolo a `emulator/cpu/instructions.py`:

def or_a(cpu: CPU, value: int):
    result_8 = (cpu.a | value) & 0xFF

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

    cpu.a = result_8

La API orientada a valores mantiene la semántica de ORA independiente del direccionamiento. El resultado de ocho bits se almacena en A; Zero refleja la igualdad con cero y Negative refleja el bit 7 del resultado. Carry, Overflow, la memoria, X, Y y PC son invariantes porque `or_a` no los toca.

Concepto erróneo: ORA significa OR bit a bit inclusivo, no XOR, y `value no es una dirección de bus. Fuera de alcance: importar or_a en emulator/cpu/opcodes.py` y todos los manejadores de ORA (lecciones 126-133), además de los símbolos EOR y BIT introducidos en las lecciones 134 y 143.

Ejecutar esta lección

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

Implementación de ejemplo

Por qué existe este paso

def or_a(cpu: CPU, value: int):
    result_8 = (cpu.a | value) & 0xFF

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

    cpu.a = result_8

Ver código del testtest_125_instruction_or_a.py

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


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


def test_or_a_stores_bitwise_or_result_in_accumulator():
    """Objective: A becomes A | value."""
    cpu = make_cpu()
    cpu.a = 0b1100_0000

    or_a(cpu, 0b0000_1010)

    assert cpu.a == 0b1100_1010


def test_or_a_sets_zero_flag_when_result_is_zero():
    """Objective: when A | value is 0, Zero flag is set."""
    cpu = make_cpu()
    cpu.a = 0x00

    or_a(cpu, 0x00)

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


def test_or_a_sets_negative_flag_from_result_bit_7():
    """Objective: if result bit 7 is set, Negative flag is set."""
    cpu = make_cpu()
    cpu.a = 0x01

    or_a(cpu, 0x80)

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


def test_or_a_does_not_modify_carry_or_overflow_flags():
    """Objective: ORA only updates Z/N; Carry and Overflow are preserved."""
    cpu = make_cpu()
    cpu.a = 0x00
    cpu.p |= CARRY_FLAG
    cpu.p |= OVERFLOW_FLAG

    or_a(cpu, 0x0F)

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

Funciones de test (4)

test_or_a_stores_bitwise_or_result_in_accumulator
test_or_a_sets_zero_flag_when_result_is_zero
test_or_a_sets_negative_flag_from_result_bit_7
test_or_a_does_not_modify_carry_or_overflow_flags