booth: Fix assertion

Fix assertion to what it should be per Andy's comments.
uwsampl · Sep 28, 2023 · 6b70b3d · 6b70b3d
1 parent 91bcf81
commit 6b70b3d
Showing 1 changed file with 1 addition and 2 deletions.
diff --git a/passes/techmap/booth.cc b/passes/techmap/booth.cc
@@ -655,8 +655,7 @@ struct BoothPassWorker {
 		cpa_id++;
 
 		log_assert(c_vec.size() == s_vec.size());
-		// TODO: doesn't pass
-		//log_assert(result.size() == s_vec.size() + 2);
+		log_assert(result.size() == s_vec.size());
 
 		SigBit carry;
 		for (int n = 0; n < s_vec.size(); n++) {