From: Clifford Wolf <clifford@clifford.at>
Date: Thu, 17 Oct 2013 20:10:55 +0000 (+0200)
Subject: Only prefer connected signals iff they have public names
X-Git-Tag: yosys-0.2.0~464
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=8cc53ef72c5b65d33a3fb3c2467ce32c961bab91;p=yosys.git

Only prefer connected signals iff they have public names
---

diff --git a/passes/opt/opt_clean.cc b/passes/opt/opt_clean.cc
index d76dafb3c..21ef320e2 100644
--- a/passes/opt/opt_clean.cc
+++ b/passes/opt/opt_clean.cc
@@ -112,11 +112,12 @@ static bool compare_signals(RTLIL::SigSpec &s1, RTLIL::SigSpec &s2, SigPool &reg
 	if (w1->port_input != w2->port_input)
 		return w2->port_input;
 
-	if (regs.check_any(s1) != regs.check_any(s2))
-		return regs.check_any(s2);
-
-	if (conns.check_any(s1) != conns.check_any(s2))
-		return conns.check_any(s2);
+	if (w1->name[0] == '\\' && w2->name[0] == '\\') {
+		if (regs.check_any(s1) != regs.check_any(s2))
+			return regs.check_any(s2);
+		if (conns.check_any(s1) != conns.check_any(s2))
+			return conns.check_any(s2);
+	}
 
 	if (w1->port_output != w2->port_output)
 		return w2->port_output;