From: Clifford Wolf <clifford@clifford.at>
Date: Tue, 5 Mar 2013 18:22:59 +0000 (+0100)
Subject: Added some simple progress information to verbose subcircuit miner output
X-Git-Tag: yosys-0.2.0~744
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=21696c83677167b871b13545cab9618a9ce0d22c;p=yosys.git

Added some simple progress information to verbose subcircuit miner output
---

diff --git a/libs/subcircuit/subcircuit.cc b/libs/subcircuit/subcircuit.cc
index f9507802e..8cc5e6d92 100644
--- a/libs/subcircuit/subcircuit.cc
+++ b/libs/subcircuit/subcircuit.cc
@@ -1316,6 +1316,7 @@ class SubCircuit::SolverWorker
 		if (verbose)
 			my_printf("\nMining for frequent subcircuits of size %d using increment %d:\n", oldSetSize+increment, increment);
 
+		int count = 0;
 		for (auto &it : poolPerGraph)
 		{
 			std::map<int, std::set<int>> node2sets;
@@ -1326,7 +1327,7 @@ class SubCircuit::SolverWorker
 					node2sets[node].insert(idx);
 			}
 
-			for (int idx1 = 0; idx1 < int(it.second.size()); idx1++)
+			for (int idx1 = 0; idx1 < int(it.second.size()); idx1++, count++)
 			{
 				std::set<int> idx2set;
 
@@ -1350,7 +1351,7 @@ class SubCircuit::SolverWorker
 					const auto &graph = graphData[it.first].graph;
 
 					if (verbose) {
-						my_printf("Set %s[", graphId.c_str());
+						my_printf("<%d%%/%d> Found %s[", int(100*count/pool.size()), oldSetSize+increment, graphId.c_str());
 						bool first = true;
 						for (int nodeIdx : mergedSet.nodes) {
 							my_printf("%s%s", first ? "" : ",", graph.nodes[nodeIdx].nodeId.c_str());