From: Eddie Hung <eddie@fpgeh.com>
Date: Sat, 5 Oct 2019 04:42:46 +0000 (-0700)
Subject: Restore optimisation for sigM.empty()
X-Git-Tag: working-ls180~1003^2~7
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=8027ebf05b7538e501b4903cab9c2ce6a23610ff;p=yosys.git

Restore optimisation for sigM.empty()
---

diff --git a/passes/pmgen/xilinx_dsp.pmg b/passes/pmgen/xilinx_dsp.pmg
index dbc3f7455..77d4850d4 100644
--- a/passes/pmgen/xilinx_dsp.pmg
+++ b/passes/pmgen/xilinx_dsp.pmg
@@ -100,7 +100,10 @@ code sigA sigB sigC sigD sigM clock
 			sigM.append(P[i]);
 		}
 		log_assert(nusers(P.extract_end(i)) <= 1);
-		log_assert(!sigM.empty());
+		// This sigM could have no users if downstream sinks (e.g. $add) is
+		//   narrower than $mul result, for example
+		if (sigM.empty())
+			reject;
 	}
 	else
 		sigM = P;