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

Compare commits

base: programmerjake:a63d2990efe9fab05f9eb45f8bf5cb2a6f0ecf39
Branches Tags
programmerjake:master
programmerjake:decode-and-test-harness
libre-chip:master
libre-chip:wip-splitting-reg-alloc
..
compare: programmerjake:c8a4c576d38564bdb24876ff586bc2fe90513d6d
Branches Tags
programmerjake:decode-and-test-harness
programmerjake:master
libre-chip:master
libre-chip:wip-splitting-reg-alloc

2 commits
a63d2990ef ... c8a4c576d3

Author SHA1 Message Date
Jacob Lifshay
c8a4c576d3
WIP: adding test::decode_and_run_single_insn 2026-05-31 20:30:59 -07:00
Jacob Lifshay
29622be160
ExecuteToUnitInterface: add guarantee that if unit_outputs_ready is false, then enqueue.data is HdlNone 2026-05-31 20:30:59 -07:00
1 changed files with 1 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

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

@ -217,6 +217,7 @@ pub struct UnitMOpCantCauseCancel<C: PhantomConstGet<CpuConfig>> {
pub struct ExecuteToUnitInterface<C: PhantomConstGet<CpuConfig>> { pub struct ExecuteToUnitInterface<C: PhantomConstGet<CpuConfig>> {
pub global_state: GlobalState, pub global_state: GlobalState,
/// Enqueues happen in program order, they are not re-ordered by out-of-order execution. /// Enqueues happen in program order, they are not re-ordered by out-of-order execution.
/// if [`Self::unit_outputs_ready`] is `false`, then `enqueue.data` is always [`HdlNone`].
pub enqueue: ReadyValid<UnitEnqueue<C>>, pub enqueue: ReadyValid<UnitEnqueue<C>>,
/// if [`Self::unit_outputs_ready`] is `false`, then this is always [`HdlNone`] /// if [`Self::unit_outputs_ready`] is `false`, then this is always [`HdlNone`]
pub inputs_ready: HdlOption<UnitInputsReady<C>>, pub inputs_ready: HdlOption<UnitInputsReady<C>>,