Add log_checkpoint function and use it in opt_muxtree

Signed-off-by: Clifford Wolf <clifford@clifford.at>
This commit is contained in:
Clifford Wolf 2019-07-15 12:12:21 +02:00
parent 1122a2e067
commit 0e6c83027f
3 changed files with 9 additions and 0 deletions

View File

@ -420,6 +420,13 @@ 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)
{

View File

@ -130,6 +130,7 @@ 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();

View File

@ -204,6 +204,7 @@ struct OptMuxtreeWorker
log(" Analyzing evaluation results.\n");
log_assert(glob_abort_cnt > 0);
log_checkpoint();
for (auto &mi : mux2info)
{