From 43951099cf46b5a0a25bdebb001685a89dfe6c82 Mon Sep 17 00:00:00 2001
From: Clifford Wolf <clifford@clifford.at>
Date: Sat, 24 Jan 2015 00:13:27 +0100
Subject: Added dict/pool.sort()

---
 passes/equiv/equiv_induct.cc | 2 ++
 passes/opt/opt_clean.cc      | 4 ++++
 2 files changed, 6 insertions(+)

(limited to 'passes')

diff --git a/passes/equiv/equiv_induct.cc b/passes/equiv/equiv_induct.cc
index 38a52d754..01b922043 100644
--- a/passes/equiv/equiv_induct.cc
+++ b/passes/equiv/equiv_induct.cc
@@ -100,6 +100,8 @@ struct EquivInductWorker
 			log("  Proof for induction step failed. %s\n", step != max_seq ? "Extending to next time step." : "Trying to prove individual $equiv from workset.");
 		}
 
+		workset.sort();
+
 		for (auto cell : workset)
 		{
 			SigBit bit_a = sigmap(cell->getPort("\\A")).to_single_sigbit();
diff --git a/passes/opt/opt_clean.cc b/passes/opt/opt_clean.cc
index c5b25816c..98f83dffc 100644
--- a/passes/opt/opt_clean.cc
+++ b/passes/opt/opt_clean.cc
@@ -422,6 +422,10 @@ struct CleanPass : public Pass {
 		if (count_rm_cells > 0 || count_rm_wires > 0)
 			log("Removed %d unused cells and %d unused wires.\n", count_rm_cells, count_rm_wires);
 
+		design->optimize();
+		design->sort();
+		design->check();
+
 		ct.clear();
 		ct_reg.clear();
 		ct_all.clear();
-- 
cgit v1.2.3