From 98c70789840782a99f91c9d408e2dd03b1c1c426 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 bae7452f7..9acd7cb23 100644
--- a/passes/equiv/equiv_make.cc
+++ b/passes/equiv/equiv_make.cc
@@ -114,6 +114,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()) {
@@ -126,6 +128,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);
@@ -513,6 +517,7 @@ struct EquivMakePass : public Pass {
 
 		worker.equiv_mod = design->addModule(RTLIL::escape_id(args[argidx+2]));
 		worker.run();
+		Pass::call(design, "dump");
 	}
 } EquivMakePass;