From: Eddie Hung <eddie@fpgeh.com>
Date: Wed, 27 Nov 2019 03:03:02 +0000 (-0800)
Subject: xaiger: do not promote output wires
X-Git-Tag: working-ls180~945^2~4
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=7136cee6b448cbe5478fd83ee1ca3eaa9f85eeb9;p=yosys.git

xaiger: do not promote output wires
---

diff --git a/backends/aiger/xaiger.cc b/backends/aiger/xaiger.cc
index 46890b071..85136118a 100644
--- a/backends/aiger/xaiger.cc
+++ b/backends/aiger/xaiger.cc
@@ -153,11 +153,6 @@ struct XAigerWriter
 			if (wire->port_input)
 				sigmap.add(wire);
 
-		// promote output wires
-		for (auto wire : module->wires())
-			if (wire->port_output)
-				sigmap.add(wire);
-
 		for (auto wire : module->wires())
 		{
 			bool keep = wire->attributes.count("\\keep");