From a32b14a55f888664981dc6b1184b00f34f5f4201 Mon Sep 17 00:00:00 2001 From: Eddie Hung Date: Thu, 5 Sep 2019 12:38:47 -0700 Subject: [PATCH] Do not check signedness of post-adder (assume taken care of by DSP) --- passes/pmgen/xilinx_dsp.cc | 2 -- passes/pmgen/xilinx_dsp.pmg | 1 - 2 files changed, 3 deletions(-) diff --git a/passes/pmgen/xilinx_dsp.cc b/passes/pmgen/xilinx_dsp.cc index 6e82ffac3..9291c2dfb 100644 --- a/passes/pmgen/xilinx_dsp.cc +++ b/passes/pmgen/xilinx_dsp.cc @@ -52,8 +52,6 @@ void pack_xilinx_dsp(dict &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 cee1906d6..fa490146c 100644 --- 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 AB {\A, \B} select nusers(port(postAdd, AB)) <= 3 filter ffMmux || nusers(port(postAdd, AB)) == 2 -- 2.30.2