From: Clifford Wolf <clifford@clifford.at>
Date: Mon, 6 May 2019 13:34:19 +0000 (+0200)
Subject: Bugfix in peepopt_shiftmul.pmg
X-Git-Tag: yosys-0.9~145
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=b37c31e2cb82343e363d39e4b35ebdb82f4f69a3;p=yosys.git

Bugfix in peepopt_shiftmul.pmg

Signed-off-by: Clifford Wolf <clifford@clifford.at>
---

diff --git a/passes/pmgen/peepopt_shiftmul.pmg b/passes/pmgen/peepopt_shiftmul.pmg
index 1f9b3c2b9..fe861b728 100644
--- a/passes/pmgen/peepopt_shiftmul.pmg
+++ b/passes/pmgen/peepopt_shiftmul.pmg
@@ -8,9 +8,13 @@ endmatch
 
 code shamt
 	shamt = port(shift, \B);
+	if (shamt.empty())
+		reject;
 	if (shamt[GetSize(shamt)-1] == State::S0) {
 		do {
 			shamt.remove(GetSize(shamt)-1);
+			if (shamt.empty())
+				reject;
 		} while (shamt[GetSize(shamt)-1] == State::S0);
 	} else
 	if (shift->type.in($shift, $shiftx) && param(shift, \B_SIGNED).as_bool()) {