From c2eebb376e6bcd9d998ea1d3df14b547dca933d2 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Martin=20Povi=C5=A1er?= <povik@cutebit.org>
Date: Wed, 2 Aug 2023 19:26:46 +0200
Subject: [PATCH] fixup! peepopt: Support shift amounts zero-padded from below

---
 passes/pmgen/peepopt_shiftmul_left.pmg | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/passes/pmgen/peepopt_shiftmul_left.pmg b/passes/pmgen/peepopt_shiftmul_left.pmg
index 22ad3cfdb7a..1e16cb43747 100644
--- a/passes/pmgen/peepopt_shiftmul_left.pmg
+++ b/passes/pmgen/peepopt_shiftmul_left.pmg
@@ -87,7 +87,7 @@ code
 
 	int factor_bits = ceil_log2(mul_const.as_int());
 	// make sure the multiplication never wraps around
-	if (GetSize(shift_amount) < factor_bits + GetSize(mul_din))
+	if (GetSize(shift_amount) + log2scale < factor_bits + GetSize(mul_din))
 		reject;
 
 	if (neg) {