From: Claire Wolf <claire@symbioticeda.com>
Date: Tue, 14 Apr 2020 19:05:07 +0000 (+0200)
Subject: Fix 5bba9c3, closes #1876
X-Git-Tag: working-ls180~650^2~1
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=9b4dab397e8060860ec866171fcece3c6f19dcf7;p=yosys.git

Fix 5bba9c3, closes #1876

Signed-off-by: Claire Wolf <claire@symbioticeda.com>
---

diff --git a/frontends/ast/genrtlil.cc b/frontends/ast/genrtlil.cc
index c0539252c..ab368fdb0 100644
--- a/frontends/ast/genrtlil.cc
+++ b/frontends/ast/genrtlil.cc
@@ -1326,20 +1326,25 @@ RTLIL::SigSpec AstNode::genRTLIL(int width_hint, bool sign_hint)
 		{
 			if (width_hint < 0)
 				detectSignWidth(width_hint, sign_hint);
+			is_signed = sign_hint;
 
 			RTLIL::SigSpec cond = children[0]->genRTLIL();
 			RTLIL::SigSpec sig;
-			if (cond.is_fully_const()) {
+
+			if (cond.is_fully_def())
+			{
 				if (cond.as_bool()) {
 					sig = children[1]->genRTLIL(width_hint, sign_hint);
-					widthExtend(this, sig, sig.size(), children[1]->is_signed);
-				}
-				else {
+					log_assert(is_signed == children[1]->is_signed);
+				} else {
 					sig = children[2]->genRTLIL(width_hint, sign_hint);
-					widthExtend(this, sig, sig.size(), children[2]->is_signed);
+					log_assert(is_signed == children[2]->is_signed);
 				}
+
+				widthExtend(this, sig, sig.size(), is_signed);
 			}
-			else {
+			else
+			{
 				RTLIL::SigSpec val1 = children[1]->genRTLIL(width_hint, sign_hint);
 				RTLIL::SigSpec val2 = children[2]->genRTLIL(width_hint, sign_hint);
 
@@ -1347,7 +1352,8 @@ RTLIL::SigSpec AstNode::genRTLIL(int width_hint, bool sign_hint)
 					cond = uniop2rtlil(this, ID($reduce_bool), 1, cond, false);
 
 				int width = max(val1.size(), val2.size());
-				is_signed = children[1]->is_signed && children[2]->is_signed;
+				log_assert(is_signed == children[1]->is_signed);
+				log_assert(is_signed == children[2]->is_signed);
 				widthExtend(this, val1, width, is_signed);
 				widthExtend(this, val2, width, is_signed);