From: Clifford Wolf <clifford@clifford.at>
Date: Thu, 7 Nov 2013 02:01:28 +0000 (+0100)
Subject: Fixed the fix for propagation of width hints for $signed() and $unsigned()
X-Git-Tag: yosys-0.2.0~395
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=160adccca2cc8f81c2937cab03280603aaafb391;p=yosys.git

Fixed the fix for propagation of width hints for $signed() and $unsigned()
---

diff --git a/frontends/ast/genrtlil.cc b/frontends/ast/genrtlil.cc
index ce34f708a..0fde9b3b9 100644
--- a/frontends/ast/genrtlil.cc
+++ b/frontends/ast/genrtlil.cc
@@ -947,13 +947,12 @@ RTLIL::SigSpec AstNode::genRTLIL(int width_hint, bool sign_hint)
 			return sig;
 		}
 
-	// just pass thru the signal. the parent will evaluated the is_signed property and inperpret the SigSpec accordingly
+	// just pass thru the signal. the parent will evaluate the is_signed property and inperpret the SigSpec accordingly
 	case AST_TO_SIGNED:
 	case AST_TO_UNSIGNED: {
-			int sub_width_hint;
-			bool sub_sign_hint;
-			children[0]->detectSignWidth(sub_width_hint, sub_sign_hint);
-			RTLIL::SigSpec sig = children[0]->genRTLIL(width_hint, sub_sign_hint);
+			RTLIL::SigSpec sig = children[0]->genRTLIL();
+			if (sig.width < width_hint)
+				sig.extend(width_hint, sign_hint);
 			is_signed = sign_hint;
 			return sig;
 	}