abc_flop to also get topologically sorted

diff --git a/backends/aiger/xaiger.cc b/backends/aiger/xaiger.cc
index 82c28549c33285d925c8468101849c013e9d216f..5eeae3b82264a39ba2e869f4a04196ef4fcc96ea 100644 (file)
--- 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 {