From: Eddie Hung <eddie@fpgeh.com>
Date: Thu, 11 Jul 2019 03:26:09 +0000 (-0700)
Subject: abc_flop to also get topologically sorted
X-Git-Tag: working-ls180~881^2^2~265
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=375fcbe5113db80a92b950e5aca7df17add67acf;p=yosys.git

abc_flop to also get topologically sorted
---

diff --git a/backends/aiger/xaiger.cc b/backends/aiger/xaiger.cc
index 82c28549c..5eeae3b82 100644
--- a/backends/aiger/xaiger.cc
+++ b/backends/aiger/xaiger.cc
@@ -312,19 +312,18 @@ struct XAigerWriter
 					undriven_bits.erase(O);
 					ff_bits.emplace_back(q);
 				}
-				else {
-					for (const auto &conn : cell->connections()) {
-						if (cell->input(conn.first)) {
-							// Ignore inout for the sake of topographical ordering
-							if (cell->output(conn.first)) continue;
-							for (auto bit : sigmap(conn.second))
-								bit_users[bit].insert(cell->name);
-						}
 
-						if (cell->output(conn.first))
-							for (auto bit : sigmap(conn.second))
-								bit_drivers[bit].insert(cell->name);
+				for (const auto &conn : cell->connections()) {
+					if (cell->input(conn.first)) {
+						// Ignore inout for the sake of topographical ordering
+						if (cell->output(conn.first)) continue;
+						for (auto bit : sigmap(conn.second))
+							bit_users[bit].insert(cell->name);
 					}
+
+					if (cell->output(conn.first))
+						for (auto bit : sigmap(conn.second))
+							bit_drivers[bit].insert(cell->name);
 				}
 			}
 			else {