From: Miodrag Milanovic <mmicko@gmail.com>
Date: Fri, 28 Jan 2022 13:20:16 +0000 (+0100)
Subject: ignore not found private signals
X-Git-Tag: yosys-0.14~2^2~18
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=cb12b7c4d8153896b1f798994aed2aa97a41f011;p=yosys.git

ignore not found private signals
---

diff --git a/kernel/fstdata.cc b/kernel/fstdata.cc
index 70dcb88ce..5d6d85ed8 100644
--- a/kernel/fstdata.cc
+++ b/kernel/fstdata.cc
@@ -42,8 +42,7 @@ fstHandle FstData::getHandle(std::string name) {
 	if (name_to_handle.find(name) != name_to_handle.end())
 		return name_to_handle[name];
 	else 
-		log_warning("Unable to found wire %s in input file.\n", name.c_str());
-	return 0;	
+		return 0;
 };
 
 static std::string remove_spaces(std::string str)
diff --git a/passes/sat/sim.cc b/passes/sat/sim.cc
index 0b9a282e1..65f952915 100644
--- a/passes/sat/sim.cc
+++ b/passes/sat/sim.cc
@@ -161,6 +161,8 @@ struct SimInstance
 
 			if (shared->fst) {
 				fstHandle id = shared->fst->getHandle(scope + "." + RTLIL::unescape_id(wire->name));
+				if (id==0 && wire->name.isPublic())
+					log_warning("Unable to found wire %s in input file.\n", (scope + "." + RTLIL::unescape_id(wire->name)).c_str());
 				fst_handles[wire] = id;
 			}
 
@@ -728,6 +730,7 @@ struct SimInstance
 					retVal = true;
 					log("signal: %s fst: %s  sim: %s\n", log_id(item.first), log_signal(fst_val), log_signal(sim_val));
 				}
+				//log("signal: %s fst: %s  sim: %s\n", log_id(item.first), log_signal(fst_val), log_signal(sim_val));
 			}
 		}
 		for (auto child : children)