From: Eddie Hung <eddie@fpgeh.com>
Date: Mon, 15 Jul 2019 15:35:48 +0000 (-0700)
Subject: Revert "Add log_checkpoint function and use it in opt_muxtree"
X-Git-Tag: working-ls180~1194^2
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=06f94c92d49a82faad492026f2b0fe6cf0495fcf;p=yosys.git

Revert "Add log_checkpoint function and use it in opt_muxtree"

This reverts commit 0e6c83027f24cdf7082606a5631468ad28f41574.
---

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)
 		{