Update peepopt_muldiv_c.pmg

YosysHQ · Dec 17, 2024 · 2375879 · 2375879
1 parent 0ddb3d7
commit 2375879
Showing 1 changed file with 7 additions and 0 deletions.
diff --git a/passes/pmgen/peepopt_muldiv_c.pmg b/passes/pmgen/peepopt_muldiv_c.pmg
@@ -61,6 +61,13 @@ code
 	if (b_const_int_shifted % c_const_int != 0)
 		reject;
 
+	// Check that every single output bit of the multiplier is connected consecutively to the div operator (offset accounted for)
+	for (int i = 0; i < mul_y.size(); i++) {
+		if (sigmap(mul_y[i]) != sigmap(div_a[i + offset])) {
+			reject;
+		}
+	}
+
 	// Rewire to only keep multiplier
 	mul->setPort(\B, Const(b_const_int_shifted / c_const_int, b_const_width));
 	mul->setPort(\Y, div_y);