mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-10-31 11:42:30 +00:00
Code Activity

Improved subcircuit verbose output (added portmapper results)

Browse source
This commit is contained in:
Clifford Wolf 2013-03-28 11:36:54 +01:00
parent c46597b697
commit b9870a364e
1 changed files with 15 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

15
libs/subcircuit/subcircuit.cc
View file

@ -1124,6 +1124,21 @@ class SubCircuit::SolverWorker
while (prunePortmapCandidates(portmapCandidates, enumerationMatrix, needle, haystack)) { } 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++) { for (int j = 0; j < int(enumerationMatrix.size()); j++) {
if (portmapCandidates[j].size() == 0) { if (portmapCandidates[j].size() == 0) {
if (verbose) { if (verbose) {