From: Clifford Wolf <clifford@clifford.at>
Date: Sun, 3 Nov 2013 21:01:32 +0000 (+0100)
Subject: Added simple topological sort to edif backend
X-Git-Tag: yosys-0.2.0~417
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=cd0fe7d7860f490b43cacb37752fe9bf983e2279;p=yosys.git

Added simple topological sort to edif backend
---

diff --git a/backends/edif/edif.cc b/backends/edif/edif.cc
index a4d8c1753..ced0c8e62 100644
--- a/backends/edif/edif.cc
+++ b/backends/edif/edif.cc
@@ -198,12 +198,40 @@ struct EdifBackend : public Backend {
 		}
 		fprintf(f, "  )\n");
 
+		std::vector<RTLIL::Module*> sorted_modules;
+
+		// extract module dependencies
+		std::map<RTLIL::Module*, std::set<RTLIL::Module*>> module_deps;
+		for (auto &mod_it : design->modules) {
+			module_deps[mod_it.second] = std::set<RTLIL::Module*>();
+			for (auto &cell_it : mod_it.second->cells)
+				if (design->modules.count(cell_it.second->type) > 0)
+					module_deps[mod_it.second].insert(design->modules.at(cell_it.second->type));
+		}
+
+		// bubble-sort equivialent to topological sort..
+		while (module_deps.size() > 0) {
+			size_t sorted_modules_idx = sorted_modules.size();
+			for (auto &it : module_deps) {
+				for (auto &dep : it.second)
+					if (module_deps.count(dep) > 0)
+						goto no_ready_yet;
+				// log("Next in topological sort: %s\n", RTLIL::id2cstr(it.first->name));
+				sorted_modules.push_back(it.first);
+			no_ready_yet:;
+			}
+			if (sorted_modules_idx == sorted_modules.size())
+				log_error("Cyclic dependency between modules found! Cycle includes module %s.\n", RTLIL::id2cstr(module_deps.begin()->first->name));
+			while (sorted_modules_idx < sorted_modules.size())
+				module_deps.erase(sorted_modules.at(sorted_modules_idx++));
+		}
+
+
 		fprintf(f, "  (library DESIGN\n");
 		fprintf(f, "    (edifLevel 0)\n");
 		fprintf(f, "    (technology (numberDefinition))\n");
-		for (auto module_it : design->modules)
+		for (auto module : sorted_modules)
 		{
-			RTLIL::Module *module = module_it.second;
 			if (module->get_bool_attribute("\\placeholder"))
 				continue;