Function writeback_write_int_to_x0

crates/virtual-machine/tests/vm_writeback.rs:27–42

()

#[test]
fn writeback_write_int_to_x0() {
    let mut regs = Registers::new();
    let mut csrs = CsrFile::new();

    let mem_result = MemResult::WriteInt {
        rd: 0,
        val: 42,
        next_pc: 0x8000_0004,
    };

    let next_pc = writeback(mem_result, &mut regs, &mut csrs).expect("writeback should succeed");

    // x0 must always be zero
    assert_eq!(regs.read_x(0), 0);
    assert_eq!(next_pc, 0x8000_0004);
}

// --- Writeback stage, floating-point register writes ---