From 023f029dcfa488410e1261c200f07f6af46b8a48 Mon Sep 17 00:00:00 2001
From: George Rennie <georgerennie@gmail.com>
Date: Wed, 25 Sep 2024 16:20:29 +0100
Subject: [PATCH] opt_reduce: keep at least one input to $reduce_or/and cells

---
 passes/opt/opt_reduce.cc | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/passes/opt/opt_reduce.cc b/passes/opt/opt_reduce.cc
index c36a38dae..d27878fa7 100644
--- a/passes/opt/opt_reduce.cc
+++ b/passes/opt/opt_reduce.cc
@@ -89,6 +89,9 @@ struct OptReduceWorker
 		RTLIL::SigSpec new_sig_a(new_sig_a_bits);
 		new_sig_a.sort_and_unify();
 
+		if (GetSize(new_sig_a) == 0)
+			new_sig_a = (cell->type == ID($reduce_or)) ? State::S0 : State::S1;
+
 		if (new_sig_a != sig_a || sig_a.size() != cell->getPort(ID::A).size()) {
 			log("    New input vector for %s cell %s: %s\n", cell->type.c_str(), cell->name.c_str(), log_signal(new_sig_a));
 			did_something = true;