From: Clifford Wolf <clifford@clifford.at>
Date: Thu, 5 Dec 2013 12:09:41 +0000 (+0100)
Subject: Added const folding support for $signed and $unsigned
X-Git-Tag: yosys-0.2.0~256
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=e935bb6edacf46e84959a2e7befa413497420a9a;p=yosys.git

Added const folding support for $signed and $unsigned
---

diff --git a/frontends/ast/simplify.cc b/frontends/ast/simplify.cc
index 3d512d6f0..fe4ff3f23 100644
--- a/frontends/ast/simplify.cc
+++ b/frontends/ast/simplify.cc
@@ -1205,6 +1205,13 @@ skip_dynamic_range_lvalue_expansion:;
 				newNode = mkconst_bits(y.bits, sign_hint);
 			}
 			break;
+		case AST_TO_SIGNED:
+		case AST_TO_UNSIGNED:
+			if (children[0]->type == AST_CONSTANT) {
+				RTLIL::Const y = children[0]->bitsAsConst(width_hint, sign_hint);
+				newNode = mkconst_bits(y.bits, type == AST_TO_SIGNED);
+			}
+			break;
 		if (0) { case AST_BIT_AND:  const_func = RTLIL::const_and;  }
 		if (0) { case AST_BIT_OR:   const_func = RTLIL::const_or;   }
 		if (0) { case AST_BIT_XOR:  const_func = RTLIL::const_xor;  }