From: David Shah Date: Tue, 28 Jan 2020 09:42:01 +0000 (+0000) Subject: opt_reduce: Call check() per run rather than per optimised cell X-Git-Tag: working-ls180~834^2 X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=6fd9cae5ca5c7b154371f5cd328a7d96ef00f259;p=yosys.git opt_reduce: Call check() per run rather than per optimised cell Signed-off-by: David Shah --- diff --git a/passes/opt/opt_reduce.cc b/passes/opt/opt_reduce.cc index 6a8d8cabd..09f6e12e9 100644 --- a/passes/opt/opt_reduce.cc +++ b/passes/opt/opt_reduce.cc @@ -235,7 +235,6 @@ struct OptReduceWorker log(" New connections: %s = %s\n", log_signal(old_sig_conn.first), log_signal(old_sig_conn.second)); module->connect(old_sig_conn); - module->check(); did_something = true; total_count++; @@ -324,6 +323,8 @@ struct OptReduceWorker opt_mux(cell); } } + + module->check(); } };