need unsigned comparison when checking shift widths for overflow in f…

…unctional backend
YosysHQ · Jun 12, 2024 · e36eaa5 · e36eaa5
1 parent d283a3f
commit e36eaa5
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/kernel/graphtools.h b/kernel/graphtools.h
@@ -40,7 +40,7 @@ class CellSimplifier {
 		} else {
 			reduced_b_width = new_width;
 			T lower_b = factory.slice(b, b_width, 0, new_width);
-			T overflow = factory.gt(b, factory.constant(RTLIL::Const(y_width, b_width)), b_width);
+			T overflow = factory.ugt(b, factory.constant(RTLIL::Const(y_width, b_width)), b_width);
 			return factory.mux(lower_b, factory.constant(RTLIL::Const(y_width, new_width)), overflow, new_width);
 		}
 	}