Do not check signedness of post-adder (assume taken care of by DSP)

diff --git a/passes/pmgen/xilinx_dsp.cc b/passes/pmgen/xilinx_dsp.cc
index 6e82ffac353ba77ce120c5bc6aae38798f42a000..9291c2dfb0b984442676970caac5160b8c78453e 100644 (file)
--- a/passes/pmgen/xilinx_dsp.cc
+++ b/passes/pmgen/xilinx_dsp.cc
@@ -52,8 +52,6 @@ void pack_xilinx_dsp(dict<SigBit, Cell*> &bit_to_driver, xilinx_dsp_pm &pm)
        SigSpec P = st.sigP;
 
        if (st.postAdd) {
-               log_assert(st.postAdd->getParam("\\A_SIGNED").as_bool());
-               log_assert(st.postAdd->getParam("\\B_SIGNED").as_bool());
                log("  adder %s (%s)\n", log_id(st.postAdd), log_id(st.postAdd->type));
 
                SigSpec &opmode = cell->connections_.at("\\OPMODE");

diff --git a/passes/pmgen/xilinx_dsp.pmg b/passes/pmgen/xilinx_dsp.pmg
index cee1906d6336cccb80562c8800c93737211a06f0..fa490146c6279517bba18356e85b669d8873f2b3 100644 (file)
--- a/passes/pmgen/xilinx_dsp.pmg
+++ b/passes/pmgen/xilinx_dsp.pmg
@@ -173,7 +173,6 @@ match postAdd
        if port(dsp, \OPMODE).extract(4,3).is_fully_zero()
 
        select postAdd->type.in($add)
-       select param(postAdd, \A_SIGNED).as_bool() && param(postAdd, \B_SIGNED).as_bool()
        choice <IdString> AB {\A, \B}
        select nusers(port(postAdd, AB)) <= 3
        filter ffMmux || nusers(port(postAdd, AB)) == 2