From: Clifford Wolf <clifford@clifford.at>
Date: Wed, 27 Feb 2013 12:35:30 +0000 (+0100)
Subject: Added support for constant signals in "extract" pass
X-Git-Tag: yosys-0.2.0~788
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=c59d77aa30d81a248063181ec8e3f746c2aec1c3;p=yosys.git

Added support for constant signals in "extract" pass
---

diff --git a/passes/extract/extract.cc b/passes/extract/extract.cc
index 0fba03f13..0bf1b2a14 100644
--- a/passes/extract/extract.cc
+++ b/passes/extract/extract.cc
@@ -71,6 +71,11 @@ namespace
 					auto &chunk = conn_sig.chunks[i];
 					assert(chunk.width == 1);
 
+					if (chunk.wire == NULL) {
+						graph.createConstant(cell->name, conn.first, i, int(chunk.data.bits[0]));
+						continue;
+					}
+
 					if (sig_bit_ref.count(chunk) == 0) {
 						bit_ref_t &bit_ref = sig_bit_ref[chunk];
 						bit_ref.cell = cell->name;
@@ -187,14 +192,20 @@ struct ExtractPass : public Pass {
 			log("Solving for %s in %s.\n", needle_it.first.c_str(), haystack_it.first.c_str());
 			solver.solve(results, needle_it.first, haystack_it.first, false);
 		}
+		log("Found %zd matches.\n", results.size());
 
-		for (int i = 0; i < int(results.size()); i++) {
-			log("\nMatch #%d: (%s in %s)\n", i, results[i].needleGraphId.c_str(), results[i].haystackGraphId.c_str());
-			for (const auto & it : results[i].mappings) {
-				log("  %s -> %s", it.first.c_str(), it.second.haystackNodeId.c_str());
-				for (const auto & it2 : it.second.portMapping)
-					log(" %s:%s", it2.first.c_str(), it2.second.c_str());
-				log("\n");
+		if (results.size() > 0)
+		{
+			log_header("Substitute SubCircuits with cells.\n");
+
+			for (int i = 0; i < int(results.size()); i++) {
+				log("\nMatch #%d: (%s in %s)\n", i, results[i].needleGraphId.c_str(), results[i].haystackGraphId.c_str());
+				for (const auto & it : results[i].mappings) {
+					log("  %s -> %s", it.first.c_str(), it.second.haystackNodeId.c_str());
+					for (const auto & it2 : it.second.portMapping)
+						log(" %s:%s", it2.first.c_str(), it2.second.c_str());
+					log("\n");
+				}
 			}
 		}