From 38fab51fc1eea765f2a4892b9f7e13924f3038ce Mon Sep 17 00:00:00 2001
From: "Emil J. Tywoniak" <emil@tywoniak.eu>
Date: Wed, 8 Apr 2026 11:40:19 +0200
Subject: [PATCH] equiv_make: don't copy $input_port

---
 passes/equiv/equiv_make.cc | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/passes/equiv/equiv_make.cc b/passes/equiv/equiv_make.cc
index 602ad776d..5d5a96dcd 100644
--- a/passes/equiv/equiv_make.cc
+++ b/passes/equiv/equiv_make.cc
@@ -115,6 +115,8 @@ struct EquivMakeWorker
 			if ((it->name.isPublic() || inames) && blacklist_names.count(it->name) == 0)
 				cell_names.insert(it->name);
 			gold_clone->rename(it, it->name.str() + "_gold");
+			if (it->type == ID($input_port))
+				gold_clone->remove(it);
 		}
 
 		for (auto it : gate_clone->wires().to_vector()) {
@@ -127,6 +129,8 @@ struct EquivMakeWorker
 			if ((it->name.isPublic() || inames) && blacklist_names.count(it->name) == 0)
 				cell_names.insert(it->name);
 			gate_clone->rename(it, it->name.str() + "_gate");
+			if (it->type == ID($input_port))
+				gate_clone->remove(it);
 		}
 
 		gold_clone->cloneInto(equiv_mod);
@@ -514,6 +518,7 @@ struct EquivMakePass : public Pass {
 
 		worker.equiv_mod = design->addModule(RTLIL::escape_id(args[argidx+2]));
 		worker.run();
+		Pass::call(design, "dump");
 	}
 } EquivMakePass;