From: Clifford Wolf <clifford@clifford.at>
Date: Thu, 21 Mar 2013 08:51:25 +0000 (+0100)
Subject: Avoid verilog-2k in verilog backend
X-Git-Tag: yosys-0.2.0~708
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=87c771756661fda7dbcdd0bd1bf41af0c818e0d7;p=yosys.git

Avoid verilog-2k in verilog backend
---

diff --git a/backends/verilog/verilog_backend.cc b/backends/verilog/verilog_backend.cc
index 613324b16..a4713cb0a 100644
--- a/backends/verilog/verilog_backend.cc
+++ b/backends/verilog/verilog_backend.cc
@@ -245,6 +245,7 @@ void dump_attributes(FILE *f, std::string indent, std::map<RTLIL::IdString, RTLI
 void dump_wire(FILE *f, std::string indent, RTLIL::Wire *wire)
 {
 	dump_attributes(f, indent, wire->attributes);
+#if 0
 	if (wire->port_input && !wire->port_output)
 		fprintf(f, "%s" "input %s", indent.c_str(), reg_wires.count(wire->name) ? "reg " : "");
 	else if (!wire->port_input && wire->port_output)
@@ -256,6 +257,22 @@ void dump_wire(FILE *f, std::string indent, RTLIL::Wire *wire)
 	if (wire->width != 1)
 		fprintf(f, "[%d:%d] ", wire->width - 1 + wire->start_offset, wire->start_offset);
 	fprintf(f, "%s;\n", id(wire->name).c_str());
+#else
+	// do not use Verilog-2k "outut reg" syntax in verilog export
+	std::string range = "";
+	if (wire->width != 1)
+		range = stringf(" [%d:%d]", wire->width - 1 + wire->start_offset, wire->start_offset);
+	if (wire->port_input && !wire->port_output)
+		fprintf(f, "%s" "input%s %s;\n", indent.c_str(), range.c_str(), id(wire->name).c_str());
+	if (!wire->port_input && wire->port_output)
+		fprintf(f, "%s" "output%s %s;\n", indent.c_str(), range.c_str(), id(wire->name).c_str());
+	if (wire->port_input && wire->port_output)
+		fprintf(f, "%s" "inout%s %s;\n", indent.c_str(), range.c_str(), id(wire->name).c_str());
+	if (reg_wires.count(wire->name))
+		fprintf(f, "%s" "reg%s %s;\n", indent.c_str(), range.c_str(), id(wire->name).c_str());
+	else if (!wire->port_input && !wire->port_output)
+		fprintf(f, "%s" "wire%s %s;\n", indent.c_str(), range.c_str(), id(wire->name).c_str());
+#endif
 }
 
 void dump_memory(FILE *f, std::string indent, RTLIL::Memory *memory)