From 39da8eddaefc078c6f7aba9958c40daec69f33d4 Mon Sep 17 00:00:00 2001
From: Clifford Wolf <clifford@clifford.at>
Date: Tue, 9 Aug 2016 19:56:10 +0200
Subject: [PATCH] Added log_const() API

---
 kernel/log.cc | 18 ++++++++++++++++++
 kernel/log.h  |  1 +
 2 files changed, 19 insertions(+)

diff --git a/kernel/log.cc b/kernel/log.cc
index 12dc453dc..229b82746 100644
--- a/kernel/log.cc
+++ b/kernel/log.cc
@@ -414,6 +414,24 @@ const char *log_signal(const RTLIL::SigSpec &sig, bool autoint)
 	}
 }
 
+const char *log_const(const RTLIL::Const &value, bool autoint)
+{
+	if ((value.flags & RTLIL::CONST_FLAG_STRING) == 0)
+		return log_signal(value, autoint);
+
+	std::string str = "\"" + value.decode_string() + "\"";
+
+	if (string_buf.size() < 100) {
+		string_buf.push_back(str);
+		return string_buf.back().c_str();
+	} else {
+		if (++string_buf_index == 100)
+			string_buf_index = 0;
+		string_buf[string_buf_index] = str;
+		return string_buf[string_buf_index].c_str();
+	}
+}
+
 const char *log_id(RTLIL::IdString str)
 {
 	log_id_cache.insert(str);
diff --git a/kernel/log.h b/kernel/log.h
index f830655c1..53480db31 100644
--- a/kernel/log.h
+++ b/kernel/log.h
@@ -79,6 +79,7 @@ void log_reset_stack();
 void log_flush();
 
 const char *log_signal(const RTLIL::SigSpec &sig, bool autoint = true);
+const char *log_const(const RTLIL::Const &value, bool autoint = true);
 const char *log_id(RTLIL::IdString id);
 
 template<typename T> static inline const char *log_id(T *obj) {