From: Eddie Hung <eddie@fpgeh.com>
Date: Fri, 23 Aug 2019 21:32:36 +0000 (-0700)
Subject: Check for non unique nusers/fanouts
X-Git-Tag: working-ls180~1085^2~39
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=c2757613b643f11e1b735b8bc4506750bb0f9522;p=yosys.git

Check for non unique nusers/fanouts
---

diff --git a/passes/pmgen/xilinx_srl.pmg b/passes/pmgen/xilinx_srl.pmg
index 5d74b91bc..99fefba00 100644
--- a/passes/pmgen/xilinx_srl.pmg
+++ b/passes/pmgen/xilinx_srl.pmg
@@ -170,7 +170,7 @@ match first
 	select first->type.in($_DFF_N_, $_DFF_P_, $_DFFE_NN_, $_DFFE_NP_, $_DFFE_PN_, $_DFFE_PP_, $dff, $dffe)
 	select !first->has_keep_attr()
 	slice idx GetSize(port(first, \Q))
-	select nusers(port(first, \Q)[idx]) == 2
+	select nusers(port(first, \Q)[idx], false /* unique */) == 2
 	index <SigBit> port(first, \Q)[idx] === port(shiftx, \A)[shiftx_width-1]
 	set slice idx
 endmatch
@@ -197,7 +197,7 @@ match next
 	select !next->has_keep_attr()
 	select !port(next, \D)[0].wire->get_bool_attribute(\keep)
 	slice idx GetSize(port(next, \Q))
-	select nusers(port(next, \Q)[idx]) <= 3
+	select nusers(port(next, \Q)[idx], false /* unique */) == 3
 	index <IdString> next->type === chain.back().first->type
 	index <SigBit> port(next, \Q)[idx] === port(chain.back().first, \D)[chain.back().second]
 	index <SigBit> port(next, \Q)[idx] === port(shiftx, \A)[shiftx_width-1-GetSize(chain)]