From 13117bb346dd02d2345f716b4403239aebe3d0e2 Mon Sep 17 00:00:00 2001 From: Clifford Wolf Date: Sun, 21 Sep 2014 19:44:08 +0200 Subject: [PATCH] Re-enabled assert for new logic loops in "share" pass --- passes/opt/share.cc | 5 +---- 1 file changed, 1 insertion(+), 4 deletions(-) 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); } }; -- 2.30.2