cost: saturating add

widlarizer · Apr 18, 2024 · 63b4a20 · 63b4a20
1 parent 2c930d2
commit 63b4a20
Showing 1 changed file with 4 additions and 2 deletions.
diff --git a/kernel/cost.cc b/kernel/cost.cc
@@ -8,8 +8,10 @@ int CellCosts::get(RTLIL::Module *mod)
 		return mod_cost_cache_.at(mod->name);
 
 	int module_cost = 1;
-	for (auto c : mod->cells())
-		module_cost += get(c);
+	for (auto c : mod->cells()) {
+        int new_cost = module_cost + get(c);
+        module_cost = new_cost >= module_cost ? new_cost : INT_MAX;
+    }
 
 	mod_cost_cache_[mod->name] = module_cost;
 	return module_cost;