From a32b14a55f888664981dc6b1184b00f34f5f4201 Mon Sep 17 00:00:00 2001 From: Eddie Hung Date: Thu, 5 Sep 2019 12:38:47 -0700 Subject: Do not check signedness of post-adder (assume taken care of by DSP) --- passes/pmgen/xilinx_dsp.cc | 2 -- 1 file changed, 2 deletions(-) (limited to 'passes/pmgen/xilinx_dsp.cc') 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"); -- cgit v1.2.3