From: Clifford Wolf <clifford@clifford.at>
Date: Thu, 28 Mar 2013 10:36:54 +0000 (+0100)
Subject: Improved subcircuit verbose output (added portmapper results)
X-Git-Tag: yosys-0.2.0~668
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=b9870a364e35d8159a8bcc8c535a2aa971e78af9;p=yosys.git

Improved subcircuit verbose output (added portmapper results)
---

diff --git a/libs/subcircuit/subcircuit.cc b/libs/subcircuit/subcircuit.cc
index 6ee2a0fcc..b4e74be6b 100644
--- a/libs/subcircuit/subcircuit.cc
+++ b/libs/subcircuit/subcircuit.cc
@@ -1124,6 +1124,21 @@ class SubCircuit::SolverWorker
 
 			while (prunePortmapCandidates(portmapCandidates, enumerationMatrix, needle, haystack)) { }
 
+			if (verbose) {
+				my_printf("\nPortmapper results:\n");
+				for (int j = 0; j < int(enumerationMatrix.size()); j++) {
+					my_printf("%5d: %s\n", j, needle.graph.nodes[j].nodeId.c_str());
+					int variantCounter = 0;
+					for (auto &i2 : portmapCandidates.at(j)) {
+						my_printf("%*s variant %2d:", 6, "", variantCounter++);
+						int mapCounter = 0;
+						for (auto &i3 : i2)
+							my_printf("%s %s -> %s", mapCounter++ ? "," : "", i3.first.c_str(), i3.second.c_str());
+						my_printf("\n");
+					}
+				}
+			}
+
 			for (int j = 0; j < int(enumerationMatrix.size()); j++) {
 				if (portmapCandidates[j].size() == 0) {
 					if (verbose) {