From 2a5fde3661902ebaf32c29a8769f00349aa6102b Mon Sep 17 00:00:00 2001 From: "Emil J. Tywoniak" Date: Wed, 10 Dec 2025 18:46:44 +0100 Subject: [PATCH] proc_mux: copy mux src to Y port --- passes/proc/proc_mux.cc | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/passes/proc/proc_mux.cc b/passes/proc/proc_mux.cc index 0a1e1a47d..45fb417c5 100644 --- a/passes/proc/proc_mux.cc +++ b/passes/proc/proc_mux.cc @@ -514,8 +514,10 @@ RTLIL::SigSpec signal_to_mux_tree(MuxTreeContext ctx) result = mux_gen_ctx.gen_mux(value, result); } } - if (mux_gen_ctx.last_mux_cell) { - mux_gen_ctx.last_mux_cell->set_strpool_attribute(ID::src, case_sources); + if (auto* mux = mux_gen_ctx.last_mux_cell) { + mux->set_strpool_attribute(ID::src, case_sources); + log_assert(mux->getPort(ID::Y).is_wire()); + mux->getPort(ID::Y).as_wire()->transfer_src_attribute(mux); } }