Added log_dump() support for IdStrings

kernel/log.cc

@@ -376,6 +376,10 @@ void log_flush()
 		f->flush();
 }
 
+void log_dump_val_worker(RTLIL::IdString v) {
+	log("%s", log_id(v));
+}
+
 void log_dump_val_worker(RTLIL::SigSpec v) {
 	log("%s", log_signal(v));
 }

kernel/log.h

@@ -222,6 +222,7 @@ static inline void log_dump_val_worker(const char *v) { log("%s", v); }
 static inline void log_dump_val_worker(std::string v) { log("%s", v.c_str()); }
 static inline void log_dump_val_worker(PerformanceTimer p) { log("%f seconds", p.sec()); }
 static inline void log_dump_args_worker(const char *p YS_ATTRIBUTE(unused)) { log_assert(*p == 0); }
+void log_dump_val_worker(RTLIL::IdString v);
 void log_dump_val_worker(RTLIL::SigSpec v);
 
 template<typename T>