aboutsummaryrefslogtreecommitdiffstats
path: root/passes/pmgen/xilinx_dsp.pmg
diff options
context:
space:
mode:
authorEddie Hung <eddie@fpgeh.com>2019-09-04 17:18:49 -0700
committerEddie Hung <eddie@fpgeh.com>2019-09-04 17:18:49 -0700
commit91ef4457b08e15da6b8af9522da002b76feefd06 (patch)
tree9b86d3e3bedb731336796498258178695d1703ef /passes/pmgen/xilinx_dsp.pmg
parent42548d979018c4bc3b71d4faa0900b18d2d290ec (diff)
downloadyosys-91ef4457b08e15da6b8af9522da002b76feefd06.tar.gz
yosys-91ef4457b08e15da6b8af9522da002b76feefd06.tar.bz2
yosys-91ef4457b08e15da6b8af9522da002b76feefd06.zip
Get rid of sigAset
Diffstat (limited to 'passes/pmgen/xilinx_dsp.pmg')
-rw-r--r--passes/pmgen/xilinx_dsp.pmg24
1 files changed, 14 insertions, 10 deletions
diff --git a/passes/pmgen/xilinx_dsp.pmg b/passes/pmgen/xilinx_dsp.pmg
index 375b5a492..598276063 100644
--- a/passes/pmgen/xilinx_dsp.pmg
+++ b/passes/pmgen/xilinx_dsp.pmg
@@ -1,18 +1,21 @@
pattern xilinx_dsp
state <SigBit> clock
-state <std::set<SigBit>> sigAset sigBset
-state <SigSpec> sigC sigM sigP sigPused
+state <std::set<SigBit>> sigBset
+state <SigSpec> sigA sigC sigM sigP sigPused
state <IdString> ffMmuxAB postAddAB postAddMuxAB
match dsp
select dsp->type.in(\DSP48E1)
endmatch
-code sigAset sigBset
- SigSpec A = port(dsp, \A);
- A.remove_const();
- sigAset = A.to_sigbit_set();
+code sigA sigBset
+ sigA = port(dsp, \A);
+ int i;
+ for (i = GetSize(sigA)-1; i > 0; i--)
+ if (sigA[i] != sigA[i-1])
+ break;
+ sigA.remove(i, GetSize(sigA)-i);
SigSpec B = port(dsp, \B);
B.remove_const();
sigBset = B.to_sigbit_set();
@@ -34,21 +37,22 @@ endcode
match ffA
if param(dsp, \AREG).as_int() == 0
- if !sigAset.empty()
select ffA->type.in($dff)
// DSP48E1 does not support clock inversion
select param(ffA, \CLK_POLARITY).as_bool()
- filter includes(port(ffA, \Q).to_sigbit_set(), sigAset)
+ filter GetSize(port(ffA, \Q)) >= GetSize(sigA)
+ slice offset GetSize(port(ffA, \Q))
+ filter offset+GetSize(sigA) <= GetSize(port(ffA, \Q)) && port(ffA, \Q).extract(offset, GetSize(sigA)) == sigA
optional
endmatch
code clock
if (ffA) {
- clock = port(ffA, \CLK).as_bit();
-
for (auto b : port(ffA, \Q))
if (b.wire->get_bool_attribute(\keep))
reject;
+
+ clock = port(ffA, \CLK).as_bit();
}
endcode