010. Banderas de LDA

Actualizar las banderas Zero y Negative tras el LDA inmediato.

Lección 10 de 356 · tests/chapter_01_cpu/test_010_LDA_flags.py

Archivo a actualizar

emulator/cpu/cpu.py

Ubicación

CPU.step, inside the existing $A9 immediate-LDA branch

Por qué existe este paso

El 6502 registra si un resultado de LDA es cero y si el bit 7 está activado. Las instrucciones de salto posteriores consumen estos bits de estado, así que tanto activarlos como desactivarlos debe funcionar.

Implementación de ejemplo completa

class CPU:
    # Keep the existing methods from Tests 004, 008, and 009.

    def step(self) -> None:
        opcode = self.fetch_byte()

        if opcode == 0xA9:
            self.a = self.fetch_byte()

            if self.a == 0:
                self.p |= 1 << 1
            else:
                self.p &= ~(1 << 1)

            if self.a & (1 << 7):
                self.p |= 1 << 7
            else:
                self.p &= ~(1 << 7)

            return

        raise NotImplementedError(
            f"Opcode {opcode:02X} not implemented"
        )

Tabla de resultados

A=$00 -> Z=1, N=0
A=$7F -> Z=0, N=0
A=$80 -> Z=0, N=1

Invariante importante

Solo se cambian los bits Zero y Negative; el bit Interrupt Disable del reinicio y cualquier otro bit de estado conservan sus valores anteriores.

Error común

"Negative" no realiza aritmética con signo aquí. Significa que el bit 7 del resultado de 8 bits está activado.

Fuera de alcance

constantes de bandera nombradas y la función auxiliar compartida, introducidas en el Test 012
LDA absoluto y de página cero
conteos de ciclos de instrucción

Ejecutar esta lección

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

Implementación de ejemplo

Implementación de ejemplo completa

class CPU:
    # Keep the existing methods from Tests 004, 008, and 009.

    def step(self) -> None:
        opcode = self.fetch_byte()

        if opcode == 0xA9:
            self.a = self.fetch_byte()

            if self.a == 0:
                self.p |= 1 << 1
            else:
                self.p &= ~(1 << 1)

            if self.a & (1 << 7):
                self.p |= 1 << 7
            else:
                self.p &= ~(1 << 7)

            return

        raise NotImplementedError(
            f"Opcode {opcode:02X} not implemented"
        )

Tabla de resultados

A=$00 -> Z=1, N=0
A=$7F -> Z=0, N=0
A=$80 -> Z=0, N=1

Ver código del testtest_010_LDA_flags.py

from emulator.cpu.cpu import CPU
from emulator.bus.cpu_bus import CpuBus
from emulator.memory.fake_rom import FakeROM

def test_lda_clears_zero_flag():
    """Now it's time configure LDA flags
    Ensure that zero flag is unset (clear)

    If result == 0 -> Flag Zero is set 

    7  bit  0
    ---- ----
    NV1B DIZC
    |||| ||||
    |||| |||+- Carry
    |||| ||+-- Zero
    |||| |+--- Interrupt Disable
    |||| +---- Decimal
    |||+------ (No CPU effect; see: the B flag)
    ||+------- (No CPU effect; always pushed as 1)
    |+-------- Overflow
    +--------- Negative
    
    Pseudocode:
    if LDA:
      if self.a == 0:
        set flag Z
     else: 
        clear flag Z

    """
    rom = FakeROM()
    
    rom.write(0x7FFC, 0x00)
    rom.write(0x7FFD, 0x80)

    rom.write(0x0000, 0xA9)
    rom.write(0x0001, 0x42)

    bus = CpuBus(program_rom=rom)
    cpu = CPU(bus)

    cpu.reset()
    cpu.step() 

    assert cpu.a == 0x42
    assert (cpu.p & (1 << 1)) == 0 # Flag Zero is clear (0)


def test_lda_sets_zero_flag():
    """
    Ensure that zero flag is set

    if self.a == 0 -> set flag Z else Z is cleared
    Pseudocode:
    if LDA:
     if self.a == 0:
        set flag Z
     else: 
        clear flag Z

    """
    rom = FakeROM()
    
    rom.write(0x7FFC, 0x00)
    rom.write(0x7FFD, 0x80)

    rom.write(0x0000, 0xA9)
    rom.write(0x0001, 0x00)

    bus = CpuBus(program_rom=rom)
    cpu = CPU(bus)

    cpu.reset()
    cpu.step() 

    assert cpu.a == 0x00
    assert (cpu.p & (1 << 1)) != 0 # Flag Zero is set

def test_lda_sets_negative_flag():
    """
    Ensure that Negastive Flag is set on bit 7 active
    for cpu.a
    """
    rom = FakeROM()
    
    rom.write(0x7FFC, 0x00)
    rom.write(0x7FFD, 0x80)
                            #        bit 7
    rom.write(0x0000, 0xA9) #         v
    rom.write(0x0001, 0x80) # 0x80 = b1000_0000

    bus = CpuBus(program_rom=rom)
    cpu = CPU(bus)

    cpu.reset()
    cpu.step()

    assert cpu.a == 0x80
    assert (cpu.p & ( 1 << 7 )) != 0 # N 


def test_lda_clears_negative_flag():
    """
    Ensure that Negastive Flag is unset on bit 7 inactive
    for cpu.a
    """
    rom = FakeROM()
    
    rom.write(0x7FFC, 0x00)
    rom.write(0x7FFD, 0x80)
                            #        bit 7
    rom.write(0x0000, 0xA9) #         v
    rom.write(0x0001, 0x7F) # 0x00 = b0111_1111

    bus = CpuBus(program_rom=rom)
    cpu = CPU(bus)

    cpu.reset()
    cpu.step()

    assert cpu.a == 0x7F
    assert (cpu.p & ( 1 << 7 )) == 0 # N = 0

Funciones de test (4)

test_lda_clears_zero_flag
test_lda_sets_zero_flag
test_lda_sets_negative_flag
test_lda_clears_negative_flag