diff options
Diffstat (limited to 'kernel')
| -rw-r--r-- | kernel/log.cc | 18 | ||||
| -rw-r--r-- | kernel/log.h | 1 |
2 files changed, 19 insertions, 0 deletions
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) { |