Support std::string parameters to stringf().

Author: rocallahan

backends/verilog/verilog_backend.cc

@@ -1395,10 +1395,10 @@ bool dump_cell_expr(std::ostream &f, std::string indent, RTLIL::Cell *cell)
 		int s_width = cell->getPort(ID::S).size();
 		std::string func_name = cellname(cell);
 
-		f << stringf("%s" "function [%d:0] %s;\n", indent.c_str(), width-1, func_name.c_str());
-		f << stringf("%s" "  input [%d:0] a;\n", indent.c_str(), width-1);
-		f << stringf("%s" "  input [%d:0] b;\n", indent.c_str(), s_width*width-1);
-		f << stringf("%s" "  input [%d:0] s;\n", indent.c_str(), s_width-1);
+		f << stringf("%s" "function [%d:0] %s;\n", indent, width-1, func_name);
+		f << stringf("%s" "  input [%d:0] a;\n", indent, width-1);
+		f << stringf("%s" "  input [%d:0] b;\n", indent, s_width*width-1);
+		f << stringf("%s" "  input [%d:0] s;\n", indent, s_width-1);
 
 		dump_attributes(f, indent + "  ", cell->attributes);
 		if (noparallelcase)

kernel/io.h

@@ -197,7 +197,8 @@ constexpr void check_format(std::string_view fmt, int fmt_start, FoundFormatSpec
 		*specs = found;
 		break;
 	case ConversionSpecifier::CHAR_PTR:
-		if constexpr (!std::is_convertible_v<Arg, const char *>) {
+		if constexpr (!std::is_convertible_v<Arg, const char *> &&
+		              !std::is_convertible_v<Arg, const std::string &>) {
 			YOSYS_ABORT("Expected type convertible to char *");
 		}
 		*specs = found;
@@ -259,8 +260,17 @@ inline void format_emit_one(std::string &result, std::string_view fmt, const Fou
 		format_emit_type<Arg, double>(result, spec, dynamic_ints, num_dynamic_ints, arg);
 		return;
 	case ConversionSpecifier::CHAR_PTR:
-		format_emit_type<Arg, const char *>(result, spec, dynamic_ints, num_dynamic_ints, arg);
-		return;
+		if constexpr (std::is_convertible_v<Arg, const char *>) {
+			format_emit_type<Arg, const char *>(result, spec, dynamic_ints, num_dynamic_ints, arg);
+			return;
+		}
+		if constexpr (std::is_convertible_v<Arg, const std::string &>) {
+			const std::string &s = arg;
+			format_emit_type<const char *, const char *>(result, spec, dynamic_ints, num_dynamic_ints,
+					s.c_str());
+			return;
+		}
+		break;
 	case ConversionSpecifier::VOID_PTR:
 		format_emit_type<Arg, void *>(result, spec, dynamic_ints, num_dynamic_ints, arg);
 		return;