203. 指令 tsx

实现 TSX 操作。

第 203 / 356 · tests/chapter_01_cpu/test_203_instruction_tsx.py

本步骤存在的原因

在本步骤中，添加 `emulator/cpu/instructions.py::tsx`。TSX 与步骤 201 互补，它将栈指针字节复制到 X，并根据复制得到的值推导出两个结果标志。

建议实现

def tsx(cpu: CPU):
    cpu.x = cpu.s
    cpu.flags.set_zero_flag(cpu.x == 0)
    cpu.flags.set_negative_flag((cpu.x & 0b1000_0000) != 0)

不变式：S、A、Y、PC、内存以及除 Zero 和 Negative 之外的状态位均保持不变。Zero 精确地在值为 $00 时置位；Negative 跟随第 7 位，而不是第 6 位。常见的误解是像对待 TXS 那样对待 TSX，保留所有标志，或者在复制 S 之前就根据 X 计算标志。

范围之外：在 `emulator/cpu/opcodes.py` 中导入 TSX 并映射隐含寻址操作码 $BA 属于步骤 204；不添加其他栈相关 API。

运行本课

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

示例实现

建议实现

def tsx(cpu: CPU):
    cpu.x = cpu.s
    cpu.flags.set_zero_flag(cpu.x == 0)
    cpu.flags.set_negative_flag((cpu.x & 0b1000_0000) != 0)

查看测试代码test_203_instruction_tsx.py

from emulator.cpu.instructions import tsx
from tests.helpers import make_cpu


CARRY_FLAG = 1 << 0
ZERO_FLAG = 1 << 1
OVERFLOW_FLAG = 1 << 6
NEGATIVE_FLAG = 1 << 7


def test_tsx_copies_stack_pointer_to_x():
    """Objective: TSX sets X to the current value of S."""
    cpu = make_cpu()
    cpu.s = 0x42
    cpu.x = 0x00

    tsx(cpu)

    assert cpu.x == 0x42


def test_tsx_does_not_modify_stack_pointer():
    """Objective: TSX reads S but leaves S unchanged."""
    cpu = make_cpu()
    cpu.s = 0xFD
    cpu.x = 0x00

    tsx(cpu)

    assert cpu.s == 0xFD


def test_tsx_sets_zero_flag_when_stack_pointer_is_zero():
    """Objective: TSX updates Zero from the copied S value."""
    cpu = make_cpu()
    cpu.s = 0x00
    cpu.x = 0x99
    cpu.flags.set_zero_flag(False)

    tsx(cpu)

    assert cpu.x == 0x00
    assert cpu.flags.get_zero_flag() is True


def test_tsx_clears_zero_flag_when_stack_pointer_is_not_zero():
    """Objective: TSX clears Zero when copied S is non-zero."""
    cpu = make_cpu()
    cpu.s = 0x01
    cpu.flags.set_zero_flag(True)

    tsx(cpu)

    assert cpu.x == 0x01
    assert cpu.flags.get_zero_flag() is False


def test_tsx_sets_negative_flag_when_bit_7_of_stack_pointer_is_set():
    """Objective: TSX updates Negative from bit 7 of copied S."""
    cpu = make_cpu()
    cpu.s = 0x80
    cpu.flags.set_negative_flag(False)

    tsx(cpu)

    assert cpu.x == 0x80
    assert cpu.flags.get_negative_flag() is True


def test_tsx_does_not_set_negative_flag_for_bit_6_only():
    """
    Objective:
    Catch the common mask bug: Negative is bit 7, not bit 6.

    $40 is binary 0100_0000, so Negative must be clear.
    """
    cpu = make_cpu()
    cpu.s = 0x40
    cpu.flags.set_negative_flag(True)

    tsx(cpu)

    assert cpu.x == 0x40
    assert cpu.flags.get_negative_flag() is False


def test_tsx_preserves_flags_other_than_zero_and_negative():
    """Objective: TSX updates only Zero and Negative flags."""
    cpu = make_cpu()
    cpu.s = 0x01
    cpu.p = CARRY_FLAG | ZERO_FLAG | OVERFLOW_FLAG | NEGATIVE_FLAG

    tsx(cpu)

    assert cpu.flags.get_zero_flag() is False
    assert cpu.flags.get_negative_flag() is False
    assert (cpu.p & CARRY_FLAG) != 0
    assert (cpu.p & OVERFLOW_FLAG) != 0

测试函数 (7)

test_tsx_copies_stack_pointer_to_x
test_tsx_does_not_modify_stack_pointer
test_tsx_sets_zero_flag_when_stack_pointer_is_zero
test_tsx_clears_zero_flag_when_stack_pointer_is_not_zero
test_tsx_sets_negative_flag_when_bit_7_of_stack_pointer_is_set
test_tsx_does_not_set_negative_flag_for_bit_6_only
test_tsx_preserves_flags_other_than_zero_and_negative