programmerjake/cpu
1
0
Fork 0
forked from libre-chip/cpu
Code Pull requests Activity

add MemoryOperationStart.rw_mask

Browse source
This commit is contained in:
Jacob Lifshay 2026-02-25 00:08:42 -08:00
parent cd7823e81d
commit 3fcd1c7338
Signed by: programmerjake
SSH key fingerprint: SHA256:HnFTLGpSm4Q4Fj502oCFisjZSoakwEuTsJJMSke63RQ
4 changed files with 919 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

1
crates/cpu/src/fetch.rs
View file

@ -452,6 +452,7 @@ impl<C: PhantomConstCpuConfig> L1ICacheStateSim<C> {
mem_op_ty.write_data.element().zero(),
mem_op_ty.write_data.len(),
),
rw_mask: repeat(true, mem_op_ty.write_data.len()),
fetch_block_id,
config,
},

1
crates/cpu/src/main_memory_and_io.rs
View file

@ -21,6 +21,7 @@ pub struct MemoryOperationStart<C: PhantomConstGet<CpuConfig> + PhantomConstCpuC
pub kind: MemoryOperationKind,
pub addr: UInt<64>,
pub write_data: ArrayType<UInt<8>, CpuConfigFetchWidthInBytes<C>>,
pub rw_mask: ArrayType<Bool, CpuConfigFetchWidthInBytes<C>>,
pub fetch_block_id: UInt<{ FETCH_BLOCK_ID_WIDTH }>, // for debugging
pub config: C,
}

912
crates/cpu/tests/expected/fetch.vcd generated
View file

File diff suppressed because it is too large Load diff

5
crates/cpu/tests/fetch.rs
View file

@ -234,6 +234,7 @@ fn mock_memory(config: PhantomConst<CpuConfig>) {
kind,
addr,
write_data: _,
rw_mask,
fetch_block_id,
config: _,
} = memory_operation_start;
@ -242,6 +243,10 @@ fn mock_memory(config: PhantomConst<CpuConfig>) {
MemoryOperationKind::Read => {}
MemoryOperationKind::Write => unreachable!(),
}
assert!(
rw_mask.iter().all(|v| **v),
"rw_mask should be all true: {rw_mask:?}"
);
let entry = #[hdl(sim)]
MemoryQueueEntry {
addr,