aboutsummaryrefslogtreecommitdiffstats
path: root/passes
diff options
context:
space:
mode:
authorEddie Hung <eddie@fpgeh.com>2019-09-05 11:46:38 -0700
committerEddie Hung <eddie@fpgeh.com>2019-09-05 11:46:38 -0700
commitfe5a1324c953cee51774228723e73a2ecac9a45b (patch)
tree05796d367056eb409e6b2cde1e2a495d493f61cc /passes
parent447a31e75d7bd77c0108eb0c76b9749340b10db4 (diff)
downloadyosys-fe5a1324c953cee51774228723e73a2ecac9a45b.tar.gz
yosys-fe5a1324c953cee51774228723e73a2ecac9a45b.tar.bz2
yosys-fe5a1324c953cee51774228723e73a2ecac9a45b.zip
Do not make ff[MP]mux semioptional, use sigmap
Diffstat (limited to 'passes')
-rw-r--r--passes/pmgen/xilinx_dsp.cc7
-rw-r--r--passes/pmgen/xilinx_dsp.pmg9
2 files changed, 11 insertions, 5 deletions
diff --git a/passes/pmgen/xilinx_dsp.cc b/passes/pmgen/xilinx_dsp.cc
index a497d0a48..6e82ffac3 100644
--- a/passes/pmgen/xilinx_dsp.cc
+++ b/passes/pmgen/xilinx_dsp.cc
@@ -121,7 +121,7 @@ void pack_xilinx_dsp(dict<SigBit, Cell*> &bit_to_driver, xilinx_dsp_pm &pm)
cell->setPort("\\CEM", State::S1);
SigSpec D = st.ffM->getPort("\\D");
SigSpec Q = st.ffM->getPort("\\Q");
- P.replace(/*pm.sigmap*/(D), Q);
+ P.replace(pm.sigmap(D), Q);
cell->setParam("\\MREG", State::S1);
pm.autoremove(st.ffM);
@@ -135,7 +135,7 @@ void pack_xilinx_dsp(dict<SigBit, Cell*> &bit_to_driver, xilinx_dsp_pm &pm)
cell->setPort("\\CEP", State::S1);
SigSpec D = st.ffP->getPort("\\D");
SigSpec Q = st.ffP->getPort("\\Q");
- P.replace(/*pm.sigmap*/(D), Q);
+ P.replace(pm.sigmap(D), Q);
st.ffP->connections_.at("\\Q").replace(P, pm.module->addWire(NEW_ID, GetSize(P)));
cell->setParam("\\PREG", State::S1);
@@ -149,6 +149,9 @@ void pack_xilinx_dsp(dict<SigBit, Cell*> &bit_to_driver, xilinx_dsp_pm &pm)
if (st.ffB)
log(" ffB:%s", log_id(st.ffB));
+ if (st.ffM)
+ log(" ffM:%s", log_id(st.ffM));
+
if (st.ffP)
log(" ffP:%s", log_id(st.ffP));
diff --git a/passes/pmgen/xilinx_dsp.pmg b/passes/pmgen/xilinx_dsp.pmg
index a2a6f2ef0..d7632da6f 100644
--- a/passes/pmgen/xilinx_dsp.pmg
+++ b/passes/pmgen/xilinx_dsp.pmg
@@ -120,7 +120,7 @@ match ffMmux
filter port(ffMmux, AB) == sigM.extract(0, GetSize(port(ffMmux, \Y)))
filter nusers(sigM.extract_end(GetSize(port(ffMmux, AB)))) <= 1
set ffMmuxAB AB
- semioptional
+ optional
endmatch
code sigM
@@ -207,12 +207,12 @@ match ffPmux
filter port(ffPmux, AB) == sigP.extract(0, GetSize(port(ffPmux, \Y)))
filter nusers(sigP.extract_end(GetSize(port(ffPmux, AB)))) <= 1
set ffPmuxAB AB
- semioptional
+ optional
endmatch
code sigP
if (ffPmux)
- sigP = port(ffPmux, \Y);
+ sigP.replace(port(ffPmux, ffPmuxAB), port(ffPmux, \Y));
endcode
match ffP
@@ -243,6 +243,9 @@ code ffP sigP clock
sigP.replace(port(ffP, \D), port(ffP, \Q));
}
+ // Cannot have ffPmux enable mux without ffP
+ else if (ffPmux)
+ reject;
endcode
match postAddMux