From 29622be160af5c7cb04b527eb9eb747bfb351e1e Mon Sep 17 00:00:00 2001
From: Jacob Lifshay <programmerjake@gmail.com>
Date: Sun, 31 May 2026 20:29:34 -0700
Subject: [PATCH] ExecuteToUnitInterface: add guarantee that if
 `unit_outputs_ready` is false, then `enqueue.data` is HdlNone

---
 crates/cpu/src/rename_execute_retire.rs | 1 +
 1 file changed, 1 insertion(+)

diff --git a/crates/cpu/src/rename_execute_retire.rs b/crates/cpu/src/rename_execute_retire.rs
index f981021..7258d70 100644
--- a/crates/cpu/src/rename_execute_retire.rs
+++ b/crates/cpu/src/rename_execute_retire.rs
@@ -217,6 +217,7 @@ pub struct UnitMOpCantCauseCancel<C: PhantomConstGet<CpuConfig>> {
 pub struct ExecuteToUnitInterface<C: PhantomConstGet<CpuConfig>> {
     pub global_state: GlobalState,
     /// 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>>,
     /// if [`Self::unit_outputs_ready`] is `false`, then this is always [`HdlNone`]
     pub inputs_ready: HdlOption<UnitInputsReady<C>>,