From 0f8356d485db7c821809be8af7129c7ef202d1cf Mon Sep 17 00:00:00 2001
From: Alain Dargelas <alain@silimate.com>
Date: Wed, 18 Dec 2024 11:28:32 -0800
Subject: [PATCH] Code review fix, bail out on integers above 64 bits

---
 passes/pmgen/peepopt_muldiv_c.pmg | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/passes/pmgen/peepopt_muldiv_c.pmg b/passes/pmgen/peepopt_muldiv_c.pmg
index dd755b962..c2d7add17 100644
--- a/passes/pmgen/peepopt_muldiv_c.pmg
+++ b/passes/pmgen/peepopt_muldiv_c.pmg
@@ -54,6 +54,13 @@ code
 	int c_const_int = c_const.as_int(c_const_signed);
 	int b_const_int_shifted = b_const_int << offset;
 
+	if (mul->getParam(ID::B_WIDTH).size() > 64)
+		reject;
+	if (b_const.size() > 64)
+		reject;
+	if (c_const.size() > 64)
+		reject;
+
 	// Check that there are only zeros before offset
 	if (offset < 0 || !div_a.extract(0, offset).is_fully_zero())
 		reject;