134. Instruction or e

implementar el comportamiento de EOR independiente del direccionamiento.

Lección 134 de 356 · tests/chapter_01_cpu/test_134_instruction_or_e.py

Por qué existe este paso

Centralizar la semántica del OR exclusivo en una primitiva orientada al valor permite que todos los opcodes de EOR posteriores compartan el mismo comportamiento del acumulador y de las flags Zero/Negative.

En este paso, después de todo el trabajo de ORA, añade exactamente este símbolo a `emulator/cpu/instructions.py`:

def or_e(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 firma orientada al valor separa la semántica de EOR del direccionamiento. El XOR se enmascara a ocho bits, se almacena en A, y se usa para derivar Zero y Negative. Carry, Overflow, la memoria, X, Y y PC son invariantes porque `or_e` no los toca.

Concepto erróneo: a pesar del nombre del auxiliar `or_e, EOR es un OR exclusivo (^), no un OR inclusivo, y value no es una dirección. Fuera de alcance: importar or_e en emulator/cpu/opcodes.py`, todos los opcodes de EOR (135-142), y BIT (143-145).

Ejecutar esta lección

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

Implementación de ejemplo

Por qué existe este paso

def or_e(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_134_instruction_or_e.py

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


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


def test_or_e_stores_exclusive_or_result_in_accumulator():
    """Objective: A becomes A ^ value."""
    cpu = make_cpu()
    cpu.a = 0b1100_1010

    or_e(cpu, 0b1010_1100)

    assert cpu.a == 0b0110_0110


def test_or_e_sets_zero_flag_when_result_is_zero():
    """Objective: when A ^ value is 0, Zero flag is set."""
    cpu = make_cpu()
    cpu.a = 0xAA

    or_e(cpu, 0xAA)

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


def test_or_e_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_e(cpu, 0x81)

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


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

    or_e(cpu, 0x0F)

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

Funciones de test (4)

test_or_e_stores_exclusive_or_result_in_accumulator
test_or_e_sets_zero_flag_when_result_is_zero
test_or_e_sets_negative_flag_from_result_bit_7
test_or_e_does_not_modify_carry_or_overflow_flags