From 6020ba67ac0b493109ee1d0ef598f7f1de965d4d Mon Sep 17 00:00:00 2001
From: Miodrag Milanovic <mmicko@gmail.com>
Date: Sat, 2 Apr 2022 10:59:15 +0200
Subject: [PATCH] past_ad initial value setting

---
 passes/sat/sim.cc | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/passes/sat/sim.cc b/passes/sat/sim.cc
index 3fb49bbf7..ca4aab566 100644
--- a/passes/sat/sim.cc
+++ b/passes/sat/sim.cc
@@ -256,6 +256,7 @@ struct SimInstance
 			{
 				ff_state_t &ff = it.second;
 				zinit(ff.past_d);
+				zinit(ff.past_ad);
 
 				SigSpec qsig = it.second.data.sig_q;
 				Const qdata = get_state(qsig);
@@ -793,6 +794,8 @@ struct SimInstance
 				if (id!=0) {
 					Const fst_val = Const::from_string(shared->fst->valueOf(id));
 					ff.past_d = fst_val;
+					if (ff.data.has_aload)
+						ff.past_ad = fst_val;
 					did_something = set_state(qsig, fst_val);
 				}
 			}
-- 
2.30.2