From: Clifford Wolf <clifford@clifford.at>
Date: Sun, 31 Aug 2014 16:08:26 +0000 (+0200)
Subject: Fixed return size of const_*() eval functions
X-Git-Tag: yosys-0.4~187
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=83ec3fa2045cac1f29ea4bfb2c8c052c31b083a1;p=yosys.git

Fixed return size of const_*() eval functions
---

diff --git a/kernel/calc.cc b/kernel/calc.cc
index 29717aad5..7bfdb8955 100644
--- a/kernel/calc.cc
+++ b/kernel/calc.cc
@@ -35,6 +35,8 @@ static void extend(RTLIL::Const &arg, int width, bool is_signed)
 
 	while (int(arg.bits.size()) < width)
 		arg.bits.push_back(padding);
+
+	arg.bits.resize(width);
 }
 
 static void extend_u0(RTLIL::Const &arg, int width, bool is_signed)
@@ -46,6 +48,8 @@ static void extend_u0(RTLIL::Const &arg, int width, bool is_signed)
 
 	while (int(arg.bits.size()) < width)
 		arg.bits.push_back(padding);
+
+	arg.bits.resize(width);
 }
 
 static BigInteger const2big(const RTLIL::Const &val, bool as_signed, int &undef_bit_pos)
@@ -312,7 +316,7 @@ RTLIL::Const RTLIL::const_shl(const RTLIL::Const &arg1, const RTLIL::Const &arg2
 RTLIL::Const RTLIL::const_shr(const RTLIL::Const &arg1, const RTLIL::Const &arg2, bool signed1, bool, int result_len)
 {
 	RTLIL::Const arg1_ext = arg1;
-	extend_u0(arg1_ext, result_len, signed1);
+	extend_u0(arg1_ext, std::max(result_len, SIZE(arg1)), signed1);
 	return const_shift_worker(arg1_ext, arg2, false, +1, result_len);
 }