From: Clifford Wolf <clifford@clifford.at>
Date: Sun, 21 Sep 2014 17:44:08 +0000 (+0200)
Subject: Re-enabled assert for new logic loops in "share" pass
X-Git-Tag: yosys-0.4~103
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=13117bb346dd02d2345f716b4403239aebe3d0e2;p=yosys.git

Re-enabled assert for new logic loops in "share" pass
---

diff --git a/passes/opt/share.cc b/passes/opt/share.cc
index e3b0159c0..74b049bb6 100644
--- a/passes/opt/share.cc
+++ b/passes/opt/share.cc
@@ -1055,10 +1055,7 @@ struct ShareWorker
 		log_assert(recursion_state.empty());
 
 		bool after_scc = before_scc || module_has_scc();
-		if (before_scc != after_scc)
-			log("Warning: introduced topological logic loops!\n");
-		// Pass::call_on_module(design, module, "scc;; show");
-		// log_assert(before_scc == after_scc);
+		log_assert(before_scc == after_scc);
 	}
 };