From: Eddie Hung <eddie@fpgeh.com>
Date: Fri, 19 Jul 2019 20:11:48 +0000 (-0700)
Subject: Also optimise MSB of $sub
X-Git-Tag: working-ls180~1163^2~13
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=bcd802718256efbacaf0a73f99347af40b61e464;p=yosys.git

Also optimise MSB of $sub
---

diff --git a/passes/opt/wreduce.cc b/passes/opt/wreduce.cc
index e8c2cb726..dff1c5370 100644
--- a/passes/opt/wreduce.cc
+++ b/passes/opt/wreduce.cc
@@ -342,9 +342,9 @@ struct WreduceWorker
 			}
 		}
 
-		if (cell->type.in("$pos", "$add", "$mul", "$and", "$or", "$xor"))
+		if (cell->type.in("$pos", "$add", "$mul", "$and", "$or", "$xor", "$sub"))
 		{
-			bool is_signed = cell->getParam("\\A_SIGNED").as_bool();
+			bool is_signed = cell->getParam("\\A_SIGNED").as_bool() || cell->type == "$sub";
 
 			int a_size = 0, b_size = 0;
 			if (cell->hasPort("\\A")) a_size = GetSize(cell->getPort("\\A"));
@@ -352,7 +352,7 @@ struct WreduceWorker
 
 			int max_y_size = max(a_size, b_size);
 
-			if (cell->type == "$add")
+			if (cell->type.in("$add", "$sub"))
 				max_y_size++;
 
 			if (cell->type == "$mul")