diff options
| author | Clifford Wolf <clifford@clifford.at> | 2019-07-15 12:12:21 +0200 |
|---|---|---|
| committer | Clifford Wolf <clifford@clifford.at> | 2019-07-15 12:12:21 +0200 |
| commit | 0e6c83027f24cdf7082606a5631468ad28f41574 (patch) | |
| tree | be5de035b899f7cef5f196355de18f67011346c0 /passes | |
| parent | 1122a2e0671ed00b7c03658f5012e34df12f26de (diff) | |
| download | yosys-0e6c83027f24cdf7082606a5631468ad28f41574.tar.gz yosys-0e6c83027f24cdf7082606a5631468ad28f41574.tar.bz2 yosys-0e6c83027f24cdf7082606a5631468ad28f41574.zip | |
Add log_checkpoint function and use it in opt_muxtree
Signed-off-by: Clifford Wolf <clifford@clifford.at>
Diffstat (limited to 'passes')
| -rw-r--r-- | passes/opt/opt_muxtree.cc | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/passes/opt/opt_muxtree.cc b/passes/opt/opt_muxtree.cc index 6511e091b..79f0e9639 100644 --- a/passes/opt/opt_muxtree.cc +++ b/passes/opt/opt_muxtree.cc @@ -204,6 +204,7 @@ struct OptMuxtreeWorker log(" Analyzing evaluation results.\n"); log_assert(glob_abort_cnt > 0); + log_checkpoint(); for (auto &mi : mux2info) { |