diff options
| author | Eddie Hung <eddie@fpgeh.com> | 2019-07-15 08:35:48 -0700 |
|---|---|---|
| committer | Eddie Hung <eddie@fpgeh.com> | 2019-07-15 08:35:48 -0700 |
| commit | 06f94c92d49a82faad492026f2b0fe6cf0495fcf (patch) | |
| tree | b0a0e040c9917d84284ee5f74072883f3984a334 | |
| parent | 78560aac86b763306798192aa375ed04a5b192a0 (diff) | |
| download | yosys-06f94c92d49a82faad492026f2b0fe6cf0495fcf.tar.gz yosys-06f94c92d49a82faad492026f2b0fe6cf0495fcf.tar.bz2 yosys-06f94c92d49a82faad492026f2b0fe6cf0495fcf.zip | |
Revert "Add log_checkpoint function and use it in opt_muxtree"
This reverts commit 0e6c83027f24cdf7082606a5631468ad28f41574.
| -rw-r--r-- | kernel/log.cc | 7 | ||||
| -rw-r--r-- | kernel/log.h | 1 | ||||
| -rw-r--r-- | passes/opt/opt_muxtree.cc | 1 |
3 files changed, 0 insertions, 9 deletions
diff --git a/kernel/log.cc b/kernel/log.cc index 08ebe7af7..e0a60ca12 100644 --- a/kernel/log.cc +++ b/kernel/log.cc @@ -427,13 +427,6 @@ void log_pop() log_flush(); } -void log_checkpoint() -{ - log_id_cache_clear(); - IdString::checkpoint(); - log_flush(); -} - #if (defined(__linux__) || defined(__FreeBSD__)) && defined(YOSYS_ENABLE_PLUGINS) void log_backtrace(const char *prefix, int levels) { diff --git a/kernel/log.h b/kernel/log.h index 3328018f3..3e1facae8 100644 --- a/kernel/log.h +++ b/kernel/log.h @@ -130,7 +130,6 @@ void log_spacer(); void log_push(); void log_pop(); -void log_checkpoint(); void log_backtrace(const char *prefix, int levels); void log_reset_stack(); void log_flush(); diff --git a/passes/opt/opt_muxtree.cc b/passes/opt/opt_muxtree.cc index 79f0e9639..6511e091b 100644 --- a/passes/opt/opt_muxtree.cc +++ b/passes/opt/opt_muxtree.cc @@ -204,7 +204,6 @@ struct OptMuxtreeWorker log(" Analyzing evaluation results.\n"); log_assert(glob_abort_cnt > 0); - log_checkpoint(); for (auto &mi : mux2info) { |