From 2c96ecc5f7d88cfd8dbddc3e5f45fb0a2a9bb6d3 Mon Sep 17 00:00:00 2001
From: Miodrag Milanovic <mmicko@gmail.com>
Date: Sat, 2 Apr 2022 10:34:11 +0200
Subject: [PATCH] setInitState can be only one altering values

---
 passes/sat/sim.cc | 10 ++++++----
 1 file changed, 6 insertions(+), 4 deletions(-)

diff --git a/passes/sat/sim.cc b/passes/sat/sim.cc
index d74fbcc4e..3fb49bbf7 100644
--- a/passes/sat/sim.cc
+++ b/passes/sat/sim.cc
@@ -778,8 +778,9 @@ struct SimInstance
 			child.second->register_output_step_values(data);
 	}
 
-	void setInitState()
+	bool setInitState()
 	{
+		bool did_something = false;
 		for (auto &it : ff_database)
 		{
 			ff_state_t &ff = it.second;
@@ -792,12 +793,13 @@ struct SimInstance
 				if (id!=0) {
 					Const fst_val = Const::from_string(shared->fst->valueOf(id));
 					ff.past_d = fst_val;
-					set_state(qsig, fst_val);
+					did_something = set_state(qsig, fst_val);
 				}
 			}
 		}
 		for (auto child : children)
-			child.second->setInitState();
+			did_something |= child.second->setInitState();
+		return did_something;
 	}
 
 	void setState(dict<int, std::pair<SigBit,bool>> bits, std::string values)
@@ -1112,7 +1114,7 @@ struct SimWorker : SimShared
 				}
 
 				if (initial) {
-					top->setInitState();
+					did_something |= top->setInitState();
 					initial = false;
 				}
 				if (did_something)
-- 
2.30.2